John Power

92 papers and 1.7k indexed citations i.

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.