Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Chris Köcher |
Rational, Recognizable, and Aperiodic Sets in the Partially Lossy Queue Monoid. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Suryajith Chillara, Nutan Limaye, Srikanth Srinivasan 0001 |
Small-depth Multilinear Formula Lower Bounds for Iterated Matrix Multiplication, with Applications. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Niedermeier, Brigitte Vallée (eds.) |
35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France |
STACS |
2018 |
DBLP BibTeX RDF |
|
1 | Gökalp Demirci, Henry Hoffmann, David H. K. Kim |
Approximation Algorithms for Scheduling with Resource and Precedence Constraints. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Serge Gaspers, Shenwei Huang, Daniël Paulusma |
Colouring Square-Free Graphs without Long Induced Paths. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Kosolobov |
Relations Between Greedy and Bit-Optimal LZ77 Encodings. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Eiben, Robert Ganian, Sebastian Ordyniak |
Small Resolution Proofs for QBF using Dependency Treewidth. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Gardy, Patricia Bouyer, Nicolas Markey |
Dependences in Strategy Logic. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bressan 0002, Enoch Peserico, Luca Pretto |
On Approximating the Stationary Distribution of Time-reversible Markov Chains. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Luttenberger, Raphaela Palenta, Helmut Seidl |
Computing the Longest Common Prefix of a Context-free Language in Polynomial Time. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard J. Woeginger |
The Open Shop Scheduling Problem. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, Fabian Klute, Sebastian Ordyniak |
On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roei Tell |
Lower Bounds on Black-Box Reductions of Hitting to Density Estimation. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | John M. Hitchcock, Hadi Shafei |
Nonuniform Reductions and NP-Completeness. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Berkholz |
The Relation between Polynomial Calculus, Sherali-Adams, and Sum-of-Squares Proofs. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Clifford, Allan Grønlund, Kasper Green Larsen, Tatiana Starikovskaya |
Upper and Lower Bounds for Dynamic Data Structures on Strings. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Larose, Barnaby Martin, Daniël Paulusma |
Surjective H-Colouring over Reflexive Digraphs. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Salvy |
Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Aayush Rajasekaran, Jeffrey O. Shallit, Tim Smith |
Sums of Palindromes: an Approach via Automata. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | László Egri, Dániel Marx, Pawel Rzazewski |
Finding List Homomorphisms from Bounded-treewidth Graphs to Reflexive Graphs: a Complete Complexity Characterization. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Debarati Das 0001, Michal Koucký 0001, Michael E. Saks |
Lower Bounds for Combinatorial Algorithms for Boolean Matrix Multiplication. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis, Martins Kokainis, Krisjanis Prusis, Jevgenijs Vihrovs |
All Classical Adversary Methods are Equivalent for Total Functions. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Filip Mazowiecki, Cristian Riveros |
Pumping Lemmas for Weighted Automata. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sven Jäger 0001, Martin Skutella |
Generalizing the Kawaguchi-Kyan Bound to Stochastic Parallel Machine Scheduling. |
STACS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Böhm, Stefan Göller, Simon Halfon, Piotr Hofman |
On Büchi One-Counter Automata. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell 0001 |
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Akanksha Agrawal 0001, Daniel Lokshtanov, Saket Saurabh 0001, Meirav Zehavi |
Split Contraction: The Untold Story. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jack H. Lutz, Neil Lutz |
Algorithmic Information, Plane Kakeya Sets, and Conditional Dimension. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Chistikov 0001, Szabolcs Iván, Anna Lubiw, Jeffrey O. Shallit |
Fractional Coverings, Greedy Coverings, and Rectifier Networks. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Suman K. Bera 0001, Amit Chakrabarti |
Towards Tighter Space Bounds for Counting Triangles and Other Substructures in Graph Streams. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dusan Knop, Martin Koutecký, Matthias Mnich |
Voting and Bribing in Single-Exponential Time. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Bhrushundi, Prahladh Harsha, Srikanth Srinivasan 0001 |
On Polynomial Approximations Over Z/2^kZ*. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Joux |
Discrete Logarithms in Small Characteristic Finite Fields: a Survey of Recent Advances (Invited Talk). |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marianne Akian, Stéphane Gaubert, Julien Grand-Clément, Jérémie Guillaud |
The Operator Approach to Entropy Games. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Ivaskovic, Adrian Kosowski, Dominik Pajak, Thomas Sauerwald |
Multiple Random Walks on Paths and Grids. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota 0001, Charles Paperman |
Separability of Reachability Sets of Vector Addition Systems. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aleksi Saarela |
Word Equations Where a Power Equals a Product of Powers. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohit Garg 0003, Jaikumar Radhakrishnan |
Set Membership with Non-Adaptive Bit Probes. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Kreutzer, Roman Rabinovich 0001, Sebastian Siebertz, Grischa Weberstädt |
Structural Properties and Constant Factor-Approximation of Strong Distance-r Dominating Sets in Sparse Directed Graphs. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Daniel Lokshtanov, Syed Mohammad Meesum, Saket Saurabh 0001, Meirav Zehavi |
Matrix Rigidity from the Viewpoint of Parameterized Complexity. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Johannes Köbler, Sebastian Kuhnert, Jacobo Torán |
Parameterized Complexity of Small Weight Automorphisms. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marius Zimand |
List Approximation for Increasing Kolmogorov Complexity. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Sankowski, Karol Wegrzycki |
Improved Distance Queries and Cycle Counting by Frobenius Normal Form. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Le Roux 0001, Arno Pauly, Jean-François Raskin |
Minkowski Games. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Qian Li 0012, Xiaoming Sun 0001 |
On the Sensitivity Complexity of k-Uniform Hypergraph Properties. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kontinen |
Computational Aspects of Logics in Team Semantics (Tutorial). |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Michal Pilipczuk |
Optimizing Tree Decompositions in MSO. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Heribert Vollmer, Brigitte Vallée (eds.) |
34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany |
STACS |
2017 |
DBLP BibTeX RDF |
|
1 | Benjamin A. Burton, Sergio Cabello, Stefan Kratsch, William Pettersson |
The Parameterized Complexity of Finding a 2-Sphere in a Simplicial Complex. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Martin Zimmermann 0002 |
The First-Order Logic of Hyperproperties. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Radu Curticapean, Holger Dell, Marc Roth |
Counting Edge-Injective Homomorphisms and Matchings on Restricted Graph Classes. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alkida Balliu, Gianlorenzo D'Angelo, Pierre Fraigniaud, Dennis Olivetti |
What Can Be Verified Locally?. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Skorski |
Lower Bounds on Key Derivation for Square-Friendly Applications. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Till Tantau |
Applications of Algorithmic Metatheorems to Space Complexity and Parallelism (Invited Talk). |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Itsykson, Alexander Knop, Andrei E. Romashchenko, Dmitry Sokolov 0001 |
On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arkadev Chattopadhyay, Pavel Dvorák, Michal Koucký 0001, Bruno Loff, Sagnik Mukhopadhyay |
Lower Bounds for Elimination via Weak Regularity. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lin Chen 0009, Dániel Marx, Deshi Ye, Guochuan Zhang |
Parameterized and Approximation Results for Scheduling with a Low Rank Processing Time Matrix. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dominik D. Freydenberger, Markus L. Schmid |
Deterministic Regular Expressions with Back-References. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Petr Gregor, Torsten Mütze |
Trimming and Gluing Gray Codes. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Høyer, Mojtaba Komeili |
Efficient Quantum Walk on the Grid with Multiple Marked Elements. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zdenek Dvorák 0001, Daniel Král, Bojan Mohar |
Graphic TSP in Cubic Graphs. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Bärtschi, Jérémie Chalopin, Shantanu Das 0001, Yann Disser, Daniel Graf 0001, Jan Hackfeld, Paolo Penna |
Energy-Efficient Delivery by Heterogeneous Mobile Agents. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Jacob van Gool, Benjamin Steinberg |
Pro-Aperiodic Monoids via Saturated Models. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vasco Brattka, Rupert Hölzl 0001, Rutger Kuyper |
Monte Carlo Computability. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Titouan Carette, Mathieu Laurière, Frédéric Magniez |
Extended Learning Graphs for Triangle Finding. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zdenek Dvorák 0001, Bernard Lidický |
Independent Sets near the Lower Bound in Bounded Degree Graphs. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kompatscher, Van Trung Pham |
A Complexity Dichotomy for Poset Constraint Satisfaction. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Artur Jez |
Recompression: New Approach to Word Equations and Context Unification (Invited Talk). |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Édouard Bonnet, Tillmann Miltzow, Pawel Rzazewski |
Complexity of Token Swapping and its Variants. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Carayol, Stefan Göller |
On Long Words Avoiding Zimin Patterns. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gaétan Richard |
On the Synchronisation Problem over Cellular Automata. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bahareh Banyassady, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein |
Improved Time-Space Trade-Offs for Computing Voronoi Diagrams. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander S. Kulikov, Vladimir V. Podolskii |
Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio García-Marco, Pascal Koiran, Timothée Pecatte, Stéphan Thomassé |
On the Complexity of Partial Derivatives. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Bilò, Marios Mavronicolas |
Existential-R-Complete Decision Problems about Symmetric Nash Equilibria in Symmetric Multi-Player Games. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati |
On the Decomposition of Finite-Valued Streaming String Transducers. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yann Disser, Stefan Kratsch |
Robust and Adaptive Search. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eldar Fischer, Oded Lachish, Yadu Vasudev |
Improving and Extending the Testing of Distributions for Shape-Restricted Properties. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, M. S. Ramanujan 0001, Stefan Szeider |
Combining Treewidth and Backdoors for CSP. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Moses Ganardi, Danny Hucke, Daniel König, Markus Lohrey |
Circuit Evaluation for Finite Semirings. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shahrzad Haddadan, Peter Winkler 0001 |
Mixing of Permutations by Biased Transposition. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kärkkäinen, Dominik Kempa, Yuto Nakashima, Simon J. Puglisi, Arseny M. Shur |
On the Size of Lempel-Ziv and Lyndon Factorizations. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lohrey, Georg Zetzsche |
The Complexity of Knapsack in Graph Groups. |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Virginia Vassilevska Williams |
Fine-Grained Algorithms and Complexity (Invited Talk). |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Laure Daviaud, Denis Kuperberg, Jean-Éric Pin |
Varieties of Cost Functions. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Haase, Piotr Hofman |
Tightening the Complexity of Equivalence Problems for Commutative Grammars. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Blaise Genest, Bruno Karelovic, Nikhil Vyas 0001 |
On Regularity of Unary Probabilistic Automata. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Bilò, Marios Mavronicolas |
A Catalog of EXISTS-R-Complete Decision Problems About Nash Equilibria in Multi-Player Games. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Peter Jonsson, Van Trung Pham |
The Complexity of Phylogeny Constraint Satisfaction. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sang Won Bae, Matias Korman, Joseph S. B. Mitchell, Yoshio Okamoto, Valentin Polishchuk, Haitao Wang 0001 |
Computing the L1 Geodesic Diameter and Center of a Polygonal Domain. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gerth Stølting Brodal |
External Memory Three-Sided Range Reporting and Top-k Queries with Sublogarithmic Updates. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Gawrychowski, Tomohiro I, Shunsuke Inenaga, Dominik Köppl, Florin Manea |
Efficiently Finding All Maximal alpha-gapped Repeats. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Mary, Yann Strozecki |
Efficient Enumeration of Solutions Produced by Closure Operations. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shiri Chechik, Haim Kaplan, Mikkel Thorup, Or Zamir, Uri Zwick |
Bottleneck Paths and Trees and Deterministic Graphical Games. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Édouard Bonnet, Michael Lampis, Vangelis Th. Paschos |
Time-Approximation Trade-offs for Inapproximable Problems. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Achim Blumensath, Thomas Colcombet, Pawel Parys |
On a Fragment of AMSO and Tiling Systems. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michal Pilipczuk, Marcin Wrochna |
On Space Efficiency of Algorithms Working on Structural Decompositions of Graphs. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Timo Kötzing, Martin Schirneck |
Towards an Atlas of Computational Learning Theory. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Petr A. Golovach, Fahad Panolan, Saket Saurabh 0001 |
Editing to Connected f-Degree Graph. |
STACS |
2016 |
DBLP DOI BibTeX RDF |
|