Fast Decision Algorithms Based on Union and Find - Greg Nelson; Derek C. Oppen (FOCS, 1977)

Simplification by Cooperating Decision Procedures. - Greg Nelson; Derek C. Oppen (ACM Trans. Program. Lang. Syst., 1979)

Fast Decision Procedures Based on Congruence Closure. - Greg Nelson; Derek C. Oppen (J. ACM, 1980)

Verifying Reachability Invariants of Linked Structures. - Greg Nelson (POPL, 1983)

Juno, a constraint-based graphics system. - Greg Nelson (SIGGRAPH, 1985)

The Modula-3 Type System. - Luca Cardelli; James E. Donahue; Mick J. Jordan; Bill Kalsow; Greg Nelson (POPL, 1989)

A Generalization of Dijkstra's Calculus. - Greg Nelson (ACM Trans. Program. Lang. Syst., 1989)

Analog Wetrieval by Constraint Satisfaction. - Paul Thagard; Keith J. Holyoak; Greg Nelson; David Gochfeld (Artif. Intell., 1990)

OOP in Languages Providing Strong, Static Typing (Panel). - David Bulman; S. Tucker Taft; Bertrand Meyer 001; Greg Nelson; Mike Kilian (OOPSLA, 1992)

Modula-3 language definition. - Luca Cardelli; James E. Donahue; Lucille Glassman; Mick J. Jordan; Bill Kalsow; Greg Nelson (ACM SIGPLAN Notices, 1992)

On the fault tolerance of the butterfly. - Anna R. Karlin; Greg Nelson; Hisao Tamaki (STOC, 1994)

Adding Fair Choice to Dijkstra's Calculus. - Manfred Broy; Greg Nelson (ACM Trans. Program. Lang. Syst., 1994)

An Animation of Euclid's Proposition 47: The Pythagorean Theorem. - Steven C. Glassman; Greg Nelson (SCG, 1995)

Network Objects - Andrew Birrell; Greg Nelson; Susan S. Owicki; Edward Wobber (Softw. Pract. Exp., 1995)

Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. - Stefan Savage; Michael Burrows; Greg Nelson; Patrick Sobalvarro; Thomas E. Anderson (SOSP, 1997)

Eraser: A Dynamic Data Race Detector for Multithreaded Programs. - Stefan Savage; Michael Burrows; Greg Nelson; Patrick Sobalvarro; Thomas E. Anderson (ACM Trans. Comput. Syst., 1997)

An Extended Static Checker for Modular-3. - K. Rustan M. Leino; Greg Nelson (CC, 1998)

Foundations of a Constraint-Based Illustrator. - Greg Nelson (FroCoS, 2002)

Extended Static Checking for Java. - Cormac Flanagan; K. Rustan M. Leino; Mark Lillibridge; Greg Nelson; James B. Saxe; Raymie Stata (PLDI, 2002)

Denali: A Goal-directed Superoptimizer. - Rajeev Joshi; Greg Nelson; Keith H. Randall (PLDI, 2002)

Data abstraction and information hiding. - K. Rustan M. Leino; Greg Nelson (ACM Trans. Program. Lang. Syst., 2002)

Reasoning about Quantifiers by Matching in the E-graph. - Greg Nelson (CADE, 2003)

Extended Static Checking for Java. - Greg Nelson (MPC, 2004)

Simplify: a theorem prover for program checking. - David Detlefs; Greg Nelson; James B. Saxe (J. ACM, 2005)

Active document versioning: from layout understanding to adjustment. - Xiaofan Lin; Hui Chao; Greg Nelson; Elsa Durante (DRR, 2006)

Denali: A practical algorithm for generating optimal code. - Rajeev Joshi; Greg Nelson; Yunhong Zhou (ACM Trans. Program. Lang. Syst., 2006)

PLDI 2002: Extended static checking for Java. - Cormac Flanagan; K. Rustan M. Leino; Mark Lillibridge; Greg Nelson; James B. Saxe; Raymie Stata (ACM SIGPLAN Notices, 2013)

DigiTouch: Reconfigurable Thumb-to-Finger Input and Text Entry on Head-mounted Displays. - Eric Whitmire; Mohit Jain; Divye Jain; Greg Nelson; Ravi Karkar; Shwetak N. Patel; Mayank Goel (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2017)