Statistics
Publications
12
Citations
540
H-Index
12
Active since
2008
Gregory Malecha is an author at Harvard University Press specializing in computer science, computing, and formal methods.
Publications per year
2008–2020
12
12
Toward a verified relational database management system
Gregory Malecha, Greg Morrisett, Avraham Shinnar et al. · 2010 · 95 citations · Full text
Effective interactive proofs for higher-order imperative programs
Adam Chlipala, Gregory Malecha, Greg Morrisett et al. · 2009 · 93 citations
Matthieu Sozeau, Abhishek Anand, Simon Boulier et al. · Journal of Automated Reasoning · 2020 · 72 citations
Gregory Malecha, Ashish Gehani, Natarajan Shankar · 2015 · 31 citations
1–5 of 12