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
Most published authors
ICALP papers
4,916 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2009 | Mediated Population Protocols. | Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis |
| 2009 | A Survey of Stochastic Games with Limsup and Liminf Objectives. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | Approximating Markov Processes by Averaging. | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
| 2009 | The Tile Complexity of Linear Assemblies. | Harish Chandran, Nikhil Gopalkrishnan, John H. Reif |
| 2009 | Annotations in Data Streams. | Amit Chakrabarti, Graham Cormode, Andrew McGregor |
| 2009 | Approximating Decision Trees with Multiway Branches. | Venkatesan T. Chakaravarthy, Vinayaka Pandit, Sambuddha Roy, Yogish Sabharwal |
| 2009 | Unconditional Lower Bounds against Advice. | Harry Buhrman, Lance Fortnow, Rahul Santhanam |
| 2009 | Equations Defining the Polynomial Closure of a Lattice of Regular Languages. | Mrio J. J. Branco, Jean-Eric Pin |
| 2009 | Reachability in Stochastic Timed Games. | Patricia Bouyer, Vojtech Forejt |
| 2009 | A Fast and Simple Parallel Algorithm for the Monotone Duality Problem. | Endre Boros, Kazuhisa Makino |
| 2009 | Floats and Ropes: A Case Study for Formal Numerical Program Verification. | Sylvie Boldo |
| 2009 | Semilinear Program Feasibility. | Manuel Bodirsky, Peter Jonsson, Timo von Oertzen |
| 2009 | Boundedness of Monadic Second-Order Formulae over Finite Words. | Achim Blumensath, Martin Otto, Mark Weyer |
| 2009 | Faster Regular Expression Matching. | Philip Bille, Mikkel Thorup |
| 2009 | Competitive Analysis of Aggregate Max in Windowed Streaming. | Luca Becchetti, Elias Koutsoupias |
| 2009 | Faithful Loops for Aperiodic E-Ordered Monoids. | Martin Beaudry, Franois Lemieux |
| 2009 | Improved Bounds for Speed Scaling in Devices Obeying the Cube-Root Rule. | Nikhil Bansal, Ho-Leung Chan, Kirk Pruhs, Dmitriy Katz |
| 2009 | When Are Timed Automata Determinizable? | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye |
| 2009 | Maximum Bipartite Flow in Networks with Adaptive Channel Width. | Yossi Azar, Aleksander Madry, Thomas Moscibroda, Debmalya Panigrahi, Aravind Srinivasan |
| 2009 | Decidability of Conjugacy of Tree-Shifts of Finite Type. | Nathalie Aubrun, Marie-Pierre Bal |
| 2009 | Towards a Study of Low-Complexity Graphs. | Sanjeev Arora, David Steurer, Avi Wigderson |
| 2009 | De-amortized Cuckoo Hashing: Provable Worst-Case Performance and Experimental Results. | Yuriy Arbitman, Moni Naor, Gil Segev |
| 2009 | Functional Monitoring without Monotonicity. | Chrisil Arackaparambil, Joshua Brody, Amit Chakrabarti |
| 2009 | External Sampling. | Alexandr Andoni, Piotr Indyk, Krzysztof Onak, Ronitt Rubinfeld |
| 2009 | Sort Me If You Can: How to Sort Dynamic Data. | Aris Anagnostopoulos, Ravi Kumar, Mohammad Mahdian, Eli Upfal |
2,551–2,575 of 4,916← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing
- AALENEXWorkshop on Algorithm Engineering and Experiments