( en | de | ru )

 

Disambiguation of "Emerson, E. Allen"

Author of the publication

copydeleteadd this publication to your clipboard
On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract)

, and . LICS, page 333-342. IEEE Computer Society, (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Robert Emerson

Vanessa Emerson

Emerson León

Ryan Emerson

Emerson Barbosa

 

Other publications of authors with the same name

Cost-Aware Automatic Program Repair., , and . CoRR, (2013)Scheduling workflows by enforcing intertask dependencies., , , , and . Distributed Systems Engineering, 3 (4): 222-238 (1996)Using Temporal Logic for Automatic Verification of Finite State Systems., , , and . Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series, page 3-26. Springer, (1984)The Complexity of Tree Automata and Logics of Programs., and . SIAM J. Comput., 29 (1): 132-158 (1999)Synthesis of fault-tolerant concurrent programs., , and . ACM Trans. Program. Lang. Syst., 26 (1): 125-185 (2004)Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach., and . ACM Trans. Program. Lang. Syst., 19 (4): 617-638 (1997)The Beginning of Model Checking: A Personal Perspective.. 25 Years of Model Checking, volume 5000 of Lecture Notes in Computer Science, page 27-45. Springer, (2008)Decision Procedures and Expressiveness in the Temporal Logic of Branching Time, and . STOC, page 169-180. ACM, (1982)Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice., , , , and . ACM-TURING, page 6:1. ACM, (2012)Deciding Branching Time Logic, and . STOC, page 14-24. ACM, (1984)