STACS A

61 papers

YearTitle / Authors
202441st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, Clermont-Ferrand, France, March 12-14, 2024
Olaf Beyersdorff, Mamadou Moustapha Kanté, Orna Kupferman, Daniel Lokshtanov
2024A Characterization of Efficiently Compilable Constraint Languages.
Christoph Berkholz, Stefan Mengel, Hermann Wilhelm
2024A Faster Algorithm for Constructing the Frequency Difference Consensus Tree.
Jesper Jansson, Wing-Kin Sung, Seyed Ali Tabatabaee, Yutong Yang
2024A Faster Algorithm for Vertex Cover Parameterized by Solution Size.
David G. Harris, N. S. Narayanaswamy
2024A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression.
Nicola Cotumaccio
2024A Subquadratic Bound for Online Bisection.
Marcin Bienkowski, Stefan Schmid
2024Algorithms for Claims Trading.
Martin Hoefer, Carmine Ventre, Lisa Wilhelmi
2024Algorithms for Computing Closest Points for Segments.
Haitao Wang
2024An Improved Approximation Algorithm for Dynamic Minimum Linear Arrangement.
Marcin Bienkowski, Guy Even
2024Approximate Circular Pattern Matching Under Edit Distance.
Panagiotis Charalampopoulos, Solon P. Pissis, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen, Wiktor Zuba
2024Arena-Independent Memory Bounds for Nash Equilibria in Reachability Games.
James C. A. Main
2024Circuit Equivalence in 2-Nilpotent Algebras.
Piotr Kawalek, Michael Kompatscher, Jacek Krzaczkowski
2024Computing Twin-Width Parameterized by the Feedback Edge Number.
Jakub Balabán, Robert Ganian, Mathis Rocton
2024Contributions to the Domino Problem: Seeding, Recurrence and Satisfiability.
Nicolás Bitar
2024Decremental Sensitivity Oracles for Covering and Packing Minors.
Lawqueen Kanesh, Fahad Panolan, M. S. Ramanujan, Peter Strulo
2024Depth-3 Circuit Lower Bounds for k-OV.
Tameem Choudhury, Karteek Sreenivasaiah
2024Directed Regular and Context-Free Languages.
Moses Ganardi, Irmak Saglam, Georg Zetzsche
2024Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2024FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs.
Matthias Lanzinger, Igor Razgon
2024Faster Graph Algorithms Through DAG Compression.
Max Bannach, Florian Andreas Marwitz, Till Tantau
2024Fault-tolerant k-Supplier with Outliers.
Deeparnab Chakrabarty, Luc Côté, Ankita Sarkar
2024Fixed-Parameter Debordering of Waring Rank.
Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov
2024Front Matter, Table of Contents, Preface, Conference Organization.
2024Gapped String Indexing in Subquadratic Space and Sublinear Query Time.
Philip Bille, Inge Li Gørtz, Moshe Lewenstein, Solon P. Pissis, Eva Rotenberg, Teresa Anna Steiner
2024Hardness of Linearly Ordered 4-Colouring of 3-Colourable 3-Uniform Hypergraphs.
Marek Filakovský, Tamio-Vesa Nakajima, Jakub Oprsal, Gianluca Tasinato, Uli Wagner
2024Homomorphism-Distinguishing Closedness for Graphs of Bounded Tree-Width.
Daniel Neuen
2024Linear Loop Synthesis for Quadratic Invariants.
S. Hitarth, George Kenison, Laura Kovács, Anton Varonka
2024Local Certification of Local Properties: Tight Bounds, Trade-Offs and New Parameters.
Nicolas Bousquet, Laurent Feuilloley, Sébastien Zeitoun
2024Lower Bounds for Set-Blocked Clauses Proofs.
Emre Yolcu
2024Max Weight Independent Set in Sparse Graphs with No Long Claws.
Tara Abrishami, Maria Chudnovsky, Marcin Pilipczuk, Pawel Rzazewski
2024Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form.
Christoph Berkholz, Dietrich Kuske, Christian Schwarz
2024Nonnegativity Problems for Matrix Semigroups.
Julian D'Costa, Joël Ouaknine, James Worrell
2024O(1/ε) Is the Answer in Online Weighted Throughput Maximization.
Franziska Eberle
2024On a Hierarchy of Spectral Invariants for Graphs.
Vikraman Arvind, Frank Fuhlbrück, Johannes Köbler, Oleg Verbitsky
2024On the Exact Matching Problem in Dense Graphs.
Nicolas El Maalouly, Sebastian Haslebacher, Lasse Wulf
2024On the Power of Border Width-2 ABPs over Fields of Characteristic 2.
Pranjal Dutta, Christian Ikenmeyer, Balagopal Komarath, Harshil Mittal, Saraswati Girish Nanoti, Dhara Thakkar
2024One n Remains to Settle the Tree Conjecture.
Jack Dippel, Adrian Vetta
2024Online Simple Knapsack with Bounded Predictions.
Matthias Gehnen, Henri Lotze, Peter Rossmanith
2024Parameterized and Approximation Algorithms for Coverings Points with Segments in the Plane.
Katarzyna Anna Kowalska, Michal Pilipczuk
2024Polynomial-Time Pseudodeterministic Constructions (Invited Talk).
Igor C. Oliveira
2024Positionality in Σ⁰₂ and a Completeness Result.
Pierre Ohlmann, Michal Skrzypczak
2024Quantum and Classical Communication Complexity of Permutation-Invariant Functions.
Ziyi Guan, Yunqi Huang, Penghui Yao, Zekun Ye
2024Randomized Query Composition and Product Distributions.
Swagato Sanyal
2024Removable Online Knapsack and Advice.
Hans-Joachim Böckenhauer, Fabian Frei, Peter Rossmanith
2024Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers.
C. Aiswarya, Soumodev Mal, Prakash Saivasan
2024Semënov Arithmetic, Affine {VASS}, and String Constraints.
Andrei Draghici, Christoph Haase, Florin Manea
2024Shortest Two Disjoint Paths in Conservative Graphs.
Ildikó Schlotter
2024Solving Discontinuous Initial Value Problems with Unique Solutions Is Equivalent to Computing over the Transfinite.
Olivier Bournez, Riccardo Gozzi
2024Spectral Approach to the Communication Complexity of Multi-Party Key Agreement.
Geoffroy Caillat-Grenier, Andrei Romashchenko
2024Structurally Tractable Graph Classes (Invited Talk).
Szymon Torunczyk
2024Sub-Exponential Time Lower Bounds for #VC and #Matching on 3-Regular Graphs.
Ying Liu, Shiteng Chen
2024Temporalizing Digraphs via Linear-Size Balanced Bi-Trees.
Stéphane Bessy, Stéphan Thomassé, Laurent Viennot
2024Testing Equivalence to Design Polynomials.
Omkar Baraskar, Agrim Dewan, Chandan Saha
2024The 2-Attractor Problem Is NP-Complete.
Janosch Fuchs, Philip Whittington
2024The AC⁰-Complexity of Visibly Pushdown Languages.
Stefan Göller, Nathan Grosshans
2024The Complexity of Homomorphism Reconstructibility.
Jan Böker, Louis Härtel, Nina Runde, Tim Seppelt, Christoph Standke
2024The Role of Local Algorithms in Privacy (Invited Talk).
Sofya Raskhodnikova
2024The Subpower Membership Problem of 2-Nilpotent Algebras.
Michael Kompatscher
2024Tree-Layout Based Graph Classes: Proper Chordal Graphs.
Christophe Paul, Evangelos Protopapas
2024Weighted HOM-Problem for Nonnegative Integers.
Andreas Maletti, Andreea-Teodora Nász, Erik Paul
2024Worst-Case and Smoothed Analysis of the Hartigan-Wong Method for k-Means Clustering.
Bodo Manthey, Jesse van Rhijn