Greg Morrisett
About
Greg Morrisett has authored 64 papers that have received a total of 2.1k indexed citations.
This includes 58 papers in Artificial Intelligence, 22 papers in Computer Networks and Communications and 21 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (41 papers), Security and Verification in Computing (33 papers) and Parallel Computing and Optimization Techniques (21 papers). Greg Morrisett is often cited by papers focused on Logic, programming, and type systems (41 papers), Security and Verification in Computing (33 papers) and Parallel Computing and Optimization Techniques (21 papers) and collaborates with scholars based in United States, Denmark and Sweden. Greg Morrisett's co-authors include Karl Crary, Robert Harper, David Walker, Dan Grossman and Trevor Jim and has published in prestigious journals such as IEEE Software, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Robert Schaffer are published in Top countries impacted by papers by Wei Hou Top journals papers by Norbert Bräu are published in Top countries impacted by papers by Usman Khan Top journals papers by Michael J. Louie are published in Top authors papers by Janneke Wit are co-authored with Top countries impacted by papers by Chongming Wang Top journals papers by Timothy C. Ovaert are published in