Kevin Donnelly
Publication Activity (10 Years)
Years Active: 2004-2018
Publications (10 Years): 1
Publications (10 Years): 1
Top Venues
Publications
- Kevin Donnelly, Assaf J. Kfoury, Andrei Lapets
- Kevin Donnelly, Matthew Fluet
- Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
- Jeremy Avigad, Kevin Donnelly
- Jeremy Avigad, Kevin Donnelly
- Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff
- Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury
- Kevin Donnelly, Matthew Fluet
- Sa Cui, Kevin Donnelly, Hongwei Xi
- Kevin Donnelly, Hongwei Xi
- Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff
- Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park
- Jeremy Avigad, Kevin Donnelly