Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jia Lee
conf.researchr.org general profile
ASE 2021 profile
POPL 2019 profile
Registered user since Fri 23 Nov 2018
Name:
Jia Lee
Affiliation:
Pohang University of Science and Technology (POSTECH)
Contributions
2021
ASE
Author of Efficient SMT-Based Model Checking for Signal Temporal Logic within the Artifact Evaluation-track
Author of Efficient SMT-Based Model Checking for Signal Temporal Logic within the Research Papers-track
2019
POPL
Author of Bounded Model Checking of Signal Temporal Logic Properties Using Syntactic Separation within the Research Papers-track
Share
x
Thu 21 Nov 13:03