Alan J. Hu

50 papers and 728 indexed citations i.

Alan J. Hu has authored 50 papers that have received a total of 728 indexed citations. This includes 29 papers in Computational Theory and Mathematics, 24 papers in Hardware and Architecture and 17 papers in Software. The topics of these papers are Formal Methods in Verification (28 papers), VLSI and Analog Circuit Testing (14 papers) and Software Testing and Debugging Techniques (13 papers). Alan J. Hu is often cited by papers focused on Formal Methods in Verification (28 papers), VLSI and Analog Circuit Testing (14 papers) and Software Testing and Debugging Techniques (13 papers) and collaborates with scholars based in Canada, United States and United Kingdom. Alan J. Hu's co-authors include Holger H. Hoos, Domagoj Babić, Steven J. E. Wilton and Flavio M. De Paula and has published in prestigious journals such as Proceedings of the IEEE, Artificial Intelligence and IEEE Transactions on Computers