Advertisement

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
  16. Martin Kutrib, Matthias Wendlandt
    Pages 285-297
  17. Martin Labaj, Karol Rástočný, Daniela Chudá
    Pages 298-309
  18. Vladislav Makarov, Alexander Okhotin
    Pages 310-323
  19. Isela Mendoza, Uéverton Souza, Marcos Kalinowski, Ruben Interian, Leonado Gresta Paulino Murta
    Pages 324-340
  20. Neeldhara Misra, Chinmay Sonar
    Pages 341-353
  21. Roland Molontay, Kitti Varga
    Pages 354-367
  22. Dorota Osula
    Pages 392-405
  23. Benedek Nagy, Friedrich Otto
    Pages 406-418
  24. Ali Parsai, Serge Demeyer
    Pages 419-434
  25. Matus Pikuliak, Marian Simko, Maria Bielikova
    Pages 435-446
  26. Martin Raszyk
    Pages 447-460
  27. Sebastiaan B. van Rooij, Johan M. M. van Rooij
    Pages 473-489
  28. Jouke Witteveen, Ralph Bottesch, Leen Torenvliet
    Pages 504-518
  29. Back Matter
    Pages 531-534

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-10801-4
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-10800-7
  • Online ISBN 978-3-030-10801-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Law
Engineering