CIAA C

28 papers

YearTitle / Authors
2011A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule.
Yo-Sub Han, Sang-Ki Ko
2011Bouma2 - A High-Performance Input-Aware Multiple String-Match Algorithm.
Erez Buchnik
2011Building Phylogeny with Minimal Absent Words.
Supaporn Chairungsee, Maxime Crochemore
2011Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages.
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret
2011Chrobak Normal Form Revisited, with Applications.
Pawel Gawrychowski
2011Complexity of Problems Concerning Reset Words for Cyclic and Eulerian Automata.
Pavel Martyugin
2011Compositional Failure Detection in Structured Transition Systems.
Ingo Felscher, Wolfgang Thomas
2011Computing All ℓ-Cover Automata Fast.
Artur Jez, Andreas Maletti
2011Derick Wood: Always in Our Hearts.
Sheng Yu
2011Distributed Event Clock Automata - Extended Abstract.
James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
2011Experimental Study of the Shortest Reset Word of Random Automata.
Evgeny Skvortsov, Evgeny Tipikin
2011Fly-Automata, Their Properties and Applications.
Bruno Courcelle, Irène Durand
2011Gaining Power by Input Operations: Finite Automata and Beyond.
Markus Holzer, Martin Kutrib
2011Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel
2011Information Extraction from Semi-structured Resources: A Two-Phase Finite State Transducers Approach.
Vesna Pajic, Gordana Pavlovic-Lazetic, Milos Pajic
2011Loops and Overloops for Tree Walking Automata.
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
2011Nondeterministic Moore Automata and Brzozowski's Algorithm.
Giusi Castiglione, Antonio Restivo, Marinella Sciortino
2011Nondeterministic State Complexity of Star-Free Languages.
Markus Holzer, Martin Kutrib, Katja Meckel
2011On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs.
Oscar H. Ibarra
2011On the Hardness of Priority Synthesis.
Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois C. Knoll
2011Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines.
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
2011Random Generation of Deterministic Acyclic Automata Using Markov Chains.
Vincent Carnino, Sven De Felice
2011Smaller Representation of Finite State Automata.
Jan Daciuk, Dawid Weiss
2011Streamable Fragments of Forward XPath.
Olivier Gauwin, Joachim Niehren
2011Towards More Expressive 2D Deterministic Automata.
Violetta Lonati, Matteo Pradella
2011Tree Template Matching in Ranked Ordered Trees by Pushdown Automata.
Tomás Flouri, Jan Janousek, Borivoj Melichar, Costas S. Iliopoulos, Solon P. Pissis
2011Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability.
José M. Castaño, Rodrigo Castaño
2011Weak Inclusion for XML Types.
Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty