- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| j11 |      | Rajeev Joshi, Greg Nelson, Yunhong Zhou: Denali: A practical algorithm for generating optimal code. ACM Trans. Program. Lang. Syst. 28(6): 967-989 (2006) |
| 2005 | ||
| j10 | | David Detlefs, Greg Nelson, James B. Saxe: Simplify: a theorem prover for program checking. J. ACM 52(3): 365-473 (2005) |
| 2004 | ||
| c15 | | |
| 2003 | ||
| c14 | | |
| 2002 | ||
| j9 | | K. Rustan M. Leino, Greg Nelson: Data abstraction and information hiding. ACM Trans. Program. Lang. Syst. 24(5): 491-553 (2002) |
| c13 | | |
| c12 | | Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata: Extended Static Checking for Java. PLDI 2002: 234-245 |
| c11 | | Rajeev Joshi, Greg Nelson, Keith H. Randall: Denali: A Goal-directed Superoptimizer. PLDI 2002: 304-314 |
| 1998 | ||
| c10 | | |
| 1997 | ||
| j8 | | Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson: Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Trans. Comput. Syst. 15(4): 391-411 (1997) |
| c9 | | Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson: Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. SOSP 1997: 27-37 |
| 1995 | ||
| j7 |  | Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber: Network Objects. Softw., Pract. Exper. 25(S4): S4 (1995) |
| c8 | | Steve Glassman, Greg Nelson: An Animation of Euclid's Proposition 47: The Pythagorean Theorem. Symposium on Computational Geometry 1995: V3-V4 |
| 1994 | ||
| j6 | | Manfred Broy, Greg Nelson: Adding Fair Choice to Dijkstra's Calculus. ACM Trans. Program. Lang. Syst. 16(3): 924-938 (1994) |
| c7 | | Anna R. Karlin, Greg Nelson, Hisao Tamaki: On the fault tolerance of the butterfly. STOC 1994: 125-133 |
| 1993 | ||
| c6 | | |
| 1992 | ||
| j5 | | Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, Greg Nelson: Modula-3 language definition. SIGPLAN Notices 27(8): 15-42 (1992) |
| c5 | | David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian: OOP in Languages Providing Strong, Static Typing (Panel). OOPSLA 1992: 87-91 |
| 1990 | ||
| j4 | | Paul Thagard, Keith J. Holyoak, Greg Nelson, David Gochfeld: Analog Wetrieval by Constraint Satisfaction. Artif. Intell. 46(3): 259-310 (1990) |
| 1989 | ||
| j3 | | Greg Nelson: A Generalization of Dijkstra's Calculus. ACM Trans. Program. Lang. Syst. 11(4): 517-561 (1989) |
| c4 | | Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson: The Modula-3 Type System. POPL 1989: 202-212 |
| 1985 | ||
| c3 | | |
| 1983 | ||
| c2 | | |
| 1980 | ||
| j2 | | Greg Nelson, Derek C. Oppen: Fast Decision Procedures Based on Congruence Closure. J. ACM 27(2): 356-364 (1980) |
| 1979 | ||
| j1 | | Greg Nelson, Derek C. Oppen: Simplification by Cooperating Decision Procedures. ACM Trans. Program. Lang. Syst. 1(2): 245-257 (1979) |
| 1977 | ||
| c1 | | |
Colors in the list of coauthors
Last update Tue May 21 03:04:11 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page