SOFSEM 2020: Theory and Practice of Computer Science

46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings

  • Alexander Chatzigeorgiou
  • Riccardo Dondi
  • Herodotos Herodotou
  • Christos Kapoutsis
  • Yannis Manolopoulos
  • George A. Papadopoulos
  • Florian Sikora
Conference proceedings SOFSEM 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Ernesto Damiani, Claudio A. Ardagna
      Pages 3-15
    3. Erol Gelenbe, Yunxiao Zhang
      Pages 24-36
  3. Foundations of Computer Science – Regular Papers

    1. Front Matter
      Pages 37-37
    2. Markus Blumenstock, Frank Fischer
      Pages 51-63
    3. Thomas Erlebach, Jakob T. Spooner
      Pages 64-75
    4. Nicolas Bousquet, Alice Joffard
      Pages 76-87
    5. Alexander Mäcker, Friedhelm Meyer auf der Heide, Simon Pukrop
      Pages 88-100
    6. Nader H. Bshouty, George Haddad, Catherine A. Haddad-Zaknoon
      Pages 101-112
    7. Shahin Kamali, Avery Miller, Kenny Zhang
      Pages 113-124
    8. Kohei Yamada, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
      Pages 125-135
    9. Takuya Mieno, Yuki Kuhara, Tooru Akagi, Yuta Fujishige, Yuto Nakashima, Shunsuke Inenaga et al.
      Pages 148-160
    10. Rachel Faran, Orna Kupferman
      Pages 161-173
    11. Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis
      Pages 174-186
    12. Liam Jordon, Philippe Moser
      Pages 187-198
    13. J. Csirik, Gy. Dósa, D. Kószó
      Pages 199-210
    14. Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
      Pages 211-222
    15. Faisal N. Abu-Khzam, Cristina Bazgan, Henning Fernau
      Pages 236-247
    16. Nils Morawietz, Niels Grüttemeier, Christian Komusiewicz, Frank Sommer
      Pages 248-259
    17. Leonid Barenboim, Tzalik Maimon
      Pages 260-272
    18. Rick Erkens, Jurriaan Rot, Bas Luttik
      Pages 285-297
  4. Foundations of Data Science and Engineering – Regular Papers

    1. Front Matter
      Pages 299-299
    2. Giovanna Castellano, Ciro Castiello, Corrado Mencar, Gennaro Vessio
      Pages 301-312
    3. Gabriel Ferrettini, Julien Aligon, Chantal Soulé-Dupuy
      Pages 313-324
    4. Xiaofan Wang, Haiming Chen
      Pages 325-337
    5. Issam Ghabri, Ladjel Bellatreche, Sadok Ben Yahia
      Pages 350-361
    6. Xavier Ouvrard, Jean-Marie Le Goff, Stéphane Marchand-Maillet
      Pages 362-374
    7. Anna Śniegula, Aneta Poniszewska-Marańda, Łukasz Chomątek
      Pages 375-387
    8. Thuy Pham, Nhu Nguyen, Quang Pham, Han Cao, Binh Nguyen
      Pages 388-400
  5. Foundations of Software Engineering – Regular Papers

    1. Front Matter
      Pages 401-401
    2. Fabiola Moyón, Christoph Bayr, Daniel Mendez, Sebastian Dännart, Kristian Beckers
      Pages 403-416
    3. Aggelos Papamichail, Apostolos V. Zarras, Panos Vassiliadis
      Pages 429-440
    4. Theofanis Vartziotis, Apostolos V. Zarras, Anastasios Tsimakis, Panos Vassiliadis
      Pages 467-478
  6. Foundations of Algorithmic Computational Biology – Regular Papers

    1. Front Matter
      Pages 491-491
    2. Manuel Cáceres, Simon J. Puglisi, Bella Zhukova
      Pages 493-504
    3. Tom Davot, Annie Chateau, Rodolphe Giroudeau, Mathias Weller
      Pages 505-518
    4. Vincent Berry, Celine Scornavacca, Mathias Weller
      Pages 519-530
    5. Radu Stefan Mincu, Alexandru Popa
      Pages 531-543
  7. Foundations of Computer Science – Short Papers

    1. Front Matter
      Pages 545-545

About these proceedings


This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. 
The 40 full papers presented together with 17 short papers and 3 invited papers were carefully reviewed and selected from 125 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2020: foundations of computer science, foundations of data science and engineering, foundations of software engineering, and foundations of algorithmic computational biology.


Informatics foundations of computer science foundations of software engineering foundations of data science and engineering foundations of algorithmic computational biology

Editors and affiliations

  1. 1.University of MacedoniaThessalonikiGreece
  2. 2.University of BergamoBergamoItaly
  3. 3.Cyprus University of TechnologyLimassolCyprus
  4. 4.Carnegie Mellon University QatarDohaQatar
  5. 5.Open University of CyprusNicosiaCyprus
  6. 6.University of CyprusNicosiaCyprus
  7. 7.Paris Dauphine UniversityParisFrance

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2020
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-38918-5
  • Online ISBN 978-3-030-38919-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences