E. Allen Emerson

Available identifiers

zbMath Open emerson.e-allenWikidataQ92821 ScholiaQ92821MaRDI QIDQ1051418

List of research outcomes

Publication	Date of Publication	Type
Synthesis of fault-tolerant concurrent programs	2016-03-02	Paper
Synthesis of concurrent systems for an atomic read/atomic write model of computation	2015-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2848428	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2848460	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2848659	2013-09-26	Paper
An Algorithmic Framework for Synthesis of Concurrent Programs	2011-10-07	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Meanings of Model Checking	2010-03-09	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
The Beginning of Model Checking: A Personal Perspective	2008-07-15	Paper
DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC	2008-07-15	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
MOLECULAR MODEL CHECKING	2006-08-21	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
On Reasoning About Rings	2005-10-19	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4472243	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4472430	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4422081	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4417919	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4551169	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2769609	2002-02-05	Paper
On model checking for the \(\mu\)-calculus and its fragments	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q2723423	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4494389	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4936148	2000-01-25	Paper
The Complexity of Tree Automata and Logics of Programs	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4218117	1999-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q4385542	1998-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q4353562	1997-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4037378	1993-05-18	Paper
Efficient Temporal Satisfiability	1992-09-27	Paper
An automata theoretic decision procedure for the propositional mu- calculus	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3203012	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733384	1989-01-01	Paper
Uniform inevitability is tree automaton ineffable	1987-01-01	Paper
Modalities for model checking: Branching time logic strikes back	1987-01-01	Paper
Automatic verification of finite-state concurrent systems using temporal logic specifications	1986-01-01	Paper
“Sometimes” and “not never” revisited	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4722045	1986-01-01	Paper
Decision procedures and expressiveness in the temporal logic of branching time	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3704886	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3739111	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3219755	1984-01-01	Paper
Deciding full branching time logic	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5184412	1984-01-01	Paper
Alternative semantics for temporal logics	1983-01-01	Paper
Using branching time temporal logic to synthesize synchronization skeletons	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3336675	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3906386	1980-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: E. Allen Emerson