Advertisement

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
    8. Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
      Pages 193-204
    9. Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
      Pages 205-216
    10. Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Inmaculada Medina-Bulo
      Pages 229-240
    11. Walter Dosch, Annette Stümpel
      Pages 241-254
    12. Domenico Cantone, Simone Faro
      Pages 255-266
    13. Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp
      Pages 267-278
    14. David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino
      Pages 279-290
    15. Viliam Geffert, Dana Pardubská
      Pages 291-302
    16. Rica Gonen, Elan Pavlov
      Pages 303-316
    17. Ondrej Habala, Marek Paralič, Viera Rozinajová, Peter Bartalos
      Pages 317-328
    18. Robert König, Ueli Maurer, Stefano Tessaro
      Pages 341-352
    19. Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto
      Pages 353-364
    20. Dongpil Kwak, Joongsoo Lee, Dohyun Kim, Younghee Lee
      Pages 365-375
    21. Gerald Lüttgen, Walter Vogler
      Pages 376-387
    22. Robert Lorenz, Gabriel Juhás, Sebastian Mauser
      Pages 388-400
    23. Hannes Moser
      Pages 401-412
    24. Alexander Okhotin, Christian Reitwießner
      Pages 425-436
    25. Frédéric Peschanski, Joël-Alexis Bialkiewicz
      Pages 437-448
    26. Stefan Porschen, Tatjana Schmidt
      Pages 449-460
    27. Klaus Reinhardt
      Pages 461-472
    28. Johannes C. Schneider
      Pages 473-484
    29. Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle
      Pages 485-496
    30. Grzegorz Stachowiak
      Pages 497-508
    31. Ruslans Tarasovs, Rūsiņš Freivalds
      Pages 521-532

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-540-95891-8
  • 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
  • Buy this book on publisher's site