Advertisement

Theoretical Computer Science

9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

  • Mario Coppo
  • Elena Lodi
  • G. Michele Pinna
Conference proceedings ICTCS 2005

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

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 https://doi.org/10.1007/11560586
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • 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