John DeTreville
About
John DeTreville has authored 4 papers that have received a total of 17 indexed citations.
This includes 2 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 2 papers in Software. The topics of these papers are Formal Methods in Verification (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Logic, programming, and type systems (2 papers). John DeTreville is often cited by papers focused on Formal Methods in Verification (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United States. John DeTreville's co-authors include W.D. Sincoskie and has published in prestigious journals such as IEEE Journal on Selected Areas in Communications and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Monroe S. Wechsler Top authors papers by S. Jiménez are co-authored with Top journals papers by A. Belymam are published in Top authors papers by N. Hod are co-authored with Top journals papers by Amit Narkhede are published in Top fields papers by V. Plyaskin are about Top fields papers by Shaghayegh Shahmirzaei are about Top fields papers by Felix Werner are about