Yanhong Huang

33 papers and 143 indexed citations i.

Yanhong Huang has authored 33 papers that have received a total of 143 indexed citations. This includes 13 papers in Computational Theory and Mathematics, 11 papers in Software and 9 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (10 papers), Software Testing and Debugging Techniques (8 papers) and Real-Time Systems Scheduling (8 papers). Yanhong Huang is often cited by papers focused on Formal Methods in Verification (10 papers), Software Testing and Debugging Techniques (8 papers) and Real-Time Systems Scheduling (8 papers) and collaborates with scholars based in China, Australia and United Kingdom. Yanhong Huang's co-authors include Jianqi Shi, Gang Zhu, Xiaoping Liu and Luonan Chen and has published in prestigious journals such as Gene, BMC Bioinformatics and IEEE Access