default search action
45th SOFSEM 2019: Nový Smokovec, Slovakia
- Barbara Catania, Rastislav Královic, Jerzy R. Nawrocki, Giovanni Pighizzini:
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. Lecture Notes in Computer Science 11376, Springer 2019, ISBN 978-3-030-10800-7 - Uwe Aßmann
, Dominik Grzelak
Cross-Layer Adaptation in Multi-layer Autonomic Systems (Invited Talk). 1-20 - Francesco Bonchi:
Distance-Based Community Search (Invited Talk Extended Abstract). 21-27 - Christos A. Kapoutsis
Minicomplexity - Some Motivation, Some History, and Some Structure (Invited Talk Extended Abstract). 28-38 - Miroslaw Staron:
Action Research in Software Engineering: Metrics' Research Perspective (Invited Talk). 39-49 - Martin Theobald:
From Big Data to Big Knowledge - Large-Scale Information Extraction Based on Statistical Methods (Invited Talk). 50-53 - Indranil Banerjee
Sorting Networks on Restricted Topologies. 54-66 - Julien Baste
Minimum Reload Cost Graph Factors. 67-80 - Hans L. Bodlaender
Stable Divisorial Gonality is in NP. 81-93 - Raffaello Carosi
Coalition Resilient Outcomes in Max k-Cut Games. 94-107 - Milos Chromý
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability. 108-121 - Ferdinando Cicalese, Zsuzsanna Lipták
On Infinite Prefix Normal Words. 122-135 - Mattia D'Emidio
Priority Scheduling in the Bamboo Garden Trimming Problem. 136-149 - Shantanu Das, Giuseppe Antonio Di Luna, Leszek Antoni Gasieniec:
Patrolling on Dynamic Ring Networks. 150-163 - Shantanu Das, Nikos Giachoudis
Gathering of Robots in a Grid with Mobile Faults. 164-178 - Nils Donselaar:
Probabilistic Parameterized Polynomial Time. 179-191 - Henning Fernau
On Matrix Ins-Del Systems of Small Sum-Norm. 192-205 - Chong Gao, Taolue Chen
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. 206-220 - Manoj Gupta
On the Complexity of Optimal Matching Reconfiguration. 221-233 - Frank Gurski
Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs. 234-246 - Lane A. Hemaspaandra
Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption. 247-259 - Michael Kaufmann:
On Point Set Embeddings for k-Planar Graphs with Few Bends per Edge. 260-271 - Christian Komusiewicz
Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison. 272-284 - Martin Kutrib
Multi-stranded String Assembling Systems. 285-297 - Martin Labaj
Towards Automatic Comparison of Cloud Service Security Certifications. 298-309 - Vladislav Makarov, Alexander Okhotin
On the Expressive Power of GF(2)-Grammars. 310-323 - Isela Mendoza, Uéverton S. Souza
An Efficient Algorithm for Combining Verification and Validation Methods. 324-340 - Neeldhara Misra, Chinmay Sonar
Robustness Radius for Chamberlin-Courant on Restricted Domains. 341-353 - Roland Molontay
On the Complexity of Color-Avoiding Site and Bond Percolation. 354-367 - Nikolajs Nahimovs:
Lackadaisical Quantum Walks with Multiple Marked Vertices. 368-378 - Hirotaka Ono
A 116/13-Approximation Algorithm for L(2, 1)-Labeling of Unit Disk Graphs. 379-391 - Dorota Osula:
Minimizing the Cost of Team Exploration. 392-405 - Benedek Nagy, Friedrich Otto:
Two-Head Finite-State Acceptors with Translucent Letters. 406-418 - Ali Parsai
Do Null-Type Mutation Operators Help Prevent Null-Type Faults? 419-434 - Matús Pikuliak
Towards Combining Multitask and Multilingual Learning. 435-446 - Martin Raszyk
On the Size of Logical Automata. 447-460 - Maciej Skorski
Bayesian Root Cause Analysis by Separable Likelihoods. 461-472 - Sebastiaan B. van Rooij, Johan M. M. van Rooij:
Algorithms and Complexity Results for the Capacitated Vertex Cover Problem. 473-489 - Mahsa Varshosaz, Mohammad Reza Mousavi:
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. 490-503 - Jouke Witteveen
A Hierarchy of Polynomial Kernels. 504-518 - Tomoyuki Yamakami:
Behavioral Strengths and Weaknesses of Various Models of Limited Automata. 519-530
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-23 23:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: