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 fields papers by Kazunari Sugita are about Top authors papers by Dongxu Zhao are co-authored with Top fields papers by Guoqiang Zhang are about Top authors papers by Tingting Jiang are co-authored with Top journals papers by Charles C. Randall are published in Top countries impacted by papers by Jeanmarie Perrone Top journals papers by Yi‐Chun Chiu are published in Top fields papers by Russell L. Adams are about