Hong-Yi Chen
发表
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
ArXiv.
Jui-Che Tu,
Hong-Yi Chen,
Chuan-Ying Hsu,
2015
.
Jui-Che Tu,
Hong-Yi Chen,
Chuan-Ying Hsu,
2015
.
Hong-Yi Chen,
陳弘毅,
2012
.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
D. Y. Sha,
Hong-Yi Chen,
Sheng-Yuan Hsu,
2016
.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2017,
TOPL.
Jui-Che Tu,
Hong-Yi Chen,
2013
.
Hong-Yi Chen,
Chang-Shu Tsai,
2013
.
Jui-Che Tu,
Hong-Yi Chen,
Kun-Chieh Wang,
2017
.
Chiou-Shann Fuh,
Hong-Yi Chen,
Tzu-Chia Tung,
2017,
ISNN.
Synchronization of uncertain MEMS resonators via adaptive time-varying terminal sliding mode control
Hong-Yi Chen,
Hui-Cun Shen,
Chi-Hsin Yang,
2018,
Microsystem Technologies.