Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarJohn V. Guttag
Person information
- affiliation: MIT, Cambridge, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[i7]Guha Balakrishnan, Amy Zhao, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca:
An Unsupervised Learning Model for Deformable Medical Image Registration. CoRR abs/1802.02604 (2018)- 2017
- [j34]Neal Wadhwa, Hao-Yu Wu, Abe Davis, Michael Rubinstein, Eugene Shih, Gautham J. Mysore, Justin G. Chen, Oral Büyüköztürk, John V. Guttag, William T. Freeman, Frédo Durand:
Eulerian video magnification and analysis. Commun. ACM 60(1): 87-95 (2017) - [c68]Davis W. Blalock, John V. Guttag:
Bolt: Accelerated Data Mining with Fast Vector Compression. KDD 2017: 727-735 - [c67]Jen J. Gong, Tristan Naumann, Peter Szolovits, John V. Guttag:
Predicting Clinical Outcomes Across Changing Electronic Health Record Systems. KDD 2017: 1497-1505 - [c66]Ronnachai Jaroensri, Amy Zhao, Guha Balakrishnan, Derek Lo, Jeremy D. Schmahmann, Frédo Durand, John V. Guttag:
A Video-Based Method for Automatically Rating Ataxia. MLHC 2017: 204-216 - [i6]Davis W. Blalock, John V. Guttag:
Bolt: Accelerated Data Mining with Fast Vector Compression. CoRR abs/1706.10283 (2017) - [i5]Maggie Makar, John V. Guttag, Jenna Wiens:
Learning the Probability of Activation in the Presence of Latent Spreaders. CoRR abs/1712.00643 (2017) - 2016
- [j33]Jenna Wiens, John V. Guttag, Eric Horvitz:
Patient Risk Stratification with Time-Varying Parameters: A Multitask Learning Approach. Journal of Machine Learning Research 17: 79:1-79:23 (2016) - [j32]Joel Brooks, Matthew Kerr, John V. Guttag:
Using machine learning to draw inferences from pass location data in soccer. Statistical Analysis and Data Mining 9(5): 338-349 (2016) - [c65]Davis W. Blalock, John V. Guttag:
EXTRACT: Strong Examples from Weakly-Labeled Sensor Data. ICDM 2016: 799-804 - [c64]Jen J. Gong, Maryann Gong, Dina Levy-Lambert, Jordan R. Green, Tiffany P. Hogan, John V. Guttag:
Towards an Automated Screening Tool for Developmental Speech and Language Impairments. INTERSPEECH 2016: 112-116 - [c63]Joel Brooks, Matthew Kerr, John V. Guttag:
Developing a Data-Driven Player Ranking in Soccer Using Predictive Model Weights. KDD 2016: 49-55 - [c62]Yun Liu, Collin M. Stultz, John V. Guttag, Kun-Ta Chuang, Fu-Wen Liang, Huey-Jen Su:
Transferring Knowledge from Text to Predict Disease Onset. MLHC 2016: 150-163 - [c61]Marzyeh Ghassemi, Zeeshan Syed, Daryush D. Mehta, Jarrad H. Van Stan, Robert E. Hillman, John V. Guttag:
Uncovering Voice Misuse Using Symbolic Mismatch. MLHC 2016: 239-252 - [i4]Yun Liu, Kun-Ta Chuang, Fu-Wen Liang, Huey-Jen Su, Collin M. Stultz, John V. Guttag:
Transferring Knowledge from Text to Predict Disease Onset. CoRR abs/1608.02071 (2016) - [i3]Marzyeh Ghassemi, Zeeshan Syed, Daryush D. Mehta, Jarrad H. Van Stan, Robert E. Hillman, John V. Guttag:
Uncovering Voice Misuse Using Symbolic Mismatch. CoRR abs/1608.02301 (2016) - [i2]Davis W. Blalock, John V. Guttag:
EXTRACT: Strong Examples from Weakly-Labeled Sensor Data. CoRR abs/1609.09196 (2016) - [i1]Ronnachai Jaroensri, Amy Zhao, Guha Balakrishnan, Derek Lo, Jeremy D. Schmahmann, John V. Guttag, Frédo Durand:
A Video-Based Method for Objectively Rating Ataxia. CoRR abs/1612.04007 (2016) - 2015
- [j31]Anima Singh, Girish Nadkarni, Omri Gottesman, Stephen B. Ellis, Erwin P. Bottinger, John V. Guttag:
Incorporating temporal EHR data in predictive models for risk stratification of renal function deterioration. Journal of Biomedical Informatics 53: 220-228 (2015) - [j30]Marzyeh Ghassemi, Jarrad H. Van Stan, Daryush D. Mehta, Matías Zanartu, Harold A. Cheyne II, Robert E. Hillman, John V. Guttag:
Corrections to "Learning to Detect Vocal Hyperfunction From Ambulatory Neck-Surface Acceleration Features: Initial Results For Vocal Fold Nodules". IEEE Trans. Biomed. Engineering 62(10): 2544 (2015) - [j29]Guha Balakrishnan, Frédo Durand, John V. Guttag:
Video diff: highlighting differences between similar actions in videos. ACM Trans. Graph. 34(6): 194:1-194:10 (2015) - [c60]Amy Zhao, Frédo Durand, John V. Guttag:
Estimating a Small Signal in the Presence of Large Noise. ICCV Workshops 2015: 671-676 - [c59]Jen J. Gong, Thoralf M. Sundt, James D. Rawn, John V. Guttag:
Instance Weighting for Patient-Specific Risk Stratification Models. KDD 2015: 369-378 - 2014
- [j28]Jenna Wiens, John V. Guttag, Eric Horvitz:
A study in transfer learning: leveraging data from multiple hospitals to enhance hospital-specific predictions. JAMIA 21(4): 699-706 (2014) - [j27]Marzyeh Ghassemi, Jarrad H. Van Stan, Daryush D. Mehta, Matías Zanartu, Harold A. Cheyne II, Robert E. Hillman, John V. Guttag:
Learning to Detect Vocal Hyperfunction From Ambulatory Neck-Surface Acceleration Features: Initial Results for Vocal Fold Nodules. IEEE Trans. Biomed. Engineering 61(6): 1668-1675 (2014) - [c58]Anima Singh, Girish Nadkarni, John V. Guttag, Erwin P. Bottinger:
Leveraging hierarchy in medical codes for predictive modeling. BCB 2014: 96-103 - 2013
- [c57]Anima Singh, John V. Guttag:
Collaborative Filtering for Identifying Prescription Omissions in an ICU. HEALTHINF 2013: 58-64 - [c56]Guha Balakrishnan, Frédo Durand, John V. Guttag:
Detecting Pulse from Head Motions in Video. CVPR 2013: 3430-3437 - [c55]Gartheeban Ganeshapillai, John V. Guttag, Andrew Lo:
Learning Connections in Financial Time Series. ICML (2) 2013: 109-117 - [c54]Gartheeban Ganeshapillai, John V. Guttag:
A data-driven method for in-game decision making in MLB: when to pull a starting pitcher. KDD 2013: 973-979 - 2012
- [j26]Gartheeban Ganeshapillai, John V. Guttag:
Real Time Reconstruction of Multi Parameter Physiological Signals. EURASIP J. Adv. Sig. Proc. 2012: 173 (2012) - [j25]Hao-Yu Wu, Michael Rubinstein, Eugene Shih, John V. Guttag, Frédo Durand, William T. Freeman:
Eulerian video magnification for revealing subtle changes in the world. ACM Trans. Graph. 31(4): 65:1-65:8 (2012) - [c53]Jenna Wiens, John V. Guttag, Eric Horvitz:
Patient Risk Stratification for Hospital-Associated C. diff as a Time-Series Classification Task. NIPS 2012: 476-484 - 2011
- [j24]Zeeshan Syed, John V. Guttag:
Unsupervised Similarity-Based Risk Stratification for Cardiovascular Events Using Long-Term Time-Series Data. Journal of Machine Learning Research 12: 999-1024 (2011) - [c52]Gartheeban Ganeshapillai, John V. Guttag:
Weighted Time Warping for Temporal Segmentation of Multi-parameter Physiological Signals. BIOSIGNALS 2011: 125-131 - [c51]Anima Singh, John V. Guttag:
A comparison of non-symmetric entropy-based classification trees and support vector machine for cardiovascular risk stratification. EMBC 2011: 79-82 - [c50]Ali H. Shoeb, Alaa Kharbouch, Jacqueline Soegaard, Steven Schachter, John V. Guttag:
An algorithm for detecting seizure termination in scalp EEG. EMBC 2011: 1443-1446 - [c49]Gartheeban Ganeshapillai, Jessica F. Liu, John V. Guttag:
Reconstruction of ECG signals in presence of corruption. EMBC 2011: 3764-3767 - [c48]Jenna Wiens, John V. Guttag:
Patient-specific ventricular beat classification without patient-specific expert knowledge: A transfer learning approach. EMBC 2011: 5876-5879 - 2010
- [j23]Naveen Verma, Ali H. Shoeb, Jose L. Bohorquez, Joel L. Dawson, John V. Guttag, Anantha P. Chandrakasan:
A Micro-Power EEG Acquisition SoC With Integrated Feature Extraction Processor for a Chronic Seizure Detection System. J. Solid-State Circuits 45(4): 804-816 (2010) - [j22]Zeeshan Syed, Collin M. Stultz, Manolis Kellis, Piotr Indyk, John V. Guttag:
Motif discovery in physiological datasets: A methodology for inferring predictive elements. TKDD 4(1): 2:1-2:23 (2010) - [c47]Ali H. Shoeb, John V. Guttag:
Application of Machine Learning To Epileptic Seizure Detection. ICML 2010: 975-982 - [c46]Zeeshan Syed, John V. Guttag:
Identifying Patients at Risk of Major Adverse Cardiovascular Events Using Symbolic Mismatch. NIPS 2010: 2262-2270 - [c45]Jenna Wiens, John V. Guttag:
Active Learning Applied to Patient-Adaptive Heartbeat Classification. NIPS 2010: 2442-2450
2000 – 2009
- 2009
- [j21]Ali H. Shoeb, Trudy Pang, John V. Guttag, Steven Schachter:
Non-Invasive Computerized System for Automatically Initiating Vagus Nerve Stimulation Following Patient-Specific Detection of Seizures or epileptiform discharges. Int. J. Neural Syst. 19(3): 157-172 (2009) - [j20]Dorothy Curtis, Jacob Bailey, Esteban J. Pino, Thomas O. Stair, Staal A. Vinterbo, Jason Waterman, Eugene Shih, John V. Guttag, Robert A. Greenes, Lucila Ohno-Machado:
Using ambient intelligence for physiological monitoring. JAISE 1(2): 129-142 (2009) - [j19]Zeeshan Syed, Piotr Indyk, John V. Guttag:
Learning Approximate Sequential Patterns for Classification. Journal of Machine Learning Research 10: 1913-1936 (2009) - [c44]Phil Sung, Zeeshan Syed, John V. Guttag:
Quantifying morphology changes in time series data with skew. ICASSP 2009: 477-480 - [c43]Eugene Shih, Ali H. Shoeb, John V. Guttag:
Sensor selection for energy-efficient ambulatory medical monitoring. MobiSys 2009: 347-358 - [c42]Asfandyar Qureshi, Rick Weber, Hari Balakrishnan, John V. Guttag, Bruce M. Maggs:
Cutting the electric bill for internet-scale systems. SIGCOMM 2009: 123-134 - 2008
- [j18]Dorothy Curtis, Esteban J. Pino, Jacob Bailey, Eugene Shih, Jason Waterman, Staal A. Vinterbo, Thomas O. Stair, John V. Guttag, Robert A. Greenes, Lucila Ohno-Machado:
Application of Information Technology: SMART - An Integrated Wireless System for Monitoring Unattended Patients. JAMIA 15(1): 44-53 (2008) - [c41]Dorothy Curtis, Eugene Shih, Jason Waterman, John V. Guttag, Jacob Bailey, Thomas O. Stair, Robert A. Greenes, Lucila Ohno-Machado:
Physiological signal monitoring in the waiting areas of an emergency room. BODYNETS 2008: 5 - 2007
- [j17]Zeeshan Syed, John V. Guttag, Collin M. Stultz:
Clustering and Symbolic Analysis of Cardiovascular Signals: Discovery and Visualization of Medically Relevant Patterns in Long-Term Data Using Limited Prior Knowledge. EURASIP J. Adv. Sig. Proc. 2007 (2007) - [j16]Zeeshan Syed, Daniel Leeds, Daniel Curtis, Francesca Nesta, Robert A. Levine, John V. Guttag:
A Framework for the Analysis of Acoustical Cardiac Signals. IEEE Trans. Biomed. Engineering 54(4): 651-662 (2007) - [c40]
- 2006
- [c39]Zeeshan Syed, Daniel Leeds, Dorothy Curtis, John V. Guttag:
Audio-Visual Tools for Computer-Assisted Diagnosis of Cardiac Disorders. CBMS 2006: 207-212 - [c38]Asfandyar Qureshi, Jennifer N. Carlisle, John V. Guttag:
Tavarua: video streaming with WWAN striping. ACM Multimedia 2006: 327-336 - 2005
- [c37]Jason Waterman, Dorothy Curtis, Michel Goraczko, Eugene Shih, Pankaj Sarin, Esteban J. Pino, Lucila Ohno-Machado, Robert A. Greenes, John V. Guttag, Thomas O. Stair:
Demonstration of SMART (Scalable Medical Alert Response Technology). AMIA 2005 - [c36]Godfrey Tan, John V. Guttag:
The 802.11 MAC protocol leads to inefficient equilibria. INFOCOM 2005: 1-11 - [c35]Asfandyar Qureshi, John V. Guttag:
Horde: separating network striping policy from mechanism. MobiSys 2005: 121-134 - 2004
- [c34]Eugene Shih, Vladimir Bychkovsky, Dorothy Curtis, John V. Guttag:
Continuous medical monitoring using wireless microsensors. SenSys 2004: 310 - [c33]Godfrey Tan, John V. Guttag:
Long-term time-share guarantees are necessary for wireless LANs. ACM SIGOPS European Workshop 2004: 35 - [c32]Godfrey Tan, John V. Guttag:
Time-based Fairness Improves Performance in Multi-Rate WLANs. USENIX Annual Technical Conference, General Track 2004: 269-282 - 2003
- [c31]Godfrey Tan, Massimiliano Poletto, John V. Guttag, M. Frans Kaashoek:
Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns. USENIX Annual Technical Conference, General Track 2003: 15-28 - 2002
- [c30]Godfrey Tan, John V. Guttag:
A Locally Coordinated Scatternet Scheduling Algorithm. LCN 2002: 293-303 - [p2]
- [p1]John V. Guttag:
Abstract Data Types and the Development of Data Structures (Reprint). Software Pioneers 2002: 453-479 - 2001
- [b2]Barbara Liskov, John V. Guttag:
Program Development in Java - Abstraction, Specification, and Object-Oriented Design. Addison-Wesley 2001, ISBN 978-0-201-65768-5, pp. I-XIX, 1-443
1990 – 1999
- 1999
- [j15]David Wetherall, John V. Guttag, David L. Tennenhouse:
ANTS: Network Services Without the Red Tape. IEEE Computer 32(4): 42-48 (1999) - [j14]Vanu G. Bose, Michael Ismert, Matt Welborn, John V. Guttag:
Virtual radios. IEEE Journal on Selected Areas in Communications 17(4): 591-602 (1999) - [c29]Vanu G. Bose, David Wetherall, John V. Guttag:
Next Century Challenges: RadioActive Networks. MobiCom 1999: 242-248 - 1998
- [j13]Ulana Legedza, John V. Guttag:
Using Network-Level Support to Improve Cache Routing. Computer Networks 30(22-23): 2193-2201 (1998) - [c28]Ulana Legedza, David Wetherall, John V. Guttag:
Improving the Performance of Distributed Applications Using Active Networks. INFOCOM 1998: 590-599 - 1995
- [c27]Raymie Stata, John V. Guttag:
Modular Reasoning in the Presence of Subclassing. OOPSLA 1995: 200-214 - 1994
- [c26]Anant Agarwal, John V. Guttag, Christoforos N. Hadjicostis, Marios C. Papaefthymiou:
Memory Assignment for Multiprocessor Caches through Grey Coloring. PARLE 1994: 351-362 - [c25]David E. Evans, John V. Guttag, James J. Horning, Yang Meng Tan:
LCLint: A Tool for Using Specifications to Check Code. SIGSOFT FSE 1994: 87-96 - [c24]Mark T. Vandevoorde, John V. Guttag:
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. SIGSOFT FSE 1994: 121-127 - 1993
- [b1]John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing:
Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-1-4612-7636-4, pp. 1-156 - [j12]James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland:
Using Transformations and Verification in Circuit Design. Formal Methods in System Design 3(3): 181-209 (1993) - [c23]Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants:
Computer-Assisted Simulation Proofs. CAV 1993: 305-319 - [c22]Stephen J. Garland, John V. Guttag, James J. Horning:
An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348 - [c21]
- 1992
- [c20]James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning:
Using Transformations and Verification in Ciruit Design. Designing Correct Circuits 1992: 1-25 - [c19]James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland:
Using Transformations and Verification in Circuit Design. Larch 1992: 201-226 - [c18]Jørgen Staunstrup, Stephen J. Garland, John V. Guttag:
Mechanized Verification of Circuit Descriptions Using the Larch Prover. TPCD 1992: 277-299 - 1991
- [c17]John V. Guttag, James J. Horning:
A Tutorial on LARCH and LCL, A LARCH/C Interface Language. VDM Europe (2) 1991: 1-78 - [c16]
- 1990
- [j11]Stephen J. Garland, John V. Guttag, James J. Horning:
Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990)
1980 – 1989
- 1989
- [c15]Jørgen Staunstrup, Stephen J. Garland, John V. Guttag:
Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364 - [c14]
- 1988
- [c13]
- [c12]Stephen J. Garland, John V. Guttag:
Inductive Methods for Reasoning about Abstract Data Types. POPL 1988: 219-228 - 1987
- [c11]Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin:
Synchronization Primitives for a Multiprocessor: A Formal Specification. SOSP 1987: 94-102 - 1986
- [j10]John V. Guttag, James J. Horning:
Report on the Larch Shared Language. Sci. Comput. Program. 6(2): 103-134 (1986) - [j9]John V. Guttag, James J. Horning:
A Larch Shared Language Handbook. Sci. Comput. Program. 6(2): 135-157 (1986) - 1985
- [j8]John V. Guttag, James J. Horning, Jeannette M. Wing:
The Larch Family of Specification Languages. IEEE Software 2(5): 24-36 (1985) - 1983
- [j7]John V. Guttag, Deepak Kapur, David R. Musser:
On Proving Uniform Termination and Restricted Termination of Rewriting Systems. SIAM J. Comput. 12(1): 189-214 (1983) - [c10]John V. Guttag, James J. Horning:
An Introduction to the Larch Shared Language. IFIP Congress 1983: 809-814 - 1982
- [j6]John V. Guttag, James J. Horning, Jeannette M. Wing:
Some Notes on Putting Formal Specifications to Productive Use. Sci. Comput. Program. 2(1): 53-68 (1982) - [c9]John V. Guttag, Deepak Kapur, David R. Musser:
Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. ICALP 1982: 300-312 - 1981
- [c8]John V. Guttag:
A few Remarks on Putting Formal Specifications to Productive Use. Program Specification 1981: 370-380 - [c7]John V. Guttag, James J. Horning, John Williams:
FP with data abstraction and strong typing. FPCA 1981: 11-24 - 1980
- [j5]
- [c6]
1970 – 1979
- 1978
- [j4]Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek:
Proof Rules for the Programming Language Euclid. Acta Inf. 10: 1-26 (1978) - [j3]John V. Guttag, James J. Horning:
The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52 (1978) - [j2]John V. Guttag, Ellis Horowitz, David R. Musser:
Abstract Data Types and Software Validation. Commun. ACM 21(12): 1048-1064 (1978) - [c5]Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek:
Proof Rules for the Programming Language Euclid. Program Construction 1978: 133-163 - [c4]
- 1977
- [j1]John V. Guttag:
Abstract Data Type and the Development of Data Structures. Commun. ACM 20(6): 396-404 (1977) - [c3]John V. Guttag, Ellis Horowitz, David R. Musser:
Some Extensions to Algebraic Specifications. Language Design for Reliable Software 1977: 63-67 - 1976
- [c2]John V. Guttag, Ellis Horowitz, David R. Musser:
The Design of Data Type Specifications. ICSE 1976: 414-420 - [c1]John V. Guttag:
Abstract Data Types and the Development of Data Structures. Conference on Data: Abstraction, Definition and Structure 1976: 72
Coauthor Index
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-19 21:56 CEST by the dblp team