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
2015Condensed Unpredictability.Maciej Skorski, Alexander Golovnev, Krzysztof Pietrzak
2015Symmetric Strategy Improvement.Sven Schewe, Ashutosh Trivedi, Thomas Varghese
2015Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity.Swagato Sanyal
2015Non-linear Second Order Abstract Categorial Grammars and Deletion.Sylvain Salvati
2015Broadcast from Minicast Secure Against General Adversaries.Pavel Raykov
2015An Improved Private Mechanism for Small Databases.Aleksandar Nikolov
2015Computing the Frchet Distance Between Polygons with Holes.Amir Nayyeri, Anastasios Sidiropoulos
2015Automated Synthesis of Distributed Controllers.Anca Muscholl
2015Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas.Amer E. Mouawad, Naomi Nishimura, Vinayak Pathak, Venkatesh Raman
2015Computational Coverage of TLG: Nonlinearity.Glyn Morrill, Oriol Valentn
2015A (2+\epsilon ) ( 2 + ϵ ) -Approximation Algorithm for the Storage Allocation Problem.Tobias Mmke, Andreas Wiese
2015Amplification of One-Way Information Complexity via Codes and Noise Sensitivity.Marco Molinaro, David P. Woodruff, Grigory Yaroslavtsev
2015An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains.Joseph S. B. Mitchell, Valentin Polishchuk, Mikko Sysikaski, Haitao Wang
2015Baire Category Quantifier in Monadic Second Order Logic.Henryk Michalewski, Matteo Mio
2015Lexical Semantics with Linear Types.Bruno Mery
2015Parsimonious Types and Non-uniform Computation.Damiano Mazza, Kazushige Terui
2015Linear Time Parameterized Algorithms for Subset Feedback Vertex Set.Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh
2015Deterministic Truncation of Linear Matroids.Daniel Lokshtanov, Pranabendu Misra, Fahad Panolan, Saket Saurabh
2015Compressed Tree Canonization.Markus Lohrey, Sebastian Maneth, Fabian Peternek
2015Replacing Mark Bits with Randomness in Fibonacci Heaps.Jerry Li, John Peebles
2015A PTAS for the Weighted Unit Disk Cover Problem.Jian Li, Yifei Jin
2015On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension.Jrme Leroux, Grgoire Sutre, Patrick Totzke
2015Owicki-Gries Reasoning for Weak Memory Models.Ori Lahav, Viktor Vafeiadis
2015On the Hardest Problem Formulations for the 0/1 0 / 1 Lasserre Hierarchy.Adam Kurpisz, Samuli Leppnen, Monaldo Mastrolilli
2015On Determinisation of Good-for-Games Automata.Denis Kuperberg, Michal Skrzypczak
1,7011,725 of 4,916← PreviousNext →

Comparable venues

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