| Compositional probabilistic model checking with string diagrams of MDPs K Watanabe, C Eberhart, K Asada, I Hasuo International Conference on Computer Aided Verification, 40-61, 2023 | 11 | 2023 |
| A compositional approach to parity games K Watanabe, C Eberhart, K Asada, I Hasuo 37th Conference on Mathematical Foundations of Programming Semantics, 2021 | 10 | 2021 |
| Pareto Curves for Compositionally Model Checking String Diagrams of MDPs K Watanabe, M van der Vegt, I Hasuo, J Rot, S Junges International Conference on Tools and Algorithms for the Construction and …, 2024 | 8 | 2024 |
| Compositional Value Iteration with Pareto Caching K Watanabe, M Vegt, S Junges, I Hasuo International Conference on Computer Aided Verification, 467-491, 2024 | 3 | 2024 |
| Compositional solution of mean payoff games by string diagrams K Watanabe, C Eberhart, K Asada, I Hasuo Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | 2 | 2024 |
| Composing Codensity Bisimulations M Kori, K Watanabe, J Rot, S Katsumata Thirty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024 | 2 | 2024 |
| Questions in dependent type semantics K Watanabe, K Mineshima, D Bekki Proceedings of the Sixth Workshop on Natural Language and Computer Science …, 2019 | 2 | 2019 |
| String Diagram of Optimal Transports K Watanabe, N Isobe arXiv preprint arXiv:2408.08550, 2024 | 1 | 2024 |
| Pareto Fronts for Compositionally Solving String Diagrams of Parity Games K Watanabe arXiv preprint arXiv:2406.17240, 2024 | 1 | 2024 |
| Sinkhorn Algorithm for Sequentially Composed Optimal Transports K Watanabe, N Isobe arXiv preprint arXiv:2412.03120, 2024 | | 2024 |
| A Unifying Approach to Product Constructions for Quantitative Temporal Inference K Watanabe, S Junges, J Rot, I Hasuo arXiv preprint arXiv:2407.10465, 2024 | | 2024 |
| A Categorical Approach to Compositional Probabilistic Model Checking K Watanabe Structure Meets Power Workshop, 9, 2024 | | 2024 |
| Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material K Watanabe, MEM van der Vegt, I Hasuo, J Rot, S Junges Zenodo, 2024 | | 2024 |
| On principal types and well-foundedness of the cummulativity relation in ECC E Ken, M Natori, K Tojo, K Watanabe arXiv preprint arXiv:2009.03486, 2020 | | 2020 |
| Category Theory for Compositional Verification K Watanabe, C Eberhart, K Asada, I Hasuo | | |