Authors · raw publication identity
Hiroshi Unno
2022–2026 LIVE
データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。
対象会議の検証済み掲載データを、全分野・選択したEditionでまとめています。過去の論文は出版・論文種別・著者との対応を確認できたものから追加しており、全発表論文の網羅を保証するものではありません。著者ページだけへの追加分は大学ランキングの件数に含みません。著者ページは、公開時の所属大学IDと論文上の著者名の完全一致を基に作成しています。本人の業績一覧などで同一人物の論文と個別に確認できた場合は、所属が異なる論文も追加します。氏名だけの自動名寄せは行いません。表示する大学はこのページの識別用で、掲載した全論文の出版時所属や現在所属を示すものではありません。研究者の総合順位を表すものでもありません。
著者ページの大学: 東北大学 · Top conference papers: 13
分野別内訳
分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。
論文一覧（新しい年順）
- Lagrangian-Based Duality for Quantified SMT Algorithms
- 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