John Power

4.6k total citations
105 papers, 1.9k citations indexed

About

John Power is a scholar working on Artificial Intelligence, Mathematical Physics and Computational Theory and Mathematics. According to data from OpenAlex, John Power has authored 105 papers receiving a total of 1.9k indexed citations (citations by other indexed papers that have themselves been cited), including 79 papers in Artificial Intelligence, 44 papers in Mathematical Physics and 44 papers in Computational Theory and Mathematics. Recurrent topics in John Power's work include Logic, programming, and type systems (77 papers), Logic, Reasoning, and Knowledge (58 papers) and Homotopy and Cohomology in Algebraic Topology (44 papers). John Power is often cited by papers focused on Logic, programming, and type systems (77 papers), Logic, Reasoning, and Knowledge (58 papers) and Homotopy and Cohomology in Algebraic Topology (44 papers). John Power collaborates with scholars based in United Kingdom, United States and Japan. John Power's co-authors include Gordon Plotkin, G. M. Kelly, Martin Hyland, E. Powell Robinson, Hiroshi Watanabe, Robert N. Blackwell, Paul Blain Levy, Hayo Thielecke, Marina Lenisa and Michael Makkai and has published in prestigious journals such as Clinical Science, Journal of Cardiovascular Electrophysiology and Theoretical Computer Science.

In The Last Decade

John Power

105 papers receiving 1.7k citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
John Power United Kingdom	22	1.4k	906	618	435	249	105	1.9k
Achim Jung United Kingdom	14	677 0.5×	732 0.8×	213 0.3×	274 0.6×	107 0.4×	43	1.1k
Thierry Coquand Sweden	18	1.3k 1.0×	1.0k 1.1×	218 0.4×	194 0.4×	180 0.7×	110	1.6k
R. F. C. Walters Australia	15	398 0.3×	342 0.4×	425 0.7×	330 0.8×	213 0.9×	46	850
G. E. Strecker United States	11	413 0.3×	904 1.0×	454 0.7×	466 1.1×	366 1.5×	36	1.6k
J.R.B. Cockett Canada	16	591 0.4×	426 0.5×	263 0.4×	180 0.4×	99 0.4×	65	828
Yves Lafont France	15	1.3k 0.9×	991 1.1×	127 0.2×	128 0.3×	29 0.1×	21	1.5k
Andrew M. Pitts United Kingdom	22	2.1k 1.5×	1.5k 1.6×	143 0.2×	99 0.2×	46 0.2×	83	2.3k
Stephen Lack Australia	20	430 0.3×	334 0.4×	886 1.4×	782 1.8×	496 2.0×	74	1.3k
G. M. Kelly Australia	26	935 0.7×	881 1.0×	1.9k 3.1×	1.6k 3.8×	1.1k 4.5×	67	2.9k
A. Carboni Italy	18	469 0.3×	466 0.5×	739 1.2×	598 1.4×	417 1.7×	35	1.2k

Countries citing papers authored by John Power

Since Specialization

Citations

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

Fields of papers citing papers by John Power

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of John Power

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

20 of 20 papers shown

Power, John. (2011). Indexed Lawvere theories for local state. The University of Bath Online Publications Store (The University of Bath). 213–229. 5 indexed citations

Power, John, et al.. (2008). Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundamenta Informaticae. 84(2). 221–240. 2 indexed citations

Power, John, et al.. (2008). Lawvere theories enriched over a general base. Journal of Pure and Applied Algebra. 213(3). 377–386. 14 indexed citations

Power, John, et al.. (2006). Coalgebraic semantics for timed processes. Information and Computation. 204(4). 588–609. 5 indexed citations

Hyland, Martin, Paul Blain Levy, Gordon Plotkin, & John Power. (2006). Combining algebraic effects with continuations. Theoretical Computer Science. 375(1-3). 20–40. 29 indexed citations

Hyland, Martin & John Power. (2006). Discrete Lawvere theories and computational effects. Theoretical Computer Science. 366(1-2). 144–162. 22 indexed citations

Zheng, Ligang, et al.. (2005). Combining general regression neural network and genetic algorithm to optimize ash fusion temperature. Journal of Zhejiang University(Engineering Science). 3 indexed citations

Lenisa, Marina, John Power, & Hiroshi Watanabe. (2004). Category theory for operational semantics. Theoretical Computer Science. 327(1-2). 135–154. 21 indexed citations

Johnstone, Peter, et al.. (2001). On the structure of categories of coalgebras. Theoretical Computer Science. 260(1-2). 87–117. 29 indexed citations

10.

Morton, Joseph B., Prashanthan Sanders, Melissa Byrne, et al.. (2001). Phased‐Array Intracardiac Echocardiography to Guide Radiofrequency Ablation in the Left Atrium and at the Pulmonary Vein Ostium. Journal of Cardiovascular Electrophysiology. 12(3). 343–348. 30 indexed citations

11.

Power, John, Gian Luca Cattani, & Glynn Winskel. (2000). A representation result for free cocompletions. Journal of Pure and Applied Algebra. 151(3). 273–286. 5 indexed citations

12.

Hermida, Claudio, Michael Makkai, & John Power. (2000). On weak higher dimensional categories I: Part 1. Journal of Pure and Applied Algebra. 154(1-3). 221–246. 26 indexed citations

13.

Freyd, Peter, et al.. (1999). Bireflectivity. Theoretical Computer Science. 228(1-2). 49–76. 7 indexed citations

14.

O’Hearn, Peter W., et al.. (1999). Syntactic control of interference revisited. Theoretical Computer Science. 228(1-2). 211–252. 37 indexed citations

15.

Gordon, Robert & John Power. (1997). Enrichment through variation. Journal of Pure and Applied Algebra. 120(2). 167–185. 26 indexed citations

16.

Power, John, et al.. (1996). Lax naturality through enrichment. Journal of Pure and Applied Algebra. 112(1). 53–72. 6 indexed citations

17.

Milner, R., et al.. (1995). Control structures. 188. 14 indexed citations

18.

Kelly, G. M. & John Power. (1993). Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads. Journal of Pure and Applied Algebra. 89(1-2). 163–179. 105 indexed citations

19.

Power, John & Leon Sterling. (1990). A notion of map between logic programs. International Conference on Lightning Protection. 390–404. 8 indexed citations

20.

Power, John. (1989). A general coherence result. Journal of Pure and Applied Algebra. 57(2). 165–173. 42 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