Scholar
Hiroshi Unno
Google Scholar ID: H73eAAsAAAAJ
Tohoku University
Programming Languages
Formal Methods
Automated Reasoning
Artificial Intelligence
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
603
H-index
15
i10-index
23
Publications
20
Co-authors
14
list available
Contact
GitHub
Open ↗
Publications
7 items
Solving First-Order Fixed-Point Logics via a Least-to-Greatest Transformation Based on Game Semantics
2026
Cited
0
Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis
2026
Cited
0
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
The University of Tokyo
Tachio Terauchi
Professor of Computer Science and Engineering, Waseda University
Ryosuke Sato
Tokyo University of Agriculture and Technology
Co-author 4
Co-author 5
Takeshi Tsukada
Chiba University
Co-author 7
Co-author 8
