CIAA 2003
TECHNICAL PROGRAM
| 8:00-8:45 | Registration |
|---|---|
| 8:45-9:00 | Opening |
| 9:00-10:00 | Chair: Oscar H. Ibarra |
| Thomas A. Henzinger, University of California, Berkeley | |
| Invited Lecture: Automata for Specifying Component Interfaces | |
| 10:00-10:30 | Coffee Break |
| 10:30-12:00 | Chair: Tevfik Bultan |
| Nico Wallmeier, Patrick Huetten, and Wolfgang Thomas | |
| Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications | |
| Farn Wang and Hsu-Chun Yen | |
| Timing Parameter Characterization of Real-Time Systems | |
| Carsten Fritz | |
| Constructing Buchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Buchi Automata | |
| 12:00-2:00 | Lunch |
| 2:00-3:30 | Chair: Jacques Sakarovitch |
| B. Ravikumar | |
| Weak Minimization of DFA - An Algorithm and Applications | |
| Hellis Tamm and Esko Ukkonen | |
| Bideterministic Automata and Minimal Representations of Regular Languages | |
| L. van Zijl | |
| Succinct Descriptions of Regular Languages with Binary Symmetric Difference NFAs | |
| 3:30-4:00 | Coffee Break |
| 4:00-5:30 | Chair: Sheng Yu |
| Cyril Allauzen and Mehryar Mohri | |
| An Efficient Pre-Determinization Algorithm | |
| Sylvain Lombardy, Raphael Poss, Yann Regis-Gianas, and Jacques Sakarovitch | |
| Introducing Vaucanson | |
| Andre Kempe, Christof Baeijs, Tamas Gaal, Franck Guingne, and Florent Nicart | |
| WFSC - A New Weighted Finite State Compiler | |
| 5:30-6:00 | Poster Session - Chair: Jianwen Su |
| 6:15 | Welcoming Reception |
| 8:15-9:00 | Registration |
|---|
| 9:00-10:30 | Chair: Omer Egecioglu |
|---|---|
| Klaus Sutner | |
| The Ehrenfeucht-Mycielski Sequence | |
| Mark Daley, Mark Eramian, Ian McQuillan | |
| Bag Automata and Stochastic Retrieval of Biomolecules in Solution | |
| Tsai-Hung Fan, Shufen Lee, Hsueh-I Lu, Tsung-Shan Tsou, Tsai-Cheng Wang, and Adam Yao | |
| An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics | |
| 10:30-11:00 | Coffee Break |
| 11:00-12:00 | Chair: Bala Ravikumar | M. Vilares, V.M. Darriba, J. Vilares, L. Rodriguez |
| Robust Parsing in Dynamic Programming | Jose M. Castano |
| LR Parsing for Global Index Grammars | |
| 12:00-12:30 | General Meeting and CIAA 2004 |
| 12:30 | Closing |
| 12:30-2:00 | Lunch |
| 2:00 | Excursion |