Gordon Plotkin (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Gordon Plotkin" in English language version.

refsWebsite

Global rank English rank

7handle.net

102^nd place

76^th place

6doi.org

2^nd place

4bl.uk

1,234^th place

779^th place

2wikidata.org

43^rd place

161^st place

2semanticscholar.org

11^th place

8^th place

2web.archive.org

1^st place

2ed.ac.uk

1,871^st place

1,234^th place

2psu.edu

207^th place

136^th place

2royalsociety.org

2,415^th place

2,060^th place

1mathgenealogy.org

4,501^st place

3,002^nd place

1worldcat.org

5^th place

1ukwhoswho.com

1,450^th place

814^th place

1galene.org

low place

1scholar.google.com

1,697^th place

1,040^th place

1acm.org

1,185^th place

840^th place

1scopus.com

low place

1dblp.org

low place

1museophile.org

low place

1ae-info.org

low place

1amacad.org

3,464^th place

2,377^th place

acm.org

dl.acm.org

Gordon Plotkin author profile page at the ACM Digital Library

ae-info.org

Hoffmann, Ilire Hasani, Robert. "Academy of Europe: Plotkin Gordon". www.ae-info.org.{{cite web}}: CS1 maint: multiple names: authors list (link)

amacad.org

"New Members of the American Academy of Arts and Sciences".

bl.uk

ethos.bl.uk

Plotkin, Gordon David (1972). Automatic methods of inductive inference (PhD thesis). University of Edinburgh. hdl:1842/6656. EThOS uk.bl.ethos.482992.
Cardelli, Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh. hdl:1842/13308. EThOS uk.bl.ethos.253190.
Gardner, Philippa (1992). Representing logics in type theory (PhD thesis). University of Edinburgh. hdl:1842/14888. EThOS uk.bl.ethos.651333.
Gurr, Douglas John (1990). Semantic frameworks for complexity (PhD thesis). University of Edinburgh. hdl:1842/13968. OCLC 475827463. EThOS uk.bl.ethos.651894.

dblp.org

Gordon D. Plotkin at DBLP Bibliography Server

doi.org

Anon (2013). "Plotkin, Prof. Gordon David". Who's Who (online Oxford University Press ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.U31011. (Subscription or UK public library membership required.)
Crary, Karl; Harper, Robert (2007). "Syntactic Logical Relations for Polymorphic and Recursive Types". Electronic Notes in Theoretical Computer Science. 172: 259. doi:10.1016/j.entcs.2007.02.010.
Mitchell, J. C.; Plotkin, G. D. (1988). "Abstract types have existential type". ACM Transactions on Programming Languages and Systems. 10 (3): 470. doi:10.1145/44501.45065. S2CID 1222153.
Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). "A calculus for access control in distributed systems" (PDF). ACM Transactions on Programming Languages and Systems. 15 (4): 706. CiteSeerX 10.1.1.72.3756. doi:10.1145/155183.155225. hdl:1842/207. S2CID 13260508.
Plotkin, G. D. (1975). "Call-by-name, call-by-value and the λ-calculus". Theoretical Computer Science. 1 (2): 125–159. doi:10.1016/0304-3975(75)90017-1.
Plotkin, G. D. (2004). "The origins of structural operational semantics". The Journal of Logic and Algebraic Programming. 60–61: 3–15. doi:10.1016/j.jlap.2004.03.009.

ed.ac.uk

homepages.inf.ed.ac.uk

Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). "A calculus for access control in distributed systems" (PDF). ACM Transactions on Programming Languages and Systems. 15 (4): 706. CiteSeerX 10.1.1.72.3756. doi:10.1145/155183.155225. hdl:1842/207. S2CID 13260508.

lfcs.inf.ed.ac.uk

"Symposium for Gordon Plotkin". www.lfcs.inf.ed.ac.uk.

galene.org

curien.galene.org

Curien, Pierre-Louis (April 2022), Semantics and syntax, between computer science and mathematics (PDF), p. 2

handle.net

hdl.handle.net

Plotkin, Gordon David (1972). Automatic methods of inductive inference (PhD thesis). University of Edinburgh. hdl:1842/6656. EThOS uk.bl.ethos.482992.
Cardelli, Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh. hdl:1842/13308. EThOS uk.bl.ethos.253190.
Gardner, Philippa (1992). Representing logics in type theory (PhD thesis). University of Edinburgh. hdl:1842/14888. EThOS uk.bl.ethos.651333.
Gurr, Douglas John (1990). Semantic frameworks for complexity (PhD thesis). University of Edinburgh. hdl:1842/13968. OCLC 475827463. EThOS uk.bl.ethos.651894.
Moggi, Eugenio (1999). The partial lambda calculus (PhD thesis). University of Edinburgh. hdl:1842/419.
Wèi, Lǐ (1983). An operational approach to semantics and translation for programming languages (PhD thesis). hdl:1842/6636.
Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). "A calculus for access control in distributed systems" (PDF). ACM Transactions on Programming Languages and Systems. 15 (4): 706. CiteSeerX 10.1.1.72.3756. doi:10.1145/155183.155225. hdl:1842/207. S2CID 13260508.

mathgenealogy.org

Gordon Plotkin at the Mathematics Genealogy Project

museophile.org

vmoc.museophile.org

Program Verification and Semantics: Further Work Archived 26 September 2007 at the Wayback Machine (2004)

psu.edu

citeseerx.ist.psu.edu

Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). "A calculus for access control in distributed systems" (PDF). ACM Transactions on Programming Languages and Systems. 15 (4): 706. CiteSeerX 10.1.1.72.3756. doi:10.1145/155183.155225. hdl:1842/207. S2CID 13260508.

citeseer.ist.psu.edu

A Structural Approach to Operational Semantics by G.D. Plotkin (1981)

royalsociety.org

"- Royal Society". royalsociety.org.

collections.royalsociety.org

"EC/1992/29: Plotkin, Gordon David". London: The Royal Society. Archived from the original on 16 April 2014.

scholar.google.com

Gordon Plotkin publications indexed by Google Scholar

scopus.com

Gordon Plotkin publications indexed by the Scopus bibliographic database. (subscription required)

semanticscholar.org

api.semanticscholar.org

Mitchell, J. C.; Plotkin, G. D. (1988). "Abstract types have existential type". ACM Transactions on Programming Languages and Systems. 10 (3): 470. doi:10.1145/44501.45065. S2CID 1222153.
Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). "A calculus for access control in distributed systems" (PDF). ACM Transactions on Programming Languages and Systems. 15 (4): 706. CiteSeerX 10.1.1.72.3756. doi:10.1145/155183.155225. hdl:1842/207. S2CID 13260508.

ukwhoswho.com

Anon (2013). "Plotkin, Prof. Gordon David". Who's Who (online Oxford University Press ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.U31011. (Subscription or UK public library membership required.)

web.archive.org

Program Verification and Semantics: Further Work Archived 26 September 2007 at the Wayback Machine (2004)
"EC/1992/29: Plotkin, Gordon David". London: The Royal Society. Archived from the original on 16 April 2014.

wikidata.org

Gordon Plotkin publications indexed by Google Scholar
Gordon D. Plotkin at DBLP Bibliography Server

worldcat.org

search.worldcat.org

Gurr, Douglas John (1990). Semantic frameworks for complexity (PhD thesis). University of Edinburgh. hdl:1842/13968. OCLC 475827463. EThOS uk.bl.ethos.651894.