Robert Cartwright

2.5k total citations
66 papers, 1.3k citations indexed

About

Robert Cartwright is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Robert Cartwright has authored 66 papers receiving a total of 1.3k indexed citations (citations by other indexed papers that have themselves been cited), including 41 papers in Artificial Intelligence, 27 papers in Computational Theory and Mathematics and 16 papers in Information Systems. Recurrent topics in Robert Cartwright's work include Logic, programming, and type systems (36 papers), Software Engineering Research (16 papers) and Formal Methods in Verification (13 papers). Robert Cartwright is often cited by papers focused on Logic, programming, and type systems (36 papers), Software Engineering Research (16 papers) and Formal Methods in Verification (13 papers). Robert Cartwright collaborates with scholars based in United States, Sweden and France. Robert Cartwright's co-authors include Mike Fagan, Eric E. Allen, Andrew K. Wright, Guy L. Steele, Charles Reis, Matthias Felleisen, Derek C. Oppen, Michael J. O’Donnell, Hans‐J. Boehm and Pierre-Louis Curien and has published in prestigious journals such as ACM Computing Surveys, SIAM Journal on Computing and IEEE Software.

In The Last Decade

Robert Cartwright

65 papers receiving 1.2k citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Robert Cartwright United States 20 831 489 425 347 286 66 1.3k
Viktor Kunčak Switzerland 21 931 1.1× 587 1.2× 740 1.7× 665 1.9× 276 1.0× 108 1.6k
R. Nigel Horspool Canada 17 764 0.9× 288 0.6× 194 0.5× 152 0.4× 418 1.5× 57 1.1k
Jan Friso Groote Netherlands 21 871 1.0× 201 0.4× 1.0k 2.4× 350 1.0× 209 0.7× 171 1.5k
David Hovemeyer United States 17 531 0.6× 1.4k 2.8× 81 0.2× 1.2k 3.4× 169 0.6× 34 2.0k
Loris D’Antoni United States 15 341 0.4× 222 0.5× 131 0.3× 197 0.6× 115 0.4× 56 679
Joe Armstrong Sweden 11 427 0.5× 244 0.5× 165 0.4× 120 0.3× 394 1.4× 19 994
Stephen N. Freund United States 23 1.1k 1.3× 451 0.9× 349 0.8× 655 1.9× 1.6k 5.5× 45 2.4k
Murray Hill United States 7 637 0.8× 390 0.8× 215 0.5× 382 1.1× 223 0.8× 14 1.1k
Görel Hedin Sweden 17 792 1.0× 684 1.4× 227 0.5× 507 1.5× 199 0.7× 89 1.2k
Paul Strooper Australia 19 232 0.3× 505 1.0× 160 0.4× 772 2.2× 117 0.4× 108 998

Countries citing papers authored by Robert Cartwright

Since Specialization
Citations

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

Fields of papers citing papers by Robert Cartwright

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Robert Cartwright

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

All Works

20 of 20 papers shown
1.
Bartha, Ferenc A., Swarnendu Biswas, Robert Cartwright, et al.. (2019). Proteus: Language and Runtime Support for Self-Adaptive Software Development. IEEE Software. 36(2). 73–82. 11 indexed citations
2.
Taha, Walid, et al.. (2013). A First Course on Cyber Physical Systems. 10 indexed citations
3.
Cartwright, Robert, et al.. (2010). Test-first Java concurrency for the classroom. 219–223. 7 indexed citations
4.
Allen, Eric E. & Robert Cartwright. (2005). Safe instantiation in Generic Java. Science of Computer Programming. 59(1-2). 26–37. 9 indexed citations
5.
Reis, Charles & Robert Cartwright. (2004). Taming a professional IDE for the classroom. ACM SIGCSE Bulletin. 36(1). 156–160. 24 indexed citations
6.
Allen, Eric E. & Robert Cartwright. (2004). Safe instantiation in generic Java. 61–66. 1 indexed citations
7.
Allen, Eric E., et al.. (2003). A first-class approach to genericity. ACM SIGPLAN Notices. 38(11). 96–114. 4 indexed citations
8.
Allen, Eric E., Robert Cartwright, & Charles Reis. (2003). Production programming in the classroom. 89–93. 51 indexed citations
9.
Felleisen, Matthias & Robert Cartwright. (1999). Safety as a metric. 129–131. 1 indexed citations
10.
You, Jia-Huai, Robert Cartwright, & Ming Li. (1996). Iterative belief revision in extended logic programming. Theoretical Computer Science. 170(1-2). 383–406. 2 indexed citations
11.
Cartwright, Robert & Matthias Felleisen. (1996). Program verification through soft typing. ACM Computing Surveys. 28(2). 349–351. 6 indexed citations
12.
You, Jia-Huai & Robert Cartwright. (1994). Tractable argumentation semantics via iterative belief revision. International Conference on Logic Programming. 239–253. 2 indexed citations
13.
Wright, Andrew K. & Robert Cartwright. (1994). A practical soft type system for Scheme. VII(3). 250–262. 6 indexed citations
14.
Cartwright, Robert & Mike Fagan. (1991). Soft typing. 278–292. 200 indexed citations
15.
Cartwright, Robert, et al.. (1990). Exact real arithmetic formulating real numbers as functions. Addison-Wesley Longman Publishing Co., Inc. eBooks. 43–64. 28 indexed citations
16.
Cartwright, Robert, et al.. (1989). The semantics of program dependence. ACM SIGPLAN Notices. 24(7). 13–27. 20 indexed citations
17.
Boehm, Hans‐J., et al.. (1986). Exact real arithmetic: a case study in higher order programming. 162–173. 54 indexed citations
18.
Cartwright, Robert & James Donahue. (1982). The semantics of lazy (and industrious) evaluation. 253–264. 9 indexed citations
19.
Cartwright, Robert & Derek C. Oppen. (1981). The logic of aliasing. Acta Informatica. 15(4). 18 indexed citations
20.
Cartwright, Robert. (1976). User-Defined Data Types as an Aid to Verifying LISP Programs.. International Colloquium on Automata, Languages and Programming. 228–256. 17 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 Viktor Kunčak Breakdown of academic impact, for papers by R. Nigel Horspool Breakdown of academic impact, for papers by Jan Friso Groote Breakdown of academic impact, for papers by David Hovemeyer Breakdown of academic impact, for papers by Loris D’Antoni Breakdown of academic impact, for papers by Joe Armstrong Breakdown of academic impact, for papers by Stephen N. Freund Breakdown of academic impact, for papers by Murray Hill Breakdown of academic impact, for papers by Görel Hedin Breakdown of academic impact, for papers by Paul Strooper
Rankless by CCL
2026