STACS A

60 papers

YearTitle / Authors
201633rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, Orléans, France, February 17-20, 2016
Nicolas Ollinger, Heribert Vollmer
2016A Catalog of EXISTS-R-Complete Decision Problems About Nash Equilibria in Multi-Player Games.
Vittorio Bilò, Marios Mavronicolas
2016A Randomized Polynomial Kernel for Subset Feedback Vertex Set.
Eva-Maria C. Hols, Stefan Kratsch
2016Airports and Railways: Facility Location Meets Network Design.
Anna Adamaszek, Antonios Antoniadis, Tobias Mömke
2016Algorithmic Statistics, Prediction and Machine Learning.
Alexey Milovanov
2016Are Short Proofs Narrow? QBF Resolution is not Simple.
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
2016Autoreducibility of NP-Complete Sets.
John M. Hitchcock, Hadi Shafei
2016Bottleneck Paths and Trees and Deterministic Graphical Games.
Shiri Chechik, Haim Kaplan, Mikkel Thorup, Or Zamir, Uri Zwick
2016Canonizing Graphs of Bounded Tree Width in Logspace.
Michael Elberfeld, Pascal Schweitzer
2016Catalytic Space: Non-determinism and Hierarchy.
Harry Buhrman, Michal Koucký, Bruno Loff, Florian Speelman
2016Characterisation of an Algebraic Algorithm for Probabilistic Automata.
Nathanaël Fijalkow
2016Complexity and Expressive Power of Ontology-Mediated Queries (Invited Talk).
Carsten Lutz
2016Computing the L1 Geodesic Diameter and Center of a Polygonal Domain.
Sang Won Bae, Matias Korman, Joseph S. B. Mitchell, Yoshio Okamoto, Valentin Polishchuk, Haitao Wang
2016Constrained Bipartite Vertex Cover: The Easy Kernel is Essentially Tight.
Bart M. P. Jansen
2016Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties.
Filip Mazowiecki, Cristian Riveros
2016Cost Functions Definable by Min/Max Automata.
Thomas Colcombet, Denis Kuperberg, Amaldev Manuel, Szymon Torunczyk
2016Deciding Circular-Arc Graph Isomorphism in Parameterized Logspace.
Maurice Chandoo
2016Dense Subset Sum May Be the Hardest.
Per Austrin, Petteri Kaski, Mikko Koivisto, Jesper Nederlof
2016Derandomizing Isolation Lemma for K3, 3-free and K5-free Bipartite Graphs.
Rahul Arora, Ashu Gupta, Rohit Gurjar, Raghunath Tewari
2016Editing to Connected f-Degree Graph.
Fedor V. Fomin, Petr A. Golovach, Fahad Panolan, Saket Saurabh
2016Efficient Enumeration of Solutions Produced by Closure Operations.
Arnaud Mary, Yann Strozecki
2016Efficiently Finding All Maximal alpha-gapped Repeats.
Pawel Gawrychowski, Tomohiro I, Shunsuke Inenaga, Dominik Köppl, Florin Manea
2016Entropy Games and Matrix Multiplication Games.
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin
2016External Memory Three-Sided Range Reporting and Top-k Queries with Sublogarithmic Updates.
Gerth Stølting Brodal
2016FPTAS for Hardcore and Ising Models on Hypergraphs.
Pinyan Lu, Kuan Yang, Chihao Zhang
2016Faster Algorithms for the Constrained k-Means Problem.
Anup Bhattacharya, Ragesh Jaiswal, Amit Kumar
2016Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Tournaments.
Mithilesh Kumar, Daniel Lokshtanov
2016Fine-Grained Algorithms and Complexity (Invited Talk).
Virginia Vassilevska Williams
2016Front Matter, Foreword, Conference Organization, External Reviewers, Table of Contents.
2016Good Predictions Are Worth a Few Comparisons.
Nicolas Auger, Cyril Nicaud, Carine Pivoteau
2016Graph Reconstruction with a Betweenness Oracle.
Mikkel Abrahamsen, Greg Bodwin, Eva Rotenberg, Morten Stöckel
2016Ideal Decompositions for Vector Addition Systems (Invited Talk).
Jérôme Leroux, Sylvain Schmitz
2016Improved Approximation Algorithms for Balanced Partitioning Problems.
Harald Räcke, Richard Stotz
2016Kernelization and Sparseness: the Case of Dominating Set.
Pål Grønås Drange, Markus Sortland Dregi, Fedor V. Fomin, Stephan Kreutzer, Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Felix Reidl, Fernando Sánchez Villaamil, Saket Saurabh, Sebastian Siebertz, Somnath Sikdar
2016Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products.
Markus Lohrey, Georg Zetzsche
2016Multiple-Edge-Fault-Tolerant Approximate Shortest-Path Trees.
Davide Bilò, Luciano Gualà, Stefano Leucci, Guido Proietti
2016On Regularity of Unary Probabilistic Automata.
S. Akshay, Blaise Genest, Bruno Karelovic, Nikhil Vyas
2016On Space Efficiency of Algorithms Working on Structural Decompositions of Graphs.
Michal Pilipczuk, Marcin Wrochna
2016On a Fragment of AMSO and Tiling Systems.
Achim Blumensath, Thomas Colcombet, Pawel Parys
2016On the Number of Lambda Terms With Prescribed Size of Their De Bruijn Representation.
Bernhard Gittenberger, Zbigniew Golebiewski
2016Packing Groups of Items into Multiple Knapsacks.
Lin Chen, Guochuan Zhang
2016Periods and Borders of Random Words.
Stepan Holub, Jeffrey O. Shallit
2016Polynomial Kernels for Deletion to Classes of Acyclic Digraphs.
Matthias Mnich, Erik Jan van Leeuwen
2016Preprocessing Under Uncertainty.
Stefan Fafianie, Stefan Kratsch, Vuong Anh Quyen
2016Quantum Query Complexity of Subgraph Isomorphism and Homomorphism.
Raghav Kulkarni, Supartha Podder
2016Semantic Versus Syntactic Cutting Planes.
Yuval Filmus, Pavel Hrubes, Massimo Lauria
2016Separation Between Read-once Oblivious Algebraic Branching Programs (ROABPs) and Multilinear Depth Three Circuits.
Neeraj Kayal, Vineet Nair, Chandan Saha
2016Simultaneous Feedback Vertex Set: A Parameterized Perspective.
Akanksha Agrawal, Daniel Lokshtanov, Amer E. Mouawad, Saket Saurabh
2016Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function.
Mateus de Oliveira Oliveira
2016Sub-exponential Approximation Schemes for CSPs: From Dense to Almost Sparse.
Dimitris Fotakis, Michael Lampis, Vangelis Th. Paschos
2016Testing Shape Restrictions of Discrete Distributions.
Clément L. Canonne, Ilias Diakonikolas, Themis Gouleakis, Ronitt Rubinfeld
2016The Complexity of Phylogeny Constraint Satisfaction.
Manuel Bodirsky, Peter Jonsson, Van Trung Pham
2016The Complexity of the Hamilton Cycle Problem in Hypergraphs of High Minimum Codegree.
Frederik Garbe, Richard Mycroft
2016The Expanding Search Ratio of a Graph.
Spyros Angelopoulos, Christoph Dürr, Thomas Lidbetter
2016The MSO+U Theory of (N, <) Is Undecidable.
Mikolaj Bojanczyk, Pawel Parys, Szymon Torunczyk
2016Tightening the Complexity of Equivalence Problems for Commutative Grammars.
Christoph Haase, Piotr Hofman
2016Time-Approximation Trade-offs for Inapproximable Problems.
Édouard Bonnet, Michael Lampis, Vangelis Th. Paschos
2016Towards an Atlas of Computational Learning Theory.
Timo Kötzing, Martin Schirneck
2016Tutorial on Cellular Automata and Tilings (Tutorial).
Jarkko Kari
2016Varieties of Cost Functions.
Laure Daviaud, Denis Kuperberg, Jean-Éric Pin