大学 × Programming Languages & Formal Methods
千葉大学
Programming Languages & Formal Methods / 2022–2026 LIVE
掲載論文 12 本
論文一覧
12 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 12 本と一致しています。
2026年
- Lagrangian-Based Duality for Quantified SMT Algorithms
掲載ID:
doi:10.1007/978-3-032-32526-6_4 - Causality in Pure Quantum Computation with Quantum Control
掲載ID:
doi:10.4230/lipics.lics.2026.57 - Guarded Negation Transitive Closure Logic
掲載ID:
doi:10.4230/lipics.lics.2026.43 - Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
掲載ID:
doi:10.1145/3808348
2025年
- Nola: Later-Free Ghost State for Verifying Termination in Iris
掲載ID:
doi:10.1145/3729250 - A Primal-Dual Perspective on Program Verification Algorithms
掲載ID:
doi:10.1145/3704904
2024年
- Inductive Approach to Spacer
掲載ID:
doi:10.1145/3656457 - Enriched Presheaf Model of Quantum FPC
掲載ID:
doi:10.1145/3632855
2023年
- HFL(Z) Validity Checking for Automated Program Verification
掲載ID:
doi:10.1145/3571199 - Optimal CHC Solving via Termination Proofs
掲載ID:
doi:10.1145/3571214
2022年
- Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
掲載ID:
doi:10.1145/3531130.3533373 - Software model-checking as cyclic-proof search
掲載ID:
doi:10.1145/3498725
掲載対象外の論文や未反映の論文は、この一覧には含まれません。