John Herbert

512 total citations
15 papers, 293 citations indexed

About

John Herbert is a scholar working on Organic Chemistry, Hardware and Architecture and Artificial Intelligence. According to data from OpenAlex, John Herbert has authored 15 papers receiving a total of 293 indexed citations (citations by other indexed papers that have themselves been cited), including 5 papers in Organic Chemistry, 5 papers in Hardware and Architecture and 4 papers in Artificial Intelligence. Recurrent topics in John Herbert's work include Synthesis and Characterization of Heterocyclic Compounds (3 papers), Logic, programming, and type systems (3 papers) and Embedded Systems Design Techniques (3 papers). John Herbert is often cited by papers focused on Synthesis and Characterization of Heterocyclic Compounds (3 papers), Logic, programming, and type systems (3 papers) and Embedded Systems Design Techniques (3 papers). John Herbert collaborates with scholars based in United Kingdom, Canada and United States. John Herbert's co-authors include H. Suschitzky, John Harrison, Andrew D. Gordon, Richard J. Boulton, Michael J. C. Gordon, David W. Latham, Otto Meth‐Cohn, Mike Gordon, Brian Iddon and Andrew Robinson and has published in prestigious journals such as Psychological Review, Journal of the Chemical Society Perkin Transactions 1 and Psychology in the Schools.

In The Last Decade

John Herbert

11 papers receiving 262 citations

Peers

John Herbert
Philippe de Groote France
Yixuan Chen China
Weng Kin Ho Singapore
W. Lehnert United States
Lei Bao China
A. F. M. FAHMY Egypt
Ningxin Xu United States
F.K. Bell United Kingdom
Dinesh V. Vidhani United States
Pascal Caron France
Philippe de Groote France
John Herbert
Citations per year, relative to John Herbert John Herbert (= 1×) peers Philippe de Groote

Countries citing papers authored by John Herbert

Since Specialization
Citations

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

Fields of papers citing papers by John Herbert

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of John Herbert

This figure shows the co-authorship network connecting the top 25 collaborators of John Herbert. A scholar is included among the top collaborators of John Herbert 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 John Herbert. John Herbert is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

15 of 15 papers shown
1.
Herbert, John. (2021). Case study of the Cambridge Fast Ring ECL chip using HOL. CL Technical Reports.
2.
Boulton, Richard J., et al.. (2021). The HOL verification of ELLA designs. CL Technical Reports.
3.
Herbert, John. (2021). Temporal abstraction of digital designs. CL Technical Reports.
4.
Herbert, John. (2021). Formal verification of basic memory devices. CL Technical Reports.
5.
Cardell‐Oliver, Rachel, et al.. (1993). An embedding of Timed Transition Systems in HOL. Formal Methods in System Design. 3(1-2). 151–174. 4 indexed citations
6.
Boulton, Richard J., et al.. (1992). Experience with Embedding Hardware Description Languages in HOL. 129–156. 66 indexed citations
7.
Herbert, John, Brian Iddon, Andrew Robinson, & H. Suschitzky. (1988). 2H-benzimidazoles (isobenzimidazoles). Part 3. Thermal isomerisation of substituted 2H-benzimidazoles to 1H-benzimidazoles. Journal of the Chemical Society Perkin Transactions 1. 991–991. 6 indexed citations
8.
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
9.
Herbert, John, et al.. (1984). Umpolung of o-phenylenediamines by conversion into isobenzimidazole. An expedient approach to heterocycles with nucleophilic substituents. Journal of the Chemical Society Perkin Transactions 1. 2465–2465. 13 indexed citations
10.
Latham, David W., Otto Meth‐Cohn, H. Suschitzky, & John Herbert. (1977). Benzofurazan N-oxides as synthetic precursors. Part 2. Conversion of benzofurazan N-oxides into 2H-benzimidazoles and some unusual reactions of 2H-benzimidazoles. Journal of the Chemical Society Perkin Transactions 1. 470–470. 19 indexed citations
11.
Herbert, John, et al.. (1976). National Consciousness and the Curriculum: The Canadian Case. Canadian Journal of Education / Revue canadienne de l éducation. 1(2). 75–75. 6 indexed citations
12.
Herbert, John & H. Suschitzky. (1974). Syntheses of heterocyclic compounds. Part XXIX. Substituted 2,3-dihydro-1H-1,5-benzodiazepines. Journal of the Chemical Society Perkin Transactions 1. 2657–2657. 132 indexed citations
13.
Herbert, John, David W. Latham, Otto Meth‐Cohn, & H. Suschitzky. (1972). An unexpected fragmentation reaction of tetracyanoethylene with isobenzimidazoles. Journal of the Chemical Society Chemical Communications. 1302–1302. 3 indexed citations
14.
Herbert, John. (1970). Direct observation as a research technique. Psychology in the Schools. 7(2). 127–138. 12 indexed citations
15.
Herbert, John, et al.. (1969). A theory of stimulus equivalence.. Psychological Review. 76(4). 405–418. 27 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

Breakdown of academic impact, for papers by Philippe de Groote Breakdown of academic impact, for papers by Yixuan Chen Breakdown of academic impact, for papers by Weng Kin Ho Breakdown of academic impact, for papers by W. Lehnert Breakdown of academic impact, for papers by Lei Bao Breakdown of academic impact, for papers by A. F. M. FAHMY Breakdown of academic impact, for papers by Ningxin Xu Breakdown of academic impact, for papers by F.K. Bell Breakdown of academic impact, for papers by Dinesh V. Vidhani Breakdown of academic impact, for papers by Pascal Caron
Rankless by CCL
2026