Kohei SUENAGA
Kyoto University
H-index: 11
Asia-Japan
Top articles of Kohei SUENAGA
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
Artificial Intelligence
2024/1/1
Tetsuya Sato
H-Index: 7
Kohei Suenaga
H-Index: 7
Control-data separation and logical condition propagation for efficient inference on probabilistic programs
Journal of Logical and Algebraic Methods in Programming
2024/1/1
Kohei Suenaga
H-Index: 7
Learning nonlinear hybrid automata from input–output time-series data
2023/10/22
Kohei Suenaga
H-Index: 7
Sampling device and sampling method
2023/10/19
Formalizing statistical causality via modal logic
2023/9/20
Tetsuya Sato
H-Index: 7
Kohei Suenaga
H-Index: 7
Probabilistic Black-Box Checking via Active MDP Learning
ACM Transactions on Embedded Computing Systems
2023/9/9
Kohei Suenaga
H-Index: 7
Document Processing Method, and Information Processing Device
2023/6/15
HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation
Cryptology ePrint Archive
2023
Zhou Zhang
H-Index: 11
Kohei Suenaga
H-Index: 7
Yier Jin
H-Index: 35
Zhenyu Guan
H-Index: 9
Jianwei Liu
H-Index: 26
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
2022/8/7
Kohei Suenaga
H-Index: 7
The lattice-theoretic essence of property directed reachability analysis
2022/8/7
Kohei Suenaga
H-Index: 7
Goal-aware RSS for complex scenarios via program logic
IEEE Transactions on Intelligent Vehicles
2022/7/5
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
New Generation Computing
2022/7
BOREx: Bayesian-Optimization--Based Refinement of Saliency Map for Image-and Video-Classification Models
2022
Kohei Suenaga
H-Index: 7
Efficient black-box checking via model checking with strengthened specifications
2021/10/6
Kohei Suenaga
H-Index: 7
Formalizing statistical beliefs in hypothesis testing using program logic
2021/9/30
Tetsuya Sato
H-Index: 7
Kohei Suenaga
H-Index: 7
Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning
arXiv preprint arXiv:2107.09766
2021/7/16
Enhancing Loop-Invariant Synthesis via Reinforcement Learning
arXiv preprint arXiv:2107.09766
2021/7
Verification of a Merkle Patricia tree library using F
arXiv preprint arXiv:2106.04826
2021/6/9
Kohei Suenaga
H-Index: 7
Atsushi Igarashi
H-Index: 15
A contract corpus for recognizing rights and obligations
2020/5
Kohei Suenaga
H-Index: 7
ConSORT: Context-and Flow-Sensitive Ownership Refinement Types for Imperative Programs.
2020/4/18