Jie-Hong Roland Jiang
发表
Jie-Hong Roland Jiang,
J. H. Jiang,
2009,
CAV.
Jie-Hong Roland Jiang,
Sy-Yen Kuo,
Chia-Wei Chang,
2011,
2011 12th International Symposium on Quality Electronic Design.
Jie-Hong Roland Jiang,
Ting-Wei Chiang,
2015,
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
Ko-Lung Yuan,
Chien-Yen Kuo,
2013,
2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2003,
2003 Design, Automation and Test in Europe Conference and Exhibition.
Jie-Hong Roland Jiang,
Yao-Wen Chang,
Chien-Mo James Li,
2018,
DAC.
Jie-Hong Roland Jiang,
Kuan-Hua Tu,
2013,
2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).
Jie-Hong Roland Jiang,
François Fages,
Chun-Ning Lai,
2017,
2017 IEEE Biomedical Circuits and Systems Conference (BioCAS).
Jie-Hong Roland Jiang,
Pei-Wei Chen,
Yu-Ching Huang,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Jie-Hong Roland Jiang,
Yao-Wen Chang,
Run-Yi Wang,
2018,
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Jie-Hong Roland Jiang,
François Fages,
Wei-Chih Huang,
2019,
2019 IEEE Biomedical Circuits and Systems Conference (BioCAS).
Jie-Hong Roland Jiang,
Yi-Hsiang Lai,
Chi-Chuan Chuang,
2015,
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2016,
SAT.
Jie-Hong Roland Jiang,
Fang Yu,
Chun-Han Lin,
2016,
CAV.
Jie-Hong Roland Jiang,
Zi-Jun Lin,
Wei-Chih Huang,
2019,
2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL).
Jie-Hong Roland Jiang,
Valeriy Balabanov,
J. H. Jiang,
2011,
CAV.
Jie-Hong Roland Jiang,
Shih-Yu Chen,
Shih-Hao Liang,
2019,
ASP-DAC.
Jie-Hong Roland Jiang,
Fang Yu,
Tevfik Bultan,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Jie-Hong Roland Jiang,
Valeriy Balabanov,
Shuo-Ren Lin,
2016,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jie-Hong Roland Jiang,
Yi-Ting Chung,
2012,
DAC Design Automation Conference 2012.
Robert K. Brayton,
Jie-Hong Roland Jiang,
R. Brayton,
2004,
CAV.
Jie-Hong Roland Jiang,
Alan Mishchenko,
Chih-Chun Lee,
2007,
2007 IEEE/ACM International Conference on Computer-Aided Design.
Robert K. Brayton,
Jie-Hong Roland Jiang,
2003,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Jie-Hong Roland Jiang,
Yao-Wen Chang,
Szu-Jui Chou,
2007,
PATMOS.
Jie-Hong Roland Jiang,
Nian-Ze Lee,
Yen-Shi Wang,
2017,
IJCAI.
Jie-Hong Roland Jiang,
Kai-Hui Chang,
Ting-Wei Chiang,
2015,
2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Tiziano Villa,
Nina Yevtushenko,
Jie-Hong Roland Jiang,
2015,
Comput. J..
Tiziano Villa,
Robert K. Brayton,
Jie-Hong Roland Jiang,
2002,
Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic.
Jie-Hong Roland Jiang,
Kuan-Hsien Ho,
Xin-Wei Shih,
2012,
17th Asia and South Pacific Design Automation Conference.
Jie-Hong Roland Jiang,
Chia-Wei Chang,
Kai-Hui Chang,
2012,
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012).
Jie-Hong Roland Jiang,
François Fages,
Sylvain Soliman,
2015,
ACM Trans. Model. Comput. Simul..
Jie-Hong Roland Jiang,
Hui-Ju Katherine Chiang,
Valeriy Balabanov,
2012,
SAT.
Jie-Hong Roland Jiang,
Yi-Hsiang Lai,
Chi-Chuan Chuang,
2014,
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
Jie-Hong Roland Jiang,
Nian-Ze Lee,
Yen-Shi Wang,
2018,
IJCAI.
Jie-Hong Roland Jiang,
Valeriy Balabanov,
2012,
Formal Methods Syst. Des..
Jie-Hong Roland Jiang,
Nian-Ze Lee,
Yi-Hsiang Lai,
2016,
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
Ashutosh Gupta,
Bettina Könighofer,
2013,
2013 Formal Methods in Computer-Aided Design.
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2018,
DAC.
Jie-Hong Roland Jiang,
Victor N. Kravets,
Nian-Ze Lee,
2017,
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
Alan Mishchenko,
Chih-Chun Lee,
2010,
IEEE Transactions on Computers.
Jie-Hong Roland Jiang,
Cheng-En Wu,
Dah-Wei Chiou,
2007,
Quantum Inf. Process..
Jie-Hong Roland Jiang,
Magdalena Widl,
Valeriy Balabanov,
2014,
SAT.
Jie-Hong Roland Jiang,
Iris Hui-Ru Jiang,
1999,
1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
Jie-Hong Roland Jiang,
He-Teng Zhang,
2018,
DAC.
Tiziano Villa,
Robert K. Brayton,
Nina Yevtushenko,
2005,
Design, Automation and Test in Europe.
Jie-Hong Roland Jiang,
Cheng-Shen Han,
J. H. Jiang,
2012,
CAV.
Jie-Hong Roland Jiang,
Victor N. Kravets,
Nian-Ze Lee,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Jie-Hong Roland Jiang,
J. H. Jiang,
2005,
TACAS.
Jie-Hong Roland Jiang,
Alan Mishchenko,
Christoph Scholl,
2016,
AAAI Workshop: Beyond NP.
Jie-Hong Roland Jiang,
Shuo-Ren Lin,
Tsung-Po Liu,
2013,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jie-Hong Roland Jiang,
Chun-Ning Lai,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Jie-Hong Roland Jiang,
Yao-Wen Chang,
Hui-Ju Katherine Chiang,
2016,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jie-Hong Roland Jiang,
Li-Cheng Chen,
2019,
CP.
Jie-Hong Roland Jiang,
Christoph Scholl,
Ralf Wimmer,
2019,
AAAI.
Jie-Hong Roland Jiang,
Sz-Cheng Huang,
2008,
2008 IEEE International Conference on Computer Design.
Jie-Hong Roland Jiang,
Grace Wu,
Yi-Tin Sun,
2016,
2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2009,
FPGA '09.
Jie-Hong Roland Jiang,
De-An Huang,
Ruei-Yang Huang,
2012,
2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
Chia-Chih Chi,
2018,
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
Wei-Lun Hung,
Hsuan-Po Lin,
2009,
2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.
Jie-Hong Roland Jiang,
Kuan-Hua Tu,
Tzu-Chien Hsu,
2015,
SAT.
Jie-Hong Roland Jiang,
Hsuan-Po Lin,
Ruei-Rung Lee,
2008,
2008 IEEE/ACM International Conference on Computer-Aided Design.
Jie-Hong Roland Jiang,
Chen-Hsuan Lin,
Hsiou-Yuan Liu,
2011,
2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
François Fages,
Hui-Ju Katherine Chiang,
2014,
2014 IEEE Biomedical Circuits and Systems Conference (BioCAS) Proceedings.
Jie-Hong Roland Jiang,
Chun-Hong Shih,
2017,
2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).
Jie-Hong Roland Jiang,
Bo-Yuan Huang,
Yi-Hsiang Lai,
2015,
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
Chun-Ju Yang,
Bo-Han Wu,
2010,
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
Natalia Kushik,
Kuan-Hua Tu,
2017,
IEEE Transactions on Computers.
Jie-Hong Roland Jiang,
Hui-Ju Katherine Chiang,
Valeriy Balabanov,
2014,
Theor. Comput. Sci..
Jie-Hong Roland Jiang,
Wei-Lun Hung,
Ruei-Rung Lee,
2008,
2008 45th ACM/IEEE Design Automation Conference.
Jie-Hong Roland Jiang,
Jing-Yang Jou,
Juinn-Dar Huang,
1997,
Proceedings of ASP-DAC '97: Asia and South Pacific Design Automation Conference.
Jie-Hong Roland Jiang,
Fang Yu,
Min Hao Peng,
2020,
PACIS.
Jie-Hong Roland Jiang,
Fang Yu,
Shih-Yu Chen,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Jie-Hong Roland Jiang,
Hao Chen,
Shao-Chun Hung,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Jie-Hong Roland Jiang,
Yi-Hsiang Lai,
Chun-Hong Shih,
2015,
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Mikolás Janota,
Jie-Hong Roland Jiang,
Magdalena Widl,
2015,
AAAI.
Jie-Hong Roland Jiang,
Jing-Yang Jou,
Juinn-Dar Huang,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Jie-Hong Roland Jiang,
François Fages,
Hui-Ju Katherine Chiang,
2015,
2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
Jie-Hong Roland Jiang,
Kuo-Hua Wang,
Chih-Fan Lai,
2010,
Design Automation Conference.
Jie-Hong Roland Jiang,
Yao-Wen Chang,
Kuan-Hsien Ho,
2010,
2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC).
Jie-Hong Roland Jiang,
Siang-Yun Lee,
Nian-Ze Lee,
2018,
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
Wei-Lun Hung,
2007,
2007 IEEE/ACM International Conference on Computer-Aided Design.
Jie-Hong Roland Jiang,
Chen-Hsuan Lin,
Hsiou-Yuan Liu,
2012,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert K. Brayton,
Jie-Hong Roland Jiang,
2006,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jie-Hong Roland Jiang,
Yao-Wen Chang,
Hui-Ju Katherine Chiang,
2014,
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
Jie-Hong Roland Jiang,
Chien-Mo James Li,
Ko-Lung Yuan,
2013,
2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
Cheng-Yu Shih,
Chun-Hong Shih,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Jie-Hong Roland Jiang,
François Fages,
Sylvain Soliman,
2013,
CMSB.
Jie-Hong Roland Jiang,
Jing-Yang Jou,
Juinn-Dar Huang,
2001,
IEEE Trans. Very Large Scale Integr. Syst..
Jie-Hong Roland Jiang,
Kuo-Hua Wang,
Chih-Fan Lai,
2010,
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Jie-Hong Roland Jiang,
Pei-Wei Chen,
Yu-Ching Huang,
2021,
AAAI.
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Nina Yevtushenko,
Jie-Hong Roland Jiang,
Natalia Kushik,
2021
.
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2016
.