Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2015

SOFSEM 2015: Theory and Practice of Computer Science

41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

Editors:

  1. Giuseppe F. Italiano

    1. University of Rome Tor Vergata, Rome, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tiziana Margaria-Steffen

    1. University of Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jaroslav Pokorný

    1. Charles University, Prague, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jean-Jacques Quisquater

    1. Université catholique de Louvain, Louvain, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Roger Wattenhofer

    1. ETH Zurich, Zurich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Conference series link(s): SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science

Conference proceedings info: SOFSEM 2015.

Sections

Buy it now

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

This is a preview of subscription content, access via your institution.

Table of contents (50 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    1. Keynote Talk

      1. What is Computation: An Epistemic Approach
        • Jiří Wiedermann, Jan van Leeuwen
        Pages 1-13

    2. Foundations of Computer Science

      2. Recent Results in Scalable Multi-Party Computation
        • Jared Saia, Mahdi Zamani
        Pages 24-44

    3. Software and Web Engineering

      1. Quo Vadis Explicit-State Model Checking
        • Jiří Barnat
        Pages 46-57
      2. The Dos and Dont’s of Crowdsourcing Software Development
        • Brian Fitzgerald, Klaas-Jan Stol
        Pages 58-64

    4. Data, Information and Knowledge Engineering

      1. Adaptively Approximate Techniques in Distributed Architectures
        • Barbara Catania, Giovanna Guerrini
        Pages 65-77

  3. Regular Papers

    1. Foundations of Computer Science

      1. Balancing Energy Consumption for the Establishment of Multi-interface Networks
        • Alessandro Aloisio, Alfredo Navarra
        Pages 102-114
      2. The Maximum k-Differential Coloring Problem
        • Michael A. Bekos, Michael Kaufmann, Stephen Kobourov, Sankar Veeramoni
        Pages 115-127
      3. Exact Algorithms for 2-Clustering with Size Constraints in the Euclidean Plane
        • Alberto Bertoni, Massimiliano Goldwurm, Jianyi Lin
        Pages 128-139
      4. Local Routing in Convex Subdivisions
        • Prosenjit Bose, Stephane Durocher, Debajyoti Mondal, Maxime Peabody, Matthew Skala, Mohammad Abdul Wahid
        Pages 140-151
      5. Nondeterministic Modal Interfaces
        • Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler
        Pages 152-163
      6. Group Search on the Line
        • Marek Chrobak, Leszek Gąsieniec, Thomas Gorry, Russell Martin
        Pages 164-176
      7. Online Makespan Scheduling with Sublinear Advice
        • Jérôme Dohrau
        Pages 177-188
      8. Deterministic Rendezvous in Restricted Graphs
        • Ashley Farrugia, Leszek Gąsieniec, Łukasz Kuszner, Eduardo Pacheco
        Pages 189-200
      9. Fastest, Average and Quantile Schedule
        • Armin Fügenschuh, Konstanty Junosza-Szaniawski, Torsten Klug, Sławomir Kwasiborski, Thomas Schlechte
        Pages 201-216
      11. Maximally Permissive Controlled System Synthesis for Modal Logic
        • Alan C. van Hulst, Michel A. Reniers, Wan J. Fokkink
        Pages 230-241
Back to top

Other Volumes

  1. SOFSEM 2015: Theory and Practice of Computer Science

Back to top

About this book

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.
Back to top

Keywords

  • Web of data
  • XML transformations
  • access control
  • approximation algorithms
  • big data
  • data mining
  • graph theory
  • knowledge discovery
  • machine learning
  • multi-party computation
  • ontology
  • programming languages
  • quality of service
  • query processing
  • secret sharing
  • semantic Web
  • social networks
  • software component
  • software development
  • storage in clouds
Back to top

Editors and Affiliations

  • University of Rome Tor Vergata, Rome, Italy

    Giuseppe F. Italiano

  • University of Limerick, Ireland

    Tiziana Margaria-Steffen

  • Charles University, Prague, Czech Republic

    Jaroslav Pokorný

  • Université catholique de Louvain, Louvain, Belgium

    Jean-Jacques Quisquater

  • ETH Zurich, Zurich, Switzerland

    Roger Wattenhofer

Back to top

Bibliographic Information

Back to top
Access via your institution

Buy it now

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

search

Navigation