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 authors papers by C. Freeman are co-authored with Top journals papers by V. Chorowicz are published in Top journals papers by K.-H. Sulanke are published in Top journals papers by Tomohiko Oka are published in Top authors papers by K. Dering are co-authored with Top authors papers by Alejandro Madrazo Lajous are co-authored with Top journals papers by V.A. Budilov are published in Top countries impacted by papers by V. Golovatyuk