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
Co-authors
10 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
Takeshi Tsukada
Chiba University
Koji Nakazawa
Nagoya University
Ichiro Hasuo
Professor of Computer Science, National Institute of Informatics
Issei Sato
University of Tokyo
Oded Padon
Weizmann Institute of Science
