Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yasuhiko Minamide
conf.researchr.org general profile
FLOPS 2022 profile
POPL 2025 profile
Not registered as user
Name:
Yasuhiko Minamide
Country:
Japan
Affiliation:
Tokyo Institute of Technology
Contributions
2025
CPP
PC Member in Program Committee within the CPP 2025-track
Author of Further Tackling Post Correspondence Problem and Proof Generation within the CPP 2025-track
Session Chair of Session 3 (part of CPP 2025)
Author of Formalization of Differential Privacy in Isabelle/HOL within the CPP 2025-track
2022
FLOPS
Author of Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL within the FLOPS 2022-track
Share
x
Sun 22 Dec 14:02