| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zeeshan Syed, John V. Guttag |
Unsupervised Similarity-Based Risk Stratification for Cardiovascular Events Using Long-Term Time-Series Data.  |
Journal of Machine Learning Research  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zeeshan Syed, Collin Stultz, Manolis Kellis, Piotr Indyk, John V. Guttag |
Motif discovery in physiological datasets: A methodology for inferring predictive elements. |
TKDD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali H. Shoeb, John V. Guttag |
Application of Machine Learning To Epileptic Seizure Detection. |
ICML |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jenna Wiens, John V. Guttag |
Active Learning Applied to Patient-Adaptive Heartbeat Classification. |
NIPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zeeshan Syed, John V. Guttag |
Identifying Patients at Risk of Major Adverse Cardiovascular Events Using Symbolic Mismatch. |
NIPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeeshan Syed, Piotr Indyk, John V. Guttag |
Learning Approximate Sequential Patterns for Classification. |
Journal of Machine Learning Research |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil Sung, Zeeshan Syed, John V. Guttag |
Quantifying morphology changes in time series data with skew. |
ICASSP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Asfandyar Qureshi, Rick Weber, Hari Balakrishnan, John V. Guttag, Bruce V. Maggs |
Cutting the electric bill for internet-scale systems. |
SIGCOMM |
2009 |
DBLP DOI BibTeX RDF |
cloud computing, traffic engineering, electricity markets |
| 1 | Eugene Shih, Ali H. Shoeb, John V. Guttag |
Sensor selection for energy-efficient ambulatory medical monitoring. |
MobiSys |
2009 |
DBLP DOI BibTeX RDF |
ambulatory medical monitoring, reducing energy consumption, electroencephalography (eeg), epilepsy, channel selection |
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeeshan Syed, John V. Guttag |
Prototypical Biological Signals. |
ICASSP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeeshan Syed, Daniel Leeds, Dorothy Curtis, John V. Guttag |
Audio-Visual Tools for Computer-Assisted Diagnosis of Cardiac Disorders. |
CBMS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Asfandyar Qureshi, Jennifer N. Carlisle, John V. Guttag |
Tavarua: video streaming with WWAN striping. |
ACM Multimedia |
2006 |
DBLP DOI BibTeX RDF |
network striping, wireless wide-area networks, video streaming, telemedicine, mobile systems |
| 1 | Asfandyar Qureshi, John V. Guttag |
Horde: separating network striping policy from mechanism. |
MobiSys |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Godfrey Tan, John V. Guttag |
The 802.11 MAC protocol leads to inefficient equilibria. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Godfrey Tan, John V. Guttag |
Long-term time-share guarantees are necessary for wireless LANs. |
ACM SIGOPS European Workshop |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Godfrey Tan, John V. Guttag |
Time-based Fairness Improves Performance in Multi-Rate WLANs. |
USENIX Annual Technical Conference, General Track |
2004 |
DBLP BibTeX RDF |
|
| 1 | Eugene Shih, Vladimir Bychkovsky, Dorothy Curtis, John V. Guttag |
Continuous medical monitoring using wireless microsensors. |
SenSys |
2004 |
DBLP DOI BibTeX RDF |
wearable computing, wireless sensors, medical monitoring |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Godfrey Tan, John V. Guttag |
A Locally Coordinated Scatternet Scheduling Algorithm. (PDF / PS) |
LCN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wetherall, John V. Guttag, David L. Tennenhouse |
ANTS: Network Services Without the Red Tape. |
IEEE Computer |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vanu G. Bose, David Wetherall, John V. Guttag |
Next Century Challenges: RadioActive Networks. |
MOBICOM |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulana Legedza, John V. Guttag |
Using Network-Level Support to Improve Cache Routing. |
Computer Networks |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulana Legedza, David Wetherall, John V. Guttag |
Improving the Performance of Distributed Applications Using Active Networks. |
INFOCOM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Raymie Stata, John V. Guttag |
Modular Reasoning in the Presence of Subclassing. |
OOPSLA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Anant Agarwal, John V. Guttag, Christoforos N. Hadjicostis, Marios C. Papaefthymiou |
Memory Assignment for Multiprocessor Caches through Grey Coloring. |
PARLE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark T. Vandevoorde, John V. Guttag |
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
program modularity, formal specifications, compilers, program optimization, software interfaces |
| 1 | David Evans, John V. Guttag, James J. Horning, Yang Meng Tan |
LCLint: A Tool for Using Specifications to Check Code. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
LCLint, lint, specifications, C, static checking, Larch |
| 1 | James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland |
Using Transformations and Verification in Circuit Design. |
Formal Methods in System Design |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag |
Goldilocks and the Three Specifications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants |
Computer-Assisted Simulation Proofs. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Garland, John V. Guttag, James J. Horning |
An Overview of Larch. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland |
Using Transformations and Verification in Circuit Design. |
Larch |
1992 |
DBLP BibTeX RDF |
|
| 1 | James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning |
Using Transformations and Verification in Ciruit Design. |
Designing Correct Circuits |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jørgen Staunstrup, Stephen J. Garland, John V. Guttag |
Mechanized Verification of Circuit Descriptions Using the Larch Prover. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | John V. Guttag, James J. Horning |
A Tutorial on LARCH and LCL, A LARCH/C Interface Language. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag |
The Larch Approach to Specification (Abstract). |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Garland, John V. Guttag, James J. Horning |
Debugging Larch Shared Language Specifications. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms |
| 1 | Jørgen Staunstrup, Stephen J. Garland, John V. Guttag |
Localized Verification of Circuit Descriptions. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Garland, John V. Guttag |
An Overview of LP, The Larch Power. |
RTA |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Garland, John V. Guttag |
LP: The Larch Prover. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Garland, John V. Guttag |
Inductive Methods for Reasoning about Abstract Data Types. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin |
Synchronization Primitives for a Multiprocessor: A Formal Specification. |
SOSP |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag, James J. Horning |
A Larch Shared Language Handbook. |
Sci. Comput. Program. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag, James J. Horning |
Report on the Larch Shared Language. |
Sci. Comput. Program. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag, Deepak Kapur, David R. Musser |
On Proving Uniform Termination and Restricted Termination of Rewriting Systems. |
SIAM J. Comput. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag, James J. Horning |
An Introduction to the Larch Shared Language. |
IFIP Congress |
1983 |
DBLP BibTeX RDF |
|
| 1 | John V. Guttag, James J. Horning, Jeannette M. Wing |
Some Notes on Putting Formal Specifications to Productive Use. |
Sci. Comput. Program. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag, Deepak Kapur, David R. Musser |
Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag |
A few Remarks on Putting Formal Specifications to Productive Use. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag |
Notes on Type Abstraction (Version 2). |
IEEE Trans. Software Eng. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag, James J. Horning |
Formal Specification as a Design Tool. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag, James J. Horning |
The Algebraic Specification of Abstract Data Types. |
Acta Inf. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag, Ellis Horowitz, David R. Musser |
Abstract Data Types and Software Validation. |
Commun. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag |
Notes on Type Abstraction. |
Program Construction |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag |
Abstract Data Type and the Development of Data Structures. |
Commun. ACM |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | John V. Guttag, Ellis Horowitz, David R. Musser |
Some Extensions to Algebraic Specifications. |
Language Design for Reliable Software |
1977 |
DBLP BibTeX RDF |
|
| 1 | John V. Guttag |
Abstract Data Types and the Development of Data Structures. |
Conference on Data: Abstraction, Definition and Structure |
1976 |
DBLP BibTeX RDF |
|
| 1 | John V. Guttag, Ellis Horowitz, David R. Musser |
The Design of Data Type Specifications. |
ICSE |
1976 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")