@PROCEEDINGS( CIAA2007, 
 title = "Pre-proceedings of the Conference on Implementation and Application of Automata, Prague, Czech Republic, July 16--18, 2007", 
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek", 
 publisher = "Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University in Prague", 
 year = "2007", 
 isbn = "978-80-01-03764-5", 
 bibsource = "http://www.stringology.org/event/CIAA2007/CIAA2007.bib", 
)

@INPROCEEDINGS( CIAA2007-1, 
 author = "Gheorghe P{\u{a}}un",
 title = "Spiking Neural {P} Systems Used as Acceptors and Transducers",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "1--4",
)

@INPROCEEDINGS( CIAA2007-2, 
 author = "Moshe Y. Vardi ",
 title = "Linear-Time Model Checking: Automata Theory in Practice",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "5--9",
)

@INPROCEEDINGS( CIAA2007-3, 
 author = "Cyril Allauzen and Michael Riley and Johan Schalkwyk and Wojciech Skut and Mehryar Mohri",
 title = "Open{F}st: a General and Efficient Weighted Finite-State Transducer Library",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "10--10",
)

@INPROCEEDINGS( CIAA2007-4, 
 author = "Bruce W. Watson",
 title = "Automata Applications in Chip-Design Software",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "11--13",
)

@INPROCEEDINGS( CIAA2007-5, 
 author = "Mikhail V. Volkov",
 title = "Synchronizing Automata Preserving a Chain of Partial Orders",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "14--23",
)

@INPROCEEDINGS( CIAA2007-6, 
 author = "Jean-Marc Champarnaud and Franck Guingne and Jacques Farr{\'{e}}",
 title = "Reducing Acyclic Cover Transducers",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "24--34",
)

@INPROCEEDINGS( CIAA2007-7, 
 author = "Joachim Klein and Christel Baier",
 title = "On-the-fly Stuttering in the Construction of Deterministic $\omega$-Automata",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "35--44",
)

@INPROCEEDINGS( CIAA2007-8, 
 author = "Massimiliano Goldwurm and Roberto Radicioni",
 title = "Average Value and Variance of Pattern Statistics in Rational Models",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "45--54",
)

@INPROCEEDINGS( CIAA2007-9, 
 author = "Manfred Droste and George Rahonis",
 title = "Weighted Automata and Weighted Logics with Discounting",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "55--65",
)

@INPROCEEDINGS( CIAA2007-10, 
 author = "Martin Kutrib and Andreas Malcher and Larissa Werlein",
 title = "Regulated Nondeterminism in Pushdown Automata",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "66--76",
)

@INPROCEEDINGS( CIAA2007-11, 
 author = "Kai Salomaa and Sheng Yu and Jinfeng Zan ",
 title = "Deterministic Caterpillar Expressions",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "77--87",
)

@INPROCEEDINGS( CIAA2007-12, 
 author = "Johanna H{\"{o}}gberg and Andreas Maletti and Jonathan May",
 title = "Backward and Forward Bisimulation Minimisation of Tree Automata",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "88--98",
)

@INPROCEEDINGS( CIAA2007-13, 
 author = "Rafael C. Carrasco and Jan Daciuk and Mikel L. Forcada",
 title = "An Implementation of Deterministic Tree Automata Minimization",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "99--105",
)

@INPROCEEDINGS( CIAA2007-14, 
 author = "Shmuel T. Klein and Miri Kopel Ben-Nissan",
 title = "Accelerating Boyer Moore Searches on Binary Texts",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "106--117",
)

@INPROCEEDINGS( CIAA2007-15, 
 author = " Maxime Crochemore and Chiara Epifanio and Alessandra Gabriele and Filippo Mignosi",
 title = "On the Suffix Automaton with Mismatches",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "118--129",
)

@INPROCEEDINGS( CIAA2007-16, 
 author = "Hannu Peltola and Jorma Tarhio",
 title = "On String Matching in Chunked Texts",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "130--139",
)

@INPROCEEDINGS( CIAA2007-17, 
 author = "Mehryar Mohri and Pedro Moreno and Eugene Weinstein",
 title = "Factor Automata of Automata and Applications",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "140--150",
)

@INPROCEEDINGS( CIAA2007-18, 
 author = "Gregory Kucherov and Laurent No{\'{e}} and Mikhail Roytberg",
 title = "Subset Seed Automaton",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "151--160",
)

@INPROCEEDINGS( CIAA2007-19, 
 author = "Franti{\v{s}}ek Mr{\'{a}}z and Martin Pl{\'{a}}tek and Friedrich Otto ",
 title = "A Measure for The Degree of Nondeterminism of Context-free Languages",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "161--169",
)

@INPROCEEDINGS( CIAA2007-20, 
 author = "Didier Caucal and Jurek Czyzowicz and Wojciech Fraczak and Wojciech Rytter",
 title = "Efficient Computation of Throughput Values of Context-Free Languages",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "170--179",
)

@INPROCEEDINGS( CIAA2007-21, 
 author = "Claus Brabrand and Robert Giegerich and Anders M{\o{}}ller",
 title = "Analyzing Ambiguity of Context-Free Grammars",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "180--190",
)

@INPROCEEDINGS( CIAA2007-22, 
 author = "Margareta Ackerman and Jeffrey Shallit",
 title = "Efficient Enumeration of Regular Languages",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "191--205",
)

@INPROCEEDINGS( CIAA2007-23, 
 author = "Fran{\c{c}}ois Barth{\'{e}}lemy",
 title = "Multi-Grain Relations",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "206--214",
)

@INPROCEEDINGS( CIAA2007-24, 
 author = "Michael Holtmann and Christof L{\"{o}}ding",
 title = "Memory Reduction for Strategies in Infinite Games",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "215--225",
)

@INPROCEEDINGS( CIAA2007-25, 
 author = "Magnus Steinby and C{\u{a}}t{\u{a}}lin Ionu{\c{t}} T{\^{i}}rn{\u{a}}uc{\u{a}}",
 title = "Syntax-Directed Translations and Quasi-Alphabetic Tree Bimorphisms",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "226--236",
)

@INPROCEEDINGS( CIAA2007-26, 
 author = "Nata{\v{s}}a Jonoska  and Joni B. Pirnot",
 title = "Finite State Automata Representing Two-Dimensional Subshifts",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "237--247",
)

@INPROCEEDINGS( CIAA2007-27, 
 author = "Marcella Anselmo and Dora Giammarresi and Maria Madonia ",
 title = "Tiling Automaton: a Computational Model for Recognizable Two-dimensional Languages",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "248--258",
)

@INPROCEEDINGS( CIAA2007-28, 
 author = "Fr{\'{e}}d{\'{e}}rique Bassino and Julien David and Cyril Nicaud ",
 title = "{REGAL}: a Library to Randomly and Exhaustively Generate Automata",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "259--260",
)

@INPROCEEDINGS( CIAA2007-29, 
 author = "Olivier Blanc and Matthieu Constant and Patrick Watrin",
 title = "A Finite-State Super-Chunker",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "261--262",
)

@INPROCEEDINGS( CIAA2007-30, 
 author = "Costas Iliopoulos and M. Sohel Rahman and Michal Vor{\'{a}}{\v{c}}ek and Ladislav Vagner",
 title = "The Constrained Longest Common Subsequence Problem for Degenerate Strings",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "263--264",
)

@INPROCEEDINGS( CIAA2007-31, 
 author = "Barbara Klunder",
 title = "Finite Automata Accepting Star-Connected Languages",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "265--266",
)

@INPROCEEDINGS( CIAA2007-32, 
 author = "Clemens Marschner",
 title = "Efficiently Matching With Local Grammars Using Prefix Overlay Transducers",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "267--268",
)

@INPROCEEDINGS( CIAA2007-33, 
 author = "Jan {\v{S}}upol",
 title = "Significant Subpatterns Matching",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "269--270",
)

@INPROCEEDINGS( CIAA2007-34, 
 author = "Anssi Yli-Jyr{\"{a}} and Kimmo Koskenniemi",
 title = "A New Method for Compiling Parallel Replacement Rules",
 booktitle = "Pre-proceedings of the Conference on Implementation and Application of Automata 2007",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-03764-5",
 year = 2007,
 pages = "271--272",
)