Shuling Wang

18 papers and 199 indexed citations i.

Shuling Wang has authored 18 papers that have received a total of 199 indexed citations. This includes 13 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 6 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (13 papers), Model-Driven Software Engineering Techniques (5 papers) and Embedded Systems Design Techniques (5 papers). Shuling Wang is often cited by papers focused on Formal Methods in Verification (13 papers), Model-Driven Software Engineering Techniques (5 papers) and Embedded Systems Design Techniques (5 papers) and collaborates with scholars based in China, France and Portugal. Shuling Wang's co-authors include Naijun Zhan, Jean-Pierre Talpin, Xiong Xu, Lu­ís Soares Barbosa and Lejun Zhang and has published in prestigious journals such as Neurocomputing, Ore Geology Reviews and Theoretical Computer Science.