| 1998 |
|---|
| Nina Amla and E. Allen Emerson. Regular Timing Diagrams. LICS Workshop on Logic and Diagrammatic Information, Indianapolis, Indiana. |
| 1991 |
| E. Allen Emerson. Real Time and the Mu-Calculus. REX Workshop on Real Time: Theory in Practice W.-P. de Roever, ed., Plasmolen, The Netherlands, Springer-Verlag LNCS 600: Pages 176-194. |
| 1989 |
| E. A. Emerson and J. Srinivasan. Branching Temporal Logic. Proceedings of the REX School/ Workshop on Linear Time, Branching Time, and Partial Order: Pages 123-172. |
| E. A. Emerson, A. K. Mok, A. P. Sistla, and J. Srinivasan. Quantitative Temporal Reasoning. Proceedings of the C3 Workshop on Automatic Verification of Finite State Systems, Grenoble, France: Pages S7-1-S7-15. |
| 1984 |
| E. M. Clarke, M. C. Browne, E. A. Emerson, and A. P. Sistla. Using Temporal Logic for Automatic Verification of Finite State Systems. Logics and Models of Concurrent Systems, K. R. Apt, editor, Springer-Verlag: Pages 3-26. |
| 1981 |
| E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. Logics of Programs, Yorktown Heights, New York, Springer-Verlag LNCS 131: Pages 52-71. |