| 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 | 1619 | 2012 |
| Larch: languages and tools for formal specification JV Guttag, JJ Horning Springer Science & Business Media, 2012 | 1161 | 2012 |
| 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 | 1133 | 2019 |
| 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 | 1104 | 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 | 1034 | 1998 |
| Abstraction and specification in program development B Liskov, J Guttag MIT press, 1986 | 962 | 1986 |
| The algebraic specification of abstract data types JV Guttag, JJ Horning Acta informatica 10 (1), 27-52, 1978 | 791 | 1978 |
| 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 | 747 | 2020 |
| Detecting pulse from head motions in video G Balakrishnan, F Durand, J Guttag Proceedings of the IEEE conference on computer vision and pattern …, 2013 | 720 | 2013 |
| Abstract data types and the development of data structures J Guttag Communications of the ACM 20 (6), 396-404, 1977 | 707 | 1977 |
| Application of machine learning to epileptic seizure detection AH Shoeb, JV Guttag Proceedings of the 27th international conference on machine learning (ICML …, 2010 | 639 | 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 | 596 | 2018 |
| 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 | 591 | 2010 |
| Abstract data types and software validation JV Guttag, E Horowitz, DR Musser Communications of the ACM 21 (12), 1048-1064, 1978 | 584 | 1978 |
| The specification and application to programming of abstract data types. JV Guttag University of Toronto, 1975 | 474 | 1975 |
| The Larch Family of Specification Languages. JV Guttag, JJ Horning, JM Wing IEEE Softw. 2 (5), 24-36, 1985 | 425 | 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 | 415 | 2004 |
| 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 | 399 | 2019 |
| Program development in JAVA: abstraction, specification, and object-oriented design B Liskov, J Guttag Pearson Education, 2000 | 389 | 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 | 382 | 1994 |
Adrian DalcaHarvard Medical School & Massachusetts Institute of TechnologyVerified email at mit.edu
