The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Greg Nelson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Greg Nelson, Derek C. Oppen
    Fast Decision Procedures Based on Congruence Closure. [Citation Graph (4, 0)][DBLP]
    J. ACM, 1980, v:27, n:2, pp:356-364 [Journal]
  2. Greg Nelson, Derek C. Oppen
    Fast Decision Algorithms Based on Union and Find [Citation Graph (2, 0)][DBLP]
    FOCS, 1977, pp:114-119 [Conf]
  3. Greg Nelson, Derek C. Oppen
    Simplification by Cooperating Decision Procedures. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:245-257 [Journal]
  4. Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
    Network Objects. [Citation Graph (1, 0)][DBLP]
    SOSP, 1993, pp:217-230 [Conf]
  5. Greg Nelson
    Reasoning about Quantifiers by Matching in the E-graph. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:166- [Conf]
  6. K. Rustan M. Leino, Greg Nelson
    An Extended Static Checker for Modular-3. [Citation Graph (0, 0)][DBLP]
    CC, 1998, pp:302-305 [Conf]
  7. Steve Glassman, Greg Nelson
    An Animation of Euclid's Proposition 47: The Pythagorean Theorem. [Citation Graph (0, 0)][DBLP]
    Symposium on Computational Geometry, 1995, pp:0-0 [Conf]
  8. Greg Nelson
    Foundations of a Constraint-Based Illustrator. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:1- [Conf]
  9. Greg Nelson
    Extended Static Checking for Java. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:1- [Conf]
  10. David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian
    OOP in Languages Providing Strong, Static Typing (Panel). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1992, pp:87-91 [Conf]
  11. Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
    Extended Static Checking for Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:234-245 [Conf]
  12. Rajeev Joshi, Greg Nelson, Keith H. Randall
    Denali: A Goal-directed Superoptimizer. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:304-314 [Conf]
  13. Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson
    The Modula-3 Type System. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:202-212 [Conf]
  14. Greg Nelson
    Verifying Reachability Invariants of Linked Structures. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:38-47 [Conf]
  15. Greg Nelson
    Juno, a constraint-based graphics system. [Citation Graph (0, 0)][DBLP]
    SIGGRAPH, 1985, pp:235-243 [Conf]
  16. Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson
    Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. [Citation Graph (0, 0)][DBLP]
    SOSP, 1997, pp:27-37 [Conf]
  17. Anna R. Karlin, Greg Nelson, Hisao Tamaki
    On the fault tolerance of the butterfly. [Citation Graph (0, 0)][DBLP]
    STOC, 1994, pp:125-133 [Conf]
  18. Paul Thagard, Keith J. Holyoak, Greg Nelson, David Gochfeld
    Analog Wetrieval by Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1990, v:46, n:3, pp:259-310 [Journal]
  19. David Detlefs, Greg Nelson, James B. Saxe
    Simplify: a theorem prover for program checking. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2005, v:52, n:3, pp:365-473 [Journal]
  20. Luca Cardelli, James E. Donahue, Lucille Glassman, Mick J. Jordan, Bill Kalsow, Greg Nelson
    Modula-3 language definition. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:8, pp:15-42 [Journal]
  21. Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
    Network Objects [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:S4, pp:0-0 [Journal]
  22. Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson
    Eraser: A Dynamic Data Race Detector for Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 1997, v:15, n:4, pp:391-411 [Journal]
  23. Manfred Broy, Greg Nelson
    Adding Fair Choice to Dijkstra's Calculus. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:924-938 [Journal]
  24. K. Rustan M. Leino, Greg Nelson
    Data abstraction and information hiding. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2002, v:24, n:5, pp:491-553 [Journal]
  25. Greg Nelson
    A Generalization of Dijkstra's Calculus. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1989, v:11, n:4, pp:517-561 [Journal]
  26. Rajeev Joshi, Greg Nelson, Yunhong Zhou
    Denali: A practical algorithm for generating optimal code. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:6, pp:967-989 [Journal]

Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002