Kazuki Watanabe

Orcid: 0000-0002-4167-3370

Affiliations:
  • National Institute of Informatics, Tokyo, Japan


According to our database1, Kazuki Watanabe authored at least 17 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Compositional Value Iteration with Pareto Caching: Supplemental Material.
Dataset, April, 2024

Compositional Value Iteration with Pareto Caching: Supplemental Material.
Dataset, April, 2024

Compositional Value Iteration with Pareto Caching: Supplemental Material.
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

Sinkhorn Algorithm for Sequentially Composed Optimal Transports.
CoRR, 2024

String Diagram of Optimal Transports.
CoRR, 2024

A Unifying Approach to Product Constructions for Quantitative Temporal Inference.
CoRR, 2024

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games.
CoRR, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

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

Compositional Value Iteration with Pareto Caching.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Compositional Solution of Mean Payoff Games by String Diagrams.
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

Compositional Probabilistic Model Checking with String Diagrams of MDPs.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021
A Compositional Approach to Parity Games.
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

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


  Loading...