Advertisement

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
    13. Tobias Fleck, Andrea Kappes, Dorothea Wagner
      Pages 223-234
    14. Allyx Fontaine, Yves Métivier, John Michael Robson, Akka Zemmari
      Pages 235-245
    15. Rūsiņš Freivalds, Thomas Zeugmann
      Pages 246-257
    16. Ran Gelles, Rafail Ostrovsky, Alan Roytman
      Pages 258-268
    17. Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira
      Pages 269-280
    18. Alexander Grigoriev, Athanassios Koutsonas, Dimitrios M. Thilikos
      Pages 293-305
    19. Lucjan Hanzlik, Kamil Kluczniak
      Pages 306-314
    20. Pinar Heggernes, Pim van ’t Hof, Erik Jan van Leeuwen, Reza Saei
      Pages 315-326
    21. Nataša Jonoska, Florin Manea, Shinnosuke Seki
      Pages 339-350
    22. Audris Kalnins, Lelde Lace, Elina Kalnina, Agris Sostaks
      Pages 351-362
    23. Tomoki Komatsu, Ryosuke Okuta, Kazuyuki Narisawa, Ayumi Shinohara
      Pages 363-374
    24. Petr Kroha, Matthias Friedrich
      Pages 383-394
    25. Łukasz Krzywiecki, Przemysław Kubiak, Mirosław Kutyłowski
      Pages 395-406
    26. Katerina Ksystra, Petros Stefaneas, Panayiotis Frangos
      Pages 407-418
    27. Martin Kutrib, Katja Meckel, Matthias Wendlandt
      Pages 419-430
    28. František Mráz, Friedrich Otto
      Pages 431-442
    29. Alexandros Palioudakis, Kai Salomaa, Selim G. Akl
      Pages 443-454
    30. Ladislav Peska, Peter Vojtas
      Pages 455-465
    31. George Roumelis, Michael Vassilakopoulos, Antonio Corral, Yannis Manolopoulos
      Pages 478-490
    32. Arthur Strasser, Benjamin Cool, Christoph Gernert, Christoph Knieke, Marco Körner, Dirk Niebuhr et al.
      Pages 491-502
    33. Kazuya Tsuruta, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
      Pages 503-513
  4. Back Matter

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-319-04298-5
  • 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
  • Buy this book on publisher's site