2. WIA 1997:
London,
Ontario,
Canada
Derick Wood, Sheng Yu (Eds.):
Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers.
Lecture Notes in Computer Science 1436 Springer 1998, ISBN 3-540-64694-9 BibTeX
@proceedings{DBLP:conf/wia/1997,
editor = {Derick Wood and
Sheng Yu},
title = {Automata Implementation, Second International Workshop on Implementing
Automata, WIA '97, London, Ontario, Canada, September 18-20,
1997, Revised Papers},
booktitle = {WIA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1436},
year = {1998},
isbn = {3-540-64694-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Opening Address
Contributed Papers
- Miguel A. Alonso, David Cabrero, Manuel Vilares Ferro:
Construction of Efficient Generalized LR Parsers.
7-24 BibTeX
- François Bertault, Gregory Kucherov:
Visualization of Dynamic Automata Using Padnon.
25-28 BibTeX
- Janusz A. Brzozowski, Radu Negulescu:
Automata of Asynchronous Behaviors.
29-45 BibTeX
- Pascal Caron:
LANGAGE: A Maple Package for Automaton Characterization of Regular Languages.
46-55 BibTeX
- Max H. Garzon, Y. Gao, John A. Rose, R. C. Murphy, Russell J. Deaton, Donald R. Franceschetti, Stanley Edward Stevens Jr.:
In Vitro Implementation of Finite-State Machines.
56-74 BibTeX
- James Glenn, William I. Gasarch:
Implementing WS1S via Finite Automata: Performance Issues.
75-86 BibTeX
- George Anton Kiraz, Edmund Grimley-Evans:
Multi-tape Automata for Speech and Language Systems: A Prolog Implementation.
87-103 BibTeX
- Vincent Le Maout:
Tools to Implement Automata, a First Step: ASTL.
104-108 BibTeX
- Helmut Lescow, Jens Vöge:
Minimal Separating Sets for Muller Automata.
109-121 BibTeX
- Denis Maurel, Laurent Chauvier:
Pseudo-minimal Transducers: A Transducer with Proper Elements.
122-132 BibTeX
- Charlotte L. Miller:
Towards a Meta-Normal Form Algorithm for Context-Free Grammars.
133-143 BibTeX
- Mehryar Mohri, Fernando C. N. Pereira, Michael Riley:
A Rational Design for a Weighted Finite-State Transducer Library.
144-158 BibTeX
- Jean-Luc Ponty:
An Efficient Null-Free Procedure for Deciding Regular Language Membership.
159-170 BibTeX
- Dominique Revuz:
Operations on Extended Automata.
171-175 BibTeX
- Kai Salomaa, Xiuming Wu, Sheng Yu:
Efficient Implementation of Regular Languages Using R-AFA.
176-184 BibTeX
- Max Silberztein:
INTEX: An Integrated FST Toolbox.
185-197 BibTeX
- A. N. Trahtman:
A Precise Estimation of the Order of Local Testability of a Deterministic Finite Automaton.
198-212 BibTeX
- Yuri Velinov:
Teaching Theory of Computation with Tape Machines.
213-227 BibTeX
- Jens Vöge, S. Ulbrand, Oliver Matz, Nils Buhrke:
The Automata Theory Package omega.
228-231 BibTeX
- Bruce W. Watson:
Practical Optimizations for Automata.
232-240 BibTeX
- Djelloul Ziadi:
Sorting and Doubling Techniques for Set Partitioning and Automata Minimization Problems.
241-251 BibTeX
Copyright © Sat May 16 23:47:52 2009
by Michael Ley (ley@uni-trier.de)