© 2002

Implementation and Application of Automata

6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers

  • Bruce W. Watson
  • Derick Wood
Conference proceedings CIAA 2001

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2494)

Table of contents

  1. Front Matter
    Pages I-X
  2. Iñaki Alegria, Maxux Aranzabe, Nerea Ezeiza, Aitzol Ezeiza, Ruben Urizar
    Pages 1-12
  3. Anne Bergeron, Sylvie Hamel
    Pages 13-26
  4. Jean-Marc Champarnaud, Gérard Duchamp
    Pages 52-64
  5. Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
    Pages 74-86
  6. Jean-Philippe Dubernard, Dominique Geniet
    Pages 87-100
  7. Jacques Farré, José Fortes Gálvez
    Pages 101-114
  8. Nathalie Friburger, 1]Denis Maurel
    Pages 115-124
  9. Jorge Graña, Fco. Mario Barcala, Miguel A. Alonso
    Pages 135-148
  10. Jan Holub
    Pages 149-160
  11. Markus Holzer, Martin Kutrib
    Pages 161-176
  12. Frank Katritzke, Wolfgang Merzenich, Michael Thomas
    Pages 177-189
  13. Bořivoj Melichar, Jan Skryja
    Pages 202-213
  14. Jim Morey, Kamran Sedig, Robert E. Mercer, Wayne Wilson
    Pages 214-220
  15. Nadia Nedjah, Luiza de Macedo Mourelle
    Pages 221-233

About these proceedings


Simulation algorithms automata automata computations automata theory cellular automata finite automata formal languages formal methods foundations implementations modeling natural language proving statecharts

Editors and affiliations

  • Bruce W. Watson
    • 1
  • Derick Wood
    • 2
  1. 1.Department of Computer ScienceUniversity of PretoriaPretoriaSouth Africa
  2. 2.Department of Computer ScienceHong Kong University of Science and TechnologyKowloonHong Kong

Bibliographic information