Skip to content

International Colloquium on Automata Languages and Programming

ICALP

A*

CORE rank

CORE rank (raw)

A*

Fields of research

Theory of Computation

Papers indexed

4,916

1972–2026

Papers per year

1972193 peak2026

ICALP papers

4,916 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2015Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words.Olivier Finkel
2015Decision Problems of Tree Transducers with Origin.Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
2015Trading Bounds for Memory in Games with Counters.Nathanal Fijalkow, Florian Horn, Denis Kuperberg, Michal Skrzypczak
2015A (1+ε)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs.Andreas Emil Feldmann, Wai Shing Fung, Jochen Knemann, Ian Post
2015Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs.Andreas Emil Feldmann
2015A Unified Framework for Strong Price of Anarchy in Clustering Games.Michal Feldman, Ophir Friedler
2015Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation.Antonio Faonio, Jesper Buus Nielsen, Daniele Venturi
2015Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes.Kousha Etessami, Alistair Stewart, Mihalis Yannakakis
2015On Temporal Graph Exploration.Thomas Erlebach, Michael Hoffmann, Frank Kammer
2015On Planar Boolean CSP.Zdenek Dvork, Martin Kupec
2015Natural Homology.Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq
2015On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace.Dean Doron, Amnon Ta-Shma
2015Scheduling Bidirectional Traffic on a Path.Yann Disser, Max Klimm, Elisabeth Lbbecke
2015Reachability is in DynFO.Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume
2015Interactive Communication with Unknown Noise Rate.Varsha Dani, Mahnush Movahedi, Jared Saia, Maxwell Young
2015A Simple and Optimal Ancestry Labeling Scheme for Trees.Sren Dahlgaard, Mathias Bk Tejs Knudsen, Noy Rotbart
2015On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols.Jurek Czyzowicz, Leszek Gasieniec, Adrian Kosowski, Evangelos Kranakis, Paul G. Spirakis, Przemyslaw Uznanski
2015Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity.Radu Curticapean
2015Popular Matchings with Two-Sided Preferences and One-Sided Ties.gnes Cseh, Chien-Chung Huang, Telikepalli Kavitha
2015Interactive Proofs with Approximately Commuting Provers.Matthew Coudron, Thomas Vidick
2015Limited Set quantifiers over Countable Linear Orderings.Thomas Colcombet, A. V. Sreejith
2015Zero-Fixing Extractors for Sub-Logarithmic Entropy.Gil Cohen, Igor Shinkar
2015Multilinear Pseudorandom Functions.Aloni Cohen, Justin Holmgren
2015Solution Sets for Equations over Free Groups are EDT0L Languages.Laura Ciobanu, Volker Diekert, Murray Elder
2015Secretary Markets with Local Information.Ning Chen, Martin Hoefer, Marvin Knnemann, Chengyu Lin, Peihan Miao
1,7761,800 of 4,916← PreviousNext →

Comparable venues

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