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
2010Compositional Closure for Bayes Risk in Probabilistic Noninterference.Annabelle McIver, Larissa Meinicke, Carroll Morgan
2010B and D Are Enough to Make the Halpern-Shoham Logic Undecidable.Jerzy Marcinkowski, Jakub Michaliszyn, Emanuel Kieronski
2010Maximum Quadratic Assignment Problem: Reduction from Maximum Label Cover and LP-Based Approximation Algorithm.Konstantin Makarychev, Rajsekar Manokaran, Maxim Sviridenko
2010Clustering with Diversity.Jian Li, Ke Yi, Qin Zhang
2010On Sums of Roots of Unity.Bruce E. Litow
2010Efficient Completely Non-malleable Public Key Encryption.Benot Libert, Moti Yung
2010Composition Theorems in Communication Complexity.Troy Lee, Shengyu Zhang
2010On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt
2010Game Semantics for Call-by-Value Polymorphism.James Laird
2010Finding Is as Easy as Detecting for Quantum Walks.Hari Krovi, Frdric Magniez, Maris Ozols, Jrmie Roland
2010Preprocessing of Min Ones Problems: A Dichotomy.Stefan Kratsch, Magnus Wahlstrm
2010Decomposition Width of Matroids.Daniel Krl'
2010Interval Graphs: Canonical Representation in Logspace.Johannes Kbler, Sebastian Kuhnert, Bastian Laubner, Oleg Verbitsky
2010Interval Sorting.Rosa M. Jimnez, Conrado Martnez
2010On the Complexity of Searching in Trees: Average-Case Minimization.Tobias Jacobs, Ferdinando Cicalese, Eduardo Sany Laber, Marco Molinaro
2010Polynomial-Space Approximation of No-Signaling Provers.Tsuyoshi Ito
2010Mergeable Dictionaries.John Iacono, zgr zkan
2010What Is a Pure Functional?Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl
2010On Bisimilarity and Substitution in Presence of Replication.Daniel Hirschkoff, Damien Pous
2010On the Existence of Pure Nash Equilibria in Weighted Congestion Games.Tobias Harks, Max Klimm
2010Streaming Algorithms for Independent Sets.Bjarni V. Halldrsson, Magns M. Halldrsson, Elena Losievskaja, Mario Szegedy
2010The Downward-Closure of Petri Net Languages.Peter Habermehl, Roland Meyer, Harro Wimmel
2010On the Inapproximability of Vertex Cover onVenkatesan Guruswami, Rishi Saket
2010SDP Gaps for 2-to-1 and Other Label-Cover Variants.Venkatesan Guruswami, Subhash Khot, Ryan O'Donnell, Preyas Popat, Madhur Tulsiani, Yi Wu
2010Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems.Anupam Gupta, Viswanath Nagarajan, R. Ravi
2,3762,400 of 4,916← PreviousNext →

Comparable venues

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