Mike Gordon

2.6k total citations · 1 hit paper
34 papers, 980 citations indexed

About

Mike Gordon is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Mike Gordon has authored 34 papers receiving a total of 980 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Hardware and Architecture, 16 papers in Computational Theory and Mathematics and 15 papers in Artificial Intelligence. Recurrent topics in Mike Gordon's work include Formal Methods in Verification (15 papers), Logic, programming, and type systems (12 papers) and Embedded Systems Design Techniques (10 papers). Mike Gordon is often cited by papers focused on Formal Methods in Verification (15 papers), Logic, programming, and type systems (12 papers) and Embedded Systems Design Techniques (10 papers). Mike Gordon collaborates with scholars based in United Kingdom, United States and Australia. Mike Gordon's co-authors include Tom Melham, R M Burde, Paul B. Donzis, Christopher P. Wadsworth, R. Milner, C. A. R. Hoare, Konrad Slind, Jonathan P. Bowen, Magnus O. Myreen and Scott Owens and has published in prestigious journals such as Thin Solid Films, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences and Information and Software Technology.

In The Last Decade

Mike Gordon

25 papers receiving 810 citations

Hit Papers

align trajectories

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

Introduction to HOL: a theorem proving environment for higher order logic

1993 581 citations Mike Gordon, Tom Melham Cambridge University Press eBooks profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Mike Gordon United Kingdom	10	629	598	217	179	118	34	980
Guillermo J. Rozas United States	6	543 0.9×	256 0.4×	284 1.3×	100 0.6×	164 1.4×	11	710
D. H. Bartley United States	5	549 0.9×	258 0.4×	286 1.3×	101 0.6×	161 1.4×	5	715
Timothy Kam United States	19	187 0.3×	519 0.9×	495 2.3×	245 1.4×	149 1.3×	41	920
Simon Peyton-Jones United Kingdom	9	372 0.6×	154 0.3×	397 1.8×	76 0.4×	548 4.6×	14	826
Alan M. Frisch United Kingdom	15	415 0.7×	152 0.3×	36 0.2×	62 0.3×	232 2.0×	45	598
Hal Wasserman United States	8	370 0.6×	180 0.3×	312 1.4×	40 0.2×	260 2.2×	12	838
Gilles Dowek France	14	476 0.8×	398 0.7×	40 0.2×	53 0.3×	49 0.4×	76	675
Jean-Louis Lassez United States	13	428 0.7×	264 0.4×	18 0.1×	40 0.2×	155 1.3×	25	594
Rowan Davies Australia	13	652 1.0×	340 0.6×	121 0.6×	79 0.4×	133 1.1×	26	926
J. E. Mezei United States	4	359 0.6×	426 0.7×	91 0.4×	166 0.9×	78 0.7×	6	681

Countries citing papers authored by Mike Gordon

Since Specialization

Citations

This map shows the geographic impact of Mike Gordon's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Mike Gordon with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mike Gordon more than expected).

Fields of papers citing papers by Mike Gordon

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Mike Gordon. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Mike Gordon. The network helps show where Mike Gordon may publish in the future.

Co-authorship network of co-authors of Mike Gordon

This figure shows the co-authorship network connecting the top 25 collaborators of Mike Gordon. A scholar is included among the top collaborators of Mike Gordon based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Mike Gordon. Mike Gordon is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Boulton, Richard J., et al.. (2021). The HOL verification of ELLA designs. CL Technical Reports.

2.

Gordon, Mike. (2021). Proving a computer correct with the LCF_LSM hardware verification system. CL Technical Reports.

3.

Gordon, Mike. (2021). Hardware verification by formal proof. CL Technical Reports.

4.

Gordon, Mike, et al.. (2019). Utilization of electromyography to measure chewing characteristics of feedstuffs in horses. Journal of Equine Veterinary Science. 76. 45–46. 1 indexed citations

5.

Gordon, Mike, et al.. (2019). Electromyographic measurement of horses chewing senior feed at different feeding heights and time of day. Are there differences?. Journal of Equine Veterinary Science. 76. 43–44. 1 indexed citations

6.

Gordon, Mike. (2015). Tactics for mechanized reasoning: a commentary on Milner (1984) ‘The use of machines to assist in rigorous proof’. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 373(2039). 20140234–20140234. 5 indexed citations

7.

Myreen, Magnus O., Mike Gordon, & Konrad Slind. (2012). Decompilation into logic — Improved. 78–81. 19 indexed citations

8.

Hurd, Joe & Mike Gordon. (2007). Formalized Elliptic Curve Cryptography. 4 indexed citations

9.

Gordon, Mike. (2005). Introduction To The Hol System. 2–3. 9 indexed citations

10.

Gordon, Mike. (2004). PSL semantics in higher order logic. 1 indexed citations

11.

Hoare, C. A. R. & Mike Gordon. (2003). Partial correctness of C-MOS switching circuits: an exercise in applied logic. 28–36. 1 indexed citations

12.

Gordon, Mike. (2002). Relating Event and Trace Semantics of Hardware Description Languages. The Computer Journal. 45(1). 27–36. 12 indexed citations

13.

Waring, George O., et al.. (1995). Photorefractive keratectomy for myopia using a 4.5-millimeter ablation zone.. PubMed. 11(3). 170–80. 14 indexed citations

14.

Gordon, Mike, et al.. (1995). Experiments with ZF Set Theory in HOL and Isabelle. BRICS Report Series. 2(37). 8 indexed citations

15.

Gordon, Mike. (1994). A mechanized Hoare logic of state transitions. 143–159. 3 indexed citations

16.

Gordon, Mike & Tom Melham. (1993). Introduction to HOL: a theorem proving environment for higher order logic. Cambridge University Press eBooks. 581 indexed citations breakdown →

17.

Hoare, C. A. R. & Mike Gordon. (1992). Mechanized reasoning and hardware design. Journal of the American Dietetic Association. 89(9). 1290–2, 1295. 22 indexed citations

18.

Gordon, Mike & John Herbert. (1986). Formal hardware verification methodology and its application to a network interface chip. IEE Proceedings E Computers and Digital Techniques. 133(5). 255–255. 5 indexed citations

19.

Gordon, Mike. (1979). On the power of list iteration. The Computer Journal. 22(4). 376–379. 5 indexed citations

20.

Davison, W. H. T. & Mike Gordon. (1957). Sorting for chemical groups using Gordon‐Kendall‐Davison ciphers. American Documentation. 8(3). 202–210. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact