Login / Signup
ICALP
1972
1987
2007
2024
1972
2024
Keyphrases
Publications
2024
Adam Karczmarz
,
Marcin Smulewicz
Fully Dynamic Strongly Connected Components in Planar Digraphs.
ICALP
(2024)
MohammadHossein Bateni
,
Laxman Dhulipala
,
Kishen N. Gowda
,
D. Ellis Hershkowitz
,
Rajesh Jayaram
,
Jakub Lacki
It's Hard to HAC Average Linkage!
ICALP
(2024)
Roland Guttenberg
Flattability of Priority Vector Addition Systems.
ICALP
(2024)
Cheng Zhang
,
Arthur Azevedo de Amorim
,
Marco Gaboardi
Domain Reasoning in TopKAT.
ICALP
(2024)
C. Aiswarya
,
Amaldev Manuel
,
Saina Sunny
Edit Distance of Finite State Transducers.
ICALP
(2024)
Ce Jin
,
Michael Kapralov
,
Sepideh Mahabadi
,
Ali Vakilian
Streaming Algorithms for Connectivity Augmentation.
ICALP
(2024)
Shyan Akmal
,
Virginia Vassilevska Williams
,
Nicole Wein
Detecting Disjoint Shortest Paths in Linear Time and More.
ICALP
(2024)
Michael Benedikt
,
Chia-Hsuan Lu
,
Boris Motik
,
Tony Tan
Decidability of Graph Neural Networks via Logical Characterizations.
ICALP
(2024)
Edith Elkind
Group Fairness: Multiwinner Voting and Beyond (Invited Talk).
ICALP
(2024)
Mohammad Saneian
,
Soheil Behnezhad
Streaming Edge Coloring with Asymptotically Optimal Colors.
ICALP
(2024)
Pritam Acharya
,
Sujoy Bhore
,
Aaryan Gupta
,
Arindam Khan
,
Bratin Mondal
,
Andreas Wiese
Approximation Schemes for Geometric Knapsack for Packing Spheres and Fat Objects.
ICALP
(2024)
Michal Dory
,
Sebastian Forster
,
Yasamin Nazari
,
Tijn de Vos
New Tradeoffs for Decremental Approximate All-Pairs Shortest Paths.
ICALP
(2024)
Eunou Lee
,
Ojas Parekh
An Improved Quantum Max Cut Approximation via Maximum Matching.
ICALP
(2024)
Wojciech Rozowski
A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions.
ICALP
(2024)
Christophe Paul
,
Evangelos Protopapas
,
Dimitrios M. Thilikos
,
Sebastian Wiederrecht
Delineating Half-Integrality of the Erdős-Pósa Property for Minors: The Case of Surfaces.
ICALP
(2024)
Quentin Guilmant
,
Engel Lefaucheux
,
Joël Ouaknine
,
James Worrell
The 2-Dimensional Constraint Loop Problem Is Decidable.
ICALP
(2024)
Emile Anand
,
Jan van den Brand
,
Mehrdad Ghadiri
,
Daniel J. Zhang
The Bit Complexity of Dynamic Algebraic Formulas and Their Determinants.
ICALP
(2024)
Yiannis Giannakopoulos
,
Alexander Grosz
,
Themistoklis Melissourgos
On the Smoothed Complexity of Combinatorial Local Search.
ICALP
(2024)
Lucas Gretta
,
Eric Price
Sharp Noisy Binary Search with Monotonic Probabilities.
ICALP
(2024)
Michaela Borzechowski
,
John Fearnley
,
Spencer Gordon
,
Rahul Savani
,
Patrick Schnider
,
Simon Weber
Two Choices Are Enough for P-LCPs, USOs, and Colorful Tangents.
ICALP
(2024)
Cella Florescu
,
Rasmus Kyng
,
Maximilian Probst Gutenberg
,
Sushant Sachdeva
Optimal Electrical Oblivious Routing on Expanders.
ICALP
(2024)
Parinya Chalermsook
,
Manoj Gupta
,
Wanchote Jiamjitrak
,
Akash Pareek
,
Sorrachai Yingchareonthawornchai
The Group Access Bounds for Binary Search Trees.
ICALP
(2024)
Dmitry Chistikov
,
Alessio Mansutti
,
Mikhail R. Starchak
Integer Linear-Exponential Programming in NP by Quantifier Elimination.
ICALP
(2024)
Yaniv Sadeh
,
Haim Kaplan
Caching Connections in Matchings.
ICALP
(2024)
Shaofeng H.-C. Jiang
,
Wenqian Wang
,
Yubo Zhang
,
Yuhao Zhang
Algorithms for the Generalized Poset Sorting Problem.
ICALP
(2024)
Li Chen
,
Mingquan Ye
High-Accuracy Multicommodity Flows via Iterative Refinement.
ICALP
(2024)
Kent Quanrud
Adaptive Sparsification for Matroid Intersection.
ICALP
(2024)
Xin Li
,
Yan Zhong
Two-Source and Affine Non-Malleable Extractors for Small Entropy.
ICALP
(2024)
Baris Can Esmer
,
Jacob Focke
,
Dániel Marx
,
Pawel Rzazewski
Fundamental Problems on Bounded-Treewidth Graphs: The Real Source of Hardness.
ICALP
(2024)
Konstantinos Dogeas
,
Thomas Erlebach
,
Frank Kammer
,
Johannes Meintrup
,
William K. Moses Jr.
Exploiting Automorphisms of Temporal Graphs for Fast Exploration and Rendezvous.
ICALP
(2024)
Yury Makarychev
,
Max Ovsiankin
,
Erasmo Tani
-Group Steiner Tree.
ICALP
(2024)
Paul Gallot
,
Sebastian Maneth
,
Keisuke Nakano
,
Charles Peyrat
Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers.
ICALP
(2024)
Narek Bojikian
,
Stefan Kratsch
A Tight Monte-Carlo Algorithm for Steiner Tree Parameterized by Clique-Width.
ICALP
(2024)
Jakub Rydval
Homogeneity and Homogenizability: Hard Problems for the Logic SNP.
ICALP
(2024)
Konrad Anand
,
Weiming Feng
,
Graham Freifeld
,
Heng Guo
,
Jiaheng Wang
Approximate Counting for Spin Systems in Sub-Quadratic Time.
ICALP
(2024)
Aditi Dudeja
Decremental Matching in General Weighted Graphs.
ICALP
(2024)
Yasushi Kawase
,
Koichi Nishimura
,
Hanna Sumita
Minimizing Symmetric Convex Functions over Hybrid of Continuous and Discrete Convex Sets.
ICALP
(2024)
Amina Doumane
,
Samuel Humeau
,
Damien Pous
A Finite Presentation of Graphs of Treewidth at Most Three.
ICALP
(2024)
Augusto Modanese
,
Yuichi Yoshida
Testing Spreading Behavior in Networks with Arbitrary Topologies.
ICALP
(2024)
Matthias Bentert
,
Pål Grønås Drange
,
Fedor V. Fomin
,
Petr A. Golovach
,
Tuukka Korhonen
Two-Sets Cut-Uncut on Planar Graphs.
ICALP
(2024)
Shiri Chechik
,
Tianyi Zhang
Faster Algorithms for Dual-Failure Replacement Paths.
ICALP
(2024)
Kristóf Bérczi
,
Karthekeyan Chandrasekaran
,
Tamás Király
,
Shubhang Kulkarni
Splitting-Off in Hypergraphs.
ICALP
(2024)
Aaron Potechin
,
Aaron Zhang
Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle.
ICALP
(2024)
William Kuszmaul
,
Zoe Xi
Towards an Analysis of Quadratic Probing.
ICALP
(2024)
Serge Gaspers
,
Jerry Zirui Li
Quantum Algorithms for Graph Coloring and Other Partitioning, Covering, and Packing Problems.
ICALP
(2024)
Mohan Dantam
,
Richard Mayr
Finite-Memory Strategies for Almost-Sure Energy-MeanPayoff Objectives in MDPs.
ICALP
(2024)
Hashimoto Go
,
Daniel Gaina
,
Ionut Tutu
Forcing, Transition Algebras, and Calculi.
ICALP
(2024)
Fateme Abbasi
,
Sandip Banerjee
,
Jaroslaw Byrka
,
Parinya Chalermsook
,
Ameet Gadekar
,
Kamyar Khodamoradi
,
Dániel Marx
,
Roohani Sharma
,
Joachim Spoerhase
Parameterized Approximation For Robust Clustering in Discrete Geometric Spaces.
ICALP
(2024)
Chiranjib Bhattacharyya
,
Ravindran Kannan
,
Amit Kumar
Random Separating Hyperplane Theorem and Learning Polytopes.
ICALP
(2024)
volume 297, 2024
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024, July 8-12, 2024, Tallinn, Estonia
ICALP
297 (2024)