×

zbMATH — the first resource for mathematics

Emerson, Ernest Allen

Compute Distance To:
Author ID: emerson.e-allen Recent zbMATH articles by "Emerson, Ernest 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

Publications by Year

Citations contained in zbMATH

43 Publications have been cited 1,406 times in 913 Documents Cited by Year
Temporal and modal logic. Zbl 0900.03030
Emerson, E. Allen
264
1990
Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027
Clarke, E. M.; Emerson, E. A.; Sistla, A. P.
246
1986
“Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020
Emerson, E. Allen; Halpern, Joseph Y.
143
1986
Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 0546.68014
Clarke, Edmund M.; Emerson, E. Allen
92
1982
Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051
Emerson, E. Allen; Halpern, Joseph Y.
75
1985
Using branching time temporal logic to synthesize synchronization skeletons. Zbl 0514.68032
Emerson, E. Allen; Clarke, Edmund M.
66
1982
On model checking for the \(\mu\)-calculus and its fragments. Zbl 0973.68120
Emerson, E. A.; Jutla, C. S.; Sistla, A. P.
55
2001
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
52
1984
An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023
Streett, Robert S.; Emerson, E. Allen
47
1989
The complexity of tree automata and logics of programs. Zbl 0937.68074
Emerson, E. Allen; Jutla, Charanjit S.
45
1999
Modalities for model checking: Branching time logic strikes back. Zbl 0615.68019
Emerson, E. Allen; Lei, Chin-Laung
39
1987
Characterizing correctness properties of parallel programs using fixpoints. Zbl 0456.68016
Emerson, E. Allen; Clarke, Edmund M.
36
1980
On reasoning about rings. Zbl 1101.68371
Emerson, E. Allen; Namjoshi, Kedar S.
27
2003
Reducing model checking of the many to the few. Zbl 0963.68109
Emerson, E. Allen; Kahlon, Vineet
22
2000
Model checking and the Mu-calculus. Zbl 0877.03020
Emerson, E. Allen
22
1997
Quantitative temporal reasoning. Zbl 0765.68121
Emerson, E. Allen; Mok, A. K.; Sistla, A. P.; Srinivasan, Jai
21
1991
On model checking for non-deterministic infinite-state systems. Zbl 0945.68523
Emerson, E. Allen; Namjoshi, Kedar S.
20
1998
Automata, tableaux, and temporal logics. Zbl 0603.03005
Emerson, E. Allen
17
1985
Alternative semantics for temporal logics. Zbl 0559.68050
Emerson, E. Allen
17
1983
The propositional mu-calculus is elementary. Zbl 0556.68005
Streett, Robert S.; Emerson, E. Allen
14
1984
Parameterized model checking of ring-based message passing systems. Zbl 1095.68051
Emerson, E. Allen; Kahlon, Vineet
7
2004
Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 1142.68431
Clarke, Edmund M.; Emerson, E. Allen
6
2008
Dynamic symmetry reduction. Zbl 1087.68587
Emerson, E. Allen; Wahl, Thomas
6
2005
Exact and efficient verification of parameterized cache coherence protocols. Zbl 1179.68013
Emerson, E. Allen; Kahlon, Vineet
6
2003
From asymmetry to full symmetry: New techniques for symmetry reduction in model checking. Zbl 0957.68067
Emerson, E. Allen; Trefler, Richard J.
6
1999
Branching time temporal logic. (Tutorial). Zbl 0683.68013
Emerson, E. Allen; Srinivasan, Jai
6
1989
Rapid parameterized model checking of snoopy cache coherence protocols. Zbl 1031.68548
Emerson, E. Allen; Kahlon, Vineet
5
2003
Model checking large-scale and parameterized resource allocation systems. Zbl 1043.68569
Emerson, E. Allen; Kahlon, Vineet
5
2002
The beginning of model checking: a personal perspective. Zbl 1142.68047
Emerson, E. Allen
4
2008
Automatic verification of parameterized data structures. Zbl 1180.68126
Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek
4
2006
Abstract patterns of compositional reasoning. Zbl 1274.68217
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard
4
2003
Synthesis of fault-tolerant concurrent programs. Zbl 1333.68080
Arora, Anish; Attie, Paul C.; Emerson, E. Allen
4
1998
Temporal reasoning under generalized fairness constraints. Zbl 0614.03023
Emerson, E. Allen; Lei, Chin-Laung
4
1986
On combining symmetry reduction and symbolic representation for efficient model checking. Zbl 1179.68082
Emerson, E. Allen; Wahl, Thomas
3
2003
On simultaneously determinizing and complementing \(\omega\)-automata. Zbl 0716.03035
Emerson, E. Allen; Jutla, Charanjit S.
3
1989
Assume-guarantee based compositional reasoning for synchronous timing diagrams. Zbl 0978.68537
Amla, 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.68342
Attie, Paul C.; Emerson, E. Allen
2
1996
Efficient temporal satisfiability. Zbl 0767.03013
Emerson, E. Allen; Sadler, Tom; Srinivasan, Jai
2
1992
Uniform inevitability is tree automaton ineffable. Zbl 0653.68079
Emerson, E. Allen
2
1987
Deciding branching time logic: A triple exponential decision procedure for \(CTL^*\). Zbl 0559.68052
Emerson, E. Allen; Sistla, A. Prasad
2
1984
Molecular model checking. Zbl 1096.68090
Emerson, E. Allen; Hager, Kristina D.; Konieczka, Jay H.
1
2006
Visual specifications for modular reasoning about asynchronous systems. Zbl 1037.68506
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar S.; Trefler, Richard J.
1
2002
Using temporal logic for automatic verification of finite state systems. Zbl 0582.68009
Clarke, 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.68431
Clarke, Edmund M.; Emerson, E. Allen
6
2008
The beginning of model checking: a personal perspective. Zbl 1142.68047
Emerson, E. Allen
4
2008
Automatic verification of parameterized data structures. Zbl 1180.68126
Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek
4
2006
Molecular model checking. Zbl 1096.68090
Emerson, E. Allen; Hager, Kristina D.; Konieczka, Jay H.
1
2006
Dynamic symmetry reduction. Zbl 1087.68587
Emerson, E. Allen; Wahl, Thomas
6
2005
Parameterized model checking of ring-based message passing systems. Zbl 1095.68051
Emerson, E. Allen; Kahlon, Vineet
7
2004
On reasoning about rings. Zbl 1101.68371
Emerson, E. Allen; Namjoshi, Kedar S.
27
2003
Exact and efficient verification of parameterized cache coherence protocols. Zbl 1179.68013
Emerson, E. Allen; Kahlon, Vineet
6
2003
Rapid parameterized model checking of snoopy cache coherence protocols. Zbl 1031.68548
Emerson, E. Allen; Kahlon, Vineet
5
2003
Abstract patterns of compositional reasoning. Zbl 1274.68217
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard
4
2003
On combining symmetry reduction and symbolic representation for efficient model checking. Zbl 1179.68082
Emerson, E. Allen; Wahl, Thomas
3
2003
Model checking large-scale and parameterized resource allocation systems. Zbl 1043.68569
Emerson, E. Allen; Kahlon, Vineet
5
2002
Visual specifications for modular reasoning about asynchronous systems. Zbl 1037.68506
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar S.; Trefler, Richard J.
1
2002
On model checking for the \(\mu\)-calculus and its fragments. Zbl 0973.68120
Emerson, E. A.; Jutla, C. S.; Sistla, A. P.
55
2001
Assume-guarantee based compositional reasoning for synchronous timing diagrams. Zbl 0978.68537
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard
2
2001
Reducing model checking of the many to the few. Zbl 0963.68109
Emerson, E. Allen; Kahlon, Vineet
22
2000
The complexity of tree automata and logics of programs. Zbl 0937.68074
Emerson, E. Allen; Jutla, Charanjit S.
45
1999
From asymmetry to full symmetry: New techniques for symmetry reduction in model checking. Zbl 0957.68067
Emerson, E. Allen; Trefler, Richard J.
6
1999
On model checking for non-deterministic infinite-state systems. Zbl 0945.68523
Emerson, E. Allen; Namjoshi, Kedar S.
20
1998
Synthesis of fault-tolerant concurrent programs. Zbl 1333.68080
Arora, Anish; Attie, Paul C.; Emerson, E. Allen
4
1998
Model checking and the Mu-calculus. Zbl 0877.03020
Emerson, E. Allen
22
1997
Synthesis of concurrent systems for an atomic read/atomic write model of computation. Zbl 1321.68342
Attie, Paul C.; Emerson, E. Allen
2
1996
Efficient temporal satisfiability. Zbl 0767.03013
Emerson, E. Allen; Sadler, Tom; Srinivasan, Jai
2
1992
Quantitative temporal reasoning. Zbl 0765.68121
Emerson, E. Allen; Mok, A. K.; Sistla, A. P.; Srinivasan, Jai
21
1991
Temporal and modal logic. Zbl 0900.03030
Emerson, E. Allen
264
1990
An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023
Streett, Robert S.; Emerson, E. Allen
47
1989
Branching time temporal logic. (Tutorial). Zbl 0683.68013
Emerson, E. Allen; Srinivasan, Jai
6
1989
On simultaneously determinizing and complementing \(\omega\)-automata. Zbl 0716.03035
Emerson, E. Allen; Jutla, Charanjit S.
3
1989
Modalities for model checking: Branching time logic strikes back. Zbl 0615.68019
Emerson, E. Allen; Lei, Chin-Laung
39
1987
Uniform inevitability is tree automaton ineffable. Zbl 0653.68079
Emerson, E. Allen
2
1987
Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027
Clarke, E. M.; Emerson, E. A.; Sistla, A. P.
246
1986
“Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020
Emerson, E. Allen; Halpern, Joseph Y.
143
1986
Temporal reasoning under generalized fairness constraints. Zbl 0614.03023
Emerson, E. Allen; Lei, Chin-Laung
4
1986
Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051
Emerson, E. Allen; Halpern, Joseph Y.
75
1985
Automata, tableaux, and temporal logics. Zbl 0603.03005
Emerson, E. Allen
17
1985
Using temporal logic for automatic verification of finite state systems. Zbl 0582.68009
Clarke, E. M.; Browne, M. C.; Emerson, E. A.; Sistla, A. P.
1
1985
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
52
1984
The propositional mu-calculus is elementary. Zbl 0556.68005
Streett, Robert S.; Emerson, E. Allen
14
1984
Deciding branching time logic: A triple exponential decision procedure for \(CTL^*\). Zbl 0559.68052
Emerson, E. Allen; Sistla, A. Prasad
2
1984
Alternative semantics for temporal logics. Zbl 0559.68050
Emerson, E. Allen
17
1983
Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 0546.68014
Clarke, Edmund M.; Emerson, E. Allen
92
1982
Using branching time temporal logic to synthesize synchronization skeletons. Zbl 0514.68032
Emerson, E. Allen; Clarke, Edmund M.
66
1982
Characterizing correctness properties of parallel programs using fixpoints. Zbl 0456.68016
Emerson, E. Allen; Clarke, Edmund M.
36
1980
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

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.