Alex Simpson
About
Alex Simpson has authored 37 papers that have received a total of 447 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, Steve Awodey, J G. Brotherston and Thomas Streicher 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
Fields of papers published by Alex Simpson
Since SpecializationEngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics
Countries citing papers authored by Alex Simpson
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Dmitrii Vladimirovich Ulrikh Breakdown of academic impact, for papers by Ute Schmidt Breakdown of academic impact, for papers by T Kovács Breakdown of academic impact, for papers by Xueling Liu Breakdown of academic impact, for papers by Jayme De Luca Breakdown of academic impact, for papers by Debi Prasad Tripathy Breakdown of academic impact, for papers by Álvaro Frías