SOFSEM 2012: Theory and Practice of Computer Science

38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings

  • Mária Bieliková
  • Gerhard Friedrich
  • Georg Gottlob
  • Stefan Katzenbeisser
  • György Turán
Conference proceedings SOFSEM 2012

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Foundations of Computer Science

    2. Software and Web Engineering

    3. Cryptography, Security, and Verification

      1. Krzysztof Pietrzak
        Pages 99-114
    4. Artificial Intelligence

  3. Regular Papers

    1. Foundations of Computer Science

      1. Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
        Pages 141-152
      2. Guillaume Blin, Paola Bonizzoni, Riccardo Dondi, Romeo Rizzi, Florian Sikora
        Pages 153-164
      3. Ilir Çapuni, Peter Gács
        Pages 165-176
      4. Ondřej Čepek, Petr Kučera, Václav Vlček
        Pages 177-189
      5. Panagiotis Cheilaris, Balázs Keszegh, Dömötör Pálvölgyi
        Pages 190-201
      6. Jean-François Couturier, Pinar Heggernes, Pim van’t Hof, Dieter Kratsch
        Pages 202-213
      7. Peter Damaschke, Azam Sheikh Muhammad
        Pages 214-225
      8. Johannes Ebbing, Peter Lohmann
        Pages 226-237
      9. Ömer Eğecioğlu, Oscar H. Ibarra, Nicholas Q. Tran
        Pages 238-250
      10. Emmanuel Filiot, Frédéric Servais
        Pages 251-263
      11. Maciej W. Gazda, Tim A. C. Willemse
        Pages 277-288
      12. Petr A. Golovach, Daniël Paulusma, Jian Song
        Pages 289-300
      13. Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda
        Pages 301-312
      14. Konstanty Junosza-Szaniawski, Michał Tuczyński
        Pages 325-336
      15. Lila Kari, Steffen Kopecki, Shinnosuke Seki
        Pages 337-348
      16. Giovanna J. Lavado, Giovanni Pighizzini
        Pages 361-372
      17. Turlough Neary, Damien Woods
        Pages 385-405
      18. Chenyi Zhang, Jun Pang
        Pages 431-442
    2. Software and Web Engineering

      1. Tomáš Černý, Petr Praus, Slávka Jaroměřská, Luboš Matl, Michael J. Donahoo
        Pages 443-455
      2. Martin Jačala, Jozef Tvarožek
        Pages 456-466
      3. Elina Kalnina, Audris Kalnins, Agris Sostaks, Edgars Celms, Janis Iraids
        Pages 492-504
      4. Tadeusz Kobus, Paweł T. Wojciechowski
        Pages 505-517
      5. Tomáš Majer, Marián Šimko
        Pages 518-529
      6. Jaroslav Škrabálek, Petr Kunc, Tomáš Pitner
        Pages 530-541
      7. Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens
        Pages 542-553
    3. Cryptography, Security, and Verification

      1. Nikola Beneš, Ivana Černá, Filip Štefaňák
        Pages 554-565
      2. Mirosław Kutyłowski, Maciej Gębala
        Pages 566-575
    4. Artificial Intelligence

About these proceedings


This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012.

The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.


Web services algorithmic learning theory graph theory natural language processing quantum cryptography

Editors and affiliations

  • Mária Bieliková
    • 1
  • Gerhard Friedrich
    • 2
  • Georg Gottlob
    • 3
  • Stefan Katzenbeisser
    • 4
  • György Turán
    • 5
  1. 1.Faculty of Informatics and Information Technologies, Institute of Informatics and Software EngineeringSlovak University of Technology in BratislavaBratislava 4Slovakia
  2. 2.Dept. of Intelligent Systems and Business InformaticsAlpen-Adria-Universität KlagenfurtKlagenfurtAustria
  3. 3.Department of Computer ScienceUniversity of OxfordUK
  4. 4.Security Engineering GroupTechnische Universität DarmstadtDarmstadtGermany
  5. 5.University of Illinois at Chicago, Dept. of Math., Stat. and Comp. Sci, 851 S. Morgan Street, Chicago, IL 60607-7045, USA; and University of Szeged, Research Group on Artificial Intelligence of the Hungarian Academy of Sciences, 6701 Szeged, PostafiókHungary

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-27659-0
  • Online ISBN 978-3-642-27660-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site