Conferences · eligible papers
ICALP
2021–2025 確定版
2025 · 170 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- On the Complexity of Hazard-Free Formulas
日本大学: 関与なし（対象大学）
- On the Complexity of Telephone Broadcasting from Cacti to Bounded Pathwidth Graphs
日本大学: 関与なし（対象大学）
- On the Degree Automatability of Sum-Of-Squares Proofs
日本大学: 関与なし（対象大学）
- On the Instance Optimality of Detecting Collisions and Subgraphs
日本大学: 関与なし（対象大学）
- On the Quantum Time Complexity of Divide and Conquer
日本大学: 関与なし（対象大学）
- One-Shot Learning for k-SAT
日本大学: 関与なし（対象大学）
- One-Way Communication Complexity of Minimum Vertex Cover in General Graphs
日本大学: 関与なし（対象大学）
- Online Disjoint Spanning Trees and Polymatroid Bases
日本大学: 関与なし（対象大学）
- Online and Feasible Presentability: From Trees to Modal Algebras
日本大学: 関与なし（対象大学）
- Optimal Distance Labeling for Permutation Graphs
日本大学: 関与なし（対象大学）
- Optimal Inapproximability of Promise Equations over Finite Groups
日本大学: 関与なし（対象大学）
- Optimal Oblivious Subspace Embeddings with Near-Optimal Sparsity
日本大学: 関与なし（対象大学）
- Optimal Static Fully Indexable Dictionaries
日本大学: 関与なし（対象大学）
- P-Time Algorithms for Typical #EO Problems
日本大学: 関与なし（対象大学）
- Parameterised Holant Problems
日本大学: 関与なし（対象大学）
- Parameterized Algorithms for Matching Integer Programs with Additional Rows and Columns
日本大学: 関与なし（対象大学）
- Positive and Monotone Fragments of FO and LTL
日本大学: 関与なし（対象大学）
- Probabilistic and Causal Satisfiability: Constraining the Model
日本大学: 関与なし（対象大学）
- Pushing the Frontiers of Subexponential FPT Time for Feedback Vertex Set
日本大学: 関与なし（対象大学）
- Quantum Speedup for Sampling Random Spanning Trees
日本大学: 関与なし（対象大学）
- Query Efficient Weighted Stochastic Matching
日本大学: 関与なし（対象大学）
- Random Reed-Solomon Codes Achieve the Half-Singleton Bound for Insertions and Deletions over Linear-Sized Alphabets
日本大学: 関与なし（対象大学）
- Randomized Binary and Tree Search Under Pressure
日本大学: 関与なし（対象大学）
- Reachability in 3-VASS Is Elementary
日本大学: 関与なし（対象大学）
- Reducing Stochastic Games to Semidefinite Programming
日本大学: 関与なし（対象大学）
- Relative-Error Testing of Conjunctions and Decision Lists
日本大学: 関与なし（対象大学）
- Repetition Aware Text Indexing for Matching Patterns with Wildcards
日本大学: 関与なし（対象大学）
- Restricted CSPs and F-Free Digraph Algorithmics
日本大学: 関与なし（対象大学）
- Revisiting Directed Disjoint Paths on Tournaments (And Relatives)
日本大学: 関与なし（対象大学）
- Robust Contraction Decomposition for Minor-Free Graphs and Its Applications
日本大学: 関与なし（対象大学）
- Robust-Sorting and Applications to Ulam-Median
日本大学: 関与なし（対象大学）
- Sampling with a Black Box: Faster Parameterized Approximation Algorithms for Vertex Deletion Problems
日本大学: 関与なし（対象大学）
- Satisfiability of Commutative vs. Non-Commutative CSPs
日本大学: 関与なし（対象大学）
- Saturation Problems for Families of Automata
日本大学: 関与なし（対象大学）
- Scarf’s Algorithm on Arborescence Hypergraphs
日本大学: 関与なし（対象大学）
- Separability Properties of Monadically Dependent Graph Classes
日本大学: 関与なし（対象大学）
- Shared Randomness Helps with Local Distributed Problems
日本大学: 関与なし（対象大学）
- Simultaneously Approximating All Norms for Massively Parallel Correlation Clustering
日本大学: 関与なし（対象大学）
- Stable Hypergraph Matching in Unimodular Hypergraphs
日本大学: 関与なし（対象大学）
- Streaming Maximal Matching with Bounded Deletions
日本大学: 関与なし（対象大学）
- Subgraph Counting in Subquadratic Time for Bounded Degeneracy Graphs
日本大学: 関与なし（対象大学）
- Submodular Hypergraph Partitioning: Metric Relaxations and Fast Algorithms via an Improved Cut-Matching Game
日本大学: 関与なし（対象大学）
- Submonoid Membership in n-Dimensional Lamplighter Groups and S-Unit Equations
日本大学: 関与なし（対象大学）
- Taming Infinity One Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs
日本大学: 関与なし（対象大学）
- Testing C_k-Freeness in Bounded Admissibility Graphs
日本大学: 関与なし（対象大学）
- The Converse of the Real Orthogonal Holant Theorem
日本大学: 関与なし（対象大学）
- The Long Arm of Nashian Allocation in Online p-Mean Welfare Maximization
日本大学: 関与なし（対象大学）
- The Memory of ω-Regular and BC(Σ⁰₂) Objectives
日本大学: 関与なし（対象大学）
- The Role of Regularity in (Hyper-)Clique Detection and Implications for Optimizing Boolean CSPs
日本大学: 関与なし（対象大学）
- The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic Are Highly Undecidable
日本大学: 関与なし（対象大学）
- The Trichotomy of Regular Property Testing
日本大学: 関与なし（対象大学）
- The Ultimate Signs of Second-Order Holonomic Sequences
日本大学: 京都大学
- The Value Problem for Multiple-Environment MDPs with Parity Objective
日本大学: 関与なし（対象大学）
- Tight Bounds for Heavy-Hitters and Moment Estimation in the Sliding Window Model
日本大学: 関与なし（対象大学）
- Tiling Random Regular Graphs Efficiently
日本大学: 関与なし（対象大学）
- Towards the Proximity Conjecture on Group-Labeled Matroids
- Tree Algebras and Bisimulation-Invariant MSO on Finite Graphs
日本大学: 関与なし（対象大学）
- Treewidth Parameterized by Feedback Vertex Number
日本大学: 関与なし（対象大学）
- Ultra-Resilient Superimposed Codes: Near-Optimal Construction and Applications
日本大学: 関与なし（対象大学）
- Unbalanced Random Matching Markets with Partial Preferences
日本大学: 関与なし（対象大学）
- Undirected 3-Fault Replacement Path in Nearly Cubic Time
日本大学: 関与なし（対象大学）
- Universal Online Contention Resolution with Preselected Order
日本大学: 関与なし（対象大学）
- Using Games and Universal Trees to Characterise the Nondeterministic Index of Tree Languages
日本大学: 関与なし（対象大学）
- Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
日本大学: 関与なし（対象大学）
- Weakly Approximating Knapsack in Subquadratic Time
日本大学: 関与なし（対象大学）
- Weighted GKAT: Completeness and Complexity
日本大学: 関与なし（対象大学）
- Worst-Case and Average-Case Hardness of Hypercycle and Database Problems
日本大学: 関与なし（対象大学）
- Yet Another Simple Proof of the PCRP Theorem
日本大学: 関与なし（対象大学）
- k-Leaf Powers Cannot Be Characterized by a Finite Set of Forbidden Induced Subgraphs for k ≥ 5
日本大学: 関与なし（対象大学）
- q-Partitioning Valuations: Exploring the Space Between Subadditive and Fractionally Subadditive Valuations
日本大学: 関与なし（対象大学）