10. CIAA 2005:
Sophia Antipolis, France
Jacques Farré, Igor Litovsky, Sylvain Schmitz (Eds.):
Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3845 Springer 2006, ISBN 3-540-31023-1 
Invited Lectures
Technical Contributions
- Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson:
Minimization of Non-deterministic Automata with Large Alphabets.
31-42
- Marcella Anselmo, Maria Madonia:
Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata .
43-53
- Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl:
Component Composition Preserving Behavioural Contracts Based on Communication Traces.
54-65
- Miklós Bartha:
Strong Retiming Equivalence of Synchronous Schemes.
66-77
- Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter:
Prime Normal Form and Equivalence of Simple Grammars.
78-89
- Cezar Câmpeanu, Andrei Paun, Jason R. Smith:
An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automata.
90-103
- Antonio Cano, Pedro García:
Finite Automata and Unions of Regular Patterns with Bounded Constant Segments.
104-115
- Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, Louis-Noël Pouchet, Jacques Sakarovitch:
Inside Vaucanson.
116-128
- Akio Fujiyoshi, Ikuo Kawaharada:
Deterministic Recognition of Trees Accepted by a Linear Pushdown Tree Automaton.
129-140
- Yo-Sub Han, Derick Wood:
Shorter Regular Expressions from Finite-State Automata.
141-152
- Johanna Högberg:
Wind in the Willows - Generating Music by Means of Tree Transducers.
153-162
- Oscar H. Ibarra, Hsu-Chun Yen:
On Deterministic Catalytic Systems.
163-175
- Tomasz Jurdzinski, Friedrich Otto:
Restricting the Use of Auxiliary Symbols for Restarting Automata.
176-187
- André Kempe, Jean-Marc Champarnaud, Jason Eisner, Franck Guingne, Florent Nicart:
A Class of Rational n-WFSM Auto-intersections.
188-198
- Joachim Klein, Christel Baier:
Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.
199-212
- Louis Latour:
Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams.
213-224
- Markus Lohrey, Sebastian Maneth:
Tree Automata and XPath on Compressed Trees.
225-237
- Radek Pelánek, Jan Strejcek:
Deeper Connections Between LTL and Alternating Automata.
238-249
- Wojciech Rytter:
The Structure of Subword Graphs and Suffix Trees of Fibonacci Words.
250-261
- Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier:
Observations on Determinization of Büchi Automata.
262-272
- Tamara Shcherbak:
The Interval Rank of Monotonic Automata.
273-281
- Hariharan Subramanian, Priti Shankar:
Compressing XML Documents Using Recursive Finite State Automata.
282-293
- Tadahiro Suda, Haruo Hosoya:
Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment.
294-306
- Hellis Tamm, Matti Nykänen, Esko Ukkonen:
Size Reduction of Multitape Automata.
307-318
- Manuel Vilares Ferro, Juan Otero Pombo, Jesús Vilares Ferro:
Robust Spelling Correction.
319-328
- Jan Zdárek, Borivoj Melichar:
On Two-Dimensional Pattern Matching by Finite Automata.
329-340
Poster Abstracts
- Jan Daciuk, Denis Maurel, Agata Savary:
Incremental and Semi-incremental Construction of Pseudo-Minimal Automata.
341-342
- Pedro García, José Ruiz, Antonio Cano, Gloria Inés Alvarez:
Is Learning RFSAs Better Than Learning DFAs?.
343-344
- Colin de la Higuera, Frédéric Piat, Frédéric Tantini:
Learning Stochastic Finite Automata for Musical Style Recognition.
345-346
- Miklós Krész:
Simulation of Soliton Circuits.
347-348
- José João Morais, Nelma Moreira, Rogério Reis:
Acyclic Automata with Easy-to-Find Short Regular Expressions.
349-350
- Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov:
On the Equivalence Problem for Programs with Mode Switching.
351-352
- Isabelle Tellier:
Automata and AB-Categorial Grammars.
353-355
- Michael Vielhaber, Mónica del Pilar Canales Chacon:
On a Class of Bijective Binary Transducers with Finitary Description Despite Infinite State Set.
356-357
Last update Tue May 21 18:13:48 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
