Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar45th 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, Johannes Mey, Dmytro Pukhkaiev, René Schöne, Christopher Werner, Georg Püschel:
Cross-Layer Adaptation in Multi-layer Autonomic Systems (Invited Talk). 1-20 - 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 - Julien Baste, Didem Gözüpek, Mordechai Shalom, Dimitrios M. Thilikos:
Minimum Reload Cost Graph Factors. 67-80 - Hans L. Bodlaender, Marieke van der Wegen, Tom C. van der Zanden:
Stable Divisorial Gonality is in NP. 81-93 - Raffaello Carosi, Simone Fioravanti, Luciano Gualà, Gianpiero Monaco:
Coalition Resilient Outcomes in Max k-Cut Games. 94-107 - Milos Chromý, Petr Kucera:
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability. 108-121 - Mattia D'Emidio, Gabriele Di Stefano, Alfredo Navarra:
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, Flaminia L. Luccio, Euripides Markou:
Gathering of Robots in a Grid with Mobile Faults. 164-178 - Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman:
On Matrix Ins-Del Systems of Small Sum-Norm. 192-205 - Chong Gao, Taolue Chen, Zhilin Wu:
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. 206-220 - Manoj Gupta, Hitesh Kumar, Neeldhara Misra:
On the Complexity of Optimal Matching Reconfiguration. 221-233 - Frank Gurski, Carolin Rehs:
Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs. 234-246 - Lane A. Hemaspaandra, David E. Narváez:
Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption. 247-259 - Christian Komusiewicz, Frank Sommer:
Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison. 272-284 - Martin Labaj, Karol Rástocný, Daniela Chudá:
Towards Automatic Comparison of Cloud Service Security Certifications. 298-309 - Isela Mendoza, Uéverton S. Souza, Marcos Kalinowski, Ruben Interian, Leonardo Gresta Paulino Murta:
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, Kitti Varga:
On the Complexity of Color-Avoiding Site and Bond Percolation. 354-367 - Hirotaka Ono, Hisato Yamanaka:
A 116/13-Approximation Algorithm for L(2, 1)-Labeling of Unit Disk Graphs. 379-391 - Matús Pikuliak, Marián Simko, Mária Bieliková:
Towards Combining Multitask and Multilingual Learning. 435-446 - 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 - Tomoyuki Yamakami:
Behavioral Strengths and Weaknesses of Various Models of Limited Automata. 519-530
maintained by 
, founded at 
, founded at 
last updated on 2019-04-18 22:18 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
