Authors · raw publication identity
Hiroshi Unno
2022–2026 LIVE
日本の大学への公開時点の所属を確認できた著者表記を掲載しています。大学IDと完全一致の著者名でまとめており、人物の名寄せはしていません。同名別人や表記違いの可能性があり、現在所属・全業績・研究者の総合順位を表すものではありません。
公開時所属: 東北大学 · Top conference papers: 12
印刷日： 全論文
出典：https://topcsuniv.org/japan/authors/045a2a4a029a2efbed8c/
論文上の著者表記・公開時所属による集計です。人物の名寄せ・現在所属・全業績を表すものではありません。
分野別内訳
分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。
論文一覧
- Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs
- Automated Safety Verification of Posterior Distributions of Probabilistic Programs
- A Hierarchy of Supermartingales for ω-Regular Verification
- Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
- Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking
- On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs
- Thrust: A Prophecy-Based Refinement Type System for Rust
- A Primal-Dual Perspective on Program Verification Algorithms
- Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs
- Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
- Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
- Inductive Approach to Spacer