Satoshi Kura

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Randomized Algorithm

Termination Analysis

Top Venues

Math. Struct. Comput. Sci.

Publications

Hikaru Sugita, Satoshi Ebata, Hiroyuki Suzuki, Satoshi Kura, Eiji Yoneda, Kyousuke Yoda, Hiroshi Mashima, Satoshi Fukuma, Daiki Kanai, Tetsuya Yamamura, Yuuji Manabe, Kazuko Tateshima, Yoshikazu Ito
Polyvinyl-alcohol-based color resist for low-temperature color-filter production. Displays 77 (2023)
Satoshi Kura
Higher-Order Weakest Precondition Transformers via a CPS Transformation. CoRR (2023)
Alejandro Aguirre, Shin-ya Katsumata, Satoshi Kura
Weakest preconditions in fibrations. Math. Struct. Comput. Sci. 32 (4) (2022)
Satoshi Kura
A General Semantic Construction of Dependent Refinement Type Systems, Categorically. FoSSaCS (2021)
Satoshi Kura, Hiroshi Unno, Ichiro Hasuo
Decision Tree Learning in CEGIS-Based Termination Analysis. CoRR (2021)
Satoshi Kura, Hiroshi Unno, Ichiro Hasuo
Decision Tree Learning in CEGIS-Based Termination Analysis. CAV (2) (2021)
Satoshi Kura
General Semantic Construction of Dependent Refinement Type Systems, Categorically. CoRR (2020)
Satoshi Kura
Graded Algebraic Theories. FoSSaCS (2020)
Satoshi Kura
Graded Algebraic Theories. CoRR (2020)
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. TACAS (2) (2019)
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. CoRR (2018)