Skip to main content
  • Conference proceedings
  • © 2020

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

Conference proceedings info: SOFSEM 2020.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-38919-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (60 papers)

  1. Front Matter

    Pages i-xvi
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. Certified Machine-Learning Models

      • Ernesto Damiani, Claudio A. Ardagna
      Pages 3-15
    3. Sharing Energy for Optimal Edge Performance

      • Erol Gelenbe, Yunxiao Zhang
      Pages 24-36
  3. Foundations of Computer Science – Regular Papers

    1. Front Matter

      Pages 37-37
    2. A Constructive Arboricity Approximation Scheme

      • Markus Blumenstock, Frank Fischer
      Pages 51-63
    3. A Game of Cops and Robbers on Graphs with Periodic Edge-Connectivity

      • Thomas Erlebach, Jakob T. Spooner
      Pages 64-75
    4. Approximating Shortest Connected Graph Transformation for Trees

      • Nicolas Bousquet, Alice Joffard
      Pages 76-87
    5. Approximating Weighted Completion Time for Order Scheduling with Setup Times

      • Alexander Mäcker, Friedhelm Meyer auf der Heide, Simon Pukrop
      Pages 88-100
    6. Bounds for the Number of Tests in Non-adaptive Randomized Algorithms for Group Testing

      • Nader H. Bshouty, George Haddad, Catherine A. Haddad-Zaknoon
      Pages 101-112
    7. Burning Two Worlds

      • Shahin Kamali, Avery Miller, Kenny Zhang
      Pages 113-124
    8. Faster STR-EC-LCS Computation

      • Kohei Yamada, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
      Pages 125-135
    9. Minimal Unique Substrings and Minimal Absent Words in a Sliding Window

      • Takuya Mieno, Yuki Kuhara, Tooru Akagi, Yuta Fujishige, Yuto Nakashima, Shunsuke Inenaga et al.
      Pages 148-160
    10. On Synthesis of Specifications with Arithmetic

      • Rachel Faran, Orna Kupferman
      Pages 161-173
    11. On the Average State Complexity of Partial Derivative Transducers

      • Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis
      Pages 174-186
    12. On the Difference Between Finite-State and Pushdown Depth

      • Liam Jordon, Philippe Moser
      Pages 187-198
    13. Online Scheduling with Machine Cost and a Quadratic Objective Function

      • J. Csirik, Gy. Dósa, D. Kószó
      Pages 199-210

Other Volumes

  1. 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

About this book

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.

Keywords

  • Informatics
  • foundations of computer science
  • foundations of software engineering
  • foundations of data science and engineering
  • foundations of algorithmic computational biology
  • algorithm analysis and problem complexity
  • data structures

Editors and Affiliations

  • University of Macedonia, Thessaloniki, Greece

    Alexander Chatzigeorgiou

  • University of Bergamo, Bergamo, Italy

    Riccardo Dondi

  • Cyprus University of Technology, Limassol, Cyprus

    Herodotos Herodotou

  • Carnegie Mellon University Qatar, Doha, Qatar

    Christos Kapoutsis

  • Open University of Cyprus, Nicosia, Cyprus

    Yannis Manolopoulos

  • University of Cyprus, Nicosia, Cyprus

    George A. Papadopoulos

  • Paris Dauphine University, Paris, France

    Florian Sikora

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-38919-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.99
Price excludes VAT (USA)