Kazuki Watanabe
Orcid: 0000-0002-4167-3370Affiliations:
- National Institute of Informatics, Tokyo, Japan
According to our database1,
Kazuki Watanabe
authored at least 17 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
0
5
10
15
4
1
4
1
1
5
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Dataset, April, 2024
Dataset, April, 2024
Dataset, April, 2024
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.
Dataset, January, 2024
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.
Dataset, January, 2024
CoRR, 2024
CoRR, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
2023
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.
Dataset, December, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2021
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
2020