John V. Guttag

Gartheeban Ganeshapillai, John V. Guttag: Real Time Reconstruction of Multi Parameter Physiological Signals. EURASIP J. Adv. Sig. Proc. 2012: 173 (2012)

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 (2012)

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

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)

Gartheeban Ganeshapillai, John V. Guttag: Weighted Time Warping for Temporal Segmentation of Multi-parameter Physiological Signals. BIOSIGNALS 2011: 125-131

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)

Zeeshan Syed, Collin Stultz, Manolis Kellis, Piotr Indyk, John V. Guttag: Motif discovery in physiological datasets: A methodology for inferring predictive elements. TKDD 4(1) (2010)

Ali H. Shoeb, John V. Guttag: Application of Machine Learning To Epileptic Seizure Detection. ICML 2010: 975-982

Zeeshan Syed, John V. Guttag: Identifying Patients at Risk of Major Adverse Cardiovascular Events Using Symbolic Mismatch. NIPS 2010: 2262-2270

Jenna Wiens, John V. Guttag: Active Learning Applied to Patient-Adaptive Heartbeat Classification. NIPS 2010: 2442-2450

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)

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)

Zeeshan Syed, Piotr Indyk, John V. Guttag: Learning Approximate Sequential Patterns for Classification. Journal of Machine Learning Research 10: 1913-1936 (2009)

Phil Sung, Zeeshan Syed, John V. Guttag: Quantifying morphology changes in time series data with skew. ICASSP 2009: 477-480

Eugene Shih, Ali H. Shoeb, John V. Guttag: Sensor selection for energy-efficient ambulatory medical monitoring. MobiSys 2009: 347-358

Asfandyar Qureshi, Rick Weber, Hari Balakrishnan, John V. Guttag, Bruce V. Maggs: Cutting the electric bill for internet-scale systems. SIGCOMM 2009: 123-134

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)

Zeeshan Syed, John V. Guttag, Collin 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)

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)

Zeeshan Syed, John V. Guttag: Prototypical Biological Signals. ICASSP (1) 2007: 397-400

Zeeshan Syed, Daniel Leeds, Dorothy Curtis, John V. Guttag: Audio-Visual Tools for Computer-Assisted Diagnosis of Cardiac Disorders. CBMS 2006: 207-212

Asfandyar Qureshi, Jennifer N. Carlisle, John V. Guttag: Tavarua: video streaming with WWAN striping. ACM Multimedia 2006: 327-336

Godfrey Tan, John V. Guttag: The 802.11 MAC protocol leads to inefficient equilibria. INFOCOM 2005: 1-11

Asfandyar Qureshi, John V. Guttag: Horde: separating network striping policy from mechanism. MobiSys 2005: 121-134

Eugene Shih, Vladimir Bychkovsky, Dorothy Curtis, John V. Guttag: Continuous medical monitoring using wireless microsensors. SenSys 2004: 310

Godfrey Tan, John V. Guttag: Long-term time-share guarantees are necessary for wireless LANs. ACM SIGOPS European Workshop 2004: 35

Godfrey Tan, John V. Guttag: Time-based Fairness Improves Performance in Multi-Rate WLANs. USENIX Annual Technical Conference, General Track 2004: 269-282

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

Godfrey Tan, John V. Guttag: A Locally Coordinated Scatternet Scheduling Algorithm. LCN 2002: 293-303

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

David Wetherall, John V. Guttag, David L. Tennenhouse: ANTS: Network Services Without the Red Tape. IEEE Computer 32(4): 42-48 (1999)

Vanu G. Bose, David Wetherall, John V. Guttag: Next Century Challenges: RadioActive Networks. MOBICOM 1999: 242-248

Ulana Legedza, John V. Guttag: Using Network-Level Support to Improve Cache Routing. Computer Networks 30(22-23): 2193-2201 (1998)

Ulana Legedza, David Wetherall, John V. Guttag: Improving the Performance of Distributed Applications Using Active Networks. INFOCOM 1998: 590-599

Raymie Stata, John V. Guttag: Modular Reasoning in the Presence of Subclassing. OOPSLA 1995: 200-214

Anant Agarwal, John V. Guttag, Christoforos N. Hadjicostis, Marios C. Papaefthymiou: Memory Assignment for Multiprocessor Caches through Grey Coloring. PARLE 1994: 351-362

David Evans, John V. Guttag, James J. Horning, Yang Meng Tan: LCLint: A Tool for Using Specifications to Check Code. SIGSOFT FSE 1994: 87-96

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

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)

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

Stephen J. Garland, John V. Guttag, James J. Horning: An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348

John V. Guttag: Goldilocks and the Three Specifications. TAPSOFT 1993: 1-14

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

James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Larch 1992: 201-226

Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Mechanized Verification of Circuit Descriptions Using the Larch Prover. TPCD 1992: 277-299

John V. Guttag, James J. Horning: A Tutorial on LARCH and LCL, A LARCH/C Interface Language. VDM Europe (2) 1991: 1-78

John V. Guttag: The Larch Approach to Specification (Abstract). VDM Europe (1) 1991: 10

Stephen J. Garland, John V. Guttag, James J. Horning: Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990)

Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364

Stephen J. Garland, John V. Guttag: An Overview of LP, The Larch Power. RTA 1989: 137-151

Stephen J. Garland, John V. Guttag: LP: The Larch Prover. CADE 1988: 748-749

Stephen J. Garland, John V. Guttag: Inductive Methods for Reasoning about Abstract Data Types. POPL 1988: 219-228

Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin: Synchronization Primitives for a Multiprocessor: A Formal Specification. SOSP 1987: 94-102

John V. Guttag, James J. Horning: Report on the Larch Shared Language. Sci. Comput. Program. 6(2): 103-134 (1986)

John V. Guttag, James J. Horning: A Larch Shared Language Handbook. Sci. Comput. Program. 6(2): 135-157 (1986)

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)

John V. Guttag, James J. Horning: An Introduction to the Larch Shared Language. IFIP Congress 1983: 809-814

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)

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

John V. Guttag: A few Remarks on Putting Formal Specifications to Productive Use. Program Specification 1981: 370-380

John V. Guttag: Notes on Type Abstraction (Version 2). IEEE Trans. Software Eng. 6(1): 13-23 (1980)

John V. Guttag, James J. Horning: Formal Specification as a Design Tool. POPL 1980: 251-261

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)

John V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52 (1978)

John V. Guttag, Ellis Horowitz, David R. Musser: Abstract Data Types and Software Validation. Commun. ACM 21(12): 1048-1064 (1978)

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

John V. Guttag: Notes on Type Abstraction. Program Construction 1978: 593-616

John V. Guttag: Abstract Data Type and the Development of Data Structures. Commun. ACM 20(6): 396-404 (1977)

John V. Guttag, Ellis Horowitz, David R. Musser: Some Extensions to Algebraic Specifications. Language Design for Reliable Software 1977: 63-67

John V. Guttag, Ellis Horowitz, David R. Musser: The Design of Data Type Specifications. ICSE 1976: 414-420

John V. Guttag: Abstract Data Types and the Development of Data Structures. Conference on Data: Abstraction, Definition and Structure 1976: 72