Conferences · eligible papers
ICALP
2022–2026 LIVE
2024 · 153 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- A Characterization of Complexity in Public Goods Games
日本大学: 関与なし（対象大学）
- A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
日本大学: 関与なし（対象大学）
- A Faster Algorithm for Pigeonhole Equal Sums
日本大学: 関与なし（対象大学）
- A Finite Presentation of Graphs of Treewidth at Most Three
日本大学: 関与なし（対象大学）
- A Multivariate to Bivariate Reduction for Noncommutative Rank and Related Results
日本大学: 関与なし（対象大学）
- A Note on Approximating Weighted Nash Social Welfare with Additive Valuations
日本大学: 関与なし（対象大学）
- A Spectral Approach to Approximately Counting Independent Sets in Dense Bipartite Graphs
日本大学: 関与なし（対象大学）
- A Sublinear Time Tester for Max-Cut on Clusterable Graphs
日本大学: 関与なし（対象大学）
- A Tight Monte-Carlo Algorithm for Steiner Tree Parameterized by Clique-Width
日本大学: 関与なし（対象大学）
- A Tight Subexponential-Time Algorithm for Two-Page Book Embedding
日本大学: 関与なし（対象大学）
- Adaptive Sparsification for Matroid Intersection
日本大学: 関与なし（対象大学）
- Additive Spanner Lower Bounds with Optimal Inner Graph Structure
日本大学: 関与なし（対象大学）
- Algorithms for the Generalized Poset Sorting Problem
日本大学: 関与なし（対象大学）
- Almost-Tight Bounds on Preserving Cuts in Classes of Submodular Hypergraphs
日本大学: 関与なし（対象大学）
- Alphabet Reduction for Reconfiguration Problems
日本大学: 関与なし（対象大学）
- An Efficient Quantifier Elimination Procedure for Presburger Arithmetic
日本大学: 関与なし（対象大学）
- An FPRAS for Two Terminal Reliability in Directed Acyclic Graphs
日本大学: 関与なし（対象大学）
- An Improved Integrality Gap for Disjoint Cycles in Planar Graphs
日本大学: 関与なし（対象大学）
- An Improved Quantum Max Cut Approximation via Maximum Matching
日本大学: 関与なし（対象大学）
- An O(loglog n)-Approximation for Submodular Facility Location
日本大学: 関与なし（対象大学）
- An Optimal Sparsification Lemma for Low-Crossing Matchings and Its Applications to Discrepancy and Approximations
日本大学: 関与なし（対象大学）
- An Order out of Nowhere: A New Algorithm for Infinite-Domain CSPs
日本大学: 関与なし（対象大学）
- Another Hamiltonian Cycle in Bipartite Pfaffian Graphs
日本大学: 関与なし（対象大学）
- Approximate Counting for Spin Systems in Sub-Quadratic Time
日本大学: 関与なし（対象大学）
- Approximation Algorithms for 𝓁_p-Shortest Path and 𝓁_p-Group Steiner Tree
日本大学: 関与なし（対象大学）
- Approximation Schemes for Geometric Knapsack for Packing Spheres and Fat Objects
日本大学: 関与なし（対象大学）
- Automata-Theoretic Characterisations of Branching-Time Temporal Logics
日本大学: 関与なし（対象大学）
- BQP, Meet NP: Search-To-Decision Reductions and Approximate Counting
日本大学: 関与なし（対象大学）
- Bayesian Calibrated Click-Through Auctions
日本大学: 関与なし（対象大学）
- Better Decremental and Fully Dynamic Sensitivity Oracles for Subgraph Connectivity
日本大学: 関与なし（対象大学）
- Better Space-Time-Robustness Trade-Offs for Set Reconciliation
日本大学: 関与なし（対象大学）
- Better Sparsifiers for Directed Eulerian Graphs
日本大学: 関与なし（対象大学）
- Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle
日本大学: 関与なし（対象大学）
- Breaking a Barrier in Constructing Compact Indexes for Parameterized Pattern Matching
- Caching Connections in Matchings
日本大学: 関与なし（対象大学）
- Computing Tree Decompositions with Small Independence Number
日本大学: 関与なし（対象大学）
- Constrained Level Planarity Is FPT with Respect to the Vertex Cover Number
日本大学: 関与なし（対象大学）
- Cut Sparsification and Succinct Representation of Submodular Hypergraphs
日本大学: 関与なし（対象大学）
- Decidability of Graph Neural Networks via Logical Characterizations
日本大学: 関与なし（対象大学）
- Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers
日本大学: 東北大学
- Decremental Matching in General Weighted Graphs
日本大学: 関与なし（対象大学）
- Delineating Half-Integrality of the Erdős-Pósa Property for Minors: The Case of Surfaces
日本大学: 関与なし（対象大学）
- Detecting Disjoint Shortest Paths in Linear Time and More
日本大学: 関与なし（対象大学）
- Distributed Fast Crash-Tolerant Consensus with Nearly-Linear Quantum Communication
日本大学: 関与なし（対象大学）
- Domain Reasoning in TopKAT
日本大学: 関与なし（対象大学）
- Dynamic PageRank: Algorithms and Lower Bounds
日本大学: 関与なし（対象大学）
- Edit Distance of Finite State Transducers
日本大学: 関与なし（対象大学）
- Exploiting Automorphisms of Temporal Graphs for Fast Exploration and Rendezvous
日本大学: 関与なし（対象大学）
- Exponential Lower Bounds via Exponential Sums
日本大学: 関与なし（対象大学）
- FO Logic on Cellular Automata Orbits Equals MSO Logic
日本大学: 関与なし（対象大学）
- Fast Approximate Counting of Cycles
日本大学: 関与なし（対象大学）
- Faster Algorithms for Dual-Failure Replacement Paths
日本大学: 関与なし（対象大学）
- Finding Most-Shattering Minimum Vertex Cuts of Polylogarithmic Size in Near-Linear Time
日本大学: 関与なし（対象大学）
- Finer-Grained Reductions in Fine-Grained Hardness of Approximation
日本大学: 関与なし（対象大学）
- Finite-Memory Strategies for Almost-Sure Energy-MeanPayoff Objectives in MDPs
日本大学: 関与なし（対象大学）
- Flattability of Priority Vector Addition Systems
日本大学: 関与なし（対象大学）
- Forcing, Transition Algebras, and Calculi
日本大学: 九州大学
- From Proof Complexity to Circuit Complexity via Interactive Protocols
日本大学: 関与なし（対象大学）
- From Trees to Polynomials and Back Again: New Capacity Bounds with Applications to TSP
日本大学: 関与なし（対象大学）
- Fully Dynamic Strongly Connected Components in Planar Digraphs
日本大学: 関与なし（対象大学）
- Fully-Scalable MPC Algorithms for Clustering in High Dimension
日本大学: 関与なし（対象大学）
- Function Spaces for Orbit-Finite Sets
日本大学: 関与なし（対象大学）
- Functional Closure Properties of Finite ℕ-Weighted Automata
日本大学: 関与なし（対象大学）
- Fundamental Problems on Bounded-Treewidth Graphs: The Real Source of Hardness
日本大学: 関与なし（対象大学）
- High-Accuracy Multicommodity Flows via Iterative Refinement
日本大学: 関与なし（対象大学）
- Homogeneity and Homogenizability: Hard Problems for the Logic SNP
日本大学: 関与なし（対象大学）
- Identifying Tractable Quantified Temporal Constraints Within Ord-Horn
日本大学: 関与なし（対象大学）
- Impagliazzo’s Worlds Through the Lens of Conditional Kolmogorov Complexity
日本大学: 関与なし（対象大学）
- Improved Algorithm for Reachability in d-VASS
日本大学: 関与なし（対象大学）
- Improved Lower Bounds for Approximating Parameterized Nearest Codeword and Related Problems Under ETH
日本大学: 関与なし（対象大学）
- Integer Linear-Exponential Programming in NP by Quantifier Elimination
日本大学: 関与なし（対象大学）
- Isomorphism for Tournaments of Small Twin Width
日本大学: 関与なし（対象大学）
- It’s Hard to HAC Average Linkage!
日本大学: 関与なし（対象大学）
- Kernelization Dichotomies for Hitting Subgraphs Under Structural Parameterizations
日本大学: 関与なし（対象大学）
- Learning Low-Degree Quantum Objects
日本大学: 関与なし（対象大学）
- Limits of Sequential Local Algorithms on the Random k-XORSAT Problem
日本大学: 関与なし（対象大学）
- Linear Relaxed Locally Decodable and Correctable Codes Do Not Need Adaptivity and Two-Sided Error
日本大学: 関与なし（対象大学）
- Lipschitz Continuous Allocations for Optimization Games
日本大学: 関与なし（対象大学）
- List Update with Delays or Time Windows
日本大学: 関与なし（対象大学）
- Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
日本大学: 関与なし（対象大学）
- Low-Memory Algorithms for Online Edge Coloring
日本大学: 関与なし（対象大学）
- Lower Bounds for Matroid Optimization Problems with a Linear Constraint
日本大学: 関与なし（対象大学）
- Lower Bounds on 0-Extension with Steiner Nodes
日本大学: 関与なし（対象大学）
- Minimizing Symmetric Convex Functions over Hybrid of Continuous and Discrete Convex Sets
- Minimizing Tardy Processing Time on a Single Machine in Near-Linear Time
日本大学: 関与なし（対象大学）
- NP-Hardness of Testing Equivalence to Sparse Polynomials and to Constant-Support Polynomials
日本大学: 関与なし（対象大学）
- Nearly Optimal Independence Oracle Algorithms for Edge Estimation in Hypergraphs
日本大学: 関与なし（対象大学）
- New Tradeoffs for Decremental Approximate All-Pairs Shortest Paths
日本大学: 関与なし（対象大学）
- No Polynomial Kernels for Knapsack
日本大学: 関与なし（対象大学）
- Non-Linear Paging
日本大学: 関与なし（対象大学）
- On Classes of Bounded Tree Rank, Their Interpretations, and Efficient Sparsification
日本大学: 関与なし（対象大学）
- On Homomorphism Indistinguishability and Hypertree Depth
日本大学: 関与なし（対象大学）
- On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words
日本大学: 関与なし（対象大学）
- On the Cut-Query Complexity of Approximating Max-Cut
日本大学: 関与なし（対象大学）
- On the Length of Strongly Monotone Descending Chains over ℕ^d
日本大学: 関与なし（対象大学）
- On the Smoothed Complexity of Combinatorial Local Search
日本大学: 関与なし（対象大学）
- On the Space Usage of Approximate Distance Oracles with Sub-2 Stretch
日本大学: 関与なし（対象大学）
- On the Streaming Complexity of Expander Decomposition
日本大学: 関与なし（対象大学）
- One-Way Communication Complexity of Partial XOR Functions
日本大学: 関与なし（対象大学）
- Optimal Bounds for Distinct Quartics
日本大学: 関与なし（対象大学）