Graeme Smith
About
Graeme Smith is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software.
According to data from OpenAlex, Graeme Smith has authored 40 papers receiving a total of 251 indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Computational Theory and Mathematics, 19 papers in Artificial Intelligence and 12 papers in Software. Recurrent topics in Graeme Smith’s work include Formal Methods in Verification (18 papers), Distributed systems and fault tolerance (9 papers) and Logic, programming, and type systems (9 papers). Graeme Smith is often cited by papers focused on Formal Methods in Verification (18 papers), Distributed systems and fault tolerance (9 papers) and Logic, programming, and type systems (9 papers). Graeme Smith collaborates with scholars based in Australia, United Kingdom and The Netherlands. Graeme Smith's co-authors include John Derrick, Roger Duke, Gordon A. Rose, J. W. Sanders, Kirsten Winter, Karl Schulte, Dominik Eder, Krzysztof Kozioł, Alan H. Windle and Eerke Boiten and has published in prestigious journals such as Carbon, Lecture notes in computer science and Computer Standards & Interfaces.
In The Last Decade
Co-authorship network of co-authors of Graeme Smith i
Fields of papers citing papers by Graeme Smith
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
This network shows the specialization of papers citing the papers produced by Graeme Smith. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Graeme Smith may publish in the future.
Countries citing papers authored by Graeme Smith
Since SpecializationCitations
This map shows the geographic impact of Graeme Smith'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 Graeme Smith with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Graeme Smith more than expected).
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by D.J. Tedford Breakdown of academic impact, for papers by Jakob Bossek Breakdown of academic impact, for papers by Marta Susana Loiácono Breakdown of academic impact, for papers by Jie Kong Breakdown of academic impact, for papers by Marc Silberman Breakdown of academic impact, for papers by Yoshinobu Hagiwara Breakdown of academic impact, for papers by Anber Abraheem Shlash Mohammad Breakdown of academic impact, for papers by Laura Andrian Leal