Chung-Hao Huang
About
Chung-Hao Huang has authored 10 papers that have received a total of 241 indexed citations.
This includes 5 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 2 papers in Mechanical Engineering. The topics of these papers are Formal Methods in Verification (4 papers), Logic, Reasoning, and Knowledge (2 papers) and Software Reliability and Analysis Research (2 papers). Chung-Hao Huang is often cited by papers focused on Formal Methods in Verification (4 papers), Logic, Reasoning, and Knowledge (2 papers) and Software Reliability and Analysis Research (2 papers) and collaborates with scholars based in Taiwan, United Kingdom and Israel. Chung-Hao Huang's co-authors include Farn Wang, Doron Peled, Sven Schewe, Georg Nührenberg and Chih-Hong Cheng and has published in prestigious journals such as IEEE Transactions on Industrial Electronics, IEEE Transactions on Software Engineering and IEEE Transactions on Instrumentation and Measurement
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Michael Laimighofer are about Top authors papers by Tanina Arab are co-authored with Top fields papers by James W. Gladden are about Top journals papers by Byeong-Hwa Lee are published in Top fields papers by Luca Rosati are about Top countries impacted by papers by Kuan-Cheng Wu Top journals papers by Hélène Tardy are published in Top fields papers by Solenne Marie are about