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 Serials 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 and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 43 Publications have been cited 1,406 times in 913 Documents Cited by ▼ Year ▼ Temporal and modal logic. Zbl 0900.03030Emerson, E. Allen 264 1990 Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027Clarke, E. M.; Emerson, E. A.; Sistla, A. P. 246 1986 “Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020Emerson, E. Allen; Halpern, Joseph Y. 143 1986 Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 0546.68014Clarke, Edmund M.; Emerson, E. Allen 92 1982 Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051Emerson, E. Allen; Halpern, Joseph Y. 75 1985 Using branching time temporal logic to synthesize synchronization skeletons. Zbl 0514.68032Emerson, E. Allen; Clarke, Edmund M. 66 1982 On model checking for the \(\mu\)-calculus and its fragments. Zbl 0973.68120Emerson, E. A.; Jutla, C. S.; Sistla, A. P. 55 2001 Deciding full branching time logic. Zbl 0593.03007Emerson, E. Allen; Sistla, A. Prasad 52 1984 An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023Streett, Robert S.; Emerson, E. Allen 47 1989 The complexity of tree automata and logics of programs. Zbl 0937.68074Emerson, E. Allen; Jutla, Charanjit S. 45 1999 Modalities for model checking: Branching time logic strikes back. Zbl 0615.68019Emerson, E. Allen; Lei, Chin-Laung 39 1987 Characterizing correctness properties of parallel programs using fixpoints. Zbl 0456.68016Emerson, E. Allen; Clarke, Edmund M. 36 1980 On reasoning about rings. Zbl 1101.68371Emerson, E. Allen; Namjoshi, Kedar S. 27 2003 Reducing model checking of the many to the few. Zbl 0963.68109Emerson, E. Allen; Kahlon, Vineet 22 2000 Model checking and the Mu-calculus. Zbl 0877.03020Emerson, E. Allen 22 1997 Quantitative temporal reasoning. Zbl 0765.68121Emerson, E. Allen; Mok, A. K.; Sistla, A. P.; Srinivasan, Jai 21 1991 On model checking for non-deterministic infinite-state systems. Zbl 0945.68523Emerson, E. Allen; Namjoshi, Kedar S. 20 1998 Automata, tableaux, and temporal logics. Zbl 0603.03005Emerson, E. Allen 17 1985 Alternative semantics for temporal logics. Zbl 0559.68050Emerson, E. Allen 17 1983 The propositional mu-calculus is elementary. Zbl 0556.68005Streett, Robert S.; Emerson, E. Allen 14 1984 Parameterized model checking of ring-based message passing systems. Zbl 1095.68051Emerson, E. Allen; Kahlon, Vineet 7 2004 Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 1142.68431Clarke, Edmund M.; Emerson, E. Allen 6 2008 Dynamic symmetry reduction. Zbl 1087.68587Emerson, E. Allen; Wahl, Thomas 6 2005 Exact and efficient verification of parameterized cache coherence protocols. Zbl 1179.68013Emerson, E. Allen; Kahlon, Vineet 6 2003 From asymmetry to full symmetry: New techniques for symmetry reduction in model checking. Zbl 0957.68067Emerson, E. Allen; Trefler, Richard J. 6 1999 Branching time temporal logic. (Tutorial). Zbl 0683.68013Emerson, E. Allen; Srinivasan, Jai 6 1989 Rapid parameterized model checking of snoopy cache coherence protocols. Zbl 1031.68548Emerson, E. Allen; Kahlon, Vineet 5 2003 Model checking large-scale and parameterized resource allocation systems. Zbl 1043.68569Emerson, E. Allen; Kahlon, Vineet 5 2002 The beginning of model checking: a personal perspective. Zbl 1142.68047Emerson, E. Allen 4 2008 Automatic verification of parameterized data structures. Zbl 1180.68126Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek 4 2006 Abstract patterns of compositional reasoning. Zbl 1274.68217Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard 4 2003 Synthesis of fault-tolerant concurrent programs. Zbl 1333.68080Arora, Anish; Attie, Paul C.; Emerson, E. Allen 4 1998 Temporal reasoning under generalized fairness constraints. Zbl 0614.03023Emerson, E. Allen; Lei, Chin-Laung 4 1986 On combining symmetry reduction and symbolic representation for efficient model checking. Zbl 1179.68082Emerson, E. Allen; Wahl, Thomas 3 2003 On simultaneously determinizing and complementing \(\omega\)-automata. Zbl 0716.03035Emerson, E. Allen; Jutla, Charanjit S. 3 1989 Assume-guarantee based compositional reasoning for synchronous timing diagrams. Zbl 0978.68537Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard 2 2001 Synthesis of concurrent systems for an atomic read/atomic write model of computation. Zbl 1321.68342Attie, Paul C.; Emerson, E. Allen 2 1996 Efficient temporal satisfiability. Zbl 0767.03013Emerson, E. Allen; Sadler, Tom; Srinivasan, Jai 2 1992 Uniform inevitability is tree automaton ineffable. Zbl 0653.68079Emerson, E. Allen 2 1987 Deciding branching time logic: A triple exponential decision procedure for \(CTL^*\). Zbl 0559.68052Emerson, E. Allen; Sistla, A. Prasad 2 1984 Molecular model checking. Zbl 1096.68090Emerson, E. Allen; Hager, Kristina D.; Konieczka, Jay H. 1 2006 Visual specifications for modular reasoning about asynchronous systems. Zbl 1037.68506Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar S.; Trefler, Richard J. 1 2002 Using temporal logic for automatic verification of finite state systems. Zbl 0582.68009Clarke, E. M.; Browne, M. C.; Emerson, E. A.; Sistla, A. P. 1 1985 Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 1142.68431Clarke, Edmund M.; Emerson, E. Allen 6 2008 The beginning of model checking: a personal perspective. Zbl 1142.68047Emerson, E. Allen 4 2008 Automatic verification of parameterized data structures. Zbl 1180.68126Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek 4 2006 Molecular model checking. Zbl 1096.68090Emerson, E. Allen; Hager, Kristina D.; Konieczka, Jay H. 1 2006 Dynamic symmetry reduction. Zbl 1087.68587Emerson, E. Allen; Wahl, Thomas 6 2005 Parameterized model checking of ring-based message passing systems. Zbl 1095.68051Emerson, E. Allen; Kahlon, Vineet 7 2004 On reasoning about rings. Zbl 1101.68371Emerson, E. Allen; Namjoshi, Kedar S. 27 2003 Exact and efficient verification of parameterized cache coherence protocols. Zbl 1179.68013Emerson, E. Allen; Kahlon, Vineet 6 2003 Rapid parameterized model checking of snoopy cache coherence protocols. Zbl 1031.68548Emerson, E. Allen; Kahlon, Vineet 5 2003 Abstract patterns of compositional reasoning. Zbl 1274.68217Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard 4 2003 On combining symmetry reduction and symbolic representation for efficient model checking. Zbl 1179.68082Emerson, E. Allen; Wahl, Thomas 3 2003 Model checking large-scale and parameterized resource allocation systems. Zbl 1043.68569Emerson, E. Allen; Kahlon, Vineet 5 2002 Visual specifications for modular reasoning about asynchronous systems. Zbl 1037.68506Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar S.; Trefler, Richard J. 1 2002 On model checking for the \(\mu\)-calculus and its fragments. Zbl 0973.68120Emerson, E. A.; Jutla, C. S.; Sistla, A. P. 55 2001 Assume-guarantee based compositional reasoning for synchronous timing diagrams. Zbl 0978.68537Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard 2 2001 Reducing model checking of the many to the few. Zbl 0963.68109Emerson, E. Allen; Kahlon, Vineet 22 2000 The complexity of tree automata and logics of programs. Zbl 0937.68074Emerson, E. Allen; Jutla, Charanjit S. 45 1999 From asymmetry to full symmetry: New techniques for symmetry reduction in model checking. Zbl 0957.68067Emerson, E. Allen; Trefler, Richard J. 6 1999 On model checking for non-deterministic infinite-state systems. Zbl 0945.68523Emerson, E. Allen; Namjoshi, Kedar S. 20 1998 Synthesis of fault-tolerant concurrent programs. Zbl 1333.68080Arora, Anish; Attie, Paul C.; Emerson, E. Allen 4 1998 Model checking and the Mu-calculus. Zbl 0877.03020Emerson, E. Allen 22 1997 Synthesis of concurrent systems for an atomic read/atomic write model of computation. Zbl 1321.68342Attie, Paul C.; Emerson, E. Allen 2 1996 Efficient temporal satisfiability. Zbl 0767.03013Emerson, E. Allen; Sadler, Tom; Srinivasan, Jai 2 1992 Quantitative temporal reasoning. Zbl 0765.68121Emerson, E. Allen; Mok, A. K.; Sistla, A. P.; Srinivasan, Jai 21 1991 Temporal and modal logic. Zbl 0900.03030Emerson, E. Allen 264 1990 An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023Streett, Robert S.; Emerson, E. Allen 47 1989 Branching time temporal logic. (Tutorial). Zbl 0683.68013Emerson, E. Allen; Srinivasan, Jai 6 1989 On simultaneously determinizing and complementing \(\omega\)-automata. Zbl 0716.03035Emerson, E. Allen; Jutla, Charanjit S. 3 1989 Modalities for model checking: Branching time logic strikes back. Zbl 0615.68019Emerson, E. Allen; Lei, Chin-Laung 39 1987 Uniform inevitability is tree automaton ineffable. Zbl 0653.68079Emerson, E. Allen 2 1987 Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027Clarke, E. M.; Emerson, E. A.; Sistla, A. P. 246 1986 “Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020Emerson, E. Allen; Halpern, Joseph Y. 143 1986 Temporal reasoning under generalized fairness constraints. Zbl 0614.03023Emerson, E. Allen; Lei, Chin-Laung 4 1986 Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051Emerson, E. Allen; Halpern, Joseph Y. 75 1985 Automata, tableaux, and temporal logics. Zbl 0603.03005Emerson, E. Allen 17 1985 Using temporal logic for automatic verification of finite state systems. Zbl 0582.68009Clarke, E. M.; Browne, M. C.; Emerson, E. A.; Sistla, A. P. 1 1985 Deciding full branching time logic. Zbl 0593.03007Emerson, E. Allen; Sistla, A. Prasad 52 1984 The propositional mu-calculus is elementary. Zbl 0556.68005Streett, Robert S.; Emerson, E. Allen 14 1984 Deciding branching time logic: A triple exponential decision procedure for \(CTL^*\). Zbl 0559.68052Emerson, E. Allen; Sistla, A. Prasad 2 1984 Alternative semantics for temporal logics. Zbl 0559.68050Emerson, E. Allen 17 1983 Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 0546.68014Clarke, Edmund M.; Emerson, E. Allen 92 1982 Using branching time temporal logic to synthesize synchronization skeletons. Zbl 0514.68032Emerson, E. Allen; Clarke, Edmund M. 66 1982 Characterizing correctness properties of parallel programs using fixpoints. Zbl 0456.68016Emerson, E. Allen; Clarke, Edmund M. 36 1980 all cited Publications top 5 cited Publications all top 5 Cited by 1,386 Authors 23 Vardi, Moshe Y. 17 Duan, Zhenhua 16 Kupferman, Orna 16 Wooldridge, Michael J. 15 Murano, Aniello 15 Pnueli, Amir 15 Tian, Cong 14 Lange, Martin 12 Bozzelli, Laura 12 Walukiewicz, Igor 11 Laroussinie, François 11 Zhang, Nan 10 Baier, Christel 10 Clarke, Edmund Melson jun. 10 Dixon, Clare 10 Henzinger, Thomas A. 10 Peled, Doron A. 9 Finkel, Alain 9 Reynolds, Mark Alexander 9 van der Hoek, Wiebe 8 Markey, Nicolas 8 Mogavero, Fabio 8 Montanari, Angelo 7 Abdulla, Parosh Aziz 7 Chatterjee, Krishnendu 7 Demri, Stéphane P. 7 Emerson, Ernest Allen 7 Gnesi, Stefania 7 Grumberg, Orna 7 Halpern, Joseph Yehuda 7 Jamroga, Wojciech 7 Pinchinat, Sophie 7 Piterman, Nir 7 Schewe, Sven 6 Bolotov, Alexander 6 Bouyer, Patricia 6 Castro, Pablo F. 6 Goranko, Valentin F. 6 Gutierrez, Julian 6 Kesten, Yonit 6 McCabe-Dansted, John Christopher 6 Meier, Arne 6 Perelli, Giuseppe 6 Peron, Adriano 6 Rubin, Sasha 5 Ågotnes, Thomas 5 De Giacomo, Giuseppe 5 Fantechi, Alessandro 5 Fisher, Michael E. 5 Fisher, Michael W. 5 Hustadt, Ullrich 5 Kamide, Norihiro 5 Kwiatkowska, Marta Z. 5 La Torre, Salvatore 5 Larsen, Kim Guldstrand 5 Maibaum, Thomas Stephen Edward 5 Mandrioli, Dino 5 Miller, Alice Ann 5 Penczek, Wojciech 5 Rabinovich, Alexander 5 Raskin, Jean-François 5 Santocanale, Luigi 5 Schnoebelen, Ph 5 Sorrentino, Loredana 5 Vojnar, Tomáš 4 Aceto, Luca 4 Alechina, Natasha 4 Aminof, Benjamin 4 Arnold, André 4 Attie, Paul C. 4 Benerecetti, Massimo 4 Bensalem, Saddek 4 Björklund, Henrik 4 Bollig, Benedikt 4 Bradfield, Julian Charles 4 Broersen, Jan M. 4 Chakrabarti, Partha Pratim 4 Cîrstea, Corina 4 Dam, Mads 4 Dasgupta, Pallab 4 Donaldson, Alastair F. 4 Eiter, Thomas 4 Friedmann, Oliver 4 Gastin, Paul 4 Habermehl, Peter 4 Katoen, Joost-Pieter 4 Klein, Joachim 4 Klüppelholz, Sascha 4 Konnov, Igor V. 4 Kucera, Antonin 4 Logan, Brian 4 Masini, Andrea 4 Molinari, Alberto 4 Niwiński, Damian 4 Pradella, Matteo 4 Sala, Pietro 4 Schnoebelen, Philippe 4 Schuppan, Viktor 4 Sciavicco, Guido 4 Sifakis, Joseph ...and 1,286 more Authors all top 5 Cited in 91 Serials 150 Theoretical Computer Science 73 Information and Computation 50 Formal Methods in System Design 34 Journal of Computer and System Sciences 31 Formal Aspects of Computing 30 Artificial Intelligence 26 Acta Informatica 23 Information Processing Letters 22 The Journal of Logic and Algebraic Programming 18 Journal of Applied Logic 15 Annals of Mathematics and Artificial Intelligence 14 Annals of Pure and Applied Logic 14 Journal of Automated Reasoning 12 Studia Logica 10 ACM Transactions on Computational Logic 9 Science of Computer Programming 9 International Journal of Foundations of Computer Science 9 Journal of Applied Non-Classical Logics 8 Synthese 8 Journal of Computer Science and Technology 8 Journal of Logic, Language and Information 8 RAIRO. Theoretical Informatics and Applications 7 Journal of Symbolic Computation 7 Logical Methods in Computer Science 7 Journal of Logical and Algebraic Methods in Programming 6 Information Sciences 6 Programming and Computer Software 6 Distributed Computing 5 Journal of Philosophical Logic 5 Discrete Event Dynamic Systems 5 The Bulletin of Symbolic Logic 5 Theory of Computing Systems 4 Mathematical and Computer Modelling 4 MSCS. Mathematical Structures in Computer Science 4 Sādhanā 3 Discrete Applied Mathematics 3 Automatica 3 The Journal of Symbolic Logic 3 Algorithmica 3 European Journal of Control 3 Computer Languages, Systems & Structures 3 Science China. Information Sciences 2 Fuzzy Sets and Systems 2 Topology and its Applications 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 RAIRO. Informatique Théorique et Applications 2 Vestnik St. Petersburg University. Mathematics 2 Journal of Combinatorial Optimization 2 International Journal of Applied Mathematics and Computer Science 2 Journal of Applied Mathematics 2 Mathematics in Computer Science 2 RAIRO. Theoretical Informatics and Applications 2 Frontiers of Computer Science in China 2 Frontiers of Computer Science 2 Computer Science Review 1 ACM Computing Surveys 1 Computers & Mathematics with Applications 1 Discrete Mathematics 1 International Journal of Control 1 International Journal of General Systems 1 International Journal of Theoretical Physics 1 Lithuanian Mathematical Journal 1 International Journal of Game Theory 1 Journal of Combinatorial Theory. Series B 1 Journal of Mathematical Economics 1 Journal of Soviet Mathematics 1 Notre Dame Journal of Formal Logic 1 RAIRO, Informatique Théorique 1 SIAM Journal on Computing 1 Software. Practice & Experience 1 Systems & Control Letters 1 International Journal of Parallel Programming 1 Computers & Operations Research 1 International Journal of Approximate Reasoning 1 Real-Time Systems 1 International Journal of Algebra and Computation 1 Automation and Remote Control 1 International Journal of Computer Mathematics 1 Archive for Mathematical Logic 1 Foundations of Computing and Decision Sciences 1 Archives of Control Sciences 1 Mathematical Logic Quarterly (MLQ) 1 Journal of the ACM 1 Higher-Order and Symbolic Computation 1 Electronic Commerce Research 1 Theory and Practice of Logic Programming 1 International Journal of Parallel, Emergent and Distributed Systems 1 Electronic Notes in Theoretical Computer Science 1 Algorithms 1 Symmetry 1 Asian Journal of Control all top 5 Cited in 23 Fields 815 Computer science (68-XX) 412 Mathematical logic and foundations (03-XX) 67 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 26 Systems theory; control (93-XX) 14 Biology and other natural sciences (92-XX) 13 Combinatorics (05-XX) 11 Operations research, mathematical programming (90-XX) 10 Information and communication theory, circuits (94-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 5 Quantum theory (81-XX) 4 General topology (54-XX) 3 Category theory; homological algebra (18-XX) 3 Group theory and generalizations (20-XX) 3 Functional analysis (46-XX) 2 History and biography (01-XX) 2 Probability theory and stochastic processes (60-XX) 2 Numerical analysis (65-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.