| 2003 | AVA: An Applet for Visualizing FRACTRAN and Other Automata. Nathan Preston, Mukkai S. Krishnamoorthy |
| 2003 | An Efficient Pre-determinization Algorithm. Cyril Allauzen, Mehryar Mohri |
| 2003 | An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics Extended Abstract. Tsai-Hung Fan, Shufen Lee, Hsueh-I Lu, Tsung-Shan Tsou, Tsai-Cheng Wang, Adam Yao |
| 2003 | Automata for Specifying Component Interfaces. Thomas A. Henzinger |
| 2003 | Automata on Words. Juhani Karhumäki |
| 2003 | Bag Automata and Stochastic Retrieval of Biomolecules in Solution. Mark Daley, Mark G. Eramian, Ian McQuillan |
| 2003 | Bideterministic Automata and Minimal Representations of Regular Languages. Hellis Tamm, Esko Ukkonen |
| 2003 | Boolean Operations for Attribute-Element Constraints. Haruo Hosoya, Makoto Murata |
| 2003 | Branching Automata with Costs - A Way of Reflecting Parallelism in Costs. Dietrich Kuske, Ingmar Meinecke |
| 2003 | Building Context-Sensitive Parsers from CF Grammars with Regular Control Language. César Bravo, João José Neto |
| 2003 | Computational Linguistic Motivations for a Finite-State Machine Hierarchy. Robert Kelly, Julie Carson-Berndsen |
| 2003 | Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata. Carsten Fritz |
| 2003 | Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. Xiang Fu, Tevfik Bultan, Jianwen Su |
| 2003 | Finite-State Molecular Computing. Olgierd Unold, Maciej Troc, Tadeusz Dobosz, Alicja Trusewicz |
| 2003 | From Regular Weighted Expressions to Finite Automata. Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi |
| 2003 | Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings Oscar H. Ibarra, Zhe Dang |
| 2003 | Introducing VAUCANSON. Sylvain Lombardy, Raphael Poss, Yann Régis-Gianas, Jacques Sakarovitch |
| 2003 | LR Parsing for Global Index Languages (GILs). José M. Castaño |
| 2003 | New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. Gaoyan Xie, Cheng Li, Zhe Dang |
| 2003 | Preliminary Experiments in Hardcoding Finite Automata. Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie |
| 2003 | Reducing the Time Complexity of Testing for Local Threshold Testability. Avraham Trakhtman |
| 2003 | Robust Parsing Using Dynamic Programming. Manuel Vilares Ferro, Victor M. Darriba, Jesús Vilares Ferro, Leandro Rodríguez Liñares |
| 2003 | Running Time Complexity of Printing an Acyclic Automaton. Franck Guingne, André Kempe, Florent Nicart |
| 2003 | Succinct Descriptions of Regular Languages with Binary +-NFAs. Lynette van Zijl |
| 2003 | Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. Nico Wallmeier, Patrick Hütten, Wolfgang Thomas |
| 2003 | TCTL Inevitability Analysis of Dense-Time Systems. Farn Wang, Geng-Dian Hwang, Fang Yu |
| 2003 | Ternary Directed Acyclic Word Graphs. Satoru Miyamoto, Shunsuke Inenaga, Masayuki Takeda, Ayumi Shinohara |
| 2003 | The Effect of Rewriting Regular Expressions on Their Accepting Automata. Michiel Frishert, Loek G. Cleophas, Bruce W. Watson |
| 2003 | The Ehrenfeucht-Mycielski Sequence. Klaus Sutner |
| 2003 | The Longest Common Subsequence Problem A Finite Automata Approach. Borivoj Melichar, Tomás Polcar |
| 2003 | Timing Parameter Characterization of Real-Time Systems. Farn Wang, Hsu-Chun Yen |
| 2003 | WFSC - A New Weighted Finite State Compiler. André Kempe, Christof Baeijs, Tamás Gaál, Franck Guingne, Florent Nicart |
| 2003 | Weak Minimization of DFA - An Algorithm and Applications. Bala Ravikumar |
| 2003 | XML Schema Containment Checking Based on Semi-implicit Techniques. Akihiko Tozawa, Masami Hagiya |