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
Co-author 3
Co-author 3
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