


default search action
36th STACS 2019: Berlin, Germany
- Rolf Niedermeier, Christophe Paul:
36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019, March 13-16, 2019, Berlin, Germany. LIPIcs 126, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-100-9 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xvi
- Leslie Ann Goldberg
:
Computational Complexity and Partition Functions (Invited Talk). 1:1-1:3 - Anca Muscholl, Gabriele Puppis
:
The Many Facets of String Transducers (Invited Talk). 2:1-2:21 - Petra Mutzel
:
Algorithmic Data Science (Invited Talk). 3:1-3:15 - Karl Bringmann:
Fine-Grained Complexity Theory (Tutorial). 4:1-4:7 - Tobias Friedrich
:
From Graph Theory to Network Science: The Natural Emergence of Hyperbolicity (Tutorial). 5:1-5:9 - Shaull Almagor, Joël Ouaknine, James Worrell
:
The Semialgebraic Orbit Problem. 6:1-6:15 - Spyros Angelopoulos
, Christoph Dürr
, Shendan Jin
:
Best-Of-Two-Worlds Analysis of Online Search. 7:1-7:17 - Boris Aronov
, Omrit Filtser
, Matthew J. Katz, Khadijeh Sheikhan:
Bipartite Diameter and Other Measures Under Translation. 8:1-8:14 - David Auger, Pierre Coucheney, Yann Strozecki:
Solving Simple Stochastic Games with Few Random Nodes Faster Using Bland's Rule. 9:1-9:16 - Étienne Bamas, Louis Esperet
:
Distributed Coloring of Graphs with an Optimal Number of Colors. 10:1-10:15 - Max Bannach, Till Tantau:
On the Descriptive Complexity of Color Coding. 11:1-11:16 - Tom Bannink, Jop Briët, Harry Buhrman, Farrokh Labib, Troy Lee:
Bounding Quantum-Classical Separations for Classes of Nonlocal Games. 12:1-12:11 - Rémy Belmonte, Eun Jung Kim, Michael Lampis
, Valia Mitsou, Yota Otachi
, Florian Sikora:
Token Sliding on Split Graphs. 13:1-13:17 - Olaf Beyersdorff
, Joshua Blinkhorn, Meena Mahajan
:
Building Strategies into QBF Proofs. 14:1-14:18 - Alexander Birx, Yann Disser:
Tight Analysis of the Smartstart Algorithm for Online Dial-a-Ride on the Line. 15:1-15:17 - Marthe Bonamy, Oscar Defrain, Marc Heinrich, Jean-Florent Raymond
:
Enumerating Minimal Dominating Sets in Triangle-Free Graphs. 16:1-16:12 - Silvia Butti
, Stanislav Zivný
:
Sparsification of Binary CSPs. 17:1-17:8 - Florent Capelli, Stefan Mengel:
Tractable QBF by Knowledge Compilation. 18:1-18:16 - Parinya Chalermsook, Andreas Schmid, Sumedha Uniyal
:
A Tight Extremal Bound on the Lovász Cactus Number in Planar Graphs. 19:1-19:14 - Matthew Cook, Turlough Neary
:
Average-Case Completeness in Tag Systems. 20:1-20:17 - Ágnes Cseh
, Attila Juhos:
Pairwise Preferences in the Stable Marriage Problem. 21:1-21:16 - María Emilia Descotte, Diego Figueira, Santiago Figueira:
Closure Properties of Synchronized Relations. 22:1-22:17 - Julien Destombes, Andrei E. Romashchenko
:
Resource-Bounded Kolmogorov Complexity Provides an Obstacle to Soficness of Multidimensional Shifts. 23:1-23:17 - Martin Dietzfelbinger
, Stefan Walzer
:
Constant-Time Retrieval with O(log m) Extra Bits. 24:1-24:16 - Eduard Eiben
, Dusan Knop
, Fahad Panolan
, Ondrej Suchý
:
Complexity of the Steiner Network Problem with Respect to the Number of Terminals. 25:1-25:17 - Faith Ellen, Rati Gelashvili, Philipp Woelfel, Leqi Zhu:
Space Lower Bounds for the Signal Detection Problem. 26:1-26:13 - Grzegorz Fabianski
, Michal Pilipczuk, Sebastian Siebertz
, Szymon Torunczyk:
Progressive Algorithms for Domination and Independence. 27:1-27:16 - Fedor V. Fomin
, Petr A. Golovach
, Dimitrios M. Thilikos
:
Modification to Planarity is Fixed Parameter Tractable. 28:1-28:17 - Moses Ganardi:
Visibly Pushdown Languages over Sliding Windows. 29:1-29:17 - Pawel Gawrychowski
, Florin Manea, Radoslaw Serafin:
Fast and Longest Rollercoasters. 30:1-30:17 - Kurtulus Gemici, Elias Koutsoupias, Barnabé Monnot, Christos H. Papadimitriou, Georgios Piliouras:
Wealth Inequality and the Price of Anarchy. 31:1-31:16 - Archontia C. Giannopoulou, O-joung Kwon, Jean-Florent Raymond
, Dimitrios M. Thilikos
:
Lean Tree-Cut Decompositions: Obstructions and Algorithms. 32:1-32:14 - Alexander Grigoriev
, Tim A. Hartmann, Stefan Lendl
, Gerhard J. Woeginger:
Dispersing Obnoxious Facilities on a Graph. 33:1-33:11 - Chetan Gupta
, Vimal Raj Sharma, Raghunath Tewari:
Reachability in O(log n) Genus Graphs is in Unambiguous Logspace. 34:1-34:13 - Niklas Hjuler, Giuseppe F. Italiano, Nikos Parotsidis, David Saulpic:
Dominating Sets and Connected Dominating Sets in Dynamic Graphs. 35:1-35:17 - Eva-Maria C. Hols
, Stefan Kratsch
:
On Kernelization for Edge Dominating Set under Structural Parameters. 36:1-36:18 - Derek F. Holt, Markus Lohrey, Saul Schleimer:
Compressed Decision Problems in Hyperbolic Groups. 37:1-37:16 - Felix Hommelsheim
, Moritz Mühlenthaler, Oliver Schaudt:
How to Secure Matchings Against Edge Failures. 38:1-38:16 - Bart M. P. Jansen, Marcin Pilipczuk, Erik Jan van Leeuwen:
A Deterministic Polynomial Kernel for Odd Cycle Transversal and Vertex Multiway Cut in Planar Graphs. 39:1-39:18 - Emmanuel Jeandel
, Pascal Vanier
:
A Characterization of Subshifts with Computable Language. 40:1-40:16 - Stasys Jukna
, Andrzej Lingas:
Lower Bounds for DeMorgan Circuits of Bounded Negation Width. 41:1-41:17 - Shahbaz Khan
, Shashank K. Mehta
:
Depth First Search in the Semi-streaming Model. 42:1-42:16 - Stefan Kiefer, Corto Mascle:
On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words. 43:1-43:13 - Dusan Knop
, Michal Pilipczuk, Marcin Wrochna
:
Tight Complexity Lower Bounds for Integer Linear Programming with Few Constraints. 44:1-44:15 - Robert Krauthgamer, Ohad Trabelsi:
The Set Cover Conjecture and Subgraph Isomorphism with a Tree Pattern. 45:1-45:15 - Stephan Kreutzer, Irene Muzi, Patrice Ossona de Mendez, Roman Rabinovich, Sebastian Siebertz
:
Algorithmic Properties of Sparse Digraphs. 46:1-46:20 - Patrick Landwehr, Christof Löding:
Tree Automata with Global Constraints for Infinite Trees. 47:1-47:15 - Kasper Green Larsen:
Constructive Discrepancy Minimization with Hereditary L2 Guarantees. 48:1-48:13 - François Le Gall, Harumichi Nishimura
, Ansis Rosmanis:
Quantum Advantage for the LOCAL Model in Distributed Computing. 49:1-49:14 - Bruno Loff
, Sagnik Mukhopadhyay
:
Lifting Theorems for Equality. 50:1-50:19 - Kelin Luo
, Thomas Erlebach
, Yinfeng Xu:
Car-Sharing on a Star Network: On-Line Scheduling with k Servers. 51:1-51:14 - Gregor Matl, Stanislav Zivný
:
Beyond Boolean Surjective VCSPs. 52:1-52:15 - Antoine Mottet
, Karin Quaas:
The Containment Problem for Unambiguous Register Automata. 53:1-53:15 - Pál András Papp, Roger Wattenhofer:
Stabilization Time in Weighted Minority Processes. 54:1-54:15 - Erik Paul:
Finite Sequentiality of Unambiguous Max-Plus Tree Automata. 55:1-55:17 - Enoch Peserico:
Paging with Dynamic Memory Capacity. 56:1-56:18 - Gleb Posobin
, Alexander Shen
:
Random Noise Increases Kolmogorov Complexity and Hausdorff Dimension. 57:1-57:14 - Sandeep Sen:
A Unified Approach to Tail Estimates for Randomized Incremental Construction. 58:1-58:16 - Thomas Watson:
A ZPPNP[1] Lifting Theorem. 59:1-59:16

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.