Tim Nelson
About
Tim Nelson has authored 5 papers that have received a total of 13 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 Formal Methods in Verification (3 papers), Model-Driven Software Engineering Techniques (3 papers) and Logic, programming, and type systems (2 papers). Tim Nelson is often cited by papers focused on Formal Methods in Verification (3 papers), Model-Driven Software Engineering Techniques (3 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United States. Tim Nelson's co-authors include Kathi Fisler, Shriram Krishnamurthi and Daniel J. Dougherty and has published in prestigious journals such as Proceedings of the ACM on Programming Languages
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Toby Talbot Top journals papers by F. G. Sciacca are published in Top fields papers by Ramesh Krishnamurthy are about Top authors papers by Mike Priddy are co-authored with Top fields papers by Erica Brondolin are about Top fields papers by D. Voscek are about Top authors papers by Otília Freitas are co-authored with Top countries impacted by papers by Wilbur M. Urban