SOFSEM 2011: Theory and Practice of Computer Science

37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings

  • Ivana Černá
  • Tibor Gyimóthy
  • Juraj Hromkovič
  • Keith Jefferey
  • Rastislav Králović
  • Marko Vukolić
  • Stefan Wolf
Conference proceedings SOFSEM 2011

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

Table of contents

  1. Front Matter
  2. Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jiří Srba
    Pages 46-72
  3. Evmorfia N. Argyriou, Michael A. Bekos, Antonios Symvonis
    Pages 74-85
  4. Tibor Bakota
    Pages 86-98
  5. David Baelde, Romain Beauxis, Samuel Mimram
    Pages 99-110
  6. Michael A. Bekos, Michael Kaufmann, Dimitrios Papadopoulos, Antonios Symvonis
    Pages 111-122
  7. Nadja Betzler, Robert Bredereck, Rolf Niedermeier, Johannes Uhlmann
    Pages 123-134
  8. Piotr Borowiecki, Frank Göring
    Pages 146-156
  9. Igor Chikalov, Shahid Hussain, Mikhail Moshkov
    Pages 157-165
  10. Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki
    Pages 166-177
  11. Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer, Martina Hüllmann, Barbara Kempkes, Alexander Klaas et al.
    Pages 178-189
  12. Gianlorenzo D’Angelo, Gabriele Di Stefano, Alfredo Navarra
    Pages 190-201
  13. Gianlorenzo D’Angelo, Gabriele Di Stefano, Alfredo Navarra
    Pages 202-213
  14. Yoni De Mulder, Karel Wouters, Bart Preneel
    Pages 214-225
  15. Shayan Ehsani, MohammadAmin Fazli, Mohammad Ghodsi, MohammadAli Safari, Morteza Saghafian, Mohammad Tavakkoli
    Pages 226-237

About these proceedings


This book constitutes the refereed proceedings of the 37th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2011, held in Nový, Smokovec, Slovakia in January 2011. The 41 revised full papers, presented together with 5 invited contributions, were carefully reviewed and selected from 122 submissions. SOFSEM 2011 was organized around the following four tracks: foundations of computer science; software, systems, and services; processing large datasets; and cryptography, security, and trust.


Linux ad-hoc networks cloud computing databases embedded systems model-checking petri nets sensor networks verification wireless networks

Editors and affiliations

  • Ivana Černá
    • 1
  • Tibor Gyimóthy
    • 2
  • Juraj Hromkovič
    • 3
  • Keith Jefferey
    • 4
  • Rastislav Králović
    • 5
  • Marko Vukolić
    • 6
  • Stefan Wolf
    • 7
  1. 1.Ivana Černá, Department of Computer Science, Faculty of Informatics, Faculty of InformaticsMasaryk UniversityBrnoCzech Republic
  2. 2.Department of Software EngineeringUniversity of SzegedSzegedHungary
  3. 3.Informationstechnologie und Ausbildung, CAB F 16, F 13.1, Universitätstraße 6ETH ZürichZürichSwitzerland
  4. 4.School of History and AnthropologyQueen’s UniversityBelfastUK
  5. 5.Department of Computer ScienceComenius UniversityBratislavaSlovakia
  6. 6.EURECOMSophia Antipolis cedexFrance
  7. 7.Institute of Theoretical Computer ScienceETH ZürichZürichSwitzerland

Bibliographic information

  • DOI
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-18380-5
  • Online ISBN 978-3-642-18381-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Energy, Utilities & Environment