Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jianhui Chen
conf.researchr.org general profile
ASE 2020 profile
ICSE 2022 profile
PLDI 2020 profile
Registered user since Fri 29 Dec 2017
Name:
Jianhui Chen
Contributions
2022
ICSE
Author of Data-Driven Loop Bound Learning for Termination Analysis within the Technical Track-track
2020
ASE
Author of Proving Termination by k-Induction within the NIER track-track
PLDI
Author of Proving Almost-Sure Termination by Omega-Regular Decomposition within the PLDI Research Papers-track
Share
x
Mon 18 Nov 05:17