John Power
About
John Power has authored 92 papers that have received a total of 1.7k indexed citations.
This includes 67 papers in Artificial Intelligence, 41 papers in Mathematical Physics and 37 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (65 papers), Logic, Reasoning, and Knowledge (49 papers) and Homotopy and Cohomology in Algebraic Topology (41 papers). John Power is often cited by papers focused on Logic, programming, and type systems (65 papers), Logic, Reasoning, and Knowledge (49 papers) and Homotopy and Cohomology in Algebraic Topology (41 papers) and collaborates with scholars based in United Kingdom, United States and Japan. John Power's co-authors include Martin Hyland, Gordon Plotkin, Hiroshi Watanabe, R. D. Tennent and Peter W. O’Hearn and has published in prestigious journals such as Clinical Science, Journal of Cardiovascular Electrophysiology and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Deanna Saylor are published in Top journals papers by Hiroko Kawasaki are published in Top authors papers by Qinghong Han are co-authored with Top countries impacted by papers by Xiang He Top journals papers by Jari Kotilainen are published in Top fields papers by Tomoko Suzuki are about Top countries impacted by papers by Marcelo C. Picanço Top authors papers by R. H. Cormane are co-authored with