Alex Simpson
About
Alex Simpson has authored 37 papers that have received a total of 431 indexed citations.
This includes 30 papers in Artificial Intelligence, 25 papers in Computational Theory and Mathematics and 10 papers in Geometry and Topology. The topics of these papers are Logic, Reasoning, and Knowledge (29 papers), Logic, programming, and type systems (22 papers) and Formal Methods in Verification (13 papers). Alex Simpson is often cited by papers focused on Logic, Reasoning, and Knowledge (29 papers), Logic, programming, and type systems (22 papers) and Formal Methods in Verification (13 papers) and collaborates with scholars based in United Kingdom, Slovenia and Germany. Alex Simpson's co-authors include Matthias Schröder, Rasmus Ejlers Møgelberg, J G. Brotherston, Thomas Streicher and Steve Awodey and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, Theoretical Computer Science and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Emília Matos do Nascimento are co-authored with Top countries impacted by papers by Tomasz Sosulski Top fields papers by Haitao Jiao are about Top fields papers by E.A. Aguilar‐Reyes are about Top fields papers by Hao Fang are about Top authors papers by Chang Wei Tan are co-authored with Top fields papers by Jingang Su are about Top journals papers by Jae Hyun Yoo are published in