David E. Long

发表

Edmund M. Clarke, David E. Long, Kenneth L. McMillan, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Orna Grumberg, David E. Long, 1994, TOPL.
Soumitra Bose, Edmund M. Clarke, David E. Long, 2004, Journal of Automated Reasoning.
Edmund M. Clarke, Jerry R. Burch, David E. Long, 1991, 28th ACM/IEEE Design Automation Conference.
Somesh Jha, Edmund M. Clarke, Orna Grumberg, 1993, Formal Methods Syst. Des..
Orna Grumberg, David E. Long, D. E. Long, 1991, TOPL.
Somesh Jha, Edmund M. Clarke, Orna Grumberg, 1993, Formal Methods Syst. Des..
David E. Long, R. Melville, K. Ashby, 1997, Proceedings of CICC 97 - Custom Integrated Circuits Conference.
Edmund M. Clarke, David E. Long, D. E. Long, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Patrice Godefroid, David E. Long, 1999, Formal Methods Syst. Des..
Edmund M. Clarke, Jerry R. Burch, Orna Grumberg, 1992 .
David E. Long, Miron Abramovici, Mahesh A. Iyer, 1995, Proceedings 13th IEEE VLSI Test Symposium.
David E. Long, Peter Feldmann, B. Melville, 1996, Proceedings of Custom Integrated Circuits Conference.
Alper Demir, Gerd Vandersteen, Jaijeet S. Roychowdhury, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.
David E. Long, Sharad Kapur, 2004, Proceedings. 41st Design Automation Conference, 2004..
Somesh Jha, Edmund M. Clarke, David E. Long, 1997, Theor. Comput. Sci..
David E. Long, Miron Abramovici, Krishna B. Rajan, 1996, Proceedings of 14th VLSI Test Symposium.
Edmund M. Clarke, Orna Grumberg, David E. Long, 1994, TOPL.
David E. Long, Miron Abramovici, Mahesh A. Iyer, 1996, Proceedings ED&TC European Design and Test Conference.
David E. Long, Robert C. Frye, Yu-Chia Chen, 2007, 2007 IEEE Custom Integrated Circuits Conference.
Jaijeet Roychowdhury, David E. Long, Peter Feldmann, 1998 .
Alper Demir, Jaijeet S. Roychowdhury, David E. Long, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Edmund M. Clarke, David E. Long, D. E. Long, 1993 .
David E. Long, Sharad Kapur, 2000, Proceedings 37th Design Automation Conference.
Patrice Godefroid, David E. Long, D. E. Long, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
David E. Long, Sharad Kapur, S. Kapur, 2010, IEEE Custom Integrated Circuits Conference 2010.
Jerry R. Burch, David E. Long, 1992, ICCAD.
Somesh Jha, Edmund M. Clarke, David E. Long, 1994, Theor. Comput. Sci..
Edmund M. Clarke, Jerry R. Burch, David E. Long, 1991, VLSI.
Edmund M. Clarke, David L. Dill, Jerry R. Burch, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Edmund M. Clarke, David E. Long, Spiro Michaylov, 1990 .
Alper Demir, Jaijeet S. Roychowdhury, David E. Long, 2001, VLSI Design 2001. Fourteenth International Conference on VLSI Design.
David E. Long, Miron Abramovici, Mahesh A. Iyer, 1996, DAC '96.
Alper Demir, Jaijeet S. Roychowdhury, David E. Long, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
David E. Long, Miron Abramovici, Mahesh A. Iyer, 2000, TODE.
Soumitra Bose, Edmund M. Clarke, David E. Long, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
David E. Long, Sharad Kapur, S. Kapur, 1997, ICCAD.
Jaijeet S. Roychowdhury, David E. Long, Sharad Kapur, 1996, Proceedings of International Conference on Computer Aided Design.
David E. Long, Sharad Kapur, S. Kapur, 1998, ICCAD.
Edmund M. Clarke, Orna Grumberg, David E. Long, 1993, REX School/Symposium.
Jaijeet Roychowdhury, David E. Long, Sharad Kapur, 1996, ICCAD 1996.