Gordon Plotkin
Active 1972–2026
- Affiliations
- University of EdinburghThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0001-8496-6096
- 15
- Papers
- 647
- Citations
- 9
- h-index
- 8
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science95.4%
- Mathematics2.7%
- Decision Sciences0.4%
- Engineering0.4%
- Arts and Humanities0.2%
- Economics, Econometrics and Finance0.2%
- Other0.8%
Topics
- Logic, programming, and type systems27.4%
- Logic, Reasoning, and Knowledge25.3%
- Formal Methods in Verification10.6%
- Computability, Logic, AI Algorithms6%
- Advanced Algebra and Logic5.9%
- Semantic Web and Ontologies5.4%
- Other19.3%
Frequent coauthors
- Aarti Gupta2
- Alessandro Cimatti2
- Alexandre David2
- Amir Pnueli2
- Andreas Podelski2
- Arjun Guha2
- Axel Legay2
- C Baier2
- Christel Baier2
- David Dill2
- Doron Peled2
- Edmund Clarke2
- Enrico Giunchiglia2
- Frits Vaandrager2
- Gerd Behrmann2
- Glynn Winskel2
- Gupta2
- J Michael2
- Jeffrey Ullman2
- John Hopcroft2
- Joost-Pieter Katoen2
- Joseph Sifakis2
- Kim Larsen2
- Klaus Havelund2
All papers
Loading papers…
