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 Bernard C. Reimann are co-authored with Top fields papers by Yanbing Chen are about Top journals papers by A. Compostizo are published in Top journals papers by Sanda Iepure are published in Top fields papers by Hans Klotz are about Top fields papers by George Ostrouchov are about Top journals papers by Yong Tan are published in Top countries impacted by papers by B. Randall Brenn