WorldCat Identities

Emerson, E. Allen

Overview
Works: 28 works in 97 publications in 1 language and 1,134 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other
Publication Timeline
.
Most widely held works about E. Allen Emerson
 
Most widely held works by E. Allen Emerson
Verification, model checking, and abstract interpretation 7th international conference ; proceedings by E. Allen Emerson( )

19 editions published between 2005 and 2006 in English and held by 576 WorldCat member libraries worldwide

Annotation
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings by E. Allen Emerson( )

18 editions published in 2000 in English and held by 391 WorldCat member libraries worldwide

Annotation
Visual information and information systems : 8th International Conference, VISUAL 2005, Amsterdam, the Netherlands, July 5, 2005 ; proceedings by Stéphane Bres( )

4 editions published in 2006 in English and held by 63 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the 8th International Conference on Visual Information Systems, VISUAL 2005, held in Amsterdam, The Netherlands in July 2005. The 25 revised full papers presented were carefully reviewed and selected for inclusion in the book. They represent the current state of the art of visual information processing, feature extraction and aggregation at semantic level and content-based retrieval, as well as the study of user intention in query processing. As digital content becomes widespread, issues of delivery and consumption of multimedia content were also topics of this workshop
Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings by E. Allen Emerson( )

7 editions published between 2005 and 2006 in English and Undetermined and held by 44 WorldCat member libraries worldwide

Automatic verification of finite state concurrent systems using temporal logic specifications : a practical approach by E. M Clarke( Book )

6 editions published between 1983 and 1985 in English and held by 11 WorldCat member libraries worldwide

No abstract
Model checking in the propositional mu-calculus by E. Allen Emerson( Book )

3 editions published in 1986 in English and held by 5 WorldCat member libraries worldwide

No abstract
'Sometimes' and 'not never' revisited : on branching versus linear time by E. Allen Emerson( Book )

6 editions published in 1984 in English and held by 5 WorldCat member libraries worldwide

No abstract
Deciding full branching time logic by E. Allen Emerson( Book )

3 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

No abstract
Decision procedures and expressiveness in the temporal logic of branching time by E. Allen Emerson( Book )

3 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

No abstract
Alternative semantics for temporal logics by E. Allen Emerson( Book )

5 editions published in 1981 in English and held by 4 WorldCat member libraries worldwide

No abstract
Modalities for model checking : branching time logic strikes back by E. Allen Emerson( Book )

2 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

Model checking : beyond the finite by Vineet Kahlon( )

1 edition published in 2004 in English and held by 3 WorldCat member libraries worldwide

Model checking under generalized fairness constraints by E. Allen Emerson( Book )

3 editions published in 1984 in English and held by 3 WorldCat member libraries worldwide

No abstract
Using branching time temporal logic to synthesize synchronization skeletons by University of Texas at Austin( Book )

3 editions published in 1982 in English and held by 2 WorldCat member libraries worldwide

Branching time temporal logic and the design of correct concurrent programs by E. Allen Emerson( Book )

1 edition published in 1981 in English and held by 2 WorldCat member libraries worldwide

The complexity of tree automata and logics of programs by E. Allen Emerson( Book )

1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide

Abstract: "The complexity of testing nonemptiness of finite state automata on infinite trees is investigated. It is shown that for tree automata with pairs (or complemented pairs) acceptance condition having m states and n pairs nonemptiness can be tested in deterministic time (mn)[superscript O(n)]; however, it is shown that the problem is in general NP-complete (or co-NP-complete, respectively). The new nonemptiness algorithm yields exponentially improved, essentially tight upper bounds for numerous important modal logics of programs, interpreted with the usual semantics over structures generated by binary relations. For example, it follows that satisfiability for the full branching time logic CTL[superscript *] can be tested in deterministic double exponential time. Another consequence is that satisfiability for Propositional Dynamic Logic with a repetition construct (PDL-delta) and for the Propositional Mu- calculus (L [mu]) can be tested in deterministic single exponential time."
Synthesis of concurrent programs for an atomic read by Paul C Attie( )

1 edition published in 2001 in English and held by 1 WorldCat member library worldwide

Branching time logic strikes back by E. Allen Emerson( )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

No abstract
Using branching time logic to synthesize synchronization skeletons by E. Allen Emerson( )

1 edition published in 1982 in English and held by 1 WorldCat member library worldwide

No abstract
Computer Aided Verification by CAV (Conference)( Book )

1 edition published in 2000 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.62 (from 0.39 for Synthesis ... to 0.99 for Allen, Eme ...)

Verification, model checking, and abstract interpretation 7th international conference ; proceedings Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Covers
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedingsVisual information and information systems : 8th International Conference, VISUAL 2005, Amsterdam, the Netherlands, July 5, 2005 ; proceedingsVerification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Alternative Names
Allen Emerson amerikanischer Informatiker

Allen Emerson, E. 1954-

Allen Emerson informaticien américain

E. Allen Emerson Amerikaans informaticus

E. Allen Emerson amerikansk ingeniør og informatikar

E. Allen Emerson amerikansk ingeniør og informatiker

E. Allen Emerson amerikansk ingenjör och datavetare

Emerson, Ernest Allen 1954-

Ernest Allen Emerson

Ернест Аллен Емерсон

Эмерсон, Эрнест Аллен

ارنست آلن امرسون

ألين إيمرسون

ئی. آلن امرسون دانشمند علوم کامپیوتر و مهندس آمریکایی

আর্নেস্ট অ্যালেন এমারসন

アレン・エマーソン

艾伦·爱默生

Languages
English (89)