Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. - Satoshi Kura 001; Natsuki Urabe; Ichiro Hasuo (TACAS (2), 2019)

Graded Algebraic Theories. - Satoshi Kura 001 (FoSSaCS, 2020)

Decision Tree Learning in CEGIS-Based Termination Analysis. - Satoshi Kura 001; Hiroshi Unno 001; Ichiro Hasuo (CAV (2), 2021)

A General Semantic Construction of Dependent Refinement Type Systems, Categorically. - Satoshi Kura 001 (FoSSaCS, 2021)

Weakest preconditions in fibrations. - Alejandro Aguirre 001; Shin-ya Katsumata; Satoshi Kura 001 (Math. Struct. Comput. Sci., 2022)

Higher-Order Weakest Precondition Transformers via a CPS Transformation. - Satoshi Kura 001 (CoRR, 2023)

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System. - Satoshi Kura 001; Hiroshi Unno 001 (Proc. ACM Program. Lang., 2024)

Ranking and Invariants for Lower-Bound Inference in Quantitative Verification of Probabilistic Programs. - Satoshi Kura 001; Hiroshi Unno 001; Takeshi Tsukada (CoRR, 2025)