EA
E. Allen Emerson
154
Publications
20,793
Citations
55
h-index
101
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (92)
- Book Chapter (56)
- Book (4)
- Dissertation (1)
- Preprint (1)
Filter by Open Access Type
- Open Access (31)
- Closed Access (123)
Filter by Authors
- E. Allen Emerson (154)
- A. Prasad Sistla (18)
- Kedar S. Namjoshi (17)
- Richard Trefler (11)
- Vineet Kahlon (9)
Filter by Topics
- Formal Methods in Verification (122)
- Logic, programming, and type systems (76)
- Model-Driven Software Engineering Techniques (34)
- Software Testing and Debugging Techniques (28)
- semigroups and automata theory (19)