John N. Crossley

1.3k total citations
66 papers, 366 citations indexed

About

John N. Crossley is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Anthropology. According to data from OpenAlex, John N. Crossley has authored 66 papers receiving a total of 366 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 12 papers in Anthropology. Recurrent topics in John N. Crossley's work include Philippine History and Culture (10 papers), Logic, programming, and type systems (8 papers) and History and Theory of Mathematics (6 papers). John N. Crossley is often cited by papers focused on Philippine History and Culture (10 papers), Logic, programming, and type systems (8 papers) and History and Theory of Mathematics (6 papers). John N. Crossley collaborates with scholars based in Australia, United States and United Kingdom. John N. Crossley's co-authors include Imre Lakatos, Anthony W -C Lun, Frank Swetz, Anil Nerode, Martin Wirsing, Peter Aczel, Alfred B. Manaster, Salvador Barberà, Anthony J. Bonner and Kurt Schütte and has published in prestigious journals such as American Mathematical Monthly, Theoretical Computer Science and Bulletin of the London Mathematical Society.

In The Last Decade

John N. Crossley

48 papers receiving 296 citations

Peers

John N. Crossley
Richard Dedekind Switzerland
Colin McLarty United States
José Ferreirós Spain
Benedikt Löwe Netherlands
William McGowen Priestley United States
Marco Panza France
Israel Kleiner Canada
Yehuda Rav France
Dirk van Dalen Netherlands
Constance Reid United States
Richard Dedekind Switzerland
John N. Crossley
Citations per year, relative to John N. Crossley John N. Crossley (= 1×) peers Richard Dedekind

Countries citing papers authored by John N. Crossley

Since Specialization
Citations

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

Fields of papers citing papers by John N. Crossley

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of John N. Crossley

This figure shows the co-authorship network connecting the top 25 collaborators of John N. Crossley. A scholar is included among the top collaborators of John N. Crossley 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 John N. Crossley. John N. Crossley 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.
Crossley, John N.. (2022). Raymond Llull's Contributions to Computer Science. Figshare. 39–59.
2.
Crossley, John N.. (2022). The Essentials of, and for, Mathematics. International Communication Gazette. 33(3). 177–185.
3.
4.
Crossley, John N., et al.. (2015). The Earliest (Spanish) History of the Philippines. 61(1). 56–77. 2 indexed citations
5.
Crossley, John N.. (2013). The Religiosity of Gómez Pérez Dasmariñas, Governor-General of the Philippines, 1590–1593. 48(144). 241–252. 1 indexed citations
6.
Crossley, John N., et al.. (2011). The University of Santo Tomas Hours: Surprising Discovery of a Treasure. 46(138). 731–758. 1 indexed citations
7.
Crossley, John N.. (2010). Una biblioteca en las Filipinas en 1611. 35(35). 189–224.
8.
Crossley, John N., et al.. (2009). Tiered logic for agents. 369–376. 3 indexed citations
9.
Crossley, John N.. (2008). Ptolemy's Almagest: Its dates and the dating of Oxford, All Souls College, ms. 95. 81. 118–125.
10.
Crossley, John N.. (2006). One man's library, Manila, ca. 1611 - A first look. 30(4). 201–209.
11.
Poernomo, Iman, John N. Crossley, & Martin Wirsing. (2005). Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science). Springer eBooks. 4 indexed citations
12.
Crossley, John N., et al.. (1999). The Nine Chapters on the Mathematical Art. 23 indexed citations
13.
Albrecht, David, et al.. (1997). New Curry-Howard terms for full linear logic. Theoretical Computer Science. 185(2). 217–235. 1 indexed citations
14.
Crossley, John N., John C. Cherniavsky, Richard A. Shore, et al.. (1994). Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday. Birkhäuser eBooks. 12 indexed citations
15.
Crossley, John N., et al.. (1994). A logical calculus for polynomial-time realizability. 1(3). 279–298. 2 indexed citations
16.
Crossley, John N.. (1990). A Preview of This Issue, Articles, and Research Summaries. ScholarWorks@BGSU (Bowling Green State University). 9(3). 3. 1 indexed citations
17.
Crossley, John N., et al.. (1990). Thus spake al-Khwārizmī: A translation of the text of Cambridge University Library Ms. Ii.vi.5. Historia Mathematica. 17(2). 103–131. 10 indexed citations
18.
Crossley, John N., et al.. (1986). Recursive categoricity and recursive stability. Annals of Pure and Applied Logic. 31. 191–204. 7 indexed citations
19.
Crossley, John N. & Anil Nerode. (1976). Effective dimension. Journal of Algebra. 41(2). 398–412. 4 indexed citations
20.
Crossley, John N., et al.. (1967). Sets, Models and Recursion Theory Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965. North-Holland eBooks. 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 Richard Dedekind Breakdown of academic impact, for papers by Colin McLarty Breakdown of academic impact, for papers by José Ferreirós Breakdown of academic impact, for papers by Benedikt Löwe Breakdown of academic impact, for papers by William McGowen Priestley Breakdown of academic impact, for papers by Marco Panza Breakdown of academic impact, for papers by Israel Kleiner Breakdown of academic impact, for papers by Yehuda Rav Breakdown of academic impact, for papers by Dirk van Dalen Breakdown of academic impact, for papers by Constance Reid
Rankless by CCL
2026