Robert Ennals

465 total citations
10 papers, 203 citations indexed

About

Robert Ennals is a scholar working on Artificial Intelligence, Software and Hardware and Architecture. According to data from OpenAlex, Robert Ennals has authored 10 papers receiving a total of 203 indexed citations (citations by other indexed papers that have themselves been cited), including 6 papers in Artificial Intelligence, 5 papers in Software and 4 papers in Hardware and Architecture. Recurrent topics in Robert Ennals's work include Logic, programming, and type systems (5 papers), Software Testing and Debugging Techniques (5 papers) and Parallel Computing and Optimization Techniques (4 papers). Robert Ennals is often cited by papers focused on Logic, programming, and type systems (5 papers), Software Testing and Debugging Techniques (5 papers) and Parallel Computing and Optimization Techniques (4 papers). Robert Ennals collaborates with scholars based in United Kingdom, United States and South Sudan. Robert Ennals's co-authors include Minos Garofalakis, Simon Peyton Jones, Zachary Anderson, George C. Necula, Matthew Harren, Feng Zhou, Jeremy Condit, Richard R. Sharp and Alan Mycroft and has published in prestigious journals such as Cellular Immunology, ACM SIGPLAN Notices and CL Technical Reports.

In The Last Decade

Robert Ennals

7 papers receiving 179 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Robert Ennals United Kingdom	5	140	87	68	64	34	10	203
Rafael R. Obelheiro Brazil	8	205 1.5×	78 0.9×	25 0.4×	52 0.8×	6 0.2×	28	235
James Cowling United States	7	378 2.7×	179 2.1×	57 0.8×	78 1.2×	14 0.4×	10	420
David Kaminsky United States	6	246 1.8×	144 1.7×	114 1.7×	93 1.5×	3 0.1×	9	312
Giuliano Losa United States	8	135 1.0×	75 0.9×	30 0.4×	48 0.8×	9 0.3×	21	176
Jim Gray	3	304 2.2×	53 0.6×	83 1.2×	43 0.7×	7 0.2×	5	320
Hans-J. Schek Switzerland	5	142 1.0×	80 0.9×	21 0.3×	33 0.5×	11 0.3×	7	168
Olivier Gruber France	8	107 0.8×	59 0.7×	39 0.6×	83 1.3×	2 0.1×	15	168
Angela C. Sodan Canada	9	169 1.2×	109 1.3×	152 2.2×	29 0.5×	2 0.1×	38	252
Hany E. Ramadan United States	10	361 2.6×	68 0.8×	246 3.6×	64 1.0×	73 2.1×	18	405
Raja R. Sambasivan United States	11	493 3.5×	281 3.2×	57 0.8×	69 1.1×	4 0.1×	25	516

Countries citing papers authored by Robert Ennals

Since Specialization

Citations

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

Fields of papers citing papers by Robert Ennals

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Robert Ennals

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

10 of 10 papers shown

1.

Ennals, Robert. (2021). Adaptive evaluation of non-strict programs. CL Technical Reports. 2 indexed citations

2.

Ennals, Robert, Richard R. Sharp, & Alan Mycroft. (2021). Linear types for packet processing (extended version). CL Technical Reports.

3.

Ennals, Robert & Minos Garofalakis. (2007). MashMaker. 1116–1118. 86 indexed citations

4.

Anderson, Zachary, Jeremy Condit, Robert Ennals, et al.. (2007). Beyond bug-finding: sound program analysis for Linux. 21. 5 indexed citations

5.

Ennals, Robert. (2005). Feris: A Functional Environment for Retargetable Interactive Systems. Cellular Immunology. 37(2). 383–9. 3 indexed citations

6.

Ennals, Robert. (2005). Software Transactional Memory Should Not Be Obstruction-Free. 73 indexed citations

7.

Ennals, Robert & Simon Peyton Jones. (2003). Optimistic evaluation. ACM SIGPLAN Notices. 38(9). 287–298. 3 indexed citations

8.

Ennals, Robert & Simon Peyton Jones. (2003). Optimistic evaluation. 287–298. 26 indexed citations

9.

Ennals, Robert & Simon Peyton Jones. (2003). HsDebug. 84–87. 5 indexed citations

10.

Ennals, Robert. (1998). Controlled temporal non-determinism for reasoning with a machine of finite speed. 339–339.

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