Richard Bornat

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 Australia. 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, Pat Fung, Ray J Adams and Steve Reeves and has published in prestigious journals such as Computers & Education, Computer Physics Communications and Theoretical Computer Science.

In The Last Decade

Richard Bornat

35 papers receiving 592 citations

Peers

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

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

20 of 20 papers shown

#	Work	Indexed citations
1	Observing Mental Models in Novice Programmers. 2012 ·PPIG ·Richard Bornat, (unknown), David N. Barton	7
2	Meta-analysis of the effect of consistency on success in early learning of programming. 2009 ·PPIG ·(unknown), Richard Bornat, Ray J Adams	15
3	Cyclic proofs of program termination in separation logic 2008 ·J G. Brotherston, Richard Bornat, Cristiano Calcagno	30
4	Mental models, consistency and programming aptitude 2008 ·Richard Bornat, (unknown), Norma P. Simon	65
5	Modular verification of a non-blocking stack 2007 ·ACM SIGPLAN Notices ·Matthew Parkinson, Richard Bornat, Peter W. O’Hearn	21
6	Permission accounting in separation logic 2005 ·Richard Bornat, Cristiano Calcagno, Peter W. O’Hearn, Matthew Parkinson	194
7	Permission accounting in separation logic 2005 ·ACM SIGPLAN Notices ·Richard Bornat, Cristiano Calcagno, Peter W. O’Hearn, Matthew Parkinson	33
8	Program logic and equivalence in the presence of garbage collection 2003 ·Theoretical Computer Science ·Cristiano Calcagno, Peter W. O’Hearn, Richard Bornat	15
9	Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms 2003 ·British Journal of Educational Technology ·James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O’Shea, Bernard Sufrin	2
10	Local reasoning, separation and aliasing 2003 ·Richard Bornat, Cristiano Calcagno	18
11	Computer science undergraduates learning logic using a proof editor: work in progress. 1999 ·PPIG ·James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O’Shea, Bernard Sufrin	2
12	Animating Formal Proof at the Surface: The Jape Proof Calculator 1999 ·The Computer Journal ·Richard Bornat	9
13	Parallelizing Imperative Functional Programs: the Vectorization Monad 1996 ·Journal of Symbolic Computation ·Jonathan M. D. Hill, (unknown), Richard Bornat	1
14	Computer tools to teach formal reasoning 1996 ·Computers & Education ·Pat Fung, Tom O’Shea, (unknown), Steve Reeves, Richard Bornat	6
15	A Protocol for Generalized occam 1986 ·Software Practice and Experience ·Richard Bornat	8
16	Tools for creating intelligent computer tutors 1984 ·Tim O’Shea, Richard Bornat, Benedict du Boulay, Marc Eisenstadt, Ian Page	18
17	Finding blobs of writing in the Fortran coding-sheets project 1976 ·Richard Bornat, J. Michael Brady	4
18	Does AI programming really have to be like knitting with spaghetti 1976 ·Richard Bornat, Bob Wielinga	1
19	Reasoning about hand printed Fortran programs 1976 ·Richard Bornat	4
20	Using knowledge in the computer interpretation of handwritten FORTRAN coding sheets 1976 ·International Journal of Man-Machine Studies ·Richard Bornat, J. Michael Brady	9

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