Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hiroyuki Katsura
conf.researchr.org general profile
APLAS 2020 profile
APLAS 2024 profile
ICFP 2023 profile
SPLASH 2022 profile
Registered user since Thu 25 Jun 2020
Name:
Hiroyuki Katsura
Contributions
2024
APLAS
Author of Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem within the Research Papers-track
2023
ICFP
Author of Higher-Order Property-Directed Reachability within the ICFP Papers and Events-track
2022
SPLASH
Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the COVID Time Papers In Person-track
2020
APLAS
Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the Research Papers-track
Share
x
Sun 24 Nov 11:19