Greg Nelson (computer scientist) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Greg Nelson (computer scientist)" in English language version.

Last modified: 03:23:25, 4 February 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

low place

5,815^th place

4,617^th place

2,493^rd place

621^st place

429^th place

low place

berkeley.edu (Global: 621^st place; English: 429^th place)

Nelson, Greg (1980–1981). Techniques for Program Verification (PDF). Department of Electrical Engineering and Computer Sciences (PhD). University of California Berkeley. Retrieved 2021-04-13.

Montmirail, Valentin; Sutcliffe, Geoff (June 2013). "Herbrand Award: for Distinguished Contributions to Automated Reasoning". Conference on Automated Deduction. Retrieved 2021-04-13.

Perl, Sharon (February 2015). "Greg Nelson: 27 March 1953 – 2 February 2015". Palo Alto Online. Palo Alto, California. Retrieved 2021-04-15.

Perl, Sharon (March 4, 2015). "Greg Nelson". Honolulu Star-Advertiser: Obituaries. Honolulu, Hawaii. Retrieved 2021-04-15.