Hiroshi Unno
Scholar

Hiroshi Unno

Google Scholar ID: H73eAAsAAAAJ
Tohoku University
Programming LanguagesFormal MethodsAutomated ReasoningArtificial Intelligence
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
603
 
H-index
15
 
i10-index
23
 
Publications
20
 
Co-authors
14
list available
Contact
GitHubOpen ↗
Publications
5 items
A Category-Theoretic Framework for Dependent Effect Systems
2026
Cited
0
A Hierarchy of Supermartingales for $ω$-Regular Verification
2025
Cited
0
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
2025
Cited
0
Ranking and Invariants for Lower-Bound Inference in Quantitative Verification of Probabilistic Programs
2025
Cited
0
A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
2025
Cited
0
Resume (English only)
Co-authors
14 total
Naoki Kobayashi
Naoki Kobayashi
The University of Tokyo
Tachio Terauchi
Tachio Terauchi
Professor of Computer Science and Engineering, Waseda University
Ryosuke Sato
Ryosuke Sato
Tokyo University of Agriculture and Technology
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Takeshi Tsukada
Takeshi Tsukada
Chiba University
Co-author 7
Co-author 7
Co-author 8
Co-author 8