Tim Nelson
About
Tim Nelson has authored 5 papers that have received a total of 14 indexed citations.
This includes 4 papers in Artificial Intelligence, 4 papers in Software and 3 papers in Computational Theory and Mathematics. The topics of these papers are Model-Driven Software Engineering Techniques (3 papers), Formal Methods in Verification (3 papers) and Logic, programming, and type systems (2 papers). Tim Nelson is often cited by papers focused on Model-Driven Software Engineering Techniques (3 papers), Formal Methods in Verification (3 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United States. Tim Nelson's co-authors include Shriram Krishnamurthi, Kathi Fisler and Daniel J. Dougherty and has published in prestigious journals such as Proceedings of the ACM on Programming Languages.
In The Last Decade
Fields of papers published by Tim Nelson
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 Tim Nelson
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Sonia Archila Breakdown of academic impact, for papers by Barry Nicholas Breakdown of academic impact, for papers by G.A. Mamaeva Breakdown of academic impact, for papers by Andrée Sursock Breakdown of academic impact, for papers by T. Jones Breakdown of academic impact, for papers by D. Carlsmith Breakdown of academic impact, for papers by A. Narayanan Breakdown of academic impact, for papers by M. Karagoz Unel