ICALP

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)