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
2019A Mahler's Theorem for Word Functions.Jean-ric Pin, Christophe Reutenauer
2019Automatic Semigroups vs Automaton Semigroups.Matthieu Picantin
2019Optimal Short Cycle Decomposition in Almost Linear Time.Merav Parter, Eylon Yogev
2019Satisfiability Thresholds for Regular Occupation Problems.Konstantinos Panagiotou, Matija Pasch
2019Randomness and Intractability in Kolmogorov Complexity.Igor Carboni Oliveira
2019Periodic Bandits and Wireless Network Selection.Shunhao Oh, Anuja Meetoo Appavoo, Seth Gilbert
2019From Normal Functors to Logarithmic Space Queries.L Thnh Dung Nguyn, Ccilia Pradic
2019Tight Bounds for Online Weighted Tree Augmentation.Joseph (Seffi) Naor, Seeun William Umboh, David P. Williamson
2019Computing Optimal Epsilon-Nets Is as Easy as Finding an Unhit Set.Nabil H. Mustafa
2019Equivalence of Finite-Valued Streaming String Transducers Is Decidable.Anca Muscholl, Gabriele Puppis
2019Scheduling to Approximate Minimization Objectives on Identical Machines.Benjamin Moseley
2019A Tight Approximation for Submodular Maximization with Mixed Packing and Covering Constraints.Eyal Mizrachi, Roy Schwartz, Joachim Spoerhase, Sumedha Uniyal
2019Short Proofs Are Hard to Find.Ian Mertz, Toniann Pitassi, Yuanhao Wei
2019The Minimum Cost Query Problem on Matroids with Uncertainty Areas.Arturo Merino, Jos A. Soto
2019Maintaining Perfect Matchings at Low Cost.Jannik Matuschke, Ulrike Schmidt-Kraepelin, Jos Verschae
2019Noidy Conmunixatipn: On the Convergence of the Averaging Population Protocol.Frederik Mallmann-Trenn, Yannic Maus, Dominik Pajak
2019Optimal Regular Expressions for Permutations.Antonio Molina Lovett, Jeffrey O. Shallit
2019Determinization of Bchi Automata: Unifying the Approaches of Safra and Muller-Schupp.Christof Lding, Anton Pirogov
2019A Simple Gap-Producing Reduction for the Parameterized Set Cover Problem.Bingkai Lin
2019Differential Logical Relations, Part I: The Simply-Typed Case.Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
2019Dynamic Time Warping in Strongly Subquadratic Time: Algorithms for the Low-Distance Regime and Approximate Evaluation.William Kuszmaul
2019Sum-Of-Squares Bounds via Boolean Function Analysis.Adam Kurpisz
2019Polynomial Anonymous Dynamic Distributed Computing Without a Unique Leader.Dariusz R. Kowalski, Miguel A. Mosteiro
2019Multi-Round Cooperative Search Games with Multiple Players.Amos Korman, Yoav Rodeh
2019Testing the Complexity of a Valued CSP Language.Vladimir Kolmogorov
1,1011,125 of 4,916← PreviousNext →

Comparable venues

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