CIAA C

37 papers

YearTitle / Authors
2006Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
Jacques Farré, Igor Litovsky, Sylvain Schmitz
2005A Class of Rational
André Kempe, Jean-Marc Champarnaud, Jason Eisner, Franck Guingne, Florent Nicart
2005Acyclic Automata with Easy-to-Find Short Regular Expressions.
José João Morais, Nelma Moreira, Rogério Reis
2005An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automata.
Cezar Câmpeanu, Andrei Paun, Jason R. Smith
2005Automata and AB-Categorial Grammars.
Isabelle Tellier
2005Component Composition Preserving Behavioural Contracts Based on Communication Traces.
Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl
2005Compressing XML Documents Using Recursive Finite State Automata.
Hariharan Subramanian, Priti Shankar
2005Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams.
Louis Latour
2005Deeper Connections Between LTL and Alternating Automata.
Radek Pelánek, Jan Strejcek
2005Deterministic Recognition of Trees Accepted by a Linear Pushdown Tree Automaton.
Akio Fujiyoshi, Ikuo Kawaharada
2005Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.
Joachim Klein, Christel Baier
2005Finite Automata and Unions of Regular Patterns with Bounded Constant Segments.
Antonio Cano, Pedro García
2005Incremental and Semi-incremental Construction of Pseudo-Minimal Automata.
Jan Daciuk, Denis Maurel, Agata Savary
2005Inside Vaucanson.
Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, Louis-Noël Pouchet, Jacques Sakarovitch
2005Is Learning RFSAs Better Than Learning DFAs?.
Pedro García, José Ruiz, Antonio Cano, Gloria Inés Alvarez
2005Languages Recognizable by Quantum Finite Automata.
Rusins Freivalds
2005Learning Stochastic Finite Automata for Musical Style Recognition.
Colin de la Higuera, Frédéric Piat, Frédéric Tantini
2005Minimization of Non-deterministic Automata with Large Alphabets.
Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson
2005Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment.
Tadahiro Suda, Haruo Hosoya
2005Observations on Determinization of Büchi Automata.
Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier
2005On Deterministic Catalytic Systems.
Oscar H. Ibarra, Hsu-Chun Yen
2005On Two-Dimensional Pattern Matching by Finite Automata.
Jan Zdárek, Borivoj Melichar
2005On a Class of Bijective Binary Transducers with Finitary Description Despite Infinite State Set.
Michael Vielhaber, Mónica del Pilar Canales Chacon
2005On the Equivalence Problem for Programs with Mode Switching.
Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov
2005Prime Normal Form and Equivalence of Simple Grammars.
Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter
2005Restricting the Use of Auxiliary Symbols for Restarting Automata.
Tomasz Jurdzinski, Friedrich Otto
2005Robust Spelling Correction.
Manuel Vilares Ferro, Juan Otero Pombo, Jesús Vilares Ferro
2005Shorter Regular Expressions from Finite-State Automata.
Yo-Sub Han, Derick Wood
2005Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata .
Marcella Anselmo, Maria Madonia
2005Simulation of Soliton Circuits.
Miklós Krész
2005Size Reduction of Multitape Automata.
Hellis Tamm, Matti Nykänen, Esko Ukkonen
2005Strong Retiming Equivalence of Synchronous Schemes.
Miklós Bartha
2005The Interval Rank of Monotonic Automata.
Tamara Shcherbak
2005The Language, the Expression, and the (Small) Automaton.
Jacques Sakarovitch
2005The Structure of Subword Graphs and Suffix Trees of Fibonacci Words.
Wojciech Rytter
2005Tree Automata and XPath on Compressed Trees.
Markus Lohrey, Sebastian Maneth
2005Wind in the Willows - Generating Music by Means of Tree Transducers.
Johanna Högberg