William N. N. Hung

62 papers and 574 indexed citations i.

William N. N. Hung has authored 62 papers that have received a total of 574 indexed citations. This includes 34 papers in Computational Theory and Mathematics, 22 papers in Electrical and Electronic Engineering and 21 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (21 papers), Quantum Computing Algorithms and Architecture (13 papers) and VLSI and Analog Circuit Testing (11 papers). William N. N. Hung is often cited by papers focused on Formal Methods in Verification (21 papers), Quantum Computing Algorithms and Architecture (13 papers) and VLSI and Analog Circuit Testing (11 papers) and collaborates with scholars based in United States, China and Switzerland. William N. N. Hung's co-authors include Xiaoyu Song, Guowu Yang, Ming Gu, Marek Perkowski and Jiaguang Sun and has published in prestigious journals such as IEEE Transactions on Industrial Electronics, IEEE Access and IEEE Transactions on Computers