Richard Bornat

94 total papers · 1.5k total citations
39 papers, 660 citations indexed

About

Richard Bornat is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Science Applications. According to data from OpenAlex, Richard Bornat has authored 39 papers receiving a total of 660 indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 9 papers in Computer Science Applications. Recurrent topics in Richard Bornat's work include Logic, programming, and type systems (18 papers), Formal Methods in Verification (12 papers) and Teaching and Learning Programming (9 papers). Richard Bornat is often cited by papers focused on Logic, programming, and type systems (18 papers), Formal Methods in Verification (12 papers) and Teaching and Learning Programming (9 papers). Richard Bornat collaborates with scholars based in United Kingdom, New Zealand and Hong Kong. Richard Bornat's co-authors include Cristiano Calcagno, Matthew Parkinson, Peter W. O’Hearn, Norma P. Simon, J G. Brotherston, Hongseok Yang, J. Michael Brady, Ray J Adams, Tom O’Shea and Steve Reeves and has published in prestigious journals such as Computers & Education, Computer Physics Communications and British Journal of Educational Technology.

In The Last Decade

Richard Bornat

35 papers receiving 592 citations

Author Peers

Peers are selected by citation overlap in the author's most active subfields. citations · hero ref

Author						Papers	Cites
Richard Bornat	469	239	234	147	128	39	660
Ralph‐Johan Back	327 0.7×	70 0.3×	299 1.3×	83 0.6×	64 0.5×	38	585
Loris D’Antoni	338 0.7×	157 0.7×	131 0.6×	114 0.8×	142 1.1×	56	678
T Tom Verhoeff	260 0.6×	188 0.8×	183 0.8×	169 1.1×	46 0.4×	66	672
Corrado Böhm	391 0.8×	119 0.5×	250 1.1×	115 0.8×	57 0.4×	25	635
Richard Rasala	170 0.4×	38 0.2×	76 0.3×	52 0.4×	248 1.9×	54	583
Mattia Monga	281 0.6×	291 1.2×	36 0.2×	27 0.2×	124 1.0×	76	726
Matthew Hertz	331 0.7×	379 1.6×	15 0.1×	423 2.9×	121 0.9×	26	713
Bastiaan Heeren	305 0.7×	34 0.1×	60 0.3×	57 0.4×	473 3.7×	42	777
Tia Newhall	115 0.2×	471 2.0×	14 0.1×	344 2.3×	90 0.7×	30	687
Nadia Polikarpova	276 0.6×	49 0.2×	93 0.4×	72 0.5×	81 0.6×	39	590

Countries citing papers authored by Richard Bornat

Since Specialization

Citations

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

Fields of papers citing papers by Richard Bornat

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Richard Bornat

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

All Works

Loading papers...

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 Idris Mohammed Breakdown of academic impact, for papers by Paolo Marracino Breakdown of academic impact, for papers by Godwin U. Ebiloma Breakdown of academic impact, for papers by Allan J. Belzberg Breakdown of academic impact, for papers by Joanna Wolfe Breakdown of academic impact, for papers by Lijun Qiao Breakdown of academic impact, for papers by Tom Chang Breakdown of academic impact, for papers by Jingqi Li