SOFSEM 2016: Theory and Practice of Computer Science

42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

  • Rūsiņš Mārtiņš Freivalds
  • Gregor Engels
  • Barbara Catania

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9587)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Foundations of Computer Science (Invited Talks)

    1. Front Matter
      Pages 1-1
    2. Gilles Brassard
      Pages 3-16
    3. Sanjay Jain, Frank Stephan
      Pages 29-40
  3. Software Engineering: Methods, Tools, Applications (Invited Talks)

    1. Front Matter
      Pages 41-41
    2. Sebastian Holtappels, Michael Striewe, Michael Goedicke
      Pages 43-50
  4. Data, Information, and Knowledge Engineering (Invited Talks)

    1. Front Matter
      Pages 61-61
    2. Norman W. Paton, Khalid Belhajjame, Suzanne M. Embury, Alvaro A. A. Fernandes, Ruhaila Maskat
      Pages 81-92
  5. Foundations of Computer Science (Regular Papers)

    1. Front Matter
      Pages 93-93
    2. Marjan van den Akker, Hans L. Bodlaender, Thomas C. van Dijk, Han Hoogeveen, Erik van Ommeren
      Pages 95-106
    3. M. Jawaherul Alam, Michael Kaufmann, Stephen G. Kobourov
      Pages 107-120
    4. M. Jawaherul Alam, Stephen G. Kobourov, Debajyoti Mondal
      Pages 121-133
    5. Patrizio Angelini, Giordano Da Lozzo, Marco Di Bartolomeo, Valentino Di Donato, Maurizio Patrignani, Vincenzo Roselli et al.
      Pages 134-147
    6. Harout Aydinian, Ferdinando Cicalese, Christian Deppe, Vladimir Lebedev
      Pages 148-160
    7. Kfir Barhum, Juraj Hromkovič
      Pages 161-170
    8. Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
      Pages 183-194
    9. Maria Paola Bianchi, Hans-Joachim Böckenhauer, Tatjana Brülisauer, Dennis Komm, Beatrice Palano
      Pages 195-207
    10. Philip Bille, Inge Li Gørtz, Frederik Rye Skjoldjensen
      Pages 208-216
    11. Frank S. de Boer, Stijn de Gouw
      Pages 217-228
    12. Elisabet Burjons, Juraj Hromkovič, Xavier Muñoz, Walter Unger
      Pages 229-240
    13. Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
      Pages 241-252
    14. Stefan Dobrev, Juraj Hromkovič, Dennis Komm, Richard Královič, Rastislav Královič, Tobias Mömke
      Pages 265-276
    15. M. W. Gazda, T. A. C. Willemse
      Pages 277-289
    16. Jan Clemens Gehrke, Klaus Jansen, Stefan E. J. Kraft, Jakob Schikowski
      Pages 290-301
    17. Heikki Hyyrö, Shunsuke Inenaga
      Pages 302-313
    18. David Janin
      Pages 314-328
    19. Dmitry Kravchenko, Nikolajs Nahimovs, Alexander Rivosh
      Pages 344-355
    20. Oleksiy Kurganskyy, Igor Potapov
      Pages 356-368
    21. Kent Kwee, Friedrich Otto
      Pages 369-380
    22. Nikolajs Nahimovs, Alexander Rivosh
      Pages 381-391
    23. Maciej Skorski
      Pages 392-403
    24. Chao Wang, Yi Lv, Peng Wu
      Pages 404-417
    25. Liyu Zhang, Chen Yuan, Haibin Kan
      Pages 418-429
  6. Software Engineering: Methods, Tools, Applications (Regular Papers)

    1. Front Matter
      Pages 431-431
    2. Nikolaos Bezirgiannis, Frank de Boer
      Pages 433-444
    3. Karel Cemus, Tomas Cerny, Lubos Matl, Michael J. Donahoo
      Pages 445-456
    4. Tomáš Farkaš, Peter Kubán, Mária Lucká
      Pages 469-477
    5. Adel Hassan, Mourad Oussalah
      Pages 478-489
    6. Luis Llana, María-Emilia Cambronero, Gregorio Díaz
      Pages 490-502
  7. Data, Information, and Knowledge Engineering (Regular Papers)

    1. Front Matter
      Pages 503-503
    2. Veronica Oliveira de Carvalho, Renan de Padua, Solange Oliveira Rezende
      Pages 505-517
    3. Tomas Cerny, Michael J. Donahoo
      Pages 518-531
    4. Ladislav Gallay, Marián Šimko
      Pages 532-543

About these proceedings


This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016.
The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software engineering: methods, tools, applications; and data, information, and knowledge engineering. The volume also contains 7 invited talks in full paper length. 


computational complexity formal languages graph coloring model transformations quantum computation aspect-oriented programming association rules cryptography data mining digital libraries domain modeling functional programming natural language processing online computation parallel computation integer linear programming post-quantum cryptography software architecture Web services workflows

Editors and affiliations

  • Rūsiņš Mārtiņš Freivalds
    • 1
  • Gregor Engels
    • 2
  • Barbara Catania
    • 3
  1. 1.University of LatviaRigaLatvia
  2. 2.University of PaderbornPaderbornGermany
  3. 3.University of GenoaGenoaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-49191-1
  • Online ISBN 978-3-662-49192-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site