Scholar
Ichiro Hasuo
Google Scholar ID: FSwupKwAAAAJ
Professor of Computer Science, National Institute of Informatics
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,542
H-index
22
i10-index
47
Publications
20
Co-authors
0
Contact
Email
ichiro@is.s.u-tokyo.ac.jp
Publications
10 items
Value Iteration for Stochastic Parity Games
2026
Cited
0
A Coalgebraic Dijkstra Algorithm
2026
Cited
0
Monads and Distributive Laws in Substructural Contexts (Extended Version)
2026
Cited
0
Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
2026
Cited
0
A Variety of Request-Response Specifications
2025
Cited
0
Compositional Verification of Almost-Sure Büchi Objectives in MDPs
2025
Cited
0
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
2025
Cited
0
Componentwise Automata Learning for System Integration (Extended Version)
2025
Cited
0
Load more
