Rick Statman

966 total citations
29 papers, 435 citations indexed

About

Rick Statman is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Algebra and Number Theory. According to data from OpenAlex, Rick Statman has authored 29 papers receiving a total of 435 indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Computational Theory and Mathematics, 20 papers in Artificial Intelligence and 3 papers in Algebra and Number Theory. Recurrent topics in Rick Statman's work include Logic, programming, and type systems (15 papers), semigroups and automata theory (11 papers) and Logic, Reasoning, and Knowledge (11 papers). Rick Statman is often cited by papers focused on Logic, programming, and type systems (15 papers), semigroups and automata theory (11 papers) and Logic, Reasoning, and Knowledge (11 papers). Rick Statman collaborates with scholars based in United States, Italy and Netherlands. Rick Statman's co-authors include Kaizhong Zhang, Dennis Shasha, John C. Mitchell, Eugenio Moggi, Albert R. Meyer, John C. Cherniavsky, Michael J. Saks, Paliath Narendran, Frank Pfenning and Adolfo Piperno and has published in prestigious journals such as SHILAP Revista de lepidopterología, SIAM Journal on Computing and Theoretical Computer Science.

In The Last Decade

Rick Statman

23 papers receiving 396 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Rick Statman United States 8 357 218 70 66 54 29 435
Yaacov Choueka Israel 13 390 1.1× 168 0.8× 76 1.1× 52 0.8× 87 1.6× 28 518
Benjamin Rossman United States 10 215 0.6× 250 1.1× 115 1.6× 65 1.0× 29 0.5× 34 427
Peter Gemmell United States 10 490 1.4× 227 1.0× 234 3.3× 158 2.4× 40 0.7× 13 609
Harry G. Mairson United States 15 429 1.2× 315 1.4× 104 1.5× 38 0.6× 16 0.3× 37 476
Stoyan Mihov Bulgaria 10 292 0.8× 82 0.4× 28 0.4× 69 1.0× 85 1.6× 28 405
Søren B. Lassen United States 11 287 0.8× 199 0.9× 55 0.8× 35 0.5× 37 0.7× 20 332
Michael Kaminski Israel 10 335 0.9× 282 1.3× 47 0.7× 62 0.9× 14 0.3× 66 428
William A. Martin United States 8 164 0.5× 79 0.4× 62 0.9× 32 0.5× 30 0.6× 18 284
Jan C. Bioch Netherlands 10 217 0.6× 160 0.7× 44 0.6× 39 0.6× 18 0.3× 18 333
Bohdan S. Majewski Australia 6 152 0.4× 64 0.3× 87 1.2× 30 0.5× 47 0.9× 7 246

Countries citing papers authored by Rick Statman

Since Specialization
Citations

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

Fields of papers citing papers by Rick Statman

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Rick Statman

This figure shows the co-authorship network connecting the top 25 collaborators of Rick Statman. A scholar is included among the top collaborators of Rick Statman 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 Rick Statman. Rick Statman 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.
Statman, Rick. (2018). Marginalia to a theorem of Jacopini. Research Showcase @ Carnegie Mellon University (Carnegie Mellon University).
2.
Statman, Rick. (2016). On the Representation of Semigroups and Other Congruences in the Lambda Calculus. Electronic Notes in Theoretical Computer Science. 325. 299–304.
3.
Statman, Rick. (2015). A Finite Model Property for Intersection Types. SHILAP Revista de lepidopterología. 177. 1–9. 1 indexed citations
4.
Statman, Rick. (2010). Cartesian Monoids. Electronic Notes in Theoretical Computer Science. 265. 437–451. 1 indexed citations
5.
Statman, Rick. (2007). On the complexity of alpha conversion. Journal of Symbolic Logic. 72(4). 1197–1203. 1 indexed citations
6.
Statman, Rick. (2004). On the λY calculus. Annals of Pure and Applied Logic. 130(1-3). 325–337. 4 indexed citations
7.
Intrigila, Benedetto & Rick Statman. (2004). The omega rule is /spl Pi//sub 2//sup 0/-hard in the /spl lambda//spl beta/-calculus. 202–210.
8.
Statman, Rick. (2002). Freyd's hierarchy of combinator monoids. 37. 186–190.
9.
Narendran, Paliath, Frank Pfenning, & Rick Statman. (2002). On the unification problem for Cartesian closed categories. 57–63. 3 indexed citations
10.
Statman, Rick. (1993). Some examples of non-existent combinators. Theoretical Computer Science. 121(1-2). 441–448. 4 indexed citations
11.
Statman, Rick. (1989). On sets of solutions to combinator equations. Theoretical Computer Science. 66(1). 99–104. 6 indexed citations
12.
Statman, Rick. (1989). The word problem for Smullyan's lark combinator is decidable. Journal of Symbolic Computation. 7(2). 103–112. 5 indexed citations
13.
Saks, Michael J. & Rick Statman. (1988). An intersection problem for finite automata. Discrete Applied Mathematics. 21(3). 245–255. 1 indexed citations
14.
Statman, Rick. (1986). Every countable poset is embeddable in the poset of unsolvable terms. Theoretical Computer Science. 48. 95–100. 1 indexed citations
15.
Statman, Rick, et al.. (1986). Scott induction and closure under ω-sups. Theoretical Computer Science. 43. 251–263. 4 indexed citations
16.
Statman, Rick. (1983). λ-definable functionals andβη conversion. Archive for Mathematical Logic. 23(1). 21–26. 19 indexed citations
17.
Statman, Rick. (1982). Completeness, invariance and λ-definability. Journal of Symbolic Logic. 47(1). 17–26. 43 indexed citations
18.
Statman, Rick. (1981). Speed-up by theories with infinite models. Proceedings of the American Mathematical Society. 81(3). 465–465. 5 indexed citations
19.
Statman, Rick. (1981). Reductions of the Graph Reconstruction Conjecture. Discrete Mathematics. 36(3). 103–107.
20.
Statman, Rick. (1981). On the existence of closed terms in the typed λ calculus II: Transformations of unification problems. Theoretical Computer Science. 15(3). 329–338. 8 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 Yaacov Choueka Breakdown of academic impact, for papers by Benjamin Rossman Breakdown of academic impact, for papers by Peter Gemmell Breakdown of academic impact, for papers by Harry G. Mairson Breakdown of academic impact, for papers by Stoyan Mihov Breakdown of academic impact, for papers by Søren B. Lassen Breakdown of academic impact, for papers by Michael Kaminski Breakdown of academic impact, for papers by William A. Martin Breakdown of academic impact, for papers by Jan C. Bioch Breakdown of academic impact, for papers by Bohdan S. Majewski
Rankless by CCL
2026