Yunshan Zhu
About
Yunshan Zhu has authored 12 papers that have received a total of 603 indexed citations.
This includes 10 papers in Computational Theory and Mathematics, 5 papers in Software and 3 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (10 papers), Software Testing and Debugging Techniques (4 papers) and Logic, programming, and type systems (3 papers). Yunshan Zhu is often cited by papers focused on Formal Methods in Verification (10 papers), Software Testing and Debugging Techniques (4 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in United States, Switzerland and Germany. Yunshan Zhu's co-authors include Armin Biere, E. M. Clarke, David A. Plaisted, Edmund M. Clarke and James Kukula and has published in prestigious journals such as Bioinformatics, Discrete Applied Mathematics and Journal of Automated Reasoning
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Léa Desigaux are about Top journals papers by Lauren C. Harte‐Hargrove are published in Top countries impacted by papers by Sami Saarinen Top fields papers by Kannan Ponnusamy are about Top fields papers by Eung‐Jun Im are about Top journals papers by Ann Cahill are published in Top countries impacted by papers by Leeyah Issop Top authors papers by Leszek Znak are co-authored with