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 |
|---|---|---|
| 2025 | Density of Rational Languages Under Shift Invariant Measures. | Valrie Berth, Herman Goulet-Ouellet, Dominique Perrin |
| 2025 | Pushing the Frontiers of Subexponential FPT Time for Feedback Vertex Set. | Gatan Berthe, Marin Bougeret, Daniel Gonalves, Jean-Florent Raymond |
| 2025 | Mim-Width Is paraNP-Complete. | Benjamin Bergougnoux, douard Bonnet, Julien Duron |
| 2025 | Counting Permutation Patterns with Multidimensional Trees. | Gal Beniamini, Nir Lavee |
| 2025 | On the Instance Optimality of Detecting Collisions and Subgraphs. | Omri Ben-Eliezer, Tomer Grossman, Moni Naor |
| 2025 | New Bounds for the Ideal Proof System in Positive Characteristic. | Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan |
| 2025 | Multiparty Communication Complexity of Collision-Finding and Cutting Planes Proofs of Concise Pigeonhole Principles. | Paul Beame, Michael Whitmeyer |
| 2025 | The Trichotomy of Regular Property Testing. | Gabriel Bathie, Nathanal Fijalkow, Corto Mascle |
| 2025 | Containment for Guarded Monotone Strict NP. | Alexey Barsukov, Michael Pinsker, Jakub Rydval |
| 2025 | Improved Approximation Algorithms for Capacitated Network Design and Flexible Graph Connectivity. | Ishan Bansal, Joe Cheriyan, Sanjeev Khanna, Miles Simmons |
| 2025 | Dynamic Algorithms for Submodular Matching. | Kiarash Banihashem, Leyla Biabani, Samira Goudarzi, MohammadTaghi Hajiaghayi, Peyman Jabbarzade, Morteza Monemizadeh |
| 2025 | q-Partitioning Valuations: Exploring the Space Between Subadditive and Fractionally Subadditive Valuations. | Kiril Bangachev, S. Matthew Weinberg |
| 2025 | Robust Contraction Decomposition for Minor-Free Graphs and Its Applications. | Sayan Bandyapadhyay, William Lochet, Daniel Lokshtanov, Dniel Marx, Pranabendu Misra, Daniel Neuen, Saket Saurabh, Prafullkumar Tale, Jie Xue |
| 2025 | Shared Randomness Helps with Local Distributed Problems. | Alkida Balliu, Mohsen Ghaffari, Fabian Kuhn, Augusto Modanese, Dennis Olivetti, Mikal Rabie, Jukka Suomela, Jara Uitto |
| 2025 | Testing C_k-Freeness in Bounded Admissibility Graphs. | Christine Awofeso, Patrick Greaves, Oded Lachish, Amit Levi, Felix Reidl |
| 2025 | Algorithms for the Diverse-k-SAT Problem: The Geometry of Satisfying Assignments. | Per Austrin, Ioana O. Bercea, Mayank Goswami, Nutan Limaye, Adarsh Srinivasan |
| 2025 | On the Complexity of Hazard-Free Formulas. | Leah London Arazi, Amir Shpilka |
| 2025 | Quantum Speedup for Sampling Random Spanning Trees. | Simon Apers, Minbo Gao, Zhengfeng Ji, Chenghua Liu |
| 2025 | Minimality and Computability of Languages of G-Shifts. | Djamel Eddine Amir, Benjamin Hellouin de Menibus |
| 2025 | A Near-Optimal Polynomial Distance Lemma over Boolean Slices. | Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan, Madhu Sudan |
| 2025 | On the Complexity of Telephone Broadcasting from Cacti to Bounded Pathwidth Graphs. | Aida Aminian, Shahin Kamali, Seyed-Mohammad Seyed-Javadi, Sumedha |
| 2025 | On the Quantum Time Complexity of Divide and Conquer. | Jonathan Allcock, Jinge Bao, Aleksandrs Belovs, Troy Lee, Miklos Santha |
| 2025 | Identifying Approximate Minimizers Under Stochastic Uncertainity. | Hessa Al-Thani, Viswanath Nagarajan |
| 2025 | Taming Infinity One Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs. | Michal Ajdarw, James C. A. Main, Petr Novotn, Mickael Randour |
| 2025 | Parameterised Holant Problems. | Panagiotis Aivasiliotis, Andreas Gbel, Marc Roth, Johannes Schmitt |
326–350 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