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
2017Sensitivity Conjecture and Log-Rank Conjecture for Functions with Small Alternating Numbers.Chengyu Lin, Shengyu Zhang
2017The Complexity of Holant Problems over Boolean Domain with Non-Negative Weights.Jiabao Lin, Hanpin Wang
2017Improved Algorithms for MST and Metric-TSP Interdiction.Andr Linhares, Chaitanya Swamy
2017Improved Hardness for Cut, Interdiction, and Firefighter Problems.Euiwoong Lee
2017On the Fine-Grained Complexity of One-Dimensional Dynamic Programming.Marvin Knnemann, Ramamohan Paturi, Stefan Schneider
2017Conditional Lower Bounds for All-Pairs Max-Flow.Robert Krauthgamer, Ohad Trabelsi
2017The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback.Amos Korman, Yoav Rodeh
2017Reordering Buffer Management with a Logarithmic Guarantee in General Metric Spaces.Matthias Kohler, Harald Rcke
2017Additive Spanners and Distance Oracles in Quadratic Time.Mathias Bk Tejs Knudsen
2017Quantum Automata Cannot Detect Biased Coins, Even in the Limit.Guy Kindler, Ryan O'Donnell
2017String Inference from Longest-Common-Prefix Array.Juha Krkkinen, Marcin Piatkowski, Simon J. Puglisi
2017Conservative Extensions in Guarded and Two-Variable Fragments.Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
2017Word Equations in Nondeterministic Linear Space.Artur Jez
2017Approximating Language Edit Distance Beyond Fast Matrix Multiplication: Ultralinear Grammars Are Where Parsing Becomes Hard!.Rajesh Jayaram, Barna Saha
2017Linear-Time Kernelization for Feedback Vertex Set.Yoichi Iwata
2017Combinatorial Secretary Problems with Ordinal Information.Martin Hoefer, Bojana Kodric
2017Efficient Algorithms for Graph-Related Problems in Computer-Aided Verification (Invited Talk).Monika Henzinger
2017k-Distinct In- and Out-Branchings in Digraphs.Gregory Z. Gutin, Felix Reidl, Magnus Wahlstrm
2017Subspace Designs Based on Algebraic Function Fields.Venkatesan Guruswami, Chaoping Xing, Chen Yuan
2017Multiple Source Dual Fault Tolerant BFS Trees.Manoj Gupta, Shahbaz Khan
2017Tight Lower Bounds for Multiplicative Weights Algorithmic Families.Nick Gravin, Yuval Peres, Balasubramanian Sivan
2017Deterministic Graph Exploration with Advice.Barun Gorain, Andrzej Pelc
2017Randomized Communication vs. Partition Number.Mika Gs, T. S. Jayram, Toniann Pitassi, Thomas Watson
2017Bipartite Perfect Matching in Pseudo-Deterministic NC.Shafi Goldwasser, Ofer Grossman
2017Dynamic Time Warping and Geometric Edit Distance: Breaking the Quadratic Barrier.Omer Gold, Micha Sharir
1,4261,450 of 4,916← PreviousNext →

Comparable venues

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