Gregory Malecha
About
Gregory Malecha has authored 14 papers that have received a total of 134 indexed citations.
This includes 13 papers in Artificial Intelligence, 6 papers in Computer Networks and Communications and 6 papers in Computational Theory and Mathematics. The topics of these papers are Security and Verification in Computing (10 papers), Logic, programming, and type systems (10 papers) and Formal Methods in Verification (6 papers). Gregory Malecha is often cited by papers focused on Security and Verification in Computing (10 papers), Logic, programming, and type systems (10 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in United States, Mexico and Sweden. Gregory Malecha's co-authors include Greg Morrisett, Ryan Wisnesky, Avraham Shinnar, Benjamin C. Pierce and Chung-Kil Hur and has published in prestigious journals such as ACM SIGPLAN Notices, IEEE Security & Privacy and Journal of Symbolic Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Kamran Naraghi are published in Top journals papers by Kaushik Roy are published in Top authors papers by K. Takaki are co-authored with Top fields papers by Meng Lu are about Top journals papers by Ivan Selin are published in Top journals papers by Gianni Vaggi are published in Top journals papers by Michael J. Costa are published in Top journals papers by A. A. Shlyapnikov are published in