Gary T. Leavens
About
Gary T. Leavens has authored 5 papers that have received a total of 73 indexed citations.
This includes 4 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 1 paper in Computer Science Applications. The topics of these papers are Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Advanced Software Engineering Methodologies (2 papers). Gary T. Leavens is often cited by papers focused on Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Advanced Software Engineering Methodologies (2 papers) and collaborates with scholars based in United States. Gary T. Leavens's co-authors include Murali Sitaraman, Kathleen Fisher, Yoonsik Cheon, Tim Wahls and Robert Harper and has published in prestigious journals such as ACM SIGPLAN Notices, Software Practice and Experience and Automated Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Dian Nuraini Melati are published in Top fields papers by William Matzko are about Top countries impacted by papers by Marc Finzi Top fields papers by Ken Pugh are about Top journals papers by O. Beltramello are published in Top fields papers by S. Menke are about Top fields papers by Catalina Murillo are about Top fields papers by Sarah Mastel are about