|
Publication List - Tetsuya Sato 2021 (4 / 25 entries)
Journal Paper
-
Alejandro Aguirre,
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
Shin-ya Katsumata,
Tetsuya Sato.
Higher-order probabilistic adversarial computations: categorical semantics and program logics,
Proceedings of the ACM on Programming Languages,
Vol. 5,
No. ICFP,
pp. 1-30,
Aug. 2021.
Official location
International Conference (Reviewed)
-
Yusuke Kawamoto,
Tetsuya Sato,
Kohei Suenaga.
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic,
18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022),
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning,
Sept. 2021.
Official location
-
Marco Gaboardi,
Shin-ya Katsumata,
Dominic Orchard,
Tetsuya Sato.
Graded Hoare Logic and its Categorical Semantics,
30th European Symposium on Programming (ESOP 2021),
Lecture Notes in Computer Scienece (LNCS),
Springer International Publishing,
Volume 2648,
pp. 234-263,
Mar. 2021.
Domestic Conference (Not reviewed / Unknown)
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|