Concepedia

Author

Greg Nelson

Stanford University

Also Known As

G Nelson, G S Nelson, G. Nelson, G. Sofia Nelson, Greg Nelson

150

Publications

13.1K

Citations

30

H-Index

119

Concepts

All Affiliations

Stanford UniversityMicrosoft (United States)Digital Equipment (Germany)University of WashingtonDigital Wave (United States)
GN

About

Greg Nelson is an author at Stanford University specializing in computer science, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

24

30

7.5K

2

Arts

2

2

1.9K

3

Management

2

2

913

4

Education

1

1

276

5

Language Studies

1

1

78

Greg Nelson

×

39

Publications

12.9K

Citations

29

H-Index

YearCitations

Close relationships as including other in the self.

Arthur Aron, Elaine N. Aron, Greg Nelson

Journal of Personality and Social Psychology

1991

1.8K

Mammalian Sweet Taste Receptors

Greg Nelson, Mark A. Hoon, Jayaram Chandrashekar,

Cell

2001

1.6K

Eraser

Stefan Savage, Michael T. Burrows, Greg Nelson,

ACM Transactions on Computer Systems

1997

1.6K

An amino-acid taste receptor

Greg Nelson, Jayaram Chandrashekar, Mark A. Hoon,

Nature

2002

1.5K

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge,

2002

1.3K

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek C. Oppen

ACM Transactions on Programming Languages and Systems

1979

891

Simplify: a theorem prover for program checking

David Detlefs, Greg Nelson, James B. Saxe

Journal of the ACM

2005

772

Fast Decision Procedures Based on Congruence Closure

Greg Nelson, Derek C. Oppen

Journal of the ACM

1980

500

Analog retrieval by constraint satisfaction

Paul Thagard, Keith J. Holyoak, Greg Nelson,

Artificial Intelligence

1990

364

A generalization of Dijkstra's calculus

Greg Nelson

ACM Transactions on Programming Languages and Systems

1989

276

Page 1