Shengchao Qin

77 papers and 558 indexed citations i.

About

Shengchao Qin has authored 77 papers that have received a total of 558 indexed citations. This includes 41 papers in Computational Theory and Mathematics, 40 papers in Artificial Intelligence and 24 papers in Software. The topics of these papers are Formal Methods in Verification (39 papers), Logic, programming, and type systems (23 papers) and Software Testing and Debugging Techniques (20 papers). Shengchao Qin is often cited by papers focused on Formal Methods in Verification (39 papers), Logic, programming, and type systems (23 papers) and Software Testing and Debugging Techniques (20 papers) and collaborates with scholars based in United Kingdom, China and Singapore. Shengchao Qin's co-authors include Wei-Ngan Chin, Huibiao Zhu, Huu Hai Nguyen, Yifeng Zeng and Yang Liu and has published in prestigious journals such as Expert Systems with Applications, IEEE Transactions on Software Engineering and IEEE Transactions on Reliability

In The Last Decade

Rankless by CCL
2025