Chung-Hao Huang

发表

Farn Wang, Chung-Hao Huang, Fang Yu, 2011, CONCUR.

Farn Wang, Chung-Hao Huang, Jung-Hsuan Wu, 2013, ArXiv.

Cheng-Yuan Chang, Chung-Hao Huang, Lun-Hui Lee, 2013, The SICE Annual Conference 2013.

Cheng-Yuan Chang, Chung-Hao Huang, Lun-Hui Lee, 2014, IEEE Transactions on Industrial Electronics.

Cheng-Yuan Chang, Chung-Hao Huang, Yu-Hsiang Hung, 2016, 2016 International Conference on System Science and Engineering (ICSSE).

Farn Wang, Chung-Hao Huang, Shang-Yi Huang, 2015, 2015 IEEE International Conference on Progress in Informatics and Computing (PIC).

Cheng-Yuan Chang, Chung-Hao Huang, Chiung-Wei Huang, 2018 .

Chung-Hao Huang, Chih-Hong Cheng, Hirotoshi Yasuoka, 2018, ATVA.

Chung-Hao Huang, Chih-Hong Cheng, Georg Nührenberg, 2018, ArXiv.

Chung-Hao Huang, Chih-Hong Cheng, Georg Nührenberg, 2018, 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Farn Wang, Chung-Hao Huang, Jung-Hsuan Wu, 2011, FASE.

Cheng-Yuan Chang, Chung-Hao Huang, Lun-Hui Lee, 2013, 2013 International Conference on System Science and Engineering (ICSSE).

Farn Wang, Chung-Hao Huang, Sven Schewe, 2016, IEEE Transactions on Software Engineering.

Chung-Hao Huang, Stefan Hauck-Stattelmann, Chih-Hong Cheng, 2014, CAV.

Chung-Hao Huang, Lun-Hui Lee, Ming-Shing Lin, 2013, 2013 9th International Conference on Information, Communications & Signal Processing.

Farn Wang, Chung-Hao Huang, Sven Schewe, 2015, TOPL.

Chung-Hao Huang, Chih-Hong Cheng, Thomas Brunner, 2019, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Cheng-Chieh Chang, Farn Wang, Chung-Hao Huang, 2013, APLAS.

Chung-Hao Huang, Shwu-Jing Chang, Shih-Ming Chang, 2015, 2015 International Carnahan Conference on Security Technology (ICCST).

Farn Wang, Chung-Hao Huang, Sven Schewe, 2013, TACAS.

Chung-Hao Huang, Chih-Hong Cheng, Georg Nührenberg, 2018, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).

Chung-Hao Huang, Chian C. Ho, Lun-Hui Lee, 2015, IEEE Transactions on Instrumentation and Measurement.

Farn Wang, Chung-Hao Huang, Sven Schewe, 2012, GandALF.

Farn Wang, Chung-Hao Huang, Sven Schewe, 2013, Acta Informatica.

Chung-Hao Huang, Chih-Hong Cheng, Georg Nührenberg, 2017, VSTTE.