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
2015Algorithmic Game Theory (Tutorial).Paul W. Goldberg
2015New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs.Archontia C. Giannopoulou, George B. Mertzios
2015The Complexity of Recognizing Unique Sink Orientations.Bernd Grtner, Antonis Thomas
2015On Matrix Powering in Low Dimensions.Esther Galby, Jol Ouaknine, James Worrell
2015Approximating the Generalized Terminal Backup Problem via Half-integral Multiflow Relaxation.Takuro Fukunaga
2015Pattern Matching with Variables: Fast Algorithms and New Hardness Results.Henning Fernau, Florin Manea, Robert Mercas, Markus L. Schmid
2015Space-efficient Basic Graph Algorithms.Amr Elmasry, Torben Hagerup, Frank Kammer
2015Derandomized Graph Product Results Using the Low Degree Long Code.Irit Dinur, Prahladh Harsha, Srikanth Srinivasan, Girish Varma
2015Construction of mu-Limit Sets of Two-dimensional Cellular Automata.Martin Delacourt, Benjamin Hellouin de Menibus
2015Combinatorial Expressions and Lower Bounds.Thomas Colcombet, Amaldev Manuel
2015Network Design Problems with Bounded Distances via Shallow-Light Steiner Trees.Markus Chimani, Joachim Spoerhase
2015Tribes Is Hard in the Message Passing Model.Arkadev Chattopadhyay, Sagnik Mukhopadhyay
2015Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics.Pablo F. Castro, Cecilia Kilmurray, Nir Piterman
2015Arc Diagrams, Flip Distances, and Hamiltonian Triangulations.Jean Cardinal, Michael Hoffmann, Vincent Kusters, Csaba D. Tth, Manuel Wettstein
2015Improved Local Search for Geometric Hitting Set.Norbert Bus, Shashwat Garg, Nabil H. Mustafa, Saurabh Ray
2015Solving Totally Unimodular LPs with the Shadow Vertex Algorithm.Tobias Brunsch, Anna Growendt, Heiko Rglin
2015Parameterized Complexity Dichotomy for Steiner Multicut.Karl Bringmann, Danny Hermelin, Matthias Mnich, Erik Jan van Leeuwen
2015Understanding Model Counting for beta-acyclic CNF-formulas.Johann Brault-Baron, Florent Capelli, Stefan Mengel
2015Las Vegas Computability and Algorithmic Randomness.Vasco Brattka, Guido Gherardi, Rupert Hlzl
2015Computational Social Choice (Tutorial).Felix Brandt
2015Advice Complexity for a Class of Online Problems.Joan Boyar, Lene M. Favrholdt, Christian Kudahl, Jesper W. Mikkelsen
2015Markov Decision Processes and Stochastic Games with Total Effective Payoff.Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Kazuhisa Makino
2015The Complexity of Constraint Satisfaction Problems (Invited Talk).Manuel Bodirsky
2015Welfare Maximization with Friends-of-Friends Network Externalities.Sayan Bhattacharya, Wolfgang Dvork, Monika Henzinger, Martin Starnberger
2015Proof Complexity of Resolution-based QBF Calculi.Olaf Beyersdorff, Leroy Chew, Mikols Janota
726750 of 2,384← PreviousNext →

Comparable venues

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