( en | de | ru )

 

Disambiguation of "Emerson, E. Allen"

Author of the publication

copydeleteadd this publication to your clipboard
Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems.

, and . SCCC, page 95-104. IEEE Computer Society, (2012)

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

Emerson Barbosa

Ryan Emerson

 

Other publications of authors with the same name

The Complexity of Tree Automata and Logics of Programs., and . SIAM J. Comput., 29 (1): 132-158 (1999)On Reasoning About Rings., and . Int. J. Found. Comput. Sci., 14 (4): 527-550 (2003)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)Verification of Parameterized Bus Arbitration Protocol., and . CAV, volume 1427 of Lecture Notes in Computer Science, page 452-463. Springer, (1998)Symmetry and Model Checking., and . CAV, volume 697 of Lecture Notes in Computer Science, page 463-478. Springer, (1993)Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach., and . CAV, volume 939 of Lecture Notes in Computer Science, page 309-324. Springer, (1995)Automatic Verification of Parameterized Synchronous Systems (Extended Abstract)., and . CAV, volume 1102 of Lecture Notes in Computer Science, page 87-98. Springer, (1996)Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols., and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 144-159. Springer, (2003)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)Alternative Semantics for Temporal Logics.. Theor. Comput. Sci., (1983)