STACS A

62 papers

YearTitle / Authors
201532nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, Garching, Germany, March 4-7, 2015
Ernst W. Mayr, Nicolas Ollinger
2015Advice Complexity for a Class of Online Problems.
Joan Boyar, Lene M. Favrholdt, Christian Kudahl, Jesper W. Mikkelsen
2015Algorithmic Game Theory (Tutorial).
Paul W. Goldberg
2015Approximating the Generalized Terminal Backup Problem via Half-integral Multiflow Relaxation.
Takuro Fukunaga
2015Arc Diagrams, Flip Distances, and Hamiltonian Triangulations.
Jean Cardinal, Michael Hoffmann, Vincent Kusters, Csaba D. Tóth, Manuel Wettstein
2015Automorphism Groups of Geometrically Represented Graphs.
Pavel Klavík, Peter Zeman
2015Combinatorial Expressions and Lower Bounds.
Thomas Colcombet, Amaldev Manuel
2015Communication Complexity of Approximate Matching in Distributed Graphs.
Zengfeng Huang, Bozidar Radunovic, Milan Vojnovic, Qin Zhang
2015Comparing 1D and 2D Real Time on Cellular Automata.
Anaël Grandjean, Victor Poupet
2015Computational Social Choice (Tutorial).
Felix Brandt
2015Computing 2-Walks in Polynomial Time.
Andreas Schmid, Jens M. Schmidt
2015Computing Downward Closures for Stacked Counter Automata.
Georg Zetzsche
2015Construction of mu-Limit Sets of Two-dimensional Cellular Automata.
Martin Delacourt, Benjamin Hellouin de Menibus
2015Correlation Clustering and Two-edge-connected Augmentation for Planar Graphs.
Philip N. Klein, Claire Mathieu, Hang Zhou
2015Derandomized Graph Product Results Using the Low Degree Long Code.
Irit Dinur, Prahladh Harsha, Srikanth Srinivasan, Girish Varma
2015Dynamic Planar Embeddings of Dynamic Graphs.
Jacob Holm, Eva Rotenberg
2015Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification.
Till Tantau
2015Extended Formulation Lower Bounds via Hypergraph Coloring?.
Stavros G. Kolliopoulos, Yannis Moysoglou
2015Flip Distance Is in FPT Time O(n+ k * c^k).
Iyad A. Kanj, Ge Xia
2015Front Matter, Table of Contents, Preface, Conference Organization.
Ernst W. Mayr, Nicolas Ollinger
2015Graph Searching Games and Width Measures for Directed Graphs.
Saeed Akhoondian Amiri, Lukasz Kaiser, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz
2015Homomorphism Reconfiguration via Homotopy.
Marcin Wrochna
2015Improved Local Search for Geometric Hitting Set.
Norbert Bus, Shashwat Garg, Nabil H. Mustafa, Saurabh Ray
2015Inductive Inference and Reverse Mathematics.
Rupert Hölzl, Sanjay Jain, Frank Stephan
2015Las Vegas Computability and Algorithmic Randomness.
Vasco Brattka, Guido Gherardi, Rupert Hölzl
2015Lempel-Ziv Factorization May Be Harder Than Computing All Runs.
Dmitry Kosolobov
2015Markov Decision Processes and Stochastic Games with Total Effective Payoff.
Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Kazuhisa Makino
2015Minimum Cost Flows in Graphs with Unit Capacities.
Andrew V. Goldberg, Haim Kaplan, Sagi Hed, Robert Endre Tarjan
2015Multi-k-ic Depth Three Circuit Lower Bound.
Neeraj Kayal, Chandan Saha
2015Network Design Problems with Bounded Distances via Shallow-Light Steiner Trees.
Markus Chimani, Joachim Spoerhase
2015New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs.
Archontia C. Giannopoulou, George B. Mertzios
2015New Pairwise Spanners.
Telikepalli Kavitha
2015On Finding the Adams Consensus Tree.
Jesper Jansson, Zhaoxian Li, Wing-Kin Sung
2015On Matrix Powering in Low Dimensions.
Esther Galby, Joël Ouaknine, James Worrell
2015On Sharing, Memoization, and Polynomial Time.
Martin Avanzini, Ugo Dal Lago
2015On the Information Carried by Programs about the Objects They Compute.
Mathieu Hoyrup, Cristobal Rojas
2015Optimal Decremental Connectivity in Planar Graphs.
Jakub Lacki, Piotr Sankowski
2015Overcoming Intractability in Unsupervised Learning (Invited Talk).
Sanjeev Arora
2015Paid Exchanges are Worth the Price.
Alejandro López-Ortiz, Marc P. Renault, Adi Rosén
2015Parallel Algorithms Reconsidered (Invited Talk).
Peter Sanders
2015Parameterized Complexity Dichotomy for Steiner Multicut.
Karl Bringmann, Danny Hermelin, Matthias Mnich, Erik Jan van Leeuwen
2015Pattern Matching with Variables: Fast Algorithms and New Hardness Results.
Henning Fernau, Florin Manea, Robert Mercas, Markus L. Schmid
2015Proof Complexity of Resolution-based QBF Calculi.
Olaf Beyersdorff, Leroy Chew, Mikolás Janota
2015Separation and the Successor Relation.
Thomas Place, Marc Zeitoun
2015Solving Totally Unimodular LPs with the Shadow Vertex Algorithm.
Tobias Brunsch, Anna Großwendt, Heiko Röglin
2015Space-efficient Basic Graph Algorithms.
Amr Elmasry, Torben Hagerup, Frank Kammer
2015Stochastic Scheduling of Heavy-tailed Jobs.
Sungjin Im, Benjamin Moseley, Kirk Pruhs
2015Subset Sum in the Absence of Concentration.
Per Austrin, Petteri Kaski, Mikko Koivisto, Jesper Nederlof
2015Testing Small Set Expansion in General Graphs.
Angsheng Li, Pan Peng
2015The Complexity of Constraint Satisfaction Problems (Invited Talk).
Manuel Bodirsky
2015The Complexity of Recognizing Unique Sink Orientations.
Bernd Gärtner, Antonis Thomas
2015The Minimum Oracle Circuit Size Problem.
Eric Allender, Dhiraj Holden, Valentine Kabanets
2015The Returning Secretary.
Shai Vardi
2015Towards an Isomorphism Dichotomy for Hereditary Graph Classes.
Pascal Schweitzer
2015Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics.
Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
2015Tribes Is Hard in the Message Passing Model.
Arkadev Chattopadhyay, Sagnik Mukhopadhyay
2015Tropical Effective Primary and Dual Nullstellens"atze.
Dima Grigoriev, Vladimir V. Podolskii
2015Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words.
Turlough Neary
2015Understanding Model Counting for beta-acyclic CNF-formulas.
Johann Brault-Baron, Florent Capelli, Stefan Mengel
2015Upper Tail Estimates with Combinatorial Proofs.
Jan Hazla, Thomas Holenstein
2015Visibly Counter Languages and Constant Depth Circuits.
Andreas Krebs, Klaus-Jörn Lange, Michael Ludwig
2015Welfare Maximization with Friends-of-Friends Network Externalities.
Sayan Bhattacharya, Wolfgang Dvorák, Monika Henzinger, Martin Starnberger