論文表記の著者名
Hiroshi Unno
東北大学Programming Languages & Formal Methods2022–2026 LIVE
対象論文 9 本
著者名は論文に記載された表記をそのまま使用しており、同一人物の名寄せは行っていません。
印刷日： 全論文
論文上の著者表記・公開時所属による集計です。人物の名寄せ・現在所属・全業績を表すものではありません。
対象論文
論文一覧
- A Hierarchy of Supermartingales for ω-Regular VerificationDOI
- Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound VerificationDOI
- On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic ProgramsDOI
- Thrust: A Prophecy-Based Refinement Type System for RustDOI
- A Primal-Dual Perspective on Program Verification AlgorithmsDOI
- Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order ProgramsDOI
- Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type SystemDOI
- Higher-Order Model Checking of Effect-Handling Programs with Answer-Type ModificationDOI
- Inductive Approach to SpacerDOI