Conferences · eligible papers
ICALP
2021–2025 確定版
2022 · 127 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- Space Characterizations of Complexity Measures and Size-Space Trade-Offs in Propositional Proof Systems
日本大学: 関与なし（対象大学）
- Strategy Synthesis for Global Window PCTL
日本大学: 関与なし（対象大学）
- Streaming Algorithms for Geometric Steiner Forest
日本大学: 関与なし（対象大学）
- Streaming Submodular Maximization Under Matroid Constraints
日本大学: 関与なし（対象大学）
- Strong Approximations and Irrationality in Financial Networks with Derivatives
日本大学: 関与なし（対象大学）
- Strongly Sublinear Algorithms for Testing Pattern Freeness
日本大学: 関与なし（対象大学）
- Sublinear Dynamic Interval Scheduling (On One or Multiple Machines)
日本大学: 関与なし（対象大学）
- Sublinear-Round Parallel Matroid Intersection
日本大学: 関与なし（対象大学）
- Testability and Local Certification of Monotone Properties in Minor-Closed Classes
日本大学: 関与なし（対象大学）
- The Complexity of Finding Fair Many-To-One Matchings
日本大学: 関与なし（対象大学）
- The Complexity of SPEs in Mean-Payoff Games
日本大学: 関与なし（対象大学）
- The Decision Problem for Perfect Matchings in Dense Hypergraphs
日本大学: 関与なし（対象大学）
- The Dimension Spectrum Conjecture for Planar Lines
日本大学: 関与なし（対象大学）
- The Fine-Grained Complexity of Graph Homomorphism Parameterized by Clique-Width
日本大学: 関与なし（対象大学）
- The SDP Value of Random 2CSPs
日本大学: 関与なし（対象大学）
- The Variance-Penalized Stochastic Shortest Path Problem
日本大学: 関与なし（対象大学）
- Threshold Rates of Code Ensembles: Linear Is Best
日本大学: 関与なし（対象大学）
- Tight Approximation Algorithms for Two-Dimensional Guillotine Strip Packing
日本大学: 関与なし（対象大学）
- Tight Vector Bin Packing with Few Small Items via Fast Exact Matching in Multigraphs
日本大学: 関与なし（対象大学）
- Tolerant Bipartiteness Testing in Dense Graphs
日本大学: 関与なし（対象大学）
- Twin-Width and Types
日本大学: 関与なし（対象大学）
- Two-Commodity Flow Is Equivalent to Linear Programming Under Nearly-Linear Time Reductions
日本大学: 関与なし（対象大学）
- Unboundedness for Recursion Schemes: A Simpler Type System
日本大学: 関与なし（対象大学）
- Understanding the Moments of Tabulation Hashing via Chaoses
日本大学: 関与なし（対象大学）
- Unique Assembly Verification in Two-Handed Self-Assembly
日本大学: 関与なし（対象大学）
- Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games
日本大学: 関与なし（対象大学）
- What Can Oracles Teach Us About the Ultimate Fate of Life?
日本大学: 関与なし（対象大学）