Kazuki Watanabe

According to our database, Kazuki Watanabe authored at least 20 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Initial Algebra Correspondence under Reachability Conditions.

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot

CoRR, May, 2025

On Coalgebraic Product Constructions for Markov Chains and Automata.

Mayuko Kori, Kazuki Watanabe

CoRR, April, 2025

A Unifying Approach to Product Constructions for Quantitative Temporal Inference.

Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo

Proc. ACM Program. Lang., 2025

On Piecewise Affine Reachability with Bellman Operators.

Anton Varonka, Kazuki Watanabe

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games.

Kazuki Watanabe

Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025

2024

Compositional Value Iteration with Pareto Caching: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

Dataset, April, 2024

Compositional Value Iteration with Pareto Caching: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

Dataset, April, 2024

Compositional Value Iteration with Pareto Caching: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

Dataset, April, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Dataset, January, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Dataset, January, 2024

Sinkhorn Algorithm for Sequentially Composed Optimal Transports.

Kazuki Watanabe, Noboru Isobe

CoRR, 2024

String Diagram of Optimal Transports.

Kazuki Watanabe, Noboru Isobe

CoRR, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Composing Codensity Bisimulations.

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Compositional Value Iteration with Pareto Caching.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Compositional Solution of Mean Payoff Games by String Diagrams.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Dataset, December, 2023

Compositional Probabilistic Model Checking with String Diagrams of MDPs.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021

A Compositional Approach to Parity Games.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

2020

On principal types and well-foundedness of terms in ECC.

Eitetsu Ken, Kenji Tojo, Kazuki Watanabe, Masaki Natori

CoRR, 2020