D. E. Long

发表

Jinsong Zhao, Sharad Kapur, D. E. Long, 1998, Proceedings of the IEEE 1998 Custom Integrated Circuits Conference (Cat. No.98CH36143).
D. E. Long, C. Ortiz, K. Singhal, 2002, Proceedings of the IEEE 2002 Custom Integrated Circuits Conference (Cat. No.02CH37285).
Somesh Jha, Edmund M. Clarke, Orna Grumberg, 1993, Formal Methods Syst. Des..
Edmund M. Clarke, David L. Dill, Jerry R. Burch, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Patrice Godefroid, David E. Long, D. E. Long, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Edmund M. Clarke, Orna Grumberg, David E. Long, 1994, TOPL.
D. E. Long, M. Abramovici, M. Iyer, 1996, 33rd Design Automation Conference Proceedings, 1996.
D. E. Long, J. Burch, 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.
D. E. Long, S. Shelah, A. Pnueli, 1995 .
D. E. Long, E. Clarke, O. Grumberg, 1992, POPL '92.
D. E. Long, E. Clarke, O. Grumberg, 1992, POPL '92.
Edmund M. Clarke, Jerry R. Burch, Orna Grumberg, 1992 .
Edmund M. Clarke, David E. Long, Spiro Michaylov, 1990 .
Edmund M. Clarke, Jerry R. Burch, David E. Long, 1991, VLSI.
Soumitra Bose, Edmund M. Clarke, Spiro Michaylov, 1988, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Edmund M. Clarke, David E. Long, D. E. Long, 1993 .
Edmund M. Clarke, Orna Grumberg, David E. Long, 1993, REX School/Symposium.
Edmund M. Clarke, David E. Long, Kenneth L. McMillan, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Somesh Jha, Edmund M. Clarke, David E. Long, 1994, Theor. Comput. Sci..
Orna Grumberg, David E. Long, D. E. Long, 1991, TOPL.
Edmund M. Clarke, David E. Long, D. E. Long, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Somesh Jha, Edmund M. Clarke, Orna Grumberg, 1993, Formal Methods Syst. Des..
Edmund M. Clarke, Jerry R. Burch, David E. Long, 1991, 28th ACM/IEEE Design Automation Conference.
D. E. Long, D.E. Long, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
D. E. Long, O. Grumberg, Edmund M. Clarke, 1996, NATO ASI DPD.
D. E. Long, O. Grumberg, Edmund M. Clarke, 1996, NATO ASI DPD.
D. E. Long, O. Grumberg, Edmund M. Clarke, 1994, TOPL.