8. CIAA 2003: Santa Barbara, CA, USA

@proceedings{DBLP:conf/wia/2003,
  editor    = {Oscar H. Ibarra and
               Zhe Dang},
  title     = {Implementation and Application of Automata, 8th International
               Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18,
               2003, Proceedings},
  booktitle = {CIAA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2759},
  year      = {2003},
  isbn      = {3-540-40561-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

• Thomas A. Henzinger:
  Automata for Specifying Component Interfaces. 1-2
  Electronic Edition (Springer LINK) BibTeX
• Juhani Karhumäki:
  Automata on Words. 3-10
  Electronic Edition (Springer LINK) BibTeX

Regular Papers

• Nico Wallmeier, Patrick Hütten, Wolfgang Thomas:
  Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. 11-22
  Electronic Edition (Springer LINK) BibTeX
• Farn Wang, Hsu-Chun Yen:
  Timing Parameter Characterization of Real-Time Systems. 23-34
  Electronic Edition (Springer LINK) BibTeX
• Carsten Fritz:
  Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata. 35-48
  Electronic Edition (Springer LINK) BibTeX
• Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi:
  From Regular Weighted Expressions to Finite Automata. 49-60
  Electronic Edition (Springer LINK) BibTeX
• Hellis Tamm, Esko Ukkonen:
  Bideterministic Automata and Minimal Representations of Regular Languages. 61-71
  Electronic Edition (Springer LINK) BibTeX
• Lynette van Zijl:
  Succinct Descriptions of Regular Languages with Binary +-NFAs. 72-82
  Electronic Edition (Springer LINK) BibTeX
• Cyril Allauzen, Mehryar Mohri:
  An Efficient Pre-determinization Algorithm. 83-95
  Electronic Edition (Springer LINK) BibTeX
• Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch:
  Introducing VAUCANSON. 96-107
  Electronic Edition (Springer LINK) BibTeX
• André Kempe, Christof Baeijs, Tamás Gaál, Franck Guingne, Florent Nicart:
  WFSC - A New Weighted Finite State Compiler. 108-119
  Electronic Edition (Springer LINK) BibTeX
• Satoru Miyamoto, Shunsuke Inenaga, Masayuki Takeda, Ayumi Shinohara:
  Ternary Directed Acyclic Word Graphs. 120-130
  Electronic Edition (Springer LINK) BibTeX
• Franck Guingne, André Kempe, Florent Nicart:
  Running Time Complexity of Printing an Acyclic Automaton. 131-140
  Electronic Edition (Springer LINK) BibTeX
• Avraham Trakhtman:
  Reducing the Time Complexity of Testing for Local Threshold Testability. 141-149
  Electronic Edition (Springer LINK) BibTeX
• Dietrich Kuske, Ingmar Meinecke:
  Branching Automata with Costs - A Way of Reflecting Parallelism in Costs. 150-162
  Electronic Edition (Springer LINK) BibTeX
• Gaoyan Xie, Cheng Li, Zhe Dang:
  New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. 163-175
  Electronic Edition (Springer LINK) BibTeX
• Farn Wang, Geng-Dian Hwang, Fang Yu:
  TCTL Inevitability Analysis of Dense-Time Systems. 176-187
  Electronic Edition (Springer LINK) BibTeX
• Xiang Fu, Tevfik Bultan, Jianwen Su:
  Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. 188-200
  Electronic Edition (Springer LINK) BibTeX
• Haruo Hosoya, Makoto Murata:
  Boolean Operations for Attribute-Element Constraints. 201-212
  Electronic Edition (Springer LINK) BibTeX
• Akihiko Tozawa, Masami Hagiya:
  XML Schema Containment Checking Based on Semi-implicit Techniques. 213-225
  Electronic Edition (Springer LINK) BibTeX
• Bala Ravikumar:
  Weak Minimization of DFA - An Algorithm and Applications. 226-238
  Electronic Edition (Springer LINK) BibTeX
• Mark Daley, Mark G. Eramian, Ian McQuillan:
  Bag Automata and Stochastic Retrieval of Biomolecules in Solution. 239-250
  Electronic Edition (Springer LINK) BibTeX
• Tsai-Hung Fan, Shufen Lee, Hsueh-I Lu, Tsung-Shan Tsou, Tsai-Cheng Wang, Adam Yao:
  An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics Extended Abstract. 251-257
  Electronic Edition (Springer LINK) BibTeX
• Manuel Vilares Ferro, Victor M. Darriba, Jesús Vilares Ferro, Leandro Rodríguez Liñares:
  Robust Parsing Using Dynamic Programming. 258-268
  Electronic Edition (Springer LINK) BibTeX
• José M. Castaño:
  LR Parsing for Global Index Languages (GILs). 269-281
  Electronic Edition (Springer LINK) BibTeX
• Klaus Sutner:
  The Ehrenfeucht-Mycielski Sequence. 282-293
  Electronic Edition (Springer LINK) BibTeX

Poster Papers

• Borivoj Melichar, Tomás Polcar:
  The Longest Common Subsequence Problem A Finite Automata Approach. 294-296
  Electronic Edition (Springer LINK) BibTeX
• Nathan Preston, Mukkai S. Krishnamoorthy:
  AVA: An Applet for Visualizing FRACTRAN and Other Automata. 297-298
  Electronic Edition (Springer LINK) BibTeX
• Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie:
  Preliminary Experiments in Hardcoding Finite Automata. 299-300
  Electronic Edition (Springer LINK) BibTeX
• Robert Kelly, Julie Carson-Berndsen:
  Computational Linguistic Motivations for a Finite-State Machine Hierarchy. 301-303
  Electronic Edition (Springer LINK) BibTeX
• Michiel Frishert, Loek G. Cleophas, Bruce W. Watson:
  The Effect of Rewriting Regular Expressions on Their Accepting Automata. 304-305
  Electronic Edition (Springer LINK) BibTeX
• César Bravo, João José Neto:
  Building Context-Sensitive Parsers from CF Grammars with Regular Control Language. 306-308
  Electronic Edition (Springer LINK) BibTeX
• Olgierd Unold, Maciej Troc, Tadeusz Dobosz, Alicja Trusewicz:
  Finite-State Molecular Computing. 309-310
  Electronic Edition (Springer LINK) BibTeX