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

Front Matter ....Pages I-XIII
 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
 Distance-Based Community Search (Invited Talk Extended Abstract)  (Francesco Bonchi)....Pages 21-27
 Minicomplexity  (Christos A. Kapoutsis)....Pages 28-38
 Action Research in Software Engineering: Metrics’ Research Perspective (Invited Talk)  (Miroslaw Staron)....Pages 39-49
 From Big Data to Big Knowledge  (Martin Theobald)....Pages 50-53
 Sorting Networks on Restricted Topologies  (Indranil Banerjee, Dana Richards, Igor Shinkar)....Pages 54-66
 Minimum Reload Cost Graph Factors  (Julien Baste, Didem Gözüpek, Mordechai Shalom, Dimitrios M. Thilikos)....Pages 67-80
 Stable Divisorial Gonality is in NP  (Hans L. Bodlaender, Marieke van der Wegen, Tom C. van der Zanden)....Pages 81-93
 Coalition Resilient Outcomes in Max k-Cut Games  (Raffaello Carosi, Simone Fioravanti, Luciano Gualà, Gianpiero Monaco)....Pages 94-107
 Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability  (Miloš Chromý, Petr Kučera)....Pages 108-121
 On Infinite Prefix Normal Words  (Ferdinando Cicalese, Zsuzsanna Lipták, Massimiliano Rossi)....Pages 122-135
 Priority Scheduling in the Bamboo Garden Trimming Problem  (Mattia D’Emidio, Gabriele Di Stefano, Alfredo Navarra)....Pages 136-149
 Patrolling on Dynamic Ring Networks  (Shantanu Das, Giuseppe A. Di Luna, Leszek A. Gasieniec)....Pages 150-163
 Gathering of Robots in a Grid with Mobile Faults  (Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou)....Pages 164-178
 Probabilistic Parameterized Polynomial Time  (Nils Donselaar)....Pages 179-191
 On Matrix Ins-Del Systems of Small Sum-Norm  (Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman)....Pages 192-205
 Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints  (Chong Gao, Taolue Chen, Zhilin Wu)....Pages 206-220
 On the Complexity of Optimal Matching Reconfiguration  (Manoj Gupta, Hitesh Kumar, Neeldhara Misra)....Pages 221-233
 Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs  (Frank Gurski, Carolin Rehs)....Pages 234-246
 Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption  (Lane A. Hemaspaandra, David E. Narváez)....Pages 247-259
 On Point Set Embeddings for k-Planar Graphs with Few Bends per Edge  (Michael Kaufmann)....Pages 260-271
 Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison  (Christian Komusiewicz, Frank Sommer)....Pages 272-284
 Multi-stranded String Assembling Systems  (Martin Kutrib, Matthias Wendlandt)....Pages 285-297
 Towards Automatic Comparison of Cloud Service Security Certifications  (Martin Labaj, Karol Rástočný, Daniela Chudá)....Pages 298-309
 On the Expressive Power of GF(2)-Grammars  (Vladislav Makarov, Alexander Okhotin)....Pages 310-323
 An Efficient Algorithm for Combining Verification and Validation Methods  (Isela Mendoza, Uéverton Souza, Marcos Kalinowski, Ruben Interian, Leonado Gresta Paulino Murta)....Pages 324-340
 Robustness Radius for Chamberlin-Courant on Restricted Domains  (Neeldhara Misra, Chinmay Sonar)....Pages 341-353
 On the Complexity of Color-Avoiding Site and Bond Percolation  (Roland Molontay, Kitti Varga)....Pages 354-367
 Lackadaisical Quantum Walks with Multiple Marked Vertices  (Nikolajs Nahimovs)....Pages 368-378
 A 116/13-Approximation Algorithm for L(2, 1)-Labeling of Unit Disk Graphs  (Hirotaka Ono, Hisato Yamanaka)....Pages 379-391
 Minimizing the Cost of Team Exploration  (Dorota Osula)....Pages 392-405
 Two-Head Finite-State Acceptors with Translucent Letters  (Benedek Nagy, Friedrich Otto)....Pages 406-418
 Do Null-Type Mutation Operators Help Prevent Null-Type Faults?  (Ali Parsai, Serge Demeyer)....Pages 419-434
 Towards Combining Multitask and Multilingual Learning  (Matus Pikuliak, Marian Simko, Maria Bielikova)....Pages 435-446
 On the Size of Logical Automata  (Martin Raszyk)....Pages 447-460
 Bayesian Root Cause Analysis by Separable Likelihoods  (Maciej Skorski)....Pages 461-472
 Algorithms and Complexity Results for the Capacitated Vertex Cover Problem  (Sebastiaan B. van Rooij, Johan M. M. van Rooij)....Pages 473-489
 Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems  (Mahsa Varshosaz, Mohammad Reza Mousavi)....Pages 490-503
 A Hierarchy of Polynomial Kernels  (Jouke Witteveen, Ralph Bottesch, Leen Torenvliet)....Pages 504-518
 Behavioral Strengths and Weaknesses of Various Models of Limited Automata  (Tomoyuki Yamakami)....Pages 519-530
Back Matter ....Pages 531-534