( en | de | ru )

 

Disambiguation of "Emerson, E. Allen"

Author of the publication

copydeleteadd this publication to your clipboard
Scheduling workflows by enforcing intertask dependencies.

, , , , and . Distributed Systems Engineering, 3 (4): 222-238 (1996)

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

Scheduling workflows by enforcing intertask dependencies., , , , and . Distributed Systems Engineering, 3 (4): 222-238 (1996)Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach., and . TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 189-200. Springer, (1997)The Propositional Mu-Calculus is Elementary., and . ICALP, volume 172 of Lecture Notes in Computer Science, page 465-472. Springer, (1984)Cost-Aware Automatic Program Repair., , and . CoRR, (2013)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)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)Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach., , and . POPL, page 117-126. ACM Press, (1983)