| Eulerian video magnification for revealing subtle changes in the world HY Wu, M Rubinstein, E Shih, J Guttag, F Durand, W Freeman ACM transactions on graphics (TOG) 31 (4), 1-8, 2012 | 1558 | 2012 |
| Larch: languages and tools for formal specification JV Guttag, JJ Horning Springer Science & Business Media, 2012 | 1157 | 2012 |
| Cutting the electric bill for internet-scale systems A Qureshi, R Weber, H Balakrishnan, J Guttag, B Maggs Proceedings of the ACM SIGCOMM 2009 conference on Data communication, 123-134, 2009 | 1095 | 2009 |
| ANTS: A toolkit for building and dynamically deploying network protocols DJ Wetherall, JV Guttag, DL Tennenhouse 1998 IEEE Open Architectures and Network Programming, 117-129, 1998 | 1032 | 1998 |
| Voxelmorph: a learning framework for deformable medical image registration G Balakrishnan, A Zhao, MR Sabuncu, J Guttag, AV Dalca IEEE transactions on medical imaging 38 (8), 1788-1800, 2019 | 974 | 2019 |
| Abstraction and specification in program development B Liskov, J Guttag MIT press, 1986 | 951 | 1986 |
| The algebraic specification of abstract data types JV Guttag, JJ Horning Acta informatica 10 (1), 27-52, 1978 | 786 | 1978 |
| Detecting pulse from head motions in video G Balakrishnan, F Durand, J Guttag Proceedings of the IEEE conference on computer vision and pattern …, 2013 | 698 | 2013 |
| Abstract data types and the development of data structures J Guttag Communications of the ACM 20 (6), 396-404, 1977 | 698 | 1977 |
| What is the state of neural network pruning? D Blalock, JJ Gonzalez Ortiz, J Frankle, J Guttag Proceedings of machine learning and systems 2, 129-146, 2020 | 623 | 2020 |
| Application of machine learning to epileptic seizure detection AH Shoeb, JV Guttag Proceedings of the 27th international conference on machine learning (ICML …, 2010 | 615 | 2010 |
| Abstract data types and software validation JV Guttag, E Horowitz, DR Musser Communications of the ACM 21 (12), 1048-1064, 1978 | 582 | 1978 |
| A micro-power EEG acquisition SoC with integrated feature extraction processor for a chronic seizure detection system N Verma, A Shoeb, J Bohorquez, J Dawson, J Guttag, AP Chandrakasan IEEE journal of solid-state circuits 45 (4), 804-816, 2010 | 577 | 2010 |
| An unsupervised learning model for deformable medical image registration G Balakrishnan, A Zhao, MR Sabuncu, J Guttag, AV Dalca Proceedings of the IEEE conference on computer vision and pattern …, 2018 | 543 | 2018 |
| The specification and application to programming of abstract data types. JV Guttag University of Toronto, 1975 | 473 | 1975 |
| The Larch Family of Specification Languages. JV Guttag, JJ Horning, JM Wing IEEE Softw. 2 (5), 24-36, 1985 | 423 | 1985 |
| Patient-specific seizure onset detection A Shoeb, H Edwards, J Connolly, B Bourgeois, ST Treves, J Guttag Epilepsy & Behavior 5 (4), 483-498, 2004 | 401 | 2004 |
| Program development in JAVA: abstraction, specification, and object-oriented design B Liskov, J Guttag Pearson Education, 2000 | 383 | 2000 |
| LCLint: A tool for using specifications to check code D Evans, J Guttag, J Horning, YM Tan ACM SIGSOFT Software Engineering Notes 19 (5), 87-96, 1994 | 380 | 1994 |
| Data augmentation using learned transformations for one-shot medical image segmentation A Zhao, G Balakrishnan, F Durand, JV Guttag, AV Dalca Proceedings of the IEEE/CVF conference on computer vision and pattern …, 2019 | 365 | 2019 |
Fredo DurandProfessor of Computer Science, MITVerified email at mit.edu
