Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Barbara Catania

    1. University of Genoa, Genoa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rastislav Královič

    1. Comenius University, Bratislava, Slovakia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jerzy Nawrocki

    1. Poznań University of Technology, Poznań, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Giovanni Pighizzini

    1. Università degli Studi di Milano, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SOFSEM 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (40 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Cross-Layer Adaptation in Multi-layer Autonomic Systems (Invited Talk)

    • Uwe Aßmann, Dominik Grzelak, Johannes Mey, Dmytro Pukhkaiev, René Schöne, Christopher Werner et al.
    Pages 1-20

  3. Distance-Based Community Search (Invited Talk Extended Abstract)

    • Francesco Bonchi
    Pages 21-27

  4. Minicomplexity

    • Christos A. Kapoutsis
    Pages 28-38

  5. Action Research in Software Engineering: Metrics’ Research Perspective (Invited Talk)

    • Miroslaw Staron
    Pages 39-49

  6. From Big Data to Big Knowledge

    • Martin Theobald
    Pages 50-53

  7. Sorting Networks on Restricted Topologies

    • Indranil Banerjee, Dana Richards, Igor Shinkar
    Pages 54-66

  8. Minimum Reload Cost Graph Factors

    • Julien Baste, Didem Gözüpek, Mordechai Shalom, Dimitrios M. Thilikos
    Pages 67-80

  9. Stable Divisorial Gonality is in NP

    • Hans L. Bodlaender, Marieke van der Wegen, Tom C. van der Zanden
    Pages 81-93

  10. Coalition Resilient Outcomes in Max k-Cut Games

    • Raffaello Carosi, Simone Fioravanti, Luciano Gualà, Gianpiero Monaco
    Pages 94-107

  11. Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability

    • Miloš Chromý, Petr Kučera
    Pages 108-121

  12. On Infinite Prefix Normal Words

    • Ferdinando Cicalese, Zsuzsanna Lipták, Massimiliano Rossi
    Pages 122-135

  13. Priority Scheduling in the Bamboo Garden Trimming Problem

    • Mattia D’Emidio, Gabriele Di Stefano, Alfredo Navarra
    Pages 136-149

  14. Patrolling on Dynamic Ring Networks

    • Shantanu Das, Giuseppe A. Di Luna, Leszek A. Gasieniec
    Pages 150-163

  15. Gathering of Robots in a Grid with Mobile Faults

    • Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou
    Pages 164-178

  16. Probabilistic Parameterized Polynomial Time

    • Nils Donselaar
    Pages 179-191

  17. On Matrix Ins-Del Systems of Small Sum-Norm

    • Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman
    Pages 192-205

  18. Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints

    • Chong Gao, Taolue Chen, Zhilin Wu
    Pages 206-220

  19. On the Complexity of Optimal Matching Reconfiguration

    • Manoj Gupta, Hitesh Kumar, Neeldhara Misra
    Pages 221-233

  20. Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs

    • Frank Gurski, Carolin Rehs
    Pages 234-246
Back to top

Other volumes

  1. SOFSEM 2019: Theory and Practice of Computer Science

Keywords

About this book

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.

Editors and Affiliations

  • University of Genoa, Genoa, Italy

    Barbara Catania

  • Comenius University, Bratislava, Slovakia

    Rastislav Královič

  • Poznań University of Technology, Poznań, Poland

    Jerzy Nawrocki

  • Università degli Studi di Milano, Milan, Italy

    Giovanni Pighizzini

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation