by Iyer, S., Sahoo, D., Emerson, E.A., Jain, J.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.05.2006)

by Deshmukh, J., Emerson, E.A., Sankaranarayanan, S.
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)

by Emerson, E.A., Kahlon, V.
Published in 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings (2003)

by Emerson, E.A., Namjoshi, K.S.
Published in Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) (1998)

by Emerson, E.A., Trefler, R.J.
Published in Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158) (1999)

by Emerson, E.A., Havlicek, J.W., Trefler, R.J.
Published in Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) (2000)

by Samanta, R., Deshmukh, J.V., Emerson, E.A.
Published in 2008 Formal Methods in Computer-Aided Design (01.11.2008)

by Deshmukh, J., Emerson, E.A.
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)

by Sahoo, Debashis, Jain, Jawahar, Iyer, Subramanian K., Dill, David L., Emerson, E. Allen
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 42nd annual conference on Design automation; 13-17 June 2005 (13.06.2005)

by Emerson, E.A., Jutla, C.S.
Published in [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science (1991)

by Canfield, W., Emerson, E.A., Saha, A.
Published in Proceedings International Conference on Computer Design VLSI in Computers and Processors (1997)

by Farn Wang, Al Mok, Emerson, E.A.
Published in International Conference on Software Engineering (1992)

by Emerson, E.A., Jutla, C.S.
Published in [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science (1988)

by Emerson, E.A., Evangelist, M., Srinivasan, J.
Published in [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science (1990)

by Emerson, E.A., Jutla, C.S.
Published in [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science (1989)