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
1997Fast Online Multiplication of Real Numbers.Matthias Schrder
1997Finding the k Shortest Paths in Parallel.Eric Ruppert
1997Strict Sequential P-completeness.Klaus Reinhardt
1997RNC-Approximation Algorithms for the Steiner Problem.Hans Jrgen Prmel, Angelika Steger
1997Distance Approximating Spanning Trees.Erich Prisner
1997On Polynomially D-Verbose Sets.Arfst Nickelsen
1997Minimal Transition Systems for History-Preserving Bisimulation.Ugo Montanari, Marco Pistore
1997Pattern Matching in Trace Monoids (Extended Abstract).Jochen Mener
1997A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams.Christoph Meinel, Anna Slobodov
1997Regular Expressions and Context-Free Grammars for Picture Languages.Oliver Matz
1997Interactive Proof Systems with Public Coin: Lower Space Bounds and Hierarchies of Complexity Classes.Maciej Liskiewicz
1997An Unambiguous Class Possessing a Complete Set.Klaus-Jrn Lange
1997Greibach Normal Form Transformation, Revisited.Robert Koch, Norbert Blum
1997Power Consumption in Packet Radio Networks (Extended Abstract).Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc, Andrzej Pelc
1997A Conditional-Logical Approach to Minimum Cross-Entropy.Gabriele Kern-Isberner
1997The Complexity of Generating Test Instances.Christoph Karg, Johannes Kbler, Rainer Schuler
1997Translating Regular Expressions into Small epsilon-Free Nondeterministic Finite Automata.Juraj Hromkovic, Sebastian Seibert, Thomas Wilke
1997The Operators min and max on the Polynomial Hierarchy.Harald Hempel, Gerd Wechsung
1997A Downward Translation in the Polynomial Hierarchy.Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel
1997Undecidability Results on Two-Variable Logics.Erich Grdel, Martin Otto, Eric Rosen
1997Measuring Nondeterminism in Pushdown Automata.Jonathan Goldstine, Hing Leung, Detlef Wotschke
1997Probabilistic Proof Systems - A Survey.Oded Goldreich
1997Methods and Applications of (MAX, +) Linear Algebra.Stephane Gaubert, Max Plus
1997Semi-Dynamic Shortest Paths and Breadth-First Search in Digraphs.Paolo Giulio Franciosa, Daniele Frigioni, Roberto Giaccio
1997Deadlock-Free Interval Routing Schemes.Michele Flammini
1,7261,750 of 2,384← PreviousNext →

Comparable venues

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