© 2019

SOFSEM 2019: Theory and Practice of Computer Science

45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

  • Barbara Catania
  • Rastislav Královič
  • Jerzy Nawrocki
  • Giovanni Pighizzini
Conference proceedings SOFSEM 2019

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

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Uwe Aßmann, Dominik Grzelak, Johannes Mey, Dmytro Pukhkaiev, René Schöne, Christopher Werner et al.
    Pages 1-20
  3. Christos A. Kapoutsis
    Pages 28-38
  4. Martin Theobald
    Pages 50-53
  5. Indranil Banerjee, Dana Richards, Igor Shinkar
    Pages 54-66
  6. Julien Baste, Didem Gözüpek, Mordechai Shalom, Dimitrios M. Thilikos
    Pages 67-80
  7. Hans L. Bodlaender, Marieke van der Wegen, Tom C. van der Zanden
    Pages 81-93
  8. Raffaello Carosi, Simone Fioravanti, Luciano Gualà, Gianpiero Monaco
    Pages 94-107
  9. Ferdinando Cicalese, Zsuzsanna Lipták, Massimiliano Rossi
    Pages 122-135
  10. Mattia D’Emidio, Gabriele Di Stefano, Alfredo Navarra
    Pages 136-149
  11. Shantanu Das, Giuseppe A. Di Luna, Leszek A. Gasieniec
    Pages 150-163
  12. Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou
    Pages 164-178
  13. Nils Donselaar
    Pages 179-191
  14. Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman
    Pages 192-205
  15. Manoj Gupta, Hitesh Kumar, Neeldhara Misra
    Pages 221-233

About these proceedings


This book constitutes the refereed proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2019, held in Nový Smokovec, Slovakia, in January 2019.
The 34 full papers presented together with 6 invited talks were carefully reviewed and selected from 92 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2019: Foundations of theoretical Computer Science, foundations of data science and engineering, and foundations of software engineering.


artificial intelligence automata theory Bayesian networks computational complexity distributed algorithms distributed computer systems formal languages and automata theory graph theory graphic methods internet mobile agents mobile computing natural language processing (NLP) ontologies semantics software engineering software evaluation telecommunication networks World Wide Web

Editors and affiliations

  1. 1.University of GenoaGenoaItaly
  2. 2.Comenius UniversityBratislavaSlovakia
  3. 3.Poznań University of TechnologyPoznańPoland
  4. 4.Università degli Studi di MilanoMilanItaly

Bibliographic information