John Power
Impact in
- Computational Theory and Mathematics top 0.2%
- Formal Methods in Verification
- Advanced Algebra and Logic
- Computability, Logic, AI Algorithms
- Mathematical Physics top 1%
- Homotopy and Cohomology in Algebraic Topology
Papers in
-
- Logic, programming, and type systems 102
- Logic, Reasoning, and Knowledge 81
- Semantic Web and Ontologies 13
-
- Formal Methods in Verification 23
- Advanced Algebra and Logic 19
- Computability, Logic, AI Algorithms 13
- Co-authors
- Gordon Plotkin (14 shared papers)Martin Hyland (13 shared papers)G. M. Kelly (3 shared papers)E. Powell Robinson (5 shared papers)Hiroshi Watanabe (6 shared papers)Robert Blackwell (1 shared paper)Hayo Thielecke (3 shared papers)Paul Blain Levy (3 shared papers)
- Journals
- Journal of Pure and Applied Algebra (15 papers)Theoretical Computer Science (13 papers)Electronic Notes in Theoretical Computer Science (35 papers)Mathematical Structures in Computer Science (3 papers)Information and Computation (3 papers)
- Partner nations
- United KingdomUnited StatesJapan
In The Last Decade
John Power
133 papers receiving 2.7k citations
Peers
Comparison fields: 5 of 66
- Computational Theory and Mathematics 1.6k
- Mathematical Physics 784
- Artificial Intelligence 2.4k
- Algebra and Number Theory 300
- Geometry and Topology 545
Countries citing papers authored by John Power
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
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-authors
The 25 scholars most cited alongside John Power, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 135 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2002 | 192 | |
| 2 | 2003 | 188 | |
| 3 | 1989 | 167 | |
| 4 | 1997 | 165 | |
| 5 | 1993 | 130 | |
| 6 | 2006 | 122 | |
| 7 | 2003 | 97 | |
| 8 | 2001 | 90 | |
| 9 | 2004 | 80 | |
| 10 | 2007 | 68 | |
| 11 | 2002 | 58 | |
| 12 | 1990 | 53 | |
| 13 | 1989 | 51 | |
| 14 | 2000 | 50 | |
| 15 | 1999 | 49 | |
| 16 | 2001 | 47 | |
| 17 | 1989 | 41 | |
| 18 | 2006 | 36 | |
| 19 | 2002 | 35 | |
| 20 | 2004 | 34 |
About John Power
John Power is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Mathematical Physics, Geometry and Topology and Computer Networks and Communications, having authored 135 papers that have together received 2.9k indexed citations. Recurring topics across this work include Logic, programming, and type systems (102 papers), Logic, Reasoning, and Knowledge (81 papers), Homotopy and Cohomology in Algebraic Topology (52 papers), Formal Methods in Verification (23 papers), Advanced Algebra and Logic (19 papers), Algebraic structures and combinatorial models (16 papers), Computability, Logic, AI Algorithms (13 papers) and Semantic Web and Ontologies (13 papers). The work is most often cited by research in Computational Theory and Mathematics (1.6k citations), Mathematical Physics (784 citations), Artificial Intelligence (2.4k citations), Algebra and Number Theory (300 citations) and Geometry and Topology (545 citations). John Power has collaborated with scholars based in United Kingdom, United States and Japan. Frequent co-authors include Gordon Plotkin, Martin Hyland, G. M. Kelly, E. Powell Robinson, Hiroshi Watanabe, Robert Blackwell, Hayo Thielecke, Paul Blain Levy, R. D. Tennent and Marina Lenisa. Their work appears in journals such as Journal of Pure and Applied Algebra, Theoretical Computer Science, Electronic Notes in Theoretical Computer Science, Mathematical Structures in Computer Science and Information and Computation.
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.