Skip to main content
SpringerLink
Log in

SOFSEM 2009: Theory and Practice of Computer Science

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Mogens Nielsen

    1. Aarhus Graduate School of Science, University of Aarhus, Aarhus C, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Antonín Kučera

    1. Faculty of Informatics, Masaryk University, Brno, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Bro Miltersen

    1. Department of Computer Science, University of Aarhus, Aarhus N., Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Catuscia Palamidessi

    1. Ecole Polytechnique, Palaiseau Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Petr Tůma

    1. Faculty of Mathematics and Physics, Charles University, Prague 1, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Frank Valencia

    1. Ecole Polytechnique, Palaiseau Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SOFSEM 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (58 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. A New Analysis of Expected Revenue

      • Arne Andersson, Jim Wilenius
      Pages 1-2

    2. Can Component/Service-Based Systems Be Proved Correct?

      • Christian Attiogbé
      Pages 3-18

    3. Probabilistic Acceptors for Languages over Infinite Words

      • Christel Baier, Nathalie Bertrand, Marcus Größer
      Pages 19-33

    4. Automatic Verification of Heap Manipulation Using Separation Logic

      • Josh Berdine
      Pages 34-34

    5. Technology Diffusion in Social Networks

      • Nicole Immorlica
      Pages 35-36

    6. Service Oriented Architecture Pitfalls

      • Radovan Janeček
      Pages 37-45

    7. Algorithms for Solving Infinite Games

      • Marcin Jurdziński
      Pages 46-48

    8. Randomness and Determination, from Physics and Computing towards Biology

      • Giuseppe Longo
      Pages 49-61

    9. When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures

      • David C. Parkes
      Pages 62-66

  3. Regular Papers

    1. On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems

      • Suzana Andova, Sonja Georgievska
      Pages 67-78

    2. Framed Versus Unframed Two-Dimensional Languages

      • Marcella Anselmo, Natasha Jonoska, Maria Madonia
      Pages 79-92

    3. Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes

      • Taku Aratsu, Kouichi Hirata, Tetsuji Kuboyama
      Pages 93-104

    4. The Shortcut Problem – Complexity and Approximation

      • Reinhard Bauer, Gianlorenzo D’Angelo, Daniel Delling, Dorothea Wagner
      Pages 105-116

    5. Green Computing: Energy Consumption Optimized Service Hosting

      • Walter Binder, Niranjan Suri
      Pages 117-128

    6. On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem

      • Beate Bollig
      Pages 129-140

    7. Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems

      • Thomas Chatain, Paul Gastin, Nathalie Sznajder
      Pages 141-152

    8. Epistemic Strategies and Games on Concurrent Processes

      • Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden
      Pages 153-166

    9. On Finite Bases for Weak Semantics: Failures Versus Impossible Futures

      • Taolue Chen, Wan Fokkink, Rob van Glabbeek
      Pages 167-180

    10. On Generating All Maximal Acyclic Subhypergraphs with Polynomial Delay

      • Taishin Daigo, Kouichi Hirata
      Pages 181-192
Back to top

Other volumes

  1. SOFSEM 2009: Theory and Practice of Computer Science

Keywords

About this book

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.

Editors and Affiliations

  • Aarhus Graduate School of Science, University of Aarhus, Aarhus C, Denmark

    Mogens Nielsen

  • Faculty of Informatics, Masaryk University, Brno, Czech Republic

    Antonín Kučera

  • Department of Computer Science, University of Aarhus, Aarhus N., Denmark

    Peter Bro Miltersen

  • Ecole Polytechnique, Palaiseau Cedex, France

    Catuscia Palamidessi, Frank Valencia

  • Faculty of Mathematics and Physics, Charles University, Prague 1, Czech Republic

    Petr Tůma

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation