Greg Nelson

发表

Luca Cardelli, James E. Donahue, Lucille Glassman, 1992, SIGP.

Susan S. Owicki, Edward P. Wobber, Andrew Birrell, 1995 .

Greg Nelson, Greg Nelson, 1985, SIGGRAPH.

Greg Nelson, Greg Nelson, 1989, ACM Trans. Program. Lang. Syst..

Allan Heydon, Greg Nelson, Greg Nelson, 1997 .

Ted Wobber, Greg Nelson, Ted Wobber, 1993 .

Jeff Wright, Greg Nelson, 2007 .

Manfred Broy, Greg Nelson, 1994, TOPL.

Michael Burrows, Stefan Savage, Thomas E. Anderson, 1997, TOCS.

Greg Nelson, Derek C. Oppen, D. Oppen, 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

Greg Nelson, Lauren Arnold, G. Nelson, 2004 .

Greg Nelson, Lytton Avenue, David L. Detlefs, 1998 .

Anna R. Karlin, Hisao Tamaki, Greg Nelson, 1994, STOC '94.

David Detlefs, Greg Nelson, James B. Saxe, 2005, JACM.

Greg Nelson, Derek C. Oppen, D. Oppen, 1980, JACM.

Xiaofan Lin, Hui Chao, Greg Nelson, 2006, Electronic Imaging.

Yunhong Zhou, Greg Nelson, Rajeev Joshi, 2006, ACM Trans. Program. Lang. Syst..

Bill Kalsow, Greg Nelson, Jim Horning, 1996 .

Greg Nelson, Greg Nelson, 2002, PLDI '02.

Shwetak N. Patel, Mayank Goel, Mohit Jain, 2017, Proc. ACM Interact. Mob. Wearable Ubiquitous Technol..

Luca Cardelli, James E. Donahue, Mick J. Jordan, 1989, POPL '89.

Bertrand Meyer, S. Tucker Taft, Greg Nelson, 1992, OOPSLA.

Yunhong Zhou, Greg Nelson, Rajeev Joshi, 2006, TOPL.

K. Rustan M. Leino, Greg Nelson, 2003 .

K. Rustan M. Leino, Greg Nelson, K. Leino, 2002, TOPL.

Paul Thagard, Keith J. Holyoak, Greg Nelson, 1990, Artif. Intell..

Michael Burrows, Stefan Savage, Thomas E. Anderson, 1997, TOCS.

Mark Lillibridge, K. Rustan M. Leino, Raymie Stata, 2002, PLDI '02.

Greg Nelson, Greg Nelson, 1983, POPL '83.

K. Rustan M. Leino, Greg Nelson, 1998, CC.

Greg Nelson, Steven C. Glassman, 1995, SCG '95.

Keith H. Randall, Greg Nelson, Rajeev Joshi, 2002, PLDI '02.

Allan Heydon, Greg Nelson, Lytton Avenue, 1994 .

Richard Phillips, Greg Nelson, 2006 .

Mark Lillibridge, K. Rustan M. Leino, Raymie Stata, 2013, SIGP.

Greg Nelson, Natalie Foster, Libby Reder, 2016 .

K. Rustan M. Leino, Greg Nelson, James B. Saxe, 2000 .

Luca Cardelli, James E. Donahue, Lucille Glassman, 1992 .

Bertrand Meyer, S. Tucker Taft, Greg Nelson, 1992, OOPSLA '92.

Greg Nelson, Derek C. Oppen, D. Oppen, 1979, TOPL.

Greg Nelson, Greg Nelson, 1991 .

Edward Wobber, Susan S. Owicki, Andrew Birrell, 1994, SOSP '93.

Greg Nelson, Rajeev Joshi, Yunhong Zhou, 2003 .

Anna R. Karlin, Hisao Tamaki, Greg Nelson, 1994 .