E. Allen Emerson
#114,049
Most Influential Person Now
E. Allen Emerson's AcademicInfluence.com Rankings
E. Allen Emersonmathematics Degrees
Mathematics
#5586
World Rank
#7850
Historical Rank
Measure Theory
#815
World Rank
#1081
Historical Rank

Download Badge
Computer Science Mathematics
E. Allen Emerson's Degrees
- Masters Computer Science Stanford University
- Bachelors Mathematics University of Texas at Austin
Similar Degrees You Can Earn
Why Is E. Allen Emerson Influential?
(Suggest an Edit or Addition)E. Allen Emerson's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Automatic verification of finite-state concurrent systems using temporal logic specifications (1986) (3958)
- Temporal and Modal Logic (1991) (3207)
- Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic (1981) (1534)
- Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (2008) (1376)
- “Sometimes” and “not never” revisited: on branching versus linear time temporal logic (1986) (1103)
- Tree automata, mu-calculus and determinacy (1991) (807)
- Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons (1982) (763)
- Symmetry and model checking (1993) (639)
- Decision procedures and expressiveness in the temporal logic of branching time (1982) (581)
- Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) (1986) (576)
- The complexity of tree automata and logics of programs (1988) (505)
- Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach (1983) (458)
- Characterizing Correctness Properties of Parallel Programs Using Fixpoints (1980) (445)
- Modalities for Model Checking: Branching Time Logic Strikes Back (1987) (360)
- On Model-Checking for Fragments of µ-Calculus (1993) (305)
- Reasoning about rings (1995) (283)
- An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus (1989) (260)
- Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) (1991) (250)
- Reducing Model Checking of the Many to the Few (2000) (228)
- Deciding Full Branching Time Logic (1985) (220)
- Quantitative temporal reasoning (1990) (208)
- Modalities for model checking (extended abstract): branching time strikes back (1985) (172)
- Branching time temporal logic (1988) (167)
- Model Checking and the Mu-calculus (1996) (164)
- On model checking for non-deterministic infinite-state systems (1998) (163)
- "Sometimes" and "not never" revisited: on branching versus linear time (preliminary report) (1983) (139)
- Automatic Verification of Parameterized Synchronous Systems (Extended Abstract) (1996) (132)
- Symmetry Reductions in Model Checking (1998) (131)
- Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach (1997) (118)
- From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking (1999) (116)
- The Beginning of Model Checking: A Personal Perspective (2008) (116)
- On model checking for the µ-calculus and its fragments (2001) (115)
- Automated Temporal Reasoning about Reactive Systems (1996) (114)
- Deciding branching time logic (1984) (107)
- Automata, Tableaux and Temporal Logics (Extended Abstract) (1985) (107)
- Exact and Efficient Verification of Parameterized Cache Coherence Protocols (2003) (106)
- SMC: a symmetry-based model checker for verification of safety and liveness properties (2000) (102)
- Synthesis of fault-tolerant concurrent programs (1998) (95)
- Using Branching Time Logic to Synthesize Synchronization Skeletons (1982) (87)
- Alternative Semantics for Temporal Logics (1981) (85)
- Combining Partial Order and Symmetry Reductions (1997) (83)
- Synthesis of concurrent systems with many similar processes (1998) (81)
- The Propositional Mu-Calculus is Elementary (1984) (74)
- Parametric quantitative temporal reasoning (1999) (62)
- Model checking guarded protocols (2003) (57)
- Dynamic Symmetry Reduction (2005) (57)
- Parameterized Model Checking of Ring-Based Message Passing Systems (2004) (54)
- Model Checking Large-Scale and Parameterized Resource Allocation Systems (2002) (52)
- Model Checking Under Generalized Fairness Constraints (1984) (50)
- Scheduling workflows by enforcing intertask dependencies (1996) (49)
- Synthesis of concurrent programs for an atomic read/write model of computation (2001) (49)
- Temporal Reasoning Under Generalized Fairness Constraints (1986) (47)
- On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking (2003) (46)
- Virtual symmetry reduction (2000) (41)
- Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols (2003) (38)
- Distributed real-time system specification and verification in APTL (1993) (37)
- On Reasoning About Rings (2003) (35)
- Automatic Generation of Local Repairs for Boolean Programs (2008) (35)
- Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach (1995) (34)
- Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients (2009) (31)
- Using Temporal Logic for Automatic Verification of Finite State Systems (1989) (31)
- On simultaneously determinizing and complementing omega -automata (1989) (28)
- Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (2001) (26)
- Cost-Aware Automatic Program Repair (2013) (25)
- Uniform Inevitability is Tree Automaton Ineffable (1987) (25)
- A new approach to modularity in rule-based programming (1994) (25)
- Verification of Parameterized Bus Arbitration Protocol (1998) (25)
- Efficient Decompositional Model Checking for Regular Timing Diagrams (1999) (24)
- A Partitioning Methodology for BDD-Based Verification (2004) (23)
- Abstract Patterns of Compositional Reasoning (2003) (22)
- Symbolic Model Checking for Distributed Real-Time Systems (1993) (21)
- Checking formal specifications under simulation (1997) (20)
- Model Checking Synchronous Timing Diagrams (2000) (20)
- Synthesis of concurrent systems with many similar sequential processes (extended abstract) (1989) (19)
- Automatic Verification of Parameterized Data Structures (2006) (19)
- Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach (1997) (19)
- Efficient Reduction Techniques for Systems with Many Components (2005) (19)
- Improved verification of hardware designs through antecedent conditioned slicing (2007) (18)
- Reducing Model Checking of the Few to the One (2006) (18)
- Efficient Model Checking of Hardware Using Conditioned Slicing (2005) (18)
- Synthesis of concurrent systems for an atomic read/atomic write model of computation (1996) (18)
- SVISS: Symbolic Verification of Symmetric Systems (2008) (16)
- Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL* (1983) (16)
- Real-Time and the Mu-Calculus (Preliminary Report) (1991) (16)
- A decidable temporal logic to reason about many processes (1990) (15)
- Molecular Model Checking (2006) (13)
- Efficient temporal reasoning (extended abstract) (1989) (13)
- Model Checking Real-Time Properties of Symmetric Systems (1998) (12)
- Time of Time (2010) (12)
- A More Efficient BDD-Based QBF Solver (2011) (12)
- Formal Specification Of Asynchronous Distributed Real-time Systems By APTL (1992) (11)
- Efficient Temporal Reasoning. (1989) (11)
- Multi-threaded reachability (2005) (11)
- Modularity and Rule-Based Programming (1995) (11)
- Synthesis of fault-tolerant concurrent programs (1998) (11)
- An Algorithmic Framework for Synthesis of Concurrent Programs (2011) (10)
- Computer Aided Verification (2000) (10)
- Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams (2001) (10)
- Visual Specifications for Modular Reasoning about Asynchronous Systems (2002) (9)
- Efficient Temporal Satisfiability (1992) (9)
- Symbolic modular deadlock analysis (2011) (9)
- Interactive verification exploiting program design knowledge: a model-checker for unity (1996) (9)
- Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings (2000) (8)
- On partitioning and symbolic model checking (2005) (7)
- On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract) (1989) (6)
- Ameliorating the state explosion problem (1998) (5)
- Under-approximation Heuristics for Grid-based Bounded Model Checking (2006) (4)
- Predictive Reachability Using a Sample-Based Approach (2005) (4)
- On the limits of efficient temporal decidability (1990) (4)
- Branching Time Logic Strikes Back (1985) (3)
- Proceedings of the 12th International Conference on Computer Aided Verification (2000) (3)
- The Role of Büchi’s Automata in Computing Science (1990) (3)
- Visual Information and Information Systems, 8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers (2006) (3)
- Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation (2006) (2)
- Methods for Mu-calculus Model Checking: A Tutorial (Abstract) (1995) (2)
- Verification of recursive methods on tree-like data structures (2009) (2)
- Editorial for special issue on symmetry in automatic verification (1996) (2)
- Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (2006) (2)
- Efficient model checking for timing diagrams (2001) (2)
- On the Limits of Efficient Temporal Decidability (Extended Abstract) (1990) (2)
- Model Checking: Theory into Practice (2000) (1)
- Meanings of Model Checking (2010) (1)
- Symbolic Verification of Symmetric Systems (2008) (1)
- Model checking: A Personal Perspective (2007) (1)
- Economical Transformations of Structured Data ( Extended Version ) (2010) (1)
- Systems Architecture, Design, Engineering, and Verification — The Practice in Research and Research in Practice (2012) (0)
- A new algorithm for Partitioned Model Checking (2005) (0)
- Influence of data type and rate on short arc lunar orbit determination (1966) (0)
- Lemma 4 given 0 = S 0 0 S 0 #cell #nodes #time(sec) Trans. #reachable States #cell #nodes #time(sec) Trans. #reachable States (1994) (0)
- Memories of Edsger W. Dijkstra (2022) (0)
- A Restricted Class of 1-register Machines Presburger Arithmetic with Divisibility Veriication Example: Timing-based Mutual Exclusion Symbolic Computation Computing Consistent Parameter Valuations 3.1 a Decidability Result (1993) (0)
- Turing Lecture from the winners of the 2007 ACM A.M. Turing Award. (2009) (0)
- 2 Classi cation of Temporal Logics (0)
- Coordinate systems for differential correction (1966) (0)
- Efficient Automation of Temporal Reasoning (1995) (0)
- Automated formal methods: model checking and beyond (2000) (0)
- Checking Formal Specificat ions under Simulation (1997) (0)
- I Am Atlas (2015) (0)
- Model Checking: Progress and Problems (2008) (0)
- Assume-Guarantee Based CompositionalReasoning for Syn hronous Timing (2007) (0)
- On partitioning and model checking (2004) (0)
- Expressive and efficient model checking (1999) (0)
- Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems (2012) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With E. Allen Emerson?
E. Allen Emerson is affiliated with the following schools: