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 countries impacted by papers by AA Colletta Top authors papers by Laurence Borgs are co-authored with Top authors papers by Hadas Ner‐Gaon are co-authored with Top journals papers by J.F. Jones are published in Top fields papers by Judith Thornton are about Top authors papers by S. I. Foundling are co-authored with Top journals papers by Richard Schauffler are published in Top authors papers by L.M. Taylor are co-authored with