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

  • Giuseppe F. Italiano
  • Tiziana Margaria-Steffen
  • Jaroslav Pokorný
  • Jean-Jacques Quisquater
  • Roger Wattenhofer

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Keynote Talk

      1. Jiří Wiedermann, Jan van Leeuwen
        Pages 1-13
    2. Foundations of Computer Science

    3. Software and Web Engineering

      1. Jiří Barnat
        Pages 46-57
      2. Brian Fitzgerald, Klaas-Jan Stol
        Pages 58-64
    4. Data, Information and Knowledge Engineering

      1. Barbara Catania, Giovanna Guerrini
        Pages 65-77
  3. Regular Papers

    1. Foundations of Computer Science

      1. Alessandro Aloisio, Alfredo Navarra
        Pages 102-114
      2. Michael A. Bekos, Michael Kaufmann, Stephen Kobourov, Sankar Veeramoni
        Pages 115-127
      3. Alberto Bertoni, Massimiliano Goldwurm, Jianyi Lin
        Pages 128-139
      4. Prosenjit Bose, Stephane Durocher, Debajyoti Mondal, Maxime Peabody, Matthew Skala, Mohammad Abdul Wahid
        Pages 140-151
      5. Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler
        Pages 152-163
      6. Marek Chrobak, Leszek Gąsieniec, Thomas Gorry, Russell Martin
        Pages 164-176
      7. Jérôme Dohrau
        Pages 177-188
      8. Ashley Farrugia, Leszek Gąsieniec, Łukasz Kuszner, Eduardo Pacheco
        Pages 189-200
      9. Armin Fügenschuh, Konstanty Junosza-Szaniawski, Torsten Klug, Sławomir Kwasiborski, Thomas Schlechte
        Pages 201-216
      10. Alan C. van Hulst, Michel A. Reniers, Wan J. Fokkink
        Pages 230-241

About these proceedings


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.


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

Editors and affiliations

  • Giuseppe F. Italiano
    • 1
  • Tiziana Margaria-Steffen
    • 2
  • Jaroslav Pokorný
    • 3
  • Jean-Jacques Quisquater
    • 4
  • Roger Wattenhofer
    • 5
  1. 1.University of Rome Tor VergataRomeItaly
  2. 2.University of LimerickIreland
  3. 3.Charles UniversityPragueCzech Republic
  4. 4.Université catholique de LouvainLouvainBelgium
  5. 5.ETH ZurichZurichSwitzerland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-46077-1
  • Online ISBN 978-3-662-46078-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Energy, Utilities & Environment
IT & Software