Nick Benton

About

Nick Benton is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Nick Benton has authored 22 papers receiving a total of 270 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 7 papers in Hardware and Architecture. Recurrent topics in Nick Benton’s work include Logic, programming, and type systems (21 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (8 papers). Nick Benton is often cited by papers focused on Logic, programming, and type systems (21 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (8 papers). Nick Benton collaborates with scholars based in United Kingdom, Germany and United States. Nick Benton's co-authors include Andrew Kennedy, Martin Hofmann, Vivek Nigam, Neelakantan R. Krishnaswami and Chung-Kil Hur and has published in prestigious journals such as Lecture notes in computer science, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Fields of papers citing papers by Nick Benton

Since Specialization

EngineeringComputer 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

This network shows the specialization of papers citing the papers produced by Nick Benton. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Nick Benton may publish in the future.

Countries citing papers authored by Nick Benton

Since Specialization

Citations

This map shows the geographic impact of Nick Benton's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Nick Benton with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Nick Benton more than expected).

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Shampa Saha Breakdown of academic impact, for papers by Daniel J. Olson Breakdown of academic impact, for papers by Yun-Hai Guo Breakdown of academic impact, for papers by Qinjian Yuan Breakdown of academic impact, for papers by Anuradha Sharma Breakdown of academic impact, for papers by Junaid Qureshi Breakdown of academic impact, for papers by Jiuqing Cheng Breakdown of academic impact, for papers by I. Nomura