SOFSEM 2009: Theory and Practice of Computer Science

35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings

  • Mogens Nielsen
  • Antonín Kučera
  • Peter Bro Miltersen
  • Catuscia Palamidessi
  • Petr Tůma
  • Frank Valencia

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Marcella Anselmo, Natasha Jonoska, Maria Madonia
      Pages 79-92
    2. Taku Aratsu, Kouichi Hirata, Tetsuji Kuboyama
      Pages 93-104
    3. Reinhard Bauer, Gianlorenzo D’Angelo, Daniel Delling, Dorothea Wagner
      Pages 105-116
    4. Walter Binder, Niranjan Suri
      Pages 117-128
    5. Thomas Chatain, Paul Gastin, Nathalie Sznajder
      Pages 141-152
    6. Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden
      Pages 153-166
    7. Taolue Chen, Wan Fokkink, Rob van Glabbeek
      Pages 167-180

About these proceedings


This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009.

The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.


Graph Service-oriented Computing algorithms approximation auctions automata combinatorial complexity communication complexity component based conceptual modeling database services distributed computing petri net verification

Editors and affiliations

  • Mogens Nielsen
    • 1
  • Antonín Kučera
    • 2
  • Peter Bro Miltersen
    • 3
  • Catuscia Palamidessi
    • 4
  • Petr Tůma
    • 5
  • Frank Valencia
    • 4
  1. 1.Aarhus Graduate School of ScienceUniversity of AarhusAarhus CDenmark
  2. 2.Faculty of InformaticsMasaryk UniversityBrnoCzech Republic
  3. 3.Department of Computer ScienceUniversity of AarhusAarhus N.Denmark
  4. 4.Ecole PolytechniquePalaiseau CedexFrance
  5. 5.Faculty of Mathematics and PhysicsCharles UniversityPrague 1Czech Republic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-95890-1
  • Online ISBN 978-3-540-95891-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book