Zhe Dang
About
Zhe Dang has authored 34 papers that have received a total of 202 indexed citations.
This includes 27 papers in Computational Theory and Mathematics, 15 papers in Artificial Intelligence and 9 papers in Software. The topics of these papers are Formal Methods in Verification (16 papers), semigroups and automata theory (15 papers) and Logic, programming, and type systems (11 papers). Zhe Dang is often cited by papers focused on Formal Methods in Verification (16 papers), semigroups and automata theory (15 papers) and Logic, programming, and type systems (11 papers) and collaborates with scholars based in United States, China and Japan. Zhe Dang's co-authors include Óscar H. Ibarra, Richard A. Kemmerer, T.R. Fischer, Pierluigi San Pietro and Tevfik Bultan and has published in prestigious journals such as IEEE/ACM Transactions on Networking, IEEE Transactions on Mobile Computing and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Piotr Czech are published in Top countries impacted by papers by Nutta Taneepanichskul Top fields papers by Shiyang Ma are about Top countries impacted by papers by Yasuo Nakata Top authors papers by José Luis Rodríguez Illera are co-authored with Top countries impacted by papers by Vinoi George David Top journals papers by Willem Van Zandweghe are published in Top fields papers by Donald C. Stewart are about