Nevin Heintze
发表
Nevin Heintze,
1995,
SAS.
David A. McAllester,
Nevin Heintze,
N. Heintze,
1997,
PLDI '97.
Nevin Heintze,
Karoline Malmkjaer,
Oliver Danvy,
1994
.
Peter Sestoft,
Nevin Heintze,
2004
.
Rainer Buchty,
Nevin Heintze,
Dino Oliva,
2004,
ARCS.
Joxan Jaffar,
Nevin Heintze,
N. Heintze,
1989,
POPL '90.
Joxan Jaffar,
Nevin Heintze,
Razvan Voicu,
2000,
POPL '00.
Jon G. Riecke,
Nevin Heintze,
N. Heintze,
1998,
POPL '98.
J. Doug Tygar,
Nevin Heintze,
1996,
IEEE Trans. Software Eng..
Roland H. C. Yap,
Peter J. Stuckey,
Nevin Heintze,
1989,
NACLP.
Jeannette M. Wing,
Nevin Heintze,
J. D. Tygar,
1996
.
Nevin Heintze,
N. Heintze,
1994,
LFP '94.
Nevin Heintze,
J. D. Tygar,
1992
.
Rainer Buchty,
Nevin Heintze,
Dino Oliva,
2003,
CASES '03.
Nevin Heintze,
1993
.
J. Doug Tygar,
Nevin Heintze,
1994,
Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy.
David A. McAllester,
Nevin Heintze,
N. Heintze,
1997,
ICFP '97.
David A. McAllester,
Nevin Heintze,
N. Heintze,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Olivier Tardieu,
Nevin Heintze,
2001,
PLDI '01.
Peter J. Stuckey,
Nevin Heintze,
Spiro Michaylov,
1992,
Journal of Automated Reasoning.
Nevin Heintze,
N. Heintze,
1999
.
Anindya Banerjee,
Jon G. Riecke,
Nevin Heintze,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Peter Sestoft,
Nevin Heintze,
P. Sestoft,
2004,
PEPM.
Stefanos Kaxiras,
Nevin Heintze,
Tor E. Jeremiassen,
2001
.
Martín Abadi,
Anindya Banerjee,
Jon G. Riecke,
1999,
POPL '99.
Olivier Tardieu,
Nevin Heintze,
N. Heintze,
2001,
PLDI '01.
Ning Wang,
Eric Anderson,
Nevin Heintze,
2016
.
Joxan Jaffar,
Nevin Heintze,
N. Heintze,
1992,
Types in Logic Programming.
Roland H. C. Yap,
Peter J. Stuckey,
Nevin Heintze,
1997,
J. Log. Program..
Joxan Jaffar,
Nevin Heintze,
Razvan Voicu,
2000,
APLAS.
Nevin Heintze,
1992,
JICSLP.
Bennet S. Yee,
J. Doug Tygar,
Nevin Heintze,
1996
.
Nevin Heintze,
1993
.
Nevin Heintze,
2002,
ASIA-PEPM '02.
Bennet S. Yee,
J. Doug Tygar,
Nevin Heintze,
1996,
ASIAN.
Joxan Jaffar,
Nevin Heintze,
N. Heintze,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Anindya Banerjee,
Jon G. Riecke,
Nevin Heintze,
2001,
TACS.
Bryan D. Ackland,
Joseph Williams,
Nevin Heintze,
2002,
Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.
Joxan Jaffar,
Nevin Heintze,
1995,
ICLP.
Joxan Jaffar,
Nevin Heintze,
N. Heintze,
1994,
PPCP.
Nevin Heintze,
2004,
EMSOFT '04.
Joxan Jaffar,
Nevin Heintze,
N. Heintze,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Peter Stuckey,
Nevin Heintze,
T. J. Watson,
1989
.
Roland H. C. Yap,
Peter J. Stuckey,
Joxan Jaffar,
1992
.