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 Zafeirios Fountas are published in Top journals papers by Jorge M. Cortés-Mendoza are published in Top authors papers by Reza Rezaeian Farashahi are co-authored with Top authors papers by Justin M. Andrews are co-authored with Top fields papers by María Elina Serra are about Top fields papers by K. S. Thyagarajan are about Top countries impacted by papers by Erkan Erdil Top authors papers by S. Bjeoumikhova are co-authored with