Tom Melham

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

About

Tom Melham is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Hardware and Architecture. According to data from OpenAlex, Tom Melham has authored 45 papers receiving a total of 980 indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Computational Theory and Mathematics, 20 papers in Artificial Intelligence and 15 papers in Hardware and Architecture. Recurrent topics in Tom Melham's work include Formal Methods in Verification (23 papers), Software Testing and Debugging Techniques (12 papers) and Logic, programming, and type systems (10 papers). Tom Melham is often cited by papers focused on Formal Methods in Verification (23 papers), Software Testing and Debugging Techniques (12 papers) and Logic, programming, and type systems (10 papers). Tom Melham collaborates with scholars based in United Kingdom, United States and Canada. Tom Melham's co-authors include Mike Gordon, Daniel Kroening, John O’Leary, Jim Grundy, Robert B. Jones, Mark D. Aagaard, Rajdeep Mukherjee, Michael Tautschnig, Peter Schrammel and Clark Barrett and has published in prestigious journals such as Progress in Biophysics and Molecular Biology, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Lecture notes in computer science.

In The Last Decade

Tom Melham

39 papers receiving 835 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
Tom Melham United Kingdom	11	658	576	295	249	130	45	980
Mike Gordon United Kingdom	10	598 0.9×	629 1.1×	217 0.7×	179 0.7×	118 0.9×	34	980
Timothy Kam United States	19	519 0.8×	187 0.3×	495 1.7×	245 1.0×	149 1.1×	41	920
Panagiotis Manolios United States	15	456 0.7×	715 1.2×	181 0.6×	307 1.2×	149 1.1×	57	1.0k
Peter Thiemann Germany	18	282 0.4×	687 1.2×	213 0.7×	167 0.7×	148 1.1×	118	858
Ernst-Rüdiger Olderog Germany	16	708 1.1×	654 1.1×	132 0.4×	178 0.7×	213 1.6×	56	959
Yves Bertot France	9	471 0.7×	611 1.1×	89 0.3×	138 0.6×	123 0.9×	33	784
Miroslav N. Velev United States	16	644 1.0×	265 0.5×	404 1.4×	238 1.0×	110 0.8×	54	784
Charles N. Fischer United States	18	202 0.3×	627 1.1×	590 2.0×	276 1.1×	339 2.6×	62	1.1k
Martin Hofmann Germany	18	633 1.0×	921 1.6×	216 0.7×	119 0.5×	224 1.7×	67	1.0k
Alan Mycroft United Kingdom	15	283 0.4×	491 0.9×	293 1.0×	183 0.7×	271 2.1×	80	852

Countries citing papers authored by Tom Melham

Since Specialization

Citations

This map shows the geographic impact of Tom Melham'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 Tom Melham with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Tom Melham more than expected).

Fields of papers citing papers by Tom Melham

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Tom Melham. 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 Tom Melham. The network helps show where Tom Melham may publish in the future.

Co-authorship network of co-authors of Tom Melham

This figure shows the co-authorship network connecting the top 25 collaborators of Tom Melham. A scholar is included among the top collaborators of Tom Melham 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 Tom Melham. Tom Melham 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.

Abate, Alessandro, et al.. (2024). Symbolic Task Inference in Deep Reinforcement Learning. Journal of Artificial Intelligence Research. 80. 1099–1137. 2 indexed citations

2.

Melham, Tom, et al.. (2024). Contextualizing Formal Verification for Systems Security Engineering. IEEE Security & Privacy. 23(2). 32–41.

3.

Cordeiro, Lucas C., Konstantin Korovin, Tom Melham, et al.. (2022). Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. Lirias (KU Leuven). 52–58. 1 indexed citations

4.

Melham, Tom, et al.. (2022). Enhancing active model learning with equivalence checking using simulation relations. Formal Methods in System Design. 61(2-3). 164–197.

5.

Vidgen, Bertie, Scott A. Hale, Sam Staton, et al.. (2020). Recalibrating classifiers for interpretable abusive content detection. Edinburgh Research Explorer. 132–138. 5 indexed citations

6.

Kroening, Daniel, et al.. (2015). Effective verification of low-level software with nested interrupts. Design, Automation, and Test in Europe. 229–234. 9 indexed citations

7.

Melham, Tom. (2012). Modelling, abstraction, and computation in systems biology: A view from computer science. Progress in Biophysics and Molecular Biology. 111(2-3). 129–136. 11 indexed citations

8.

Melham, Tom, Jonathan Bard, Eric Werner, & Denis Noble. (2012). Conceptual foundations of systems biology. Progress in Biophysics and Molecular Biology. 111(2-3). 55–56. 6 indexed citations

9.

Bard, Jonathan, Tom Melham, Eric Werner, & Denis Noble. (2012). Plenary discussion of the conceptual foundations of systems biology. Progress in Biophysics and Molecular Biology. 111(2-3). 137–140. 6 indexed citations

10.

Melham, Tom, et al.. (2007). Automatic Abstraction in Symbolic Trajectory Evaluation. 127–135. 4 indexed citations

11.

Melham, Tom. (2006). A Functional HDL in ReFLect. Oxford University Research Archive (ORA) (University of Oxford). 1 indexed citations

12.

Hurd, Joe & Tom Melham. (2005). Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science). Springer eBooks. 4 indexed citations

13.

Jones, Robert B., John O’Leary, Tom Melham, et al.. (2005). An industrially effective environment for formal hardware verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 24(9). 1381–1405. 39 indexed citations

14.

Melham, Tom. (2005). A Package For Inductive Relation Definitions In HOL. 350–357. 10 indexed citations

15.

Margaria, Tiziana & Tom Melham. (2001). Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings. Springer eBooks. 1 indexed citations

16.

Melham, Tom, et al.. (1998). Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. 308–309. 7 indexed citations

17.

Gray, Philip, et al.. (1998). Interactive Theorem Proving: An Empirical Study of User Activity. Journal of Symbolic Computation. 25(2). 263–284. 9 indexed citations

18.

Melham, Tom. (1994). A mechanized theory of the &pi-calculus in Hol. OpenGrey (Institut de l'Information Scientifique et Technique). 1(1). 50–76. 21 indexed citations

19.

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

20.

Birtwistle, Graham, et al.. (1985). SPECIFICATION AND VLSI DESIGN. PRISM (University of Calgary). 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