Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Ivana Černá

    1. Ivana Černá, Department of Computer Science, Faculty of Informatics, Faculty of Informatics, Masaryk University, Brno, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tibor Gyimóthy

    1. Department of Software Engineering, University of Szeged, Szeged, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Juraj Hromkovič

    1. Informationstechnologie und Ausbildung, CAB F 16, F 13.1, Universitätstraße 6, ETH Zürich, Zürich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Keith Jefferey

    1. School of History and Anthropology, Queen’s University, Belfast, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Rastislav Králović

    1. Department of Computer Science, Comenius University, Bratislava, Slovakia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Marko Vukolić

    1. EURECOM, Sophia Antipolis cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Stefan Wolf

    1. Institute of Theoretical Computer Science, ETH Zürich, Zürich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility
  • Fast-track conference proceedings
  • State-of-the-art research

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

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

Included in the following conference series:

Conference proceedings info: SOFSEM 2011.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (46 papers)

  1. Front Matter

    Download chapter PDF

  2. Integrity and Consistency for Untrusted Services

    • Christian Cachin
    Pages 1-14

  3. A Structured Codesign Approach to Many-Core Architectures for Embedded Systems

    • Jürg Gutknecht
    Pages 15-25

  4. SIMPL Systems, or: Can We Design Cryptographic Hardware without Secret Key Information?

    • Ulrich Rührmair
    Pages 26-45

  5. Verification of Timed-Arc Petri Nets

    • Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jiří Srba
    Pages 46-72

  6. Efficient Algorithms for Handling Nondeterministic Automata

    • Tomáš Vojnar
    Pages 73-73

  7. The Straight-Line RAC Drawing Problem Is NP-Hard

    • Evmorfia N. Argyriou, Michael A. Bekos, Antonios Symvonis
    Pages 74-85

  8. Tracking the Evolution of Code Clones

    • Tibor Bakota
    Pages 86-98

  9. Liquidsoap: A High-Level Programming Language for Multimedia Streaming

    • David Baelde, Romain Beauxis, Samuel Mimram
    Pages 99-110

  10. Combining Traditional Map Labeling with Boundary Labeling

    • Michael A. Bekos, Michael Kaufmann, Dimitrios Papadopoulos, Antonios Symvonis
    Pages 111-122

  11. On Making a Distinguished Vertex Minimum Degree by Vertex Deletion

    • Nadja Betzler, Robert Bredereck, Rolf Niedermeier, Johannes Uhlmann
    Pages 123-134

  12. Randomized OBDDs for the Most Significant Bit of Multiplication Need Exponential Size

    • Beate Bollig, Marc Gillé
    Pages 135-145

  13. GreedyMAX-type Algorithms for the Maximum Independent Set Problem

    • Piotr Borowiecki, Frank Göring
    Pages 146-156

  14. Sequential Optimization of Matrix Chain Multiplication Relative to Different Cost Functions

    • Igor Chikalov, Shahid Hussain, Mikhail Moshkov
    Pages 157-165

  15. One-Reversal Counter Machines and Multihead Automata: Revisited

    • Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki
    Pages 166-177

  16. Collisionless Gathering of Robots with an Extent

    • Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer, Martina Hüllmann, Barbara Kempkes, Alexander Klaas et al.
    Pages 178-189

  17. Min-Max Coverage in Multi-interface Networks

    • Gianlorenzo D’Angelo, Gabriele Di Stefano, Alfredo Navarra
    Pages 190-201

  18. Bandwidth Constrained Multi-interface Networks

    • Gianlorenzo D’Angelo, Gabriele Di Stefano, Alfredo Navarra
    Pages 202-213

  19. A Privacy-Preserving ID-Based Group Key Agreement Scheme Applied in VPAN

    • Yoni De Mulder, Karel Wouters, Bart Preneel
    Pages 214-225

  20. White Space Regions

    • Shayan Ehsani, MohammadAmin Fazli, Mohammad Ghodsi, MohammadAli Safari, Morteza Saghafian, Mohammad Tavakkoli
    Pages 226-237
Back to top

Other volumes

  1. SOFSEM 2011: Theory and Practice of Computer Science

Keywords

About this book

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.

Editors and Affiliations

  • Ivana Černá, Department of Computer Science, Faculty of Informatics, Faculty of Informatics, Masaryk University, Brno, Czech Republic

    Ivana Černá

  • Department of Software Engineering, University of Szeged, Szeged, Hungary

    Tibor Gyimóthy

  • Informationstechnologie und Ausbildung, CAB F 16, F 13.1, Universitätstraße 6, ETH Zürich, Zürich, Switzerland

    Juraj Hromkovič

  • School of History and Anthropology, Queen’s University, Belfast, UK

    Keith Jefferey

  • Department of Computer Science, Comenius University, Bratislava, Slovakia

    Rastislav Králović

  • EURECOM, Sophia Antipolis cedex, France

    Marko Vukolić

  • Institute of Theoretical Computer Science, ETH Zürich, Zürich, Switzerland

    Stefan Wolf

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation