Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Kazuki Watanabe
Observed names:
K. Watanabe,
Watanabe, Kazuki
Institutions:
National Institute of Informatics,
The Graduate University for Advanced Studies, SOKENDAI
Observed institutions:
National Institute of Informatics,
The Graduate University for Advanced Studies, SOKENDAI,
Sony (Japan)
ORCID:
0000-0002-4167-3370
Observed ORCID:
0000-0002-4167-3370
OpenAlex ID:
A5100770793
Compositional Probabilistic Model Checking with String Diagrams of MDPs
2023
·
Kazuki Watanabe
, Clovis Eberhart
, et al.
·
Lecture notes in computer science
·
9
PDF
A DSSS UWB digital PHY/MAC transceiver for wireless ad hoc mesh networks with distributed control
2006
·
A. Koyama
, H. Iwami
, et al.
·
Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference
·
9
Compositional Value Iteration with Pareto Caching
2024
·
Kazuki Watanabe
, Marck van der Vegt
, et al.
·
Lecture notes in computer science
·
5
Composing Codensity Bisimulations
2024
·
Mayuko Kori
, Kazuki Watanabe
, et al.
·
Proceedings - Symposium on Logic in Computer Science
·
2
PDF
A Unifying Approach to Product Constructions for Quantitative Temporal Inference
2025
·
Kazuki Watanabe
, Sebastian Junges
, et al.
·
Proceedings of the ACM on Programming Languages
·
1
PDF
Automated Safety Verification of Posterior Distributions of Probabilistic Programs
2026
·
Kazuki Watanabe
, Hiroshi Unno
·
International Joint Conference on Artificial Intelligence
PDF
Adequacy for Predicate Transformer Semantics
2026
·
Kazuki Watanabe
, Mirai Ikebuchi
, et al.
·
Proceedings of the ACM on Programming Languages
Specification-Guided Path Shortcutting for Efficient Probabilistic Model Checking
2026
·
Waga, Masaki
, Matsumoto, Tsubasa
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
From Coalgebraic Determinization to Belief Construction for Partial Observability
2026
·
Kori, Mayuko
, Watanabe, Kazuki
·
arXiv (Cornell University)
PDF
Compositional Verification of Almost-Sure Büchi Objectives in MDPs
2025
·
Marck van der Vegt
, Kazuki Watanabe
, et al.
·
Lecture notes in computer science
Efficient Black-Box Checking with Specification-Guided Abstraction
2025
·
Tsubasa Matsumoto
, Kazuki Watanabe
, et al.
·
ACM Transactions on Embedded Computing Systems
PDF
TIS Locking Circuit for Compensating LSI Performance by Temperature Variation
2005
·
Goichi Ono
, M. Miyazaki
, et al.
·
IEICE Technical Report; IEICE Tech. Rep.
Show more works
View as search
Works count:
17
Citation count:
26
H-index:
3
I10-index:
Year
Topic
Type
