International Colloquium on Automata Languages and Programming

ICALP

CORE rank

CORE rank (raw)

Fields of research

Theory of Computation

Papers indexed

4,916

1972–2026

Best Theory of Computation conferences

Papers per year

1972193 peak2026

Most published authors

ICALP papers

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

Year	Title	Authors
2014	Public vs Private Coin in Bounded-Round Information.	Mark Braverman, Ankit Garg
2014	Turing Degrees of Limit Sets of Cellular Automata.	Alex Borello, Julien Cervelle, Pascal Vanier
2014	A Coalgebraic Foundation for Coinductive Union Types.	Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten
2014	On the Decidability of MSO+U on Infinite Trees.	Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak
2014	Weak MSO+U with Path Quantifiers over Infinite Trees.	Mikolaj Bojanczyk
2014	Transducers with Origin Information.	Mikolaj Bojanczyk
2014	Handling Infinitely Branching WSTS.	Michael Blondin, Alain Finkel, Pierre McKenzie
2014	On DNF Approximators for Monotone Boolean Functions.	Eric Blais, Johan Hstad, Rocco A. Servedio, Li-Yang Tan
2014	Listing Triangles.	Andreas Bjrklund, Rasmus Pagh, Virginia Vassilevska Williams, Uri Zwick
2014	Shortest Two Disjoint Paths in Polynomial Time.	Andreas Bjrklund, Thore Husfeldt
2014	On Area-Optimal Planar Graph Drawings.	Therese Biedl
2014	Coordination Mechanisms for Selfish Routing over Time on a Tree.	Sayan Bhattacharya, Janardhan Kulkarni, Vahab S. Mirrokni
2014	Star Partitions of Perfect Graphs.	Ren van Bevern, Robert Bredereck, Laurent Bulteau, Jiehua Chen, Vincent Froese, Rolf Niedermeier, Gerhard J. Woeginger
2014	Short PCPs with Projection Queries.	Eli Ben-Sasson, Emanuele Viola
2014	Sampling-Based Proofs of Almost-Periodicity Results and Algorithmic Applications.	Eli Ben-Sasson, Noga Ron-Zewi, Madhur Tulsiani, Julia Wolf
2014	Symmetric Groups and Quotient Complexity of Boolean Operations.	Jason P. Bell, Janusz A. Brzozowski, Nelma Moreira, Rogrio Reis
2014	On the Role of Shared Randomness in Simultaneous Communication.	Mohammad Bavarian, Dmitry Gavinsky, Tsuyoshi Ito
2014	Incremental Algorithm for Maintaining DFS Tree for Undirected Graphs.	Surender Baswana, Shahbaz Khan
2014	Parameterized Algorithms to Preserve Connectivity.	Manu Basavaraju, Fedor V. Fomin, Petr A. Golovach, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh
2014	Distributed Computing on Core-Periphery Networks: Axiom-Based Design.	Chen Avin, Michael Borokhovich, Zvi Lotker, David Peleg
2014	Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints.	Rom Aschner, Matthew J. Katz
2014	Morphing Planar Graph Drawings Optimally.	Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani, Vincenzo Roselli
2014	On Hardness of Jumbled Indexing.	Amihood Amir, Timothy M. Chan, Moshe Lewenstein, Noa Lewenstein
2014	Tighter Relations between Sensitivity and Other Complexity Measures.	Andris Ambainis, Mohammad Bavarian, Yihan Gao, Jieming Mao, Xiaoming Sun, Song Zuo
2014	The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average.	Xavier Allamigeon, Pascal Benchimol, Stphane Gaubert

1,951–1,975 of 4,916← Previous Next →

Comparable venues

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