Yuan Yu

15 papers and 204 indexed citations i.

Yuan Yu has authored 15 papers that have received a total of 204 indexed citations. This includes 6 papers in Software, 5 papers in Computational Theory and Mathematics and 5 papers in Information Systems. The topics of these papers are Software Testing and Debugging Techniques (5 papers), Formal Methods in Verification (3 papers) and Parallel Computing and Optimization Techniques (3 papers). Yuan Yu is often cited by papers focused on Software Testing and Debugging Techniques (5 papers), Formal Methods in Verification (3 papers) and Parallel Computing and Optimization Techniques (3 papers) and collaborates with scholars based in United States, China and Türkiye. Yuan Yu's co-authors include Xiaorui Li, Long Chen, Lucian Popa and Mark Gabel and has published in prestigious journals such as Applied Soft Computing, Knowledge-Based Systems and Applied Sciences.