Jeho Oh
发表
Don S. Batory,
Norbert Siegmund,
Margaret Myers,
2017,
ESEC/SIGSOFT FSE.
D. Batory,
Norbert Siegmund,
Jeho Oh,
2017
.
Marijn J. H. Heule,
Paul Gazzillo,
D. Batory,
2019
.
Marijn J. H. Heule,
Paul Gazzillo,
D. Batory,
2020
.
Don S. Batory,
Ruben Heradio,
David Benavides,
2021,
Logic, Computation and Rigorous Methods.
D. Batory,
Jeho Oh,
Margaret Myers,
2018
.
D. Batory,
M. Pinto,
L. Fuentes,
2022
.
Paul Gazzillo,
Austin Mordahl,
Ugur Koc,
2019,
ESEC/SIGSOFT FSE.
Mónica Pinto,
Daniel-Jesus Munoz,
Don S. Batory,
2019,
SPLC.