Kenta Cho
Orcid: 0000-0001-8026-226XAffiliations:
- National Institute of Informatics, Tokyo, Japan
- Radboud University, Nijmegen, The Netherlands (former)
- University of Tokyo, Japan (former)
According to our database1,
Kenta Cho
authored at least 13 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
2
1
1
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Control-data separation and logical condition propagation for efficient inference on probabilistic programs.
J. Log. Algebraic Methods Program., January, 2024
2020
Dichotomy between deterministic and probabilistic models in countably additive effectus theory.
Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020
2019
Math. Struct. Comput. Sci., 2019
2018
Math. Struct. Comput. Sci., 2018
2017
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
2016
2015
Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015
Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015
2014
Proceedings of the 11th workshop on Quantum Physics and Logic, 2014
2013
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013