Advertisement

Implementation and Application of Automata

7th International Conference, CIAA 2002 Tours, France, July 3–5, 2002 Revised Papers

  • Jean-Marc Champarnaud
  • Denis Maurel
Conference proceedings CIAA 2002

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Lecture

    1. Mehryar Mohri
      Pages 1-23
  3. Technical Contributions

    1. Cyril Allauzen, Mehryar Mohri
      Pages 24-34
    2. Miguel A. Alonso, Víctor J. Díaz, Manuel Vilares
      Pages 35-46
    3. Marcella Anselmo, Dora Giammarresi, Stefano Varricchio
      Pages 47-56
    4. Janusz Brzozowski, Mihaela Gheorghiu
      Pages 57-66
    5. Cezar Câmpeanu, Kai Salomaa, Sheng Yu
      Pages 77-84
    6. Jurek Czyzowicz, Wojciech Fraczak, Andrzej Pelc, Wojciech Rytter
      Pages 85-94
    7. Mihaela Gheorghiu, Janusz Brzozowski
      Pages 106-116
    8. Franck Guingne, Florent Nicart
      Pages 138-147
    9. João José Neto, César Bravo
      Pages 158-168
    10. Libor Polák
      Pages 182-193
    11. Klaus Sutner
      Pages 194-202
    12. Miroslav Balík
      Pages 233-238
    13. Anne Brüggemann-Klein, Derick Wood
      Pages 239-247
    14. Pascal Caron, Marianne Flouret
      Pages 248-254
    15. Gaëlle Largeteau, Dominique Geniet
      Pages 262-269
    16. Zdenêk Troniĉek
      Pages 270-275
    17. Manuel Vilares, Victor M. Darriba, Miguel A. Alonso
      Pages 276-281
  4. Abstracts

    1. Jan Holub, Maxime Crochemore
      Pages 289-294
    2. Jan Holub
      Pages 295-300
    3. Bořivoj Melichar
      Pages 301-306
  5. Back Matter
    Pages 307-307

About these proceedings

Keywords

Simulation algorithms automata automata theory complexity finite automata formal methods grammar systems image processing implementations natural language protocols state complexity statecharts verification

Editors and affiliations

  • Jean-Marc Champarnaud
    • 1
  • Denis Maurel
    • 2
  1. 1.UFR des Sciences et TechniquesUniversité de RouenMont-Saint-Aignan CedexFrance
  2. 2.Departement InformatiqueLaboratoire d’Informatique de l’Université de Tours École Polytechnique de l’Université de ToursToursFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44977-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40391-3
  • Online ISBN 978-3-540-44977-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site