SOFSEM 2013: Theory and Practice of Computer Science

39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

  • Peter van Emde Boas
  • Frans C. A. Groen
  • Giuseppe F. Italiano
  • Jerzy Nawrocki
  • Harald Sack
Conference proceedings SOFSEM 2013

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Major Achievements in Software Studies

      1. Ernie Cohen, Wolfgang Paul, Sabine Schmaltz
        Pages 1-27
      2. Frantisek Plasil, Tomas Bures
        Pages 28-28
    2. Foundations of Computer Science

      1. Peter Sanders
        Pages 29-32
      2. Gerhard J. Woeginger
        Pages 33-50
    3. Software and Web Engineering

      1. Carsten Kolassa, Dirk Riehle, Michel A. Salim
        Pages 52-66
    4. Data, Information and Knowledge Engineering

      1. Michel Buffa, Nicolas Delaforge, Guillaume Erétéo, Fabien Gandon, Alain Giboin, Freddy Limpens
        Pages 67-85
    5. Social Computing and Human Factors

  3. Regular Papers

    1. Foundations of Computer Science

      1. Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
        Pages 108-120
      2. Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Agnis Škuškovniks, Juris Smotrovs, Madars Virza
        Pages 121-132
      3. Marcella Anselmo, Dora Giammarresi, Maria Madonia
        Pages 133-145
      4. Maxim Babenko
        Pages 146-156
      5. Hans-Joachim Böckenhauer, Monika Steinová
        Pages 157-168
      6. Michele Boreale, Alessandro Celestini
        Pages 169-181
      7. Stijn de Gouw, Frank de Boer, Wolfgang Ahrendt, Richard Bubel
        Pages 207-219
      8. Matthew Gwynne, Oliver Kullmann
        Pages 220-232
      9. Sepp Hartung, Christian Komusiewicz, André Nichterlein
        Pages 233-243
      10. Takashi Katsura, Kazuyuki Narisawa, Ayumi Shinohara, Hideo Bannai, Shunsuke Inenaga
        Pages 280-291
      11. Balázs Keszegh, Nathan Lemons, Dömötör Pálvölgyi
        Pages 292-306
      12. Violetta Lonati, Dino Mandrioli, Matteo Pradella
        Pages 307-318
      13. Eva Maia, Nelma Moreira, Rogério Reis
        Pages 319-331
      14. George B. Mertzios, Paul G. Spirakis
        Pages 332-343
      15. Jurriaan Rot, Marcello Bonsangue, Jan Rutten
        Pages 369-381
    2. Software and Web Engineering

      1. Jesús M. Almendros-Jiménez, Luis Iribarne
        Pages 382-394
      2. Tim Frey, Matthias Gräf
        Pages 395-407
      3. Eduard Kuric, Mária Bieliková
        Pages 408-419
      4. Richard Lipka, Tomáš Potužák, Premek Brada, Pavel Herout
        Pages 420-431
      5. Lunjin Lu, Dae-Kyoo Kim
        Pages 432-444
      6. Tomáš Uherčík, Marián Šimko, Mária Bieliková
        Pages 457-468
      7. Dries Vanoverberghe, Emma Eyckmans, Frank Piessens
        Pages 469-480
    3. Data, Information, and Knowledge Engineering

      1. András Dobó, János Csirik
        Pages 491-502
      2. Sergejs Kozlovics
        Pages 503-514
      3. Václav Slavíček
        Pages 515-527
      4. Ondřej Šváb-Zamazal, Anne Schlicht, Heiner Stuckenschmidt, Vojtěch Svátek
        Pages 528-539
    4. Social Computing and Human Factors

  4. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors.


algorithms graph coloring problem information retrieval social Web source code

Editors and affiliations

  • Peter van Emde Boas
    • 1
  • Frans C. A. Groen
    • 2
  • Giuseppe F. Italiano
    • 3
  • Jerzy Nawrocki
    • 4
  • Harald Sack
    • 5
  1. 1.Department of Mathematics and Computer ScienceUniversity of AmsterdamAmsterdamThe Netherlands
  2. 2.Informatics Institute, Intelligent Systems Lab AmsterdamUniversity of AmsterdamAmsterdamThe Netherlands
  3. 3.Department of Civil Engineering and Computer ScienceUniversity of Rome Tor VergataRomeItaly
  4. 4.Institute of Computing SciencePoznan University of TechnologyPoznanPoland
  5. 5.Hasso-Plattner-Institute for Software Systems EngineeringPotsdamGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-35842-5
  • Online ISBN 978-3-642-35843-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site