Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008

  • Giorgio Ausiello
  • Juhani Karhumäki
  • Giancarlo Mauri
  • Luke Ong
Conference proceedings

Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 273)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Track A

    1. Front Matter
      Pages 1-3
    2. Invited talks

    3. Contributed talks

      1. Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol
        Pages 57-72
      2. Tobias Berg, Harald Hempel
        Pages 73-86
      3. Alberto Bertoni, Christian Choffrut, Roberto Radicioni
        Pages 87-100
      4. Alexandre Blondin Massé, Srečko Brlek, Andrea Frosini, Sébastien Labbé, Simone Rinaldi
        Pages 101-114
      5. Olivier Cogis, Benoît Darties, Sylvain Durand, Jean-Claude König, Geneviève Simonet
        Pages 115-126
      6. Amin Coja-Oghlan, André Lanka
        Pages 127-141
      7. Maxime Crochemore, Alessandra Gabriele, Filippo Mignosi, Mauriana Pesaresi
        Pages 143-155
      8. Alberto Dennunzio, Pierre Guillon, Benoît Masson
        Pages 157-169
      9. Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl
        Pages 171-185
      10. Grégory Lafitte, Michael Weiss
        Pages 187-201
      11. Xingwu Liu, Juhua Pu, Jianzhong Pan
        Pages 203-213
      12. Alexander Okhotin, Panos Rondogiannis
        Pages 215-227
      13. Nicolas Ollinger, Gaétan Richard
        Pages 229-240
      14. Riku Saikkonen, Eljas Soisalon-Soininen
        Pages 241-255
  3. Track B

    1. Front Matter
      Pages 259-259
    2. Invited talks

      1. Luca Cardelli
        Pages 261-281
      2. Thomas Ehrhard
        Pages 283-283
      3. Javier Esparza, Stefan Kiefer, Michael Luttenberger
        Pages 285-298
    3. Contributed talks

      1. Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, MohammadReza Mousavi
        Pages 301-316
      2. Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg
        Pages 317-332
      3. Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre
        Pages 333-348
      4. Fréderic Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
        Pages 349-365
      5. Viviana Bono, Ferruccio Damiani, Elena Giachino
        Pages 367-382
      6. Kaustuv Chaudhuri, Dale Miller, Alexis Saurin
        Pages 383-396
      7. David de Frutos Escrig, Carlos Gregorio Rodríguez
        Pages 397-412
      8. Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
        Pages 413-427
      9. Emmanuel Filiot, Sophie Tison
        Pages 429-443
      10. Dietrich Kuske, Markus Lohrey
        Pages 445-459
      11. Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
        Pages 461-476
      12. Roland Meyer
        Pages 477-489
      13. Julian Rathke, Paweł Sobociński
        Pages 507-520
      14. Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel
        Pages 521-535
      15. Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen
        Pages 537-553

About these proceedings


International Federation for Information Processing

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.

For more information about the 300 other books in the IFIP series, please visit

For more information about IFIP, please visit



artificial intelligence computer computer science education human-computer interaction human-computer interaction (HCI) information processing information system modeling optimization system modeling

Editors and affiliations

  • Giorgio Ausiello
    • 1
  • Juhani Karhumäki
    • 2
  • Giancarlo Mauri
    • 3
  • Luke Ong
    • 4
  1. 1.University of RomeItaly
  2. 2.University of TurkuFinland
  3. 3.University of MilanoItaly
  4. 4.Cambridge UniversityUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2008
  • Publisher Name Springer, Boston, MA
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-0-387-09679-7
  • Online ISBN 978-0-387-09680-3
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site