Wen Su

16 papers and 145 indexed citations i.

Wen Su has authored 16 papers that have received a total of 145 indexed citations. This includes 8 papers in Computational Theory and Mathematics, 4 papers in Molecular Biology and 3 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (8 papers), Muon and positron interactions and applications (3 papers) and Petri Nets in System Modeling (3 papers). Wen Su is often cited by papers focused on Formal Methods in Verification (8 papers), Muon and positron interactions and applications (3 papers) and Petri Nets in System Modeling (3 papers) and collaborates with scholars based in China, United States and United Kingdom. Wen Su's co-authors include Roger B. Gregory, Huibiao Zhu, Jean-Raymond Abrial, Richard Banach and R. K. Gilpin and has published in prestigious journals such as Biopolymers, Nuclear Instruments and Methods in Physics Research Section B Beam Interactions with Materials and Atoms and IEEE Transactions on Reliability