On principal types and well-foundedness of terms in ECC. - Eitetsu Ken; Kenji Tojo; Kazuki Watanabe 003; Masaki Natori (CoRR, 2020)

A Compositional Approach to Parity Games. - Kazuki Watanabe 003; Clovis Eberhart; Kazuyuki Asada; Ichiro Hasuo (MFPS, 2021)

Compositional Probabilistic Model Checking with String Diagrams of MDPs. - Kazuki Watanabe 003; Clovis Eberhart; Kazuyuki Asada; Ichiro Hasuo (CAV (3), 2023)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (Zenodo, 2023)

Compositional Solution of Mean Payoff Games by String Diagrams. - Kazuki Watanabe 003; Clovis Eberhart; Kazuyuki Asada; Ichiro Hasuo (Principles of Verification (3), 2024)

Compositional Value Iteration with Pareto Caching. - Kazuki Watanabe 003; Marck van der Vegt; Sebastian Junges; Ichiro Hasuo (CAV (3), 2024)

Composing Codensity Bisimulations. - Mayuko Kori; Kazuki Watanabe 003; Jurriaan Rot; Shin-ya Katsumata (LICS, 2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (TACAS (2), 2024)

String Diagram of Optimal Transports. - Kazuki Watanabe 003; Noboru Isobe (CoRR, 2024)

Sinkhorn Algorithm for Sequentially Composed Optimal Transports. - Kazuki Watanabe 003; Noboru Isobe (CoRR, 2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (Zenodo, 2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (Zenodo, 2024)

Compositional Value Iteration with Pareto Caching: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Sebastian Junges; Ichiro Hasuo (Zenodo, 2024)

Compositional Value Iteration with Pareto Caching: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Sebastian Junges; Ichiro Hasuo (Zenodo, 2024)

Compositional Value Iteration with Pareto Caching: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Sebastian Junges; Ichiro Hasuo (Zenodo, 2024)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games. - Kazuki Watanabe 003 (CALCO, 2025)

On Piecewise Affine Reachability with Bellman Operators. - Anton Varonka; Kazuki Watanabe 003 (MFCS, 2025)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference. - Kazuki Watanabe 003; Sebastian Junges; Jurriaan Rot; Ichiro Hasuo (Proc. ACM Program. Lang., 2025)

On Coalgebraic Product Constructions for Markov Chains and Automata. - Mayuko Kori; Kazuki Watanabe 003 (CoRR, 2025)

Initial Algebra Correspondence under Reachability Conditions. - Mayuko Kori; Kazuki Watanabe 003; Jurriaan Rot (CoRR, 2025)