Xianghua Deng

6 papers and 57 indexed citations i.

Xianghua Deng has authored 6 papers that have received a total of 57 indexed citations. This includes 4 papers in Artificial Intelligence, 2 papers in Sociology and Political Science and 2 papers in Computational Theory and Mathematics. The topics of these papers are Privacy-Preserving Technologies in Data (2 papers), Embedded Systems Design Techniques (2 papers) and Formal Methods in Verification (2 papers). Xianghua Deng is often cited by papers focused on Privacy-Preserving Technologies in Data (2 papers), Embedded Systems Design Techniques (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States, China and South Korea. Xianghua Deng's co-authors include Robby, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno and Thang Nguyen Bui and has published in prestigious journals such as IEEE Transactions on Evolutionary Computation, Lecture notes in computer science and Automated Software Engineering