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
Conference proceedings SOFSEM 2015

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
      11. Thomas Hume, Hayssam Soueidan, Macha Nikolski, Guillaume Blin
        Pages 242-253
      12. Falk Hüffner, Christian Komusiewicz, Manuel Sorge
        Pages 254-265
      13. Konstanty Junosza-Szaniawski, Mathieu Liedloff, Paweł Rzążewski
        Pages 266-276
      14. Shahin Kamali, Alejandro López-Ortiz
        Pages 277-288
      15. Dmitry Kosolobov, Mikhail Rubinchik, Arseny M. Shur
        Pages 289-301
      16. Rihards Krišlauks, Kaspars Balodis
        Pages 314-326
      17. Christian Laforest, Benjamin Momège
        Pages 327-338
      18. Nelma Moreira, Giovanni Pighizzini, Rogério Reis
        Pages 339-351
      19. Masaki Nakanishi
        Pages 352-363
      20. Ragnar Nevries, Christian Rosenke
        Pages 364-376
      21. Friedrich Otto
        Pages 389-400
      22. Ralf Rothenberger, Sascha Grau, Michael Rossberg
        Pages 401-411
      23. Kei Uchizawa, Eiji Takimoto
        Pages 412-422
    2. Software and Web Engineering

      1. Valerio Cosentino, Massimo Tisi, Javier Luis Cánovas Izquierdo
        Pages 423-435
      2. Lotte Romijn, Breanndán Ó. Nualláin, Leen Torenvliet
        Pages 463-474
  4. Data, Information, and Knowledge Engineering

    1. Andreas Bögl, Michael Karlinger, Christoph Schütz, Michael Schrefl, Gustav Pomberger
      Pages 475-485
    2. Nieves R. Brisaboa, Ana Cerdeira-Pena, Veronica Gil-Costa, Mauricio Marin, Oscar Pedreira
      Pages 486-497
    3. Vladimir Soares Catão, Marcus Costa Sampaio, Ulrich Schiel
      Pages 498-510
    4. Seyed Amin Mirlohi Falavarjani, Gholamreza Ghassem-Sani
      Pages 511-518
    5. Michal Holub, Ondrej Proksa, Mária Bieliková
      Pages 519-530
    6. Martin Labaj, Mária Bieliková
      Pages 531-542
    7. Pavel Labath, Joachim Niehren
      Pages 543-554
    8. Carlos Roberto Valêncio, Diogo Lemos Guimarães, Geraldo F. D. Zafalon, Leandro A. Neves, Angelo C. Colombini
      Pages 555-565
  5. Cryptography, Security, and Verification

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 Computer Science (R0)
  • Print ISBN 978-3-662-46077-1
  • Online ISBN 978-3-662-46078-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software