Satoshi Kura
Waseda University(JP)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Semantic Web and Ontologies, Software Testing and Debugging Techniques
Most-Cited Works
- → Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments(2019)36 cited
- → Weakest preconditions in fibrations(2022)7 cited
- → Graded Algebraic Theories(2020)7 cited
- → Decision Tree Learning in CEGIS-Based Termination Analysis(2021)5 cited
- → A General Semantic Construction of Dependent Refinement Type Systems, Categorically(2021)3 cited
- → Polyvinyl-alcohol-based color resist for low-temperature color-filter production(2023)3 cited
- → Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System(2024)2 cited
- → Higher-Order Weakest Precondition Transformers via a CPS Transformation(2023)1 cited
- A Category-Theoretic Framework for Dependent Effect Systems(2026)