Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Paolo Baldan, Francesco Ranzato, Linpeng Zhang |
A Rice's Theorem for Abstract Semantics. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Or Zamir |
Breaking the 2ⁿ Barrier for 5-Coloring and 6-Coloring. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lê Thành Dung Nguyên, Camille Noûs, Cécilia Pradic |
Comparison-Free Polyregular Functions. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tanvi Bajpai, Deeparnab Chakrabarty, Chandra Chekuri, Maryam Negahbani |
Revisiting Priority k-Center: Fairness and Outliers. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cornelius Brand, Kevin Pratt |
Parameterized Applications of Symbolic Differentiation of (Totally) Multilinear Polynomials. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yong Gu, Hanlin Ren |
Constructing a Distance Sensitivity Oracle in O(n^2.5794 M) Time. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chandra Chekuri, Kent Quanrud |
Isolating Cuts, (Bi-)Submodularity, and Faster Algorithms for Connectivity. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj K. Agarwal, Xiao Hu 0005, Stavros Sintos, Jun Yang 0001 |
Dynamic Enumeration of Similarity Joins. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ian Pratt-Hartmann |
Fluted Logic with Counting. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yonatan Nakar, Dana Ron |
Testing Dynamic Environments: Back to Basics. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nick Gravin, Zhihao Gavin Tang, Kangning Wang |
Online Stochastic Matching with Edge Arrivals. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dániel Marx, Govind S. Sankar, Philipp Schepper |
Degrees and Gaps: Tight Complexity Results of General Factor Problems Parameterized by Treewidth and Cutwidth. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yuzhou Gu, Adam Polak 0001, Virginia Vassilevska Williams, Yinzhan Xu |
Faster Monotone Min-Plus Product, Range Mode, and Single Source Replacement Paths. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hyejung H. Jee, Carlo Sparaciari, Omar Fawzi, Mario Berta |
Quasi-Polynomial Time Algorithms for Free Quantum Games in Bounded Dimension. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Childs, Shih-Han Hung, Tongyang Li |
Quantum Query Complexity with Matrix-Vector Products. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Lampis |
Minimum Stable Cut and Treewidth. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Toniann Pitassi |
Algebraic Proof Systems (Invited Talk). |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Mottet, Tomás Nagy, Michael Pinsker, Michal Wrona |
Smooth Approximations and Relational Width Collapses. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mina Dalirrooyfard, Jenny Kaufmann |
Approximation Algorithms for Min-Distance Problems in DAGs. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tali Kaufman, Izhar Oppenheim |
Coboundary and Cosystolic Expansion from Strong Symmetry. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joran van Apeldoorn, Sander Gribling, Yinan Li, Harold Nieuwboer, Michael Walter 0005, Ronald de Wolf |
Quantum Algorithms for Matrix Scaling and Matrix Balancing. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ruoxu Cen, Yu Cheng 0002, Debmalya Panigrahi, Kevin Sun 0001 |
Sparsification of Directed Graphs via Cut Balance. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Markus Anders, Pascal Schweitzer, Florian Wetzels |
Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sharat Ibrahimpur, Chaitanya Swamy |
Minimum-Norm Load Balancing Is (Almost) as Easy as Minimizing Makespan. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Achlioptas, Kostas Zampetakis |
Local Approximations of the Independent Set Polynomial. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, Thekla Hamm, Fabian Klute, Irene Parada, Birgit Vogtenhuber |
Crossing-Optimal Extension of Simple Drawings. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Bulatov |
Symmetries and Complexity (Invited Talk). |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | J. A. Gregor Lagodzinski, Andreas Göbel 0001, Katrin Casel, Tobias Friedrich 0001 |
On Counting (Quantum-)Graph Homomorphisms in Finite Fields of Prime Order. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
Higher-Order Model Checking Step by Step. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Buchem, Lars Rohwedder, Tjark Vredeveld, Andreas Wiese |
Additive Approximation Schemes for Load Balancing Problems. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chien-Chung Huang, Mathieu Mari, Claire Mathieu, Jens Vygen |
Approximating Maximum Integral Multiflows on Bounded Genus Graphs. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bogdanov, Gautam Prakriya |
Direct Sum and Partitionability Testing over General Groups. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adam Kurpisz, Aaron Potechin, Elias Samuel Wirth |
SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michal Koucký 0001, Karel Král 0002 |
Sorting Short Integers. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Markus Anders, Pascal Schweitzer |
Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luca Ciccone, Luca Padovani |
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj K. Agarwal, Alex Steiger |
An Output-Sensitive Algorithm for Computing the Union of Cubes and Fat Boxes in 3D. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Karl Bringmann, Jasper Slusallek |
Current Algorithms for Detecting Subgraphs of Bounded Treewidth Are Probably Optimal. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Evald, Viktor Fredslund-Hansen, Maximilian Probst Gutenberg, Christian Wulff-Nilsen |
Decremental APSP in Unweighted Digraphs Versus an Adaptive Adversary. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Amin Saberi, David Wajc |
The Greedy Algorithm Is not Optimal for On-Line Edge Coloring. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sepehr Assadi, Soheil Behnezhad |
Beating Two-Thirds For Random-Order Streaming Matching. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph |
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001 |
Uniform Elgot Iteration in Foundations. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lijie Chen 0001, Gillat Kol, Dmitry Paramonov, Raghuvansh R. Saxena, Zhao Song 0002, Huacheng Yu |
Near-Optimal Two-Pass Streaming Algorithm for Sampling Random Walks over Directed Graphs. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eike Neumann, Joël Ouaknine, James Worrell 0001 |
Decision Problems for Second-Order Holonomic Recurrences. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guy Blanc, Jane Lange, Li-Yang Tan |
Learning Stochastic Decision Trees. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Amir Abboud, Virginia Vassilevska Williams |
Fine-Grained Hardness for Edit Distance to a Fixed Sequence. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Bathie, Tatiana Starikovskaya |
Property Testing of Regular Languages with Applications to Streaming Property Testing of Visibly Pushdown Languages. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | George Christodoulou 0001, Elias Koutsoupias, Annamária Kovács |
Truthful Allocation in Graphs and Hypergraphs. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antonios Antoniadis 0001, Matthias Englert, Nicolaos Matsakis, Pavel Veselý 0001 |
Breaking the Barrier Of 2 for the Competitiveness of Longest Queue Drop. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Édouard Bonnet, Colin Geniet, Eun Jung Kim 0002, Stéphan Thomassé, Rémi Watrigant |
Twin-width III: Max Independent Set, Min Dominating Set, and Coloring. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maria Hartmann, László Kozma 0002, Corwin Sinnamon, Robert E. Tarjan |
Analysis of Smooth Heaps and Slim Heaps. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Édouard Bonnet |
4 vs 7 Sparse Undirected Unweighted Diameter is SETH-Hard at Time n^{4/3}. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Bentert, André Nichterlein, Malte Renken, Philipp Zschoche |
Using a Geometric Lens to Find k Disjoint Shortest Paths. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Luca Reggio |
Arboreal Categories and Resources. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Slawomir Lasota 0001, Lukasz Orlikowski |
Improved Lower Bounds for Reachability in Vector Addition Systems. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier |
Playing Stochastically in Weighted Timed Games to Emulate Memory. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marc Roth, Johannes Schmitt 0002, Philip Wellnitz |
Detecting and Counting Small Subgraphs, and Evaluating a Parameterized Tutte Polynomial: Lower Bounds via Toroidal Grids and Cayley Graph Expanders. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel, Lovro Mrkonjic |
Elementary Equivalence Versus Isomorphism in Semiring Semantics. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Charalampopoulos, Pawel Gawrychowski, Shay Mozes, Oren Weimann |
An Almost Optimal Edit Distance Oracle. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Orr Dunkelman, Zeev Geyzel, Chaya Keller, Nathan Keller, Eyal Ronen, Adi Shamir, Ran J. Tessler |
Error Resilient Space Partitioning (Invited Talk). |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Björklund, Petteri Kaski |
Counting Short Vector Pairs by Inner Product and Relations to the Permanent. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kuan Cheng, Alireza Farhadi 0001, MohammadTaghi Hajiaghayi, Zhengzhong Jin, Xin Li 0006, Aviad Rubinstein, Saeed Seddighin, Yu Zheng 0014 |
Streaming and Small Space Approximation Algorithms for Edit Distance and Longest Common Subsequence. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shyan Akmal, Virginia Vassilevska Williams |
Improved Approximation for Longest Common Subsequence over Small Alphabets. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Reut Levi |
Testing Triangle Freeness in the General Model in Graphs with Arboricity O(√n). |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Keren Censor-Hillel |
Distributed Subgraph Finding: Progress and Challenges (Invited Talk). |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Theo McKenzie, Sidhanth Mohanty |
High-Girth Near-Ramanujan Graphs with Lossy Vertex Expansion. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Viola |
Fourier Conjectures, Correlation Bounds, and Majority. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vahid R. Asadi, Igor Shinkar |
Relaxed Locally Correctable Codes with Improved Parameters. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Deeksha Adil, Brian Bullins, Rasmus Kyng, Sushant Sachdeva |
Almost-Linear-Time Weighted p-Norm Solvers in Slightly Dense Graphs via Sparsification. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Bansal 0001, Emanuela Merelli, James Worrell 0001 (eds.) |
48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference). |
ICALP |
2021 |
DBLP BibTeX RDF |
|
1 | Tianyi Zhang |
Deterministic Maximum Flows in Simple Graphs. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Kozik |
Improving Gebauer's Construction of 3-Chromatic Hypergraphs with Few Edges. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yangjia Li, Dominique Unruh |
Quantum Relational Hoare Logic with Expectations. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Timothy M. Chan, Virginia Vassilevska Williams, Yinzhan Xu |
Algorithms, Reductions and Equivalences for Small Weight Variants of All-Pairs Shortest Paths. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Grohe, Sandra Kiefer |
Logarithmic Weisfeiler-Leman Identifies All Planar Graphs. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Friggstad, Chaitanya Swamy |
Constant-Factor Approximation to Deadline TSP and Related Problems in (Almost) Quasi-Polytime. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Goy 0002, Daniela Petrisan, Marc Aiguier |
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Seth Pettie, Longhui Yin |
The Structure of Minimum Vertex Cuts. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ran Ben Basat, Michael Mitzenmacher, Shay Vargaftik |
How to Send a Real Number Using a Single Bit (And Some Shared Randomness). |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ewan Davies, Will Perkins 0001 |
Approximately Counting Independent Sets of a Given Size in Bounded-Degree Graphs. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Noga Alon, Andrei Graur |
Efficient Splitting of Necklaces. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Brakensiek, Venkatesan Guruswami, Sai Sandeep |
Conditional Dichotomy of Boolean Ordered Promise CSPs. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Gärtner, Sebastian Haslebacher, Hung P. Hoang 0001 |
A Subexponential Algorithm for ARRIVAL. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Uma Girish, Ran Raz, Wei Zhan |
Quantum Logspace Algorithm for Powering Matrices with Bounded Norm. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ilan Newman, Nithin Varma |
New Sublinear Algorithms and Lower Bounds for LIS Estimation. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Antoine Mottet, Karin Quaas |
New Techniques for Universality in Unambiguous Register Automata. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil |
Faster Algorithms for Bounded Liveness in Graphs and Game Graphs. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Amarilli, Louis Jachiet, Charles Paperman |
Dynamic Membership for Regular Languages. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Fotakis 0001, Panagiotis Kostopanagiotis, Vasileios Nakos, Georgios Piliouras, Stratis Skoulakis |
On the Approximability of Multistage Min-Sum Set Cover. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Moseley, Kirk Pruhs, Alireza Samadian, Yuyan Wang |
Relational Algorithms for k-Means Clustering. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lijie Chen 0001, Zhenjian Lu, Xin Lyu 0002, Igor C. Oliveira |
Majority vs. Approximate Linear Sum and Average-Case Complexity Below NC¹. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Ellert, Johannes Fischer 0001 |
Linear Time Runs Over General Ordered Alphabets. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Takaaki Nishimoto, Yasuo Tabei |
Optimal-Time Queries on BWT-Runs Compressed Indexes. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Han Xu, Zhenjiang Hu |
Analytical Differential Calculus with Integration. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zhenjian Lu, Igor C. Oliveira |
An Efficient Coding Theorem via Probabilistic Representations and Its Applications. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Arnab Ganguly 0002, Dhrumil Patel, Rahul Shah 0001, Sharma V. Thankachan |
LF Successor: Compact Space Indexing for Order-Isomorphic Pattern Matching. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alex Brandts, Stanislav Zivný |
Beyond PCSP(1-in-3, NAE). |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carmosino, Kenneth Hoover, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova |
Lifting for Constant-Depth Circuits and Applications to MCSP. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|