Edit Profile Emerson, Ernest Allen Compute Distance To: Compute Author ID: emerson.e-allen Published as: Emerson, E. A.; Emerson, E. Allen Homepage: http://www.cs.utexas.edu/~emerson/ External Links: MGP · Wikidata · dblp · GND Awards: Turing Award (2007) Documents Indexed: 56 Publications since 1980, including 2 Books all top 5 Co-Authors 8 single-authored 7 Namjoshi, Kedar S. 7 Sistla, Aravinda Prasad 6 Clarke, Edmund Melson jun. 5 Kahlon, Vineet 5 Trefler, Richard J. 4 Amla, Nina 4 Iyer, Subramanian K. 4 Jain, Jawahar 4 Sahoo, Debashis 3 Jutla, Charanjit S. 3 Srinivasan, Jai 3 Wahl, Thomas 2 Attie, Paul C. 2 Dill, David L. 2 Halpern, Joseph Yehuda 2 Lei, Chin-Laung 2 Streett, Robert S. 1 Abraham, Jacob A. 1 Arora, Anish 1 Browne, Michael C. 1 Deshmukh, Jyotirmoy V. 1 Gupta, Prateek 1 Hager, Kristina D. 1 Konieczka, Jay H. 1 Kurshan, Robert P. 1 Mok, Aloysius K.-L. 1 Narayan, Amit 1 Sadler, Tom 1 Samanta, Roopsha 1 Stangier, Christian 1 Vasudevan, Shobha all top 5 Journals 2 Theoretical Computer Science 2 Science of Computer Programming 2 International Journal of Foundations of Computer Science 2 Lecture Notes in Computer Science 1 Information Processing Letters 1 Information and Control 1 Journal of the Association for Computing Machinery 1 Journal of Computer and System Sciences 1 SIAM Journal on Computing 1 ACM Transactions on Programming Languages and Systems 1 Information and Computation 1 Journal of Logic and Computation Fields 52 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 2 General mathematics (00-XX) Publications by Year Citations contained in zbMATH Access to citation profile requires subscription Wikidata Timeline