Hypothesis testing interpretations and renyi differential privacy B Balle, G Barthe, M Gaboardi, J Hsu, T Sato International Conference on Artificial Intelligence and Statistics, 2496-2506, 2020 | 87 | 2020 |

Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, bayesian inference, and optimization T Sato, A Aguirre, G Barthe, M Gaboardi, D Garg, J Hsu Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 35 | 2019 |

Approximate relational Hoare logic for continuous random samplings T Sato Electronic Notes in Theoretical Computer Science 325, 277-298, 2016 | 28 | 2016 |

Approximate span liftings: Compositional semantics for relaxations of differential privacy T Sato, G Barthe, M Gaboardi, J Hsu, S Katsumata 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019 | 22 | 2019 |

Preorders on monads and coalgebraic simulations S Katsumata, T Sato Foundations of Software Science and Computation Structures: 16th …, 2013 | 21 | 2013 |

Codensity liftings of monads S Katsumata, T Sato 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015 | 20 | 2015 |

Codensity lifting of monads and its dual S Katsumata, T Sato, T Uustalu Logical Methods in Computer Science 14, 2018 | 17 | 2018 |

The Giry monad is not strong for the canonical symmetric monoidal closed structure on Meas T Sato Journal of Pure and Applied Algebra 222 (10), 2888-2896, 2018 | 12 | 2018 |

Higher-order probabilistic adversarial computations: categorical semantics and program logics A Aguirre, G Barthe, M Gaboardi, D Garg, S Katsumata, T Sato Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021 | 10 | 2021 |

Graded Hoare logic and its categorical semantics M Gaboardi, S Katsumata, D Orchard, T Sato Programming Languages and Systems: 30th European Symposium on Programming …, 2021 | 10 | 2021 |

⋆-Liftings for differential privacy G Barthe, T Espitau, J Hsu, T Sato, PY Strub | 9 | 2017 |

Relational -Liftings for Differential Privacy G Barthe, T Espitau, J Hsu, T Sato, PY Strub Logical Methods in Computer Science 15, 2019 | 5 | 2019 |

Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL M Hirata, Y Minamide, T Sato Science of Computer Programming, 102993, 2023 | 4 | 2023 |

Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic Y Kawamoto, T Sato, K Suenaga Proceedings of the International Conference on Principles of Knowledge …, 2021 | 3 | 2021 |

Identifying all preorders on the subdistribution monad T Sato Electronic Notes in Theoretical Computer Science 308, 309-327, 2014 | 3 | 2014 |

Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs Y Kawamoto, T Sato, K Suenaga Artificial Intelligence 326, 104045, 2024 | 2 | 2024 |

Formalizing Statistical Causality via Modal Logic Y Kawamoto, T Sato, K Suenaga European Conference on Logics in Artificial Intelligence, 681-696, 2023 | 2 | 2023 |

A probabilistic monad with nondeterminism for coalgebraic trace semantics T Sato CALCO Young Researchers Workshop CALCO-jnr 2011, 12, 2011 | 2 | 2011 |

Semantic foundations of higher-order probabilistic programs in Isabelle/HOL M Hirata, Y Minamide, T Sato 14th International Conference on Interactive Theorem Proving (ITP 2023), 2023 | 1 | 2023 |

A nondeterministic probabilistic monad for deterministic schedulers on probabilistic automata T Sato Master’s thesis, Research Institute for Mathematical Sciences, Kyoto University, 2011 | 1 | 2011 |