Kazuki Watanabe
Scholar

Kazuki Watanabe

Google Scholar ID: FEAsO_AAAAAJ
National Institute of Informatics (Tokyo)
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
66
 
H-index
4
 
i10-index
3
 
Publications
20
 
Co-authors
0
 
Contact
GitHubOpen ↗
Publications
9 items
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
String Diagram of Optimal Transports
arXiv.org · 2024
Cited
1
A Unifying Approach to Product Constructions for Quantitative Temporal Inference
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)