E. Allen Emerson
About
E. Allen Emerson has authored 38 papers that have received a total of 3.0k indexed citations.
This includes 33 papers in Computational Theory and Mathematics, 25 papers in Artificial Intelligence and 15 papers in Software. The topics of these papers are Formal Methods in Verification (33 papers), Logic, programming, and type systems (24 papers) and Software Testing and Debugging Techniques (9 papers). E. Allen Emerson is often cited by papers focused on Formal Methods in Verification (33 papers), Logic, programming, and type systems (24 papers) and Software Testing and Debugging Techniques (9 papers) and collaborates with scholars based in United States, The Netherlands and France. E. Allen Emerson's co-authors include A. Prasad Sistla, Charanjit S. Jutla, Paul C. Attie, Shobha Vasudevan and Edmund M. Clarke and has published in prestigious journals such as Communications of the ACM, Journal of the ACM and SIAM Journal on Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Randy Thresher are co-authored with Top fields papers by Y. Copin are about Top fields papers by H. Igor Ansoff are about Top countries impacted by papers by Alexander T. Chesler Top journals papers by Lin‐P'ing Choo‐Smith are published in Top authors papers by Marcel van Duin are co-authored with Top countries impacted by papers by Johannes Schlöndorff Top fields papers by Chantelle M. Wolpert are about