Skip to content

International Symposium on Theoretical Aspects of Computer Science

STACS

A

CORE rank

CORE rank (raw)

A

Fields of research

Theory of Computation

Papers indexed

2,384

1984–2026

Papers per year

198482 peak2026

STACS papers

2,384 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1993Rectilinear Path Queries in a Simple Rectilinear Polygon.Sven Schuierer
1993A Complexity Theoretic Approach to Incremental Computation.Sairam Sairam, Jeffrey Scott Vitter, Roberto Tamassia
1993Precise Average Case Complexity.Rdiger Reischuk, Christian Schindelhauer
1993On O(sqrt(n))-Worst-Case-Time Solution to the Granularity Problem.Andrea Pietracaprina, Franco P. Preparata
1993Axiomatizations of Temporal Logics on Trace Systems.Wojciech Penczek
1993Extended Locally Definable Acceptance Types (Extended Abstract).Rolf Niedermeier, Peter Rossmanith
1993The Limit Set of Recognizable Substitution Systems.Philippe Narbel
1993LEDA: A Library of Efficient Data Types and Algorithms.Stefan Nher
1993Local Automata and Completion.Rosa Montalbano
1993Parallel Architectures: Design and Efficient Use.Burkhard Monien, Rainer Feldmann, Ralf Klasing, Reinhard Lling
1993The Bit Probe Complexity Measure Revisited.Peter Bro Miltersen
1993Divide-and-Conquer Algorithms on the Hypercube.Ernst W. Mayr, Ralph Werchner
1993On Syntactic Congruences for Omega-Languages.Oded Maler, Ludwig Staiger
1993A Decomposition Theorem for Probabilistic Transition Systems.Oded Maler
1993Threshold Circuits for Iterated Multiplication: Using AC0 for Free.Alexis Maciel, Denis Thrien
1993Measure, Stochasticity, and the Density of Hard Languages.Jack H. Lutz, Elvira Mayordomo
1993Capabilities and Complexity of Computations with Integer Division.Katharina Lrwer-Brggemeier, Friedhelm Meyer auf der Heide
1993Complement Problems and Tree Automata in AC-like Theories (Extended Abstract).Denis Lugiez, J. L. Moysset
1993Separating the Lower Levels of the Sublogarithmic Space Hierarchy.Maciej Liskiewicz, Rdiger Reischuk
1993Towards the Formal Design of Self-Stabilizing Distributed Algorithms.P. J. A. Lentfert, S. Doaitse Swierstra
1993Language Learning with a Bounded Number of Mind Changes.Steffen Lange, Thomas Zeugmann
1993Exact Algorithms for a Geometric Packing Problem (Extended Abstract).Ludek Kucera, Kurt Mehlhorn, B. Preis, Erik Schwarzenecker
1993Partially Commutative Lyndon Words.Daniel Krob, Pierre Lalonde
1993Locating P/poly Optimally in the Extended Low Hierarchy.Johannes Kbler
1993Treewidth of Bipartite Graphs.Ton Kloks, Dieter Kratsch
1,9511,975 of 2,384← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.