Scholar
Kazuki Watanabe
Google Scholar ID: FEAsO_AAAAAJ
National Institute of Informatics (Tokyo)
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
66
H-index
4
i10-index
3
Publications
20
Co-authors
0
Contact
GitHub
Open ↗
Publications
11 items
Specification-Guided Path Shortcutting for Efficient Probabilistic Model Checking
2026
Cited
0
From Coalgebraic Determinization to Belief Construction for Partial Observability
2026
Cited
0
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
2025
Cited
0
Compositional Verification of Almost-Sure Büchi Objectives in MDPs
2025
Cited
0
Initial Algebra Correspondence under Reachability Conditions
2025
Cited
0
On Coalgebraic Product Constructions for Markov Chains and Automata
2025
Cited
0
On Piecewise Affine Reachability with Bellman Operators
2025
Cited
0
Sinkhorn Algorithm for Sequentially Composed Optimal Transports
2024
Cited
0
Load more
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
