SOFSEM 2014: Theory and Practice of Computer Science

40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

  • Viliam Geffert
  • Bart Preneel
  • Branislav Rovan
  • Július Štuller
  • A Min Tjoa

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Dmytro Mishkin, Jiří Matas
      Pages 30-39
    2. Jerzy Nawrocki, Mirosław Ochodek, Jakub Jurkiewicz, Sylwia Kopczyńska, Bartosz Alchimowicz
      Pages 40-51
  3. Contributed Papers

    1. Md. Jawaherul Alam, Michael Kaufmann, Stephen G. Kobourov, Tamara Mchedlidze
      Pages 52-64
    2. Hasna Mohsen Alqahtani, Thomas Erlebach
      Pages 65-76
    3. Kfir Barhum, Hans-Joachim Böckenhauer, Michal Forišek, Heidi Gebauer, Juraj Hromkovič, Sacha Krug et al.
      Pages 89-101
    4. Sebastian Biedermann, Nikolaos P. Karvelas, Stefan Katzenbeisser, Thorsten Strufe, Andreas Peter
      Pages 114-125
    5. Mária Bieliková, Ivan Polášek, Michal Barla, Eduard Kuric, Karol Rástočný, Jozef Tvarožek et al.
      Pages 126-137
    6. Guillaume Blin, Paul Morel, Romeo Rizzi, Stéphane Vialette
      Pages 138-149
    7. Marin Bougeret, Nicolas Bousquet, Rodolphe Giroudeau, Rémi Watrigant
      Pages 150-161
    8. Ferenc Bujtor, Walter Vogler
      Pages 162-173
    9. Karel Cemus, Tomas Cerny
      Pages 174-186
    10. Manfred Cochefert, Dieter Kratsch
      Pages 187-198
    11. Valeria de Castro, Martin A. Musicante, Umberto Souza da Costa, Plácido A. de Souza Neto, Genoveva Vargas-Solar
      Pages 199-210
    12. Iulia Dragomir, Iulian Ober, Christian Percebois
      Pages 211-222

About these proceedings


This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Nový Smokovec, Slovakia, in January 2014.
The 40 revised full papers presented in this volume were carefully reviewed and selected from 104 submissions. The book also contains 6 invited talks. The contributions covers topics as: Foundations of Computer Science, Software and Web Engineering, as well as Data, Information, and Knowledge Engineering, and Cryptography, Security, and Verification.


algorithms genetic programming intelligent agents safety software product lines

Editors and affiliations

  • Viliam Geffert
    • 1
  • Bart Preneel
    • 2
  • Branislav Rovan
    • 3
  • Július Štuller
    • 4
  • A Min Tjoa
    • 5
  1. 1.Dep. Computer Sci.P. J. Šafárik UniversityKošiceSlovakia
  2. 2.Katholieke Universiteit LeuvenLeuven-HeverleeBelgium
  3. 3.Department of Computer ScienceComenius UniversityBratislavaSlovakia
  4. 4.Institute of Computer ScienceAcademy of SciencesPragueCzech Republic
  5. 5.Institute of Software TechnologyVienna University of TechnologyViennaAustria

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-04297-8
  • Online ISBN 978-3-319-04298-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Energy, Utilities & Environment