Wen Su
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Lori Williamson are about Top journals papers by Ruth Gilmore are published in Top fields papers by Shengxian Tu are about Top countries impacted by papers by Jenny Wood Top authors papers by Richard Parker are co-authored with Top authors papers by Robin Hui Huang are co-authored with Top authors papers by Tim Laue are co-authored with Top fields papers by Tommaso Bocchetti are about