SOFSEM B

41 papers

YearTitle / Authors
2019A 116/13-Approximation Algorithm for L(2, 1)-Labeling of Unit Disk Graphs.
Hirotaka Ono, Hisato Yamanaka
2019A Hierarchy of Polynomial Kernels.
Jouke Witteveen, Ralph Bottesch, Leen Torenvliet
2019Action Research in Software Engineering: Metrics' Research Perspective (Invited Talk).
Miroslaw Staron
2019Algorithms and Complexity Results for the Capacitated Vertex Cover Problem.
Sebastiaan B. van Rooij, Johan M. M. van Rooij
2019An Efficient Algorithm for Combining Verification and Validation Methods.
Isela Mendoza, Uéverton S. Souza, Marcos Kalinowski, Ruben Interian, Leonardo Gresta Paulino Murta
2019Bayesian Root Cause Analysis by Separable Likelihoods.
Maciej Skorski
2019Behavioral Strengths and Weaknesses of Various Models of Limited Automata.
Tomoyuki Yamakami
2019Coalition Resilient Outcomes in Max k-Cut Games.
Raffaello Carosi, Simone Fioravanti, Luciano Gualà, Gianpiero Monaco
2019Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems.
Mahsa Varshosaz, Mohammad Reza Mousavi
2019Cross-Layer Adaptation in Multi-layer Autonomic Systems (Invited Talk).
Uwe Aßmann, Dominik Grzelak, Johannes Mey, Dmytro Pukhkaiev, René Schöne, Christopher Werner, Georg Püschel
2019Distance-Based Community Search (Invited Talk Extended Abstract).
Francesco Bonchi
2019Do Null-Type Mutation Operators Help Prevent Null-Type Faults?
Ali Parsai, Serge Demeyer
2019Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison.
Christian Komusiewicz, Frank Sommer
2019Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption.
Lane A. Hemaspaandra, David E. Narváez
2019Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs.
Frank Gurski, Carolin Rehs
2019From Big Data to Big Knowledge - Large-Scale Information Extraction Based on Statistical Methods (Invited Talk).
Martin Theobald
2019Gathering of Robots in a Grid with Mobile Faults.
Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou
2019Lackadaisical Quantum Walks with Multiple Marked Vertices.
Nikolajs Nahimovs
2019Minicomplexity - Some Motivation, Some History, and Some Structure (Invited Talk Extended Abstract).
Christos A. Kapoutsis
2019Minimizing the Cost of Team Exploration.
Dorota Osula
2019Minimum Reload Cost Graph Factors.
Julien Baste, Didem Gözüpek, Mordechai Shalom, Dimitrios M. Thilikos
2019Multi-stranded String Assembling Systems.
Martin Kutrib, Matthias Wendlandt
2019On Infinite Prefix Normal Words.
Ferdinando Cicalese, Zsuzsanna Lipták, Massimiliano Rossi
2019On Matrix Ins-Del Systems of Small Sum-Norm.
Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman
2019On Point Set Embeddings for k-Planar Graphs with Few Bends per Edge.
Michael Kaufmann
2019On the Complexity of Color-Avoiding Site and Bond Percolation.
Roland Molontay, Kitti Varga
2019On the Complexity of Optimal Matching Reconfiguration.
Manoj Gupta, Hitesh Kumar, Neeldhara Misra
2019On the Expressive Power of GF(2)-Grammars.
Vladislav Makarov, Alexander Okhotin
2019On the Size of Logical Automata.
Martin Raszyk
2019Patrolling on Dynamic Ring Networks.
Shantanu Das, Giuseppe Antonio Di Luna, Leszek Antoni Gasieniec
2019Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability.
Milos Chromý, Petr Kucera
2019Priority Scheduling in the Bamboo Garden Trimming Problem.
Mattia D'Emidio, Gabriele Di Stefano, Alfredo Navarra
2019Probabilistic Parameterized Polynomial Time.
Nils Donselaar
2019Robustness Radius for Chamberlin-Courant on Restricted Domains.
Neeldhara Misra, Chinmay Sonar
2019SOFSEM 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álovic, Jerzy R. Nawrocki, Giovanni Pighizzini
2019Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.
Chong Gao, Taolue Chen, Zhilin Wu
2019Sorting Networks on Restricted Topologies.
Indranil Banerjee, Dana Richards, Igor Shinkar
2019Stable Divisorial Gonality is in NP.
Hans L. Bodlaender, Marieke van der Wegen, Tom C. van der Zanden
2019Towards Automatic Comparison of Cloud Service Security Certifications.
Martin Labaj, Karol Rástocný, Daniela Chudá
2019Towards Combining Multitask and Multilingual Learning.
Matús Pikuliak, Marián Simko, Mária Bieliková
2019Two-Head Finite-State Acceptors with Translucent Letters.
Benedek Nagy, Friedrich Otto