11. CIAA 2006:
Taipei,
Taiwan
Oscar H. Ibarra, Hsu-Chun Yen (Eds.):
Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings.
Lecture Notes in Computer Science 4094 Springer 2006, ISBN 3-540-37213-X BibTeX
Invited Lectures
Technical Contributions
- Mathieu Giraud, Philippe Veber, Dominique Lavenier:
Path-Equivalent Removals of epsilon-transitions in a Genomic Weighted Finite Automaton.
23-33
Electronic Edition (link) BibTeX
- Henning Bordihn, Markus Holzer, Martin Kutrib:
Hybrid Extended Finite Automata.
34-45
Electronic Edition (link) BibTeX
- German Tischler:
Refinement of Near Random Access Video Coding with Weighted Finite Automata.
46-57
Electronic Edition (link) BibTeX
- Martin Simunek, Borivoj Melichar:
Borders and Finite Automata.
58-68
Electronic Edition (link) BibTeX
- Pavlos Antoniou, Jan Holub, Costas S. Iliopoulos, Borivoj Melichar, Pierre Peterlongo:
Finding Common Motifs with Gaps Using Finite Automata.
69-77
Electronic Edition (link) BibTeX
- Maxime Crochemore, Lucian Ilie, Emine Seid-Hilmi:
Factor Oracles.
78-89
Electronic Edition (link) BibTeX
- Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter:
Reducing Simple Grammars: Exponential Against Highly-Polynomial Time in Practice.
90-101
Electronic Edition (link) BibTeX
- Jonathan May, Kevin Knight:
Tiburon: A Weighted Tree Automata Toolkit.
102-113
Electronic Edition (link) BibTeX
- Manuel Baclet, Claire Pagetti:
Around Hopcroft's Algorithm.
114-125
Electronic Edition (link) BibTeX
- Florent Nicart, Jean-Marc Champarnaud, Tibor Csáki, Tamás Gaál, André Kempe:
Multi-tape Automata with Symbol Classes.
126-136
Electronic Edition (link) BibTeX
- Corinna Cortes, Mehryar Mohri, Ashish Rastogi:
On the Computation of Some Standard Distances Between Probabilistic Automata.
137-149
Electronic Edition (link) BibTeX
- Andreas Maletti:
Does o-Substitution Preserve Recognizability?
150-161
Electronic Edition (link) BibTeX
- Hartmut Messerschmidt, Frantisek Mráz, Friedrich Otto, Martin Plátek:
Correctness Preservation and Complexity of Simple RL-Automata.
162-172
Electronic Edition (link) BibTeX
- Parosh Aziz Abdulla, Lisa Kaati, Johanna Högberg:
Bisimulation Minimization of Tree Automata.
173-185
Electronic Edition (link) BibTeX
- Jens Glöckler:
Forgetting Automata and Unary Languages.
186-197
Electronic Edition (link) BibTeX
- Hing Leung:
Structurally Unambiguous Finite Automata.
198-207
Electronic Edition (link) BibTeX
- Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini:
Symbolic Implementation of Alternating Automata.
208-218
Electronic Edition (link) BibTeX
- Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng:
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.
219-229
Electronic Edition (link) BibTeX
- Tim Fernando:
Finite-State Temporal Projection.
230-241
Electronic Edition (link) BibTeX
- Matthieu Constant, Denis Maurel:
Compiling Linguistic Constraints into Finite State Automata.
242-252
Electronic Edition (link) BibTeX
- José Fortes Gálvez, Sylvain Schmitz, Jacques Farré:
Shift-Resolve Parsing: Simple, Unbounded Lookahead, Linear Time.
253-264
Electronic Edition (link) BibTeX
- Manuel Vazquez de Parga, Pedro García, José Ruiz:
A Family of Algorithms for Non Deterministic Regular Languages Inference.
265-274
Electronic Edition (link) BibTeX
Poster Abstracts
Copyright © Sat May 16 23:47:52 2009
by Michael Ley (ley@uni-trier.de)
