
@Comment Invited Lectures

@InProceedings{conf/ciaa/Freivalds05,
  author    = {Freivalds, R\={u}si\c{n}\v{s}},
  title     = {Languages Recognizable by Quantum Finite Automata},
  pages     = {1--14},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_1}
}

@InProceedings{conf/ciaa/Sakarovitch05,
  author    = {Sakarovitch, Jacques},
  title     = {The Language, the Expression, and the (Small) Automaton},
  pages     = {15--30},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_2}
}

@Comment Technical Contributions

@InProceedings{conf/ciaa/AbdullaDKN05,
  author    = {Abdulla, Parosh Aziz and Deneux, Johann and Kaati, Lisa and Nilsson, Marcus},
  title     = {Minimization of Non-Deterministic Automata with Large Alphabets},
  pages     = {31--42},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_3}
}

@InProceedings{conf/ciaa/AnselmoM05,
  author    = {Anselmo, Marcella and Madonia, Maria},
  title     = {Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata},
  pages     = {43--53},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_4}
}

@InProceedings{conf/ciaa/BaillyCS05,
  author    = {Bailly, Arnaud and Clerbout, Mireille and Simplot-Ryl, Isabelle},
  title     = {Component Composition Preserving Behavioural Contracts Based on Communication Traces},
  pages     = {54--65},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_5}
}

@InProceedings{conf/ciaa/Bartha05,
  author    = {Bartha, Mikl\'{o}s},
  title     = {Strong Retiming Equivalence of Synchronous Schemes},
  pages     = {66--77},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_6}
}

@InProceedings{conf/ciaa/BastienCFR05,
  author    = {Bastien, C\'{e}dric and Czyzowicz, Jurek and Fraczak, Wojciech and Rytter, Wojciech},
  title     = {Prime Normal Form and Equivalence of Simple Grammars},
  pages     = {78--89},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_7}
}

@InProceedings{conf/ciaa/CampeanuPS05,
  author    = {C\^{a}mpeanu, Cezar and P\u{a}un, Andrei and Smith, Jason R.},
  title     = {An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automata},
  pages     = {90--103},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_8}
}

@InProceedings{conf/ciaa/CanoG05,
  author    = {Cano, Antonio and Garcia, Pedro},
  title     = {Finite Automata and Unions of Regular Patterns with Bounded Constant Segments},
  pages     = {104--115},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_9}
}

@InProceedings{conf/ciaa/ClaveiroleLOPS05,
  author    = {Claveirole, Thomas and Lombardy, Sylvain and O'Connor, Sarah and Pouchet, Louis-No\"{e}l and Sakarovitch, Jacques},
  title     = {Inside Vaucanson},
  pages     = {116--128},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_10}
}

@InProceedings{conf/ciaa/FujiyoshiK05,
  author    = {Fujiyoshi, Akio and Kawaharada, Ikuo},
  title     = {Deterministic Recognition of Trees Accepted by a Linear Pushdown Tree Automaton},
  pages     = {129--140},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_11}
}

@InProceedings{conf/ciaa/HanW05,
  author    = {Han, Yo-Sub and Wood, Derick},
  title     = {Shorter Regular Expressions from Finite-State Automata},
  pages     = {141--152},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_12}
}

@InProceedings{conf/ciaa/Hogberg05,
  author    = {H\"{o}gberg, Johanna},
  title     = {Wind in the Willows -- Generating Music by Means of Tree Transducers},
  pages     = {153--162},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_13}
}

@InProceedings{conf/ciaa/IbarraY05,
  author    = {Ibarra, Oscar and Yen, Hsu-Chun},
  title     = {On Deterministic Catalytic Systems},
  pages     = {163--175},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_14}
}

@InProceedings{conf/ciaa/JurdzinskiO05,
  author    = {Jurdzi\'{n}ski, Tomasz and Otto, Friedrich},
  title     = {Restricting the Use of Auxiliary Symbols for Restarting Automata},
  pages     = {176--187},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_15}
}

@InProceedings{conf/ciaa/KempeCEGN05,
  author    = {Kempe, Andr\'{e} and Champarnaud, Jean-Marc and Eisner, Jason and Guingne, Franck and Nicart, Florent},
  title     = {A Class of Rational $n$-{WFSM} Auto-Intersections},
  pages     = {188--198},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_16}
}

@InProceedings{conf/ciaa/KleinB05,
  author    = {Klein, Joachim and Baier, Christel},
  title     = {Experiments with Deterministic $\omega$-Automata for Formulas of Linear Temporal Logic},
  pages     = {199--212},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_17}
}

@InProceedings{conf/ciaa/Latour05,
  author    = {Latour, Louis},
  title     = {Computing Affine Hulls over $\mathbb{Q}$ and $\mathbb{Z}$ from Sets Represented by Number Decision Diagrams},
  pages     = {213--224},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_18}
}

@InProceedings{conf/ciaa/LohreyM05,
  author    = {Lohrey, Markus and Maneth, Sebastian},
  title     = {Tree Automata and {XP}ath on Compressed Trees},
  pages     = {225--237},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_19}
}

@InProceedings{conf/ciaa/PelanekS05,
  author    = {Pel\'{a}nek, Radek and Strej\v{c}ek, Jan},
  title     = {Deeper Connections between {LTL} and Alternating Automata},
  pages     = {238--249},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_20}
}

@InProceedings{conf/ciaa/Rytter05,
  author    = {Rytter, Wojciech},
  title     = {The Structure of Subword Graphs and Suffix Trees of Fibonacci Words},
  pages     = {250--261},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_21}
}

@InProceedings{conf/ciaa/SchulteATW05,
  author    = {Schulte Althoff, Christoph and Thomas, Wolfgang and Wallmeier, Nico},
  title     = {Observations on Determinization of {B}\"{u}chi Automata},
  pages     = {262--272},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_22}
}

@InProceedings{conf/ciaa/Shcherbak05,
  author    = {Shcherbak, Tamara},
  title     = {The Interval Rank of Monotonic Automata},
  pages     = {273--281},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_23}
}

@InProceedings{conf/ciaa/SubramanianS05,
  author    = {Subramanian, Hariharan and Shankar, Priti},
  title     = {Compressing {XML} Documents Using Recursive Finite State Automata},
  pages     = {282--293},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_24}
}

@InProceedings{conf/ciaa/SudaH05,
  author    = {Suda, Tadahiro and Hosoya, Haruo},
  title     = {Non-backtracking Top-down Algorithm for Checking Tree Automata Containment},
  pages     = {294--306},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_25}
}

@InProceedings{conf/ciaa/TammNU05,
  author    = {Tamm, Hellis and Nyk\"{a}nen, Matti and Ukkonen, Esko},
  title     = {Size Reduction of Multitape Automata},
  pages     = {307--318},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_26}
}

@InProceedings{conf/ciaa/FerroPF05,
  author    = {Vilares Ferro, Manuel and Otero Pombo, Juan and Vilares Ferro, Jes\'us},
  title     = {Robust Spelling Correction},
  pages     = {319--328},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_27}
}

@InProceedings{conf/ciaa/ZdarekM05,
  author    = {\v{Z}d'\'{a}rek, Jan and Melichar, Bo\v{r}ivoj},
  title     = {On Two-dimensional Pattern Matching by Finite Automata},
  pages     = {329--340},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_28}
}

@Comment Poster Abstracts

@InProceedings{conf/ciaa/DaciukMS05,
  author    = {Daciuk, Jan and Maurel, Denis and Savary, Agata},
  title     = {Incremental and Semi-Incremental Construction of Pseudo-Minimal Automata},
  pages     = {341--342},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_29}
}

@InProceedings{conf/ciaa/GarciaRCA05,
  author    = {Garc\'{i}a, Pedro and Ruiz, Jos\'{e} and Cano, Antonio and Alvarez, Gloria},
  title     = {Is Learning {RFSA}s Better Than Learning {DFA}s?},
  pages     = {343--344},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_30}
}

@InProceedings{conf/ciaa/HigueraPT05,
  author    = {de la Higuera, Colin and Piat, Fr\'{e}d\'{e}ric and Tantini, Fr\'{e}d\'{e}ric},
  title     = {Learning Stochastic Finite Automata for Musical Style Recognition},
  pages     = {345--346},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_31}
}

@InProceedings{conf/ciaa/Kresz05,
  author    = {Kr\'{e}sz, Mikl\'{o}s},
  title     = {Simulation of Soliton Circuits},
  pages     = {347--348},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_32}
}

@InProceedings{conf/ciaa/MoraisMR05,
  author    = {Morais, Jos\'{e} Jo\~{a}o and Moreira, Nelma and Reis, Rog\'{e}rio},
  title     = {Acyclic Automata With Easy-to-Find Short Regular Expressions},
  pages     = {349--350},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_33}
}

@InProceedings{conf/ciaa/PodlovchenkoRZ05,
  author    = {Podlovchenko, Rimma and Rusakov, Dmitry and Zakharov, Vladimir},
  title     = {On the Equivalence Problem for Programs with Mode Switching},
  pages     = {351--352},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_34}
}

@InProceedings{conf/ciaa/Tellier05,
  author    = {Tellier, Isabelle},
  title     = {Automata and {AB}-Categorial Grammars},
  pages     = {353--355},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_35}
}

@InProceedings{conf/ciaa/VielhaberC05,
  author    = {Vielhaber, Michael and Canales Ch., M\'{o}nica del Pilar},
  title     = {On a Class of Bijective Binary Transducers with Finitary 
Description despite Infinite State Set},
  pages     = {356--357},
  crossref  = {conf/ciaa/2005},
  doi       = {10.1007/11605157_36}
}

@Comment Proceedings of CIAA 2005

@Proceedings{conf/ciaa/2005,
  title     = {Implementation and Application of Automata, 10th International Conference, Sophia Antipolis, France, June 27--29, 2005},
  year      = {2006},
  booktitle = {CIAA'05},
  editor    = {Jacques Farr\'{e} and Igor Litovsky and Sylvain Schmitz},
  volume    = {3845},
  series    = {Lecture Notes in Computer Science},
  isbn      = {3-540-31023-1},
  publisher = {Springer},
  doi       = {10.1007/11605157}
}