Jie-Hong R. Jiang
发表
Srinivas Devadas,
Jie-Hong R. Jiang,
2009
.
Azadeh Davoodi,
Zhiru Zhang,
Sergio Bampi,
2020,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Jie-Hong R. Jiang,
Siang-Yun Lee,
Nian-Ze Lee,
2019,
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
François Fages,
Tai-Yin Chiu,
Jie-Hong R. Jiang,
2015,
PloS one.
Jie-Hong R. Jiang,
Po-Chun Chien,
J. H. Jiang,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Jie-Hong R. Jiang,
Hsiao-Lei Chien,
Mei-Yen Chiu,
2017,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jie-Hong R. Jiang,
He-Teng Zhang,
J. H. Jiang,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Jie-Hong R. Jiang,
Yu-Chou Lin,
2020,
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD).
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty
pdf
Jie-Hong R. Jiang,
Nian-Ze Lee,
2019,
ArXiv.
Jie-Hong R. Jiang,
Ruei-Yang Huang,
Yi-Fan Evan Chang,
2019,
2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Jie-Hong R. Jiang,
Nian-Ze Lee,
2014,
ICCAD 2014.
Jie-Hong R. Jiang,
Victor N. Kravets,
Nian-Ze Lee,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Jie-Hong R. Jiang,
Nian-Ze Lee,
2014,
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong R. Jiang,
Robert K. Brayton,
R. Brayton,
2004
.
Jie-Hong R. Jiang,
De-An Huang,
Ruei-Yang Huang,
2013
.
Jie-Hong R. Jiang,
Yuan-Hung Tsai,
Chiao-Shan Jhang,
2020,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Jie-Hong R. Jiang,
Victor N. Kravets,
Yen-Ting Lin,
2020,
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD).
Jie-Hong R. Jiang,
Po-Chun Chien,
2019,
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong R. Jiang,
Yi-Hsiang Lai,
Chi-Chuan Chuang,
2016,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Jie-Hong R. Jiang,
He-Teng Zhang,
2018,
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Yao-Wen Chang,
Kuan-Hsien Ho,
Jie-Hong R. Jiang,
2010,
ASP-DAC 2010.
Heinz Riener,
Jie-Hong R. Jiang,
Victor N. Kravets,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Jie-Hong R. Jiang,
Nian-Ze Lee,
J. H. Jiang,
2021,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Chung-Kuan Cheng,
Masahiro Fujita,
Jie-Hong R. Jiang,
2020
.
Robert K. Brayton,
Alan Mishchenko,
Jie-Hong R. Jiang,
2004,
ICCAD 2004.
Tai-Yin Chiu,
Jie-Hong R. Jiang,
2016
.
Yi-Ting Chung,
Jie-Hong R. Jiang,
2013,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Alan Mishchenko,
Mark Po-Hung Lin,
Jie-Hong R. Jiang,
2018,
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Tiziano Villa,
Peter L. Hammer,
Yves Crama,
2010,
Boolean Models and Methods.
Jie-Hong R. Jiang,
Chia-Chih Chi,
2021
.
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty
pdf
Jie-Hong R. Jiang,
Nian-Ze Lee,
2021,
AAAI.
Wei-Lun Hung,
Jie-Hong R. Jiang,
2007,
ICCAD 2007.
Jie-Hong R. Jiang,
Hsuan-Po Lin,
Ruei-Rung Lee,
2008,
ICCAD 2008.
François Fages,
Tai-Yin Chiu,
Jie-Hong R. Jiang,
2014
.