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
Breakdown of academic impact, for papers by Archana Purwar Breakdown of academic impact, for papers by Boney Kuriakose Breakdown of academic impact, for papers by A. Trisovic Breakdown of academic impact, for papers by Karel Van Damme Breakdown of academic impact, for papers by Flávio Augusto de Souza Berchez Breakdown of academic impact, for papers by P Carducci Breakdown of academic impact, for papers by Luisa Ladel Breakdown of academic impact, for papers by Wim van der Wurff