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 journals papers by Ján Vaščák are published in Top authors papers by Kiho Lim are co-authored with Top authors papers by George M. Lewis are co-authored with Top journals papers by Tim Oliver are published in Top authors papers by Daniel I. O’Neill are co-authored with Top journals papers by S Yoshida are published in Top countries impacted by papers by Frederick B. Artz Top fields papers by Hartmut Pohlheim are about