default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th CIAA 2009: Sydney, Australia
- Sebastian Maneth:
Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings. Lecture Notes in Computer Science 5642, Springer 2009, ISBN 978-3-642-02978-3
Invited Lectures
- Gonzalo Navarro:
Implementation and Application of Automata in String Processing. 1 - Christoph Koch:
Applications of Automata in XML Processing. 2 - Helmut Seidl:
Program Analysis through Finite Tree Automata. 3
Technical Contributions
- Markus Holzer
, Andreas Maletti:
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton. 4-13 - Giusi Castiglione, Antonio Restivo, Marinella Sciortino:
On Extremal Cases of Hopcroft's Algorithm. 14-23 - Jean Vuillemin, Nicolas Gama:
Compact Normal Form for Regular Languages as Xor Automata. 24-33 - Martin Kutrib, Andreas Malcher:
Cellular Automata with Sparse Communication. 34-43 - Adam Clarridge, Kai Salomaa:
A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule. 44-53 - Jan Holub, Stanislav Stekr:
On Parallel Implementations of Deterministic Finite Automata. 54-64 - André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis:
FAdo and GUItar. 65-74 - François Barthélemy:
A Testing Framework for Finite-State Morphology. 75-83 - Yanbing Liu, Yifu Yang, Ping Liu, Jianlong Tan:
A Table Compression Method for Extended Aho-Corasick Automaton. 84-93 - Kazuhiro Inaba, Haruo Hosoya:
Compact Representation for Answer Sets of n-ary Regular Queries. 94-104 - Akio Fujiyoshi:
Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata. 105-114 - Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz:
Random Generation of Deterministic Tree (Walking) Automata. 115-124 - Taro Suzuki, Satoshi Okui:
Hedge Pattern Partial Derivative. 125-134 - Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko:
TAGED Approximations for Temporal Properties Model-Checking. 135-144 - Mohamed Faouzi Atig, Tayssir Touili:
Verifying Parallel Programs with Dynamic Communication Structures. 145-154 - Pierre Ganty, Nicolas Maquet, Jean-François Raskin:
Fixpoint Guided Abstraction Refinement for Alternating Automata. 155-164 - Radu Iosif, Adam Rogalewicz:
Automata-Based Termination Proofs. 165-177 - Jae-Hee Ahn, Yo-Sub Han:
Implementation of State Elimination Using Heuristics. 178-187 - Hermann Gruber, Markus Holzer, Michael Tautschnig:
Short Regular Expressions from Finite Automata: Empirical Results. 188-197 - Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot:
Small Extended Expressions for Acyclic Automata. 198-207 - Rusins Freivalds, Kazuo Iwama:
Quantum Queries on Permutations with a Promise. 208-216 - Martin Zimmermann:
Time-Optimal Winning Strategies for Poset Games. 217-226 - Rusins Freivalds:
Amount of Nonconstructivity in Finite Automata. 227-236
Short Papers and Poster Abstracts
- Agata Savary:
Multiflex: A Multilingual Finite-State Tool for Multi-Word Units. 237-240 - Javier Miguel Sastre-Martínez:
Efficient Parsing Using Filtered-Popping Recursive Transition Networks. 241-244 - Loek G. Cleophas, Kees Hemerik:
Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms. 245-248 - Jing Cao, Albert Nymeyer:
Formally Synthesising a Protocol Converter: A Case Study. 249-252 - Jan Procházka:
Compiler Generator Based on Restarting Automata. 253-257 - Hanlin Lu, Sheng Yu:
Are Statecharts Finite Automata? 258-261
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-13 23:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
