C. Barry Jay

740 total citations
28 papers, 289 citations indexed

About

C. Barry Jay is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, C. Barry Jay has authored 28 papers receiving a total of 289 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Artificial Intelligence, 10 papers in Computer Networks and Communications and 7 papers in Computational Theory and Mathematics. Recurrent topics in C. Barry Jay's work include Logic, programming, and type systems (19 papers), Advanced Database Systems and Queries (9 papers) and Homotopy and Cohomology in Algebraic Topology (6 papers). C. Barry Jay is often cited by papers focused on Logic, programming, and type systems (19 papers), Advanced Database Systems and Queries (9 papers) and Homotopy and Cohomology in Algebraic Topology (6 papers). C. Barry Jay collaborates with scholars based in Australia, Canada and United Kingdom. C. Barry Jay's co-authors include Jens Palsberg, Neil Ghani, Eugenio Moggi, James Noble, Bernhard Steffen, David B. Skillicorn, Quang Nguyen, Michael Mendler and Dave Clarke and has published in prestigious journals such as ACM Computing Surveys, Theoretical Computer Science and ACM Transactions on Programming Languages and Systems.

In The Last Decade

C. Barry Jay

26 papers receiving 253 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
C. Barry Jay Australia 9 232 91 69 61 53 28 289
Varmo Vene Estonia 11 251 1.1× 177 1.9× 51 0.7× 50 0.8× 37 0.7× 27 294
F. Javier Thayer United States 8 246 1.1× 86 0.9× 233 3.4× 17 0.3× 183 3.5× 18 378
Christopher P. Wadsworth United Kingdom 6 477 2.1× 345 3.8× 53 0.8× 72 1.2× 47 0.9× 8 523
Ulf Norell Sweden 6 148 0.6× 94 1.0× 52 0.8× 28 0.5× 37 0.7× 14 217
Ian Stark United Kingdom 12 414 1.8× 213 2.3× 98 1.4× 84 1.4× 92 1.7× 37 485
John Staples Australia 8 113 0.5× 151 1.7× 60 0.9× 35 0.6× 11 0.2× 25 216
Woody Lichtenstein United States 5 72 0.3× 27 0.3× 212 3.1× 365 6.0× 19 0.4× 7 395
Dan R. Ghica United Kingdom 13 326 1.4× 219 2.4× 58 0.8× 128 2.1× 34 0.6× 51 402
Axel Poigné Germany 8 87 0.4× 98 1.1× 43 0.6× 25 0.4× 31 0.6× 23 165
Lasse R. Nielsen Denmark 8 323 1.4× 186 2.0× 38 0.6× 68 1.1× 63 1.2× 18 338

Countries citing papers authored by C. Barry Jay

Since Specialization
Citations

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

Fields of papers citing papers by C. Barry Jay

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of C. Barry Jay

This figure shows the co-authorship network connecting the top 25 collaborators of C. Barry Jay. A scholar is included among the top collaborators of C. Barry Jay 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 C. Barry Jay. C. Barry Jay 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.
Jay, C. Barry, et al.. (2006). A relational account of objects. UTS ePRESS (University of Technology Sydney). 297–302. 2 indexed citations
2.
Jay, C. Barry, et al.. (2006). Adaptiveness in well-typed Java bytecode verification. 19–19. 1 indexed citations
3.
Jay, C. Barry. (2004). The pattern calculus. ACM Transactions on Programming Languages and Systems. 26(6). 911–937. 28 indexed citations
4.
Jay, C. Barry, et al.. (2004). The Polymorphic Imperative: a Generic Approach to In-place Update. Electronic Notes in Theoretical Computer Science. 91. 195–211. 1 indexed citations
5.
Palsberg, Jens & C. Barry Jay. (2002). The essence of the Visitor pattern. 9–15. 73 indexed citations
6.
Jay, C. Barry, et al.. (2002). Exploiting shape in parallel programming. Lirias (KU Leuven). 6. 295–302.
7.
Jay, C. Barry. (2000). Costing parallel programs as a function of shapes. Science of Computer Programming. 37(1-3). 207–224. 8 indexed citations
8.
Jay, C. Barry. (1999). Partial Evaluation of Shaped Programs: Experience with FISh.. 147–158. 4 indexed citations
9.
Jay, C. Barry. (1999). Programming in FISh. International Journal on Software Tools for Technology Transfer. 2(3). 307–315. 9 indexed citations
10.
Jay, C. Barry, et al.. (1998). Functorial ML. Journal of Functional Programming. 8(6). 573–619. 16 indexed citations
11.
Jay, C. Barry. (1997). Covariant types. Theoretical Computer Science. 185(2). 237–258. 1 indexed citations
12.
Jay, C. Barry & James Noble. (1996). Shaping Object-Oriented Programs. 1 indexed citations
13.
Jay, C. Barry. (1996). Shape in computing. ACM Computing Surveys. 28(2). 355–357. 8 indexed citations
14.
Jay, C. Barry. (1995). A semantics for shape. Science of Computer Programming. 25(2-3). 251–283. 48 indexed citations
15.
Steffen, Bernhard, et al.. (1992). Compositional characterization of observable program properties. RAIRO - Theoretical Informatics and Applications. 26(5). 403–424. 3 indexed citations
16.
Jay, C. Barry. (1991). Coherence in category theory and the Church-Rosser property.. Notre Dame Journal of Formal Logic. 33(1). 2 indexed citations
17.
Jay, C. Barry. (1990). The structure of free closed categories. Journal of Pure and Applied Algebra. 66(3). 271–285. 9 indexed citations
18.
Steffen, Bernhard, C. Barry Jay, & Michael Mendler. (1990). Compositional Characterization of Observable Program Properties. DAIMI Report Series. 19(328). 1 indexed citations
19.
Jay, C. Barry. (1989). Languages for monoidal categories. Journal of Pure and Applied Algebra. 59(1). 61–85. 17 indexed citations
20.
Jay, C. Barry. (1989). A note on natural numbers objects in monoidal categories. Studia Logica. 48(3). 389–393. 3 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 Varmo Vene Breakdown of academic impact, for papers by F. Javier Thayer Breakdown of academic impact, for papers by Christopher P. Wadsworth Breakdown of academic impact, for papers by Ulf Norell Breakdown of academic impact, for papers by Ian Stark Breakdown of academic impact, for papers by John Staples Breakdown of academic impact, for papers by Woody Lichtenstein Breakdown of academic impact, for papers by Dan R. Ghica Breakdown of academic impact, for papers by Axel Poigné Breakdown of academic impact, for papers by Lasse R. Nielsen
Rankless by CCL
2026