E-LIB Suche - Ergebnisse für: Sato, Tetsuya

1

Semantic Foundations of Higher-Order Probabilistic Programs..:

Hirata, Michikazu ; Minamide, Yasuhiko ; Sato, Tetsuya
Is Part Of LIPIcs, Volume 268, 14th International Conference on Interactive Theorem Proving (ITP 2023). , 2023

Link: https://doi.org/10.4230/..

2

The Effects of Repeated Laundering and Structural Parameter..:

Kalaycı, Ece ; Ala, Deniz Mutlu ; Topçu, Hüseyin..
Çukurova Üniversitesi Mühendislik Fakültesi dergisi. , 2023

Link: https://hdl.handle.net/1..

3

Sound and Relatively Complete Belief Hoare Logic for Statis..:

Kawamoto, Yusuke ; Sato, Tetsuya ; Suenaga, Kohei
http://arxiv.org/abs/2208.07074. , 2022

Link: http://arxiv.org/abs/220..

4

Divergences on Monads for Relational Program Logics:

Sato, Tetsuya ; Katsumata, Shin-ya
http://arxiv.org/abs/2206.05716. , 2022

Link: http://arxiv.org/abs/220..

5

Formalizing Statistical Causality via Modal Logic:

Kawamoto, Yusuke ; Sato, Tetsuya ; Suenaga, Kohei
http://arxiv.org/abs/2210.16751. , 2022

Link: http://arxiv.org/abs/221..

6

Higher-order probabilistic adversarial computations:categor..:

Aguirre, Alejandro ; Barthe, Gilles ; Gaboardi, Marco...
https://pure.au.dk/portal/en/publications/1d88272b-0074-4c70-828b-02ab559a731d. , 2021

Link: https://pure.au.dk/porta..

7

Appearance of ferromagnetism in Pt(100) ultrathin films ori..:

Yamada, Tatsuru ; Ochiai, Keisuke ; Kinoshita, Hirofumi...
http://arxiv.org/abs/2101.02818. , 2021

Link: http://arxiv.org/abs/210..

8

Graded Hoare logic and its categorical semantics:

Gaboardi, Marco ; Katsumata, Shin-Ya ; Orchard, Dominic.
M. Gaboardi, S.-.Y. Katsumata, D. Orchard, T. Sato. "Graded Hoare Logic and its Categorical Semantics." Programming Languages and Systems. ESOP 2021. https://doi.org/10.1007/978-3-030-72019-3_9. , 2021

Link: https://hdl.handle.net/2..

9