dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

E. Allen Emerson (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul C. Attie, Anish Arora, E. Allen Emerson: Synthesis of fault-tolerant concurrent programs. ACM Trans. Program. Lang. Syst. 26(1): 125-185 (2004)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul C. Attie, E. Allen Emerson: Synthesis of concurrent programs for an atomic read/write model of computation. ACM Trans. Program. Lang. Syst. 23(2): 187-242 (2001)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Paul C. Attie, E. Allen Emerson: Synthesis of Fault-Tolerant Concurrent Programs. PODC 1998: 173-182
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul C. Attie, E. Allen Emerson: Synthesis of Concurrent Systems with Many Similar Processes. ACM Trans. Program. Lang. Syst. 20(1): 51-115 (1998)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul C. Attie, E. Allen Emerson: Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). PODC 1996: 111-120
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz: Scheduling workflows by enforcing intertask dependencies. Distributed Systems Engineering 3(4): 222-238 (1996)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul C. Attie, E. Allen Emerson: Synthesis of Concurrent Systems with Many Similar Sequential Processes. POPL 1989: 191-201

Selection of 7 from 111 records - E. Allen Emerson has 57 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page