Advertisement

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
  16. Viliam Geffert, Jozef Gajdoš
    Pages 248-259
  17. Andreas Gemsa, Martin Nöllenburg, Thomas Pajor, Ignaz Rutter
    Pages 260-271
  18. Markus Geyer, Michael Kaufmann, Tamara Mchedlidze, Antonios Symvonis
    Pages 272-283
  19. Raju Halder, Agostino Cortesi
    Pages 284-296
  20. Ferenc Havasi
    Pages 297-307
  21. Krzysztof Kaczmarski
    Pages 308-319
  22. Dennis Komm, Richard Královič
    Pages 332-343
  23. Christian Komusiewicz, Johannes Uhlmann
    Pages 344-355
  24. Johan H. P. Kwisthout, Hans L. Bodlaender, Linda C. van der Gaag
    Pages 356-367
  25. Tobias Langner, Christian Schindelhauer, Alexander Souza
    Pages 368-381
  26. Matúš Mihalák, Marcel Schöngens, Rastislav Šrámek, Peter Widmayer
    Pages 382-393
  27. Iulian Ober, Iulia Dragomir
    Pages 418-430
  28. Arnold Overwijk, Eelko Penninkx, Hans L. Bodlaender
    Pages 444-454
  29. David Peleg, Ignasi Sau, Mordechai Shalom
    Pages 467-481
  30. Petr Praus, Slávka Jaroměřská, Tomáš Černý
    Pages 482-493
  31. Michel A. Reniers, Tim A. C. Willemse
    Pages 494-505
  32. Stefan Schiffner, Sebastian Clauß, Sandra Steinbrecher
    Pages 506-519
  33. Haisheng Tan, Tiancheng Lou, Francis C. M. Lau, Yuexuan Wang, Shiteng Chen
    Pages 520-532
  34. Michael Vassilakopoulos, Antonio Corral, Nikitas N. Karanikolas
    Pages 533-544
  35. Matteo Zanioli, Agostino Cortesi
    Pages 545-557
  36. Johan M. M. van Rooij, Marcel E. van Kooten Niekerk, Hans L. Bodlaender
    Pages 558-569
  37. Back Matter

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-18381-2
  • 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Engineering