John V. Guttag

According to our database1, John V. Guttag
  • authored at least 106 papers between 1976 and 2017.
  • has a "Dijkstra number"2 of three.

Awards

ACM Fellow

ACM Fellow 2006, "For contributions to algebraic specifications and abstract data types.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Bolt: Accelerated Data Mining with Fast Vector Compression.
CoRR, 2017

Eulerian video magnification and analysis.
Commun. ACM, 2017

Predicting Clinical Outcomes Across Changing Electronic Health Record Systems.
Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13, 2017

Bolt: Accelerated Data Mining with Fast Vector Compression.
Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13, 2017

2016
Using machine learning to draw inferences from pass location data in soccer.
Statistical Analysis and Data Mining, 2016

Patient Risk Stratification with Time-Varying Parameters: A Multitask Learning Approach.
Journal of Machine Learning Research, 2016

Transferring Knowledge from Text to Predict Disease Onset.
CoRR, 2016

A Video-Based Method for Objectively Rating Ataxia.
CoRR, 2016

Uncovering Voice Misuse Using Symbolic Mismatch.
CoRR, 2016

EXTRACT: Strong Examples from Weakly-Labeled Sensor Data.
CoRR, 2016

Transferring Knowledge from Text to Predict Disease Onset.
Proceedings of the 1st Machine Learning in Health Care, 2016

Uncovering Voice Misuse Using Symbolic Mismatch.
Proceedings of the 1st Machine Learning in Health Care, 2016

Developing a Data-Driven Player Ranking in Soccer Using Predictive Model Weights.
Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

Towards an Automated Screening Tool for Developmental Speech and Language Impairments.
Proceedings of the Interspeech 2016, 2016

EXTRACT: Strong Examples from Weakly-Labeled Sensor Data.
Proceedings of the IEEE 16th International Conference on Data Mining, 2016

2015
Video diff: highlighting differences between similar actions in videos.
ACM Trans. Graph., 2015

Corrections to "Learning to Detect Vocal Hyperfunction From Ambulatory Neck-Surface Acceleration Features: Initial Results For Vocal Fold Nodules".
IEEE Trans. Biomed. Engineering, 2015

Incorporating temporal EHR data in predictive models for risk stratification of renal function deterioration.
Journal of Biomedical Informatics, 2015

Instance Weighting for Patient-Specific Risk Stratification Models.
Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015

Estimating a Small Signal in the Presence of Large Noise.
Proceedings of the 2015 IEEE International Conference on Computer Vision Workshop, 2015

2014
Learning to Detect Vocal Hyperfunction From Ambulatory Neck-Surface Acceleration Features: Initial Results for Vocal Fold Nodules.
IEEE Trans. Biomed. Engineering, 2014

A study in transfer learning: leveraging data from multiple hospitals to enhance hospital-specific predictions.
JAMIA, 2014

Leveraging hierarchy in medical codes for predictive modeling.
Proceedings of the 5th ACM Conference on Bioinformatics, 2014

2013
A data-driven method for in-game decision making in MLB: when to pull a starting pitcher.
Proceedings of the 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2013

Learning Connections in Financial Time Series.
Proceedings of the 30th International Conference on Machine Learning, 2013

Detecting Pulse from Head Motions in Video.
Proceedings of the 2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013

Collaborative Filtering for Identifying Prescription Omissions in an ICU.
Proceedings of the HEALTHINF 2013, 2013

2012
Eulerian video magnification for revealing subtle changes in the world.
ACM Trans. Graph., 2012

Real Time Reconstruction of Multi Parameter Physiological Signals.
EURASIP J. Adv. Sig. Proc., 2012

Patient Risk Stratification for Hospital-Associated C. diff as a Time-Series Classification Task.
Proceedings of the Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012. Proceedings of a meeting held December 3-6, 2012

2011
Unsupervised Similarity-Based Risk Stratification for Cardiovascular Events Using Long-Term Time-Series Data.
Journal of Machine Learning Research, 2011

Weighted Time Warping for Temporal Segmentation of Multi-parameter Physiological Signals.
Proceedings of the BIOSIGNALS 2011, 2011

2010
Motif discovery in physiological datasets: A methodology for inferring predictive elements.
TKDD, 2010

A Micro-Power EEG Acquisition SoC With Integrated Feature Extraction Processor for a Chronic Seizure Detection System.
J. Solid-State Circuits, 2010

Active Learning Applied to Patient-Adaptive Heartbeat Classification.
Proceedings of the Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, 2010

Identifying Patients at Risk of Major Adverse Cardiovascular Events Using Symbolic Mismatch.
Proceedings of the Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, 2010

Application of Machine Learning To Epileptic Seizure Detection.
Proceedings of the 27th International Conference on Machine Learning (ICML-10), 2010

2009
Learning Approximate Sequential Patterns for Classification.
Journal of Machine Learning Research, 2009

Using ambient intelligence for physiological monitoring.
JAISE, 2009

Non-Invasive Computerized System for Automatically Initiating Vagus Nerve Stimulation Following Patient-Specific Detection of Seizures or epileptiform discharges.
Int. J. Neural Syst., 2009

Cutting the electric bill for internet-scale systems.
Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

Sensor selection for energy-efficient ambulatory medical monitoring.
Proceedings of the 7th International Conference on Mobile Systems, 2009

Quantifying morphology changes in time series data with skew.
Proceedings of the IEEE International Conference on Acoustics, 2009

2008
Application of Information Technology: SMART - An Integrated Wireless System for Monitoring Unattended Patients.
JAMIA, 2008

Physiological signal monitoring in the waiting areas of an emergency room.
Proceedings of the 3rd International ICST Conference on Body Area Networks, 2008

2007
A Framework for the Analysis of Acoustical Cardiac Signals.
IEEE Trans. Biomed. Engineering, 2007

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

Prototypical Biological Signals.
Proceedings of the IEEE International Conference on Acoustics, 2007

2006
Tavarua: video streaming with WWAN striping.
Proceedings of the 14th ACM International Conference on Multimedia, 2006

Audio-Visual Tools for Computer-Assisted Diagnosis of Cardiac Disorders.
Proceedings of the 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 2006

2005
Horde: separating network striping policy from mechanism.
Proceedings of the 3rd International Conference on Mobile Systems, 2005

The 802.11 MAC protocol leads to inefficient equilibria.
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

Demonstration of SMART (Scalable Medical Alert Response Technology).
Proceedings of the AMIA 2005, 2005

2004
Time-based Fairness Improves Performance in Multi-Rate WLANs.
Proceedings of the General Track: 2004 USENIX Annual Technical Conference, June 27, 2004

Long-term time-share guarantees are necessary for wireless LANs.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Continuous medical monitoring using wireless microsensors.
Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, 2004

2003
Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns.
Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

2002
A Locally Coordinated Scatternet Scheduling Algorithm.
Proceedings of the 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 2002

Abstract Data Types and the Development of Data Structures (Reprint).
Proceedings of the Software Pioneers., 2002

Abstract Data Types, Then and Now.
Proceedings of the Software Pioneers., 2002

2001
Program Development in Java - Abstraction, Specification, and Object-Oriented Design.
Addison-Wesley, ISBN: 978-0-201-65768-5, 2001

1999
Virtual radios.
IEEE Journal on Selected Areas in Communications, 1999

ANTS: Network Services Without the Red Tape.
IEEE Computer, 1999

Next Century Challenges: RadioActive Networks.
Proceedings of the MOBICOM '99, 1999

1998
Using Network-Level Support to Improve Cache Routing.
Computer Networks, 1998

Improving the Performance of Distributed Applications Using Active Networks.
Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

1995
Modular Reasoning in the Presence of Subclassing.
Proceedings of the OOPSLA'95, 1995

1994
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity.
Proceedings of the SIGSOFT '94, 1994

LCLint: A Tool for Using Specifications to Check Code.
Proceedings of the SIGSOFT '94, 1994

Memory Assignment for Multiprocessor Caches through Grey Coloring.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993
Larch: Languages and Tools for Formal Specification
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-2704-5, 1993

Using Transformations and Verification in Circuit Design.
Formal Methods in System Design, 1993

Goldilocks and the Three Specifications.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

An Overview of Larch.
Proceedings of the Functional Programming, 1993

Computer-Assisted Simulation Proofs.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
Mechanized Verification of Circuit Descriptions Using the Larch Prover.
Proceedings of the Theorem Provers in Circuit Design, 1992

Using Transformations and Verification in Circuit Design.
Proceedings of the First International Workshop on Larch, 1992

Using Transformations and Verification in Ciruit Design.
Proceedings of the Designing Correct Circuits, 1992

1991
A Tutorial on LARCH and LCL, A LARCH/C Interface Language.
Proceedings of the VDM '91, 1991

The Larch Approach to Specification (Abstract).
Proceedings of the VDM '91, 1991

1990
Debugging Larch Shared Language Specifications.
IEEE Trans. Software Eng., 1990

1989
An Overview of LP, The Larch Power.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

Localized Verification of Circuit Descriptions.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988
Inductive Methods for Reasoning about Abstract Data Types.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

LP: The Larch Prover.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
Synchronization Primitives for a Multiprocessor: A Formal Specification.
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

1986
A Larch Shared Language Handbook.
Sci. Comput. Program., 1986

Report on the Larch Shared Language.
Sci. Comput. Program., 1986

1985
The Larch Family of Specification Languages.
IEEE Software, 1985

1983
On Proving Uniform Termination and Restricted Termination of Rewriting Systems.
SIAM J. Comput., 1983

An Introduction to the Larch Shared Language.
IFIP Congress, 1983

1982
Some Notes on Putting Formal Specifications to Productive Use.
Sci. Comput. Program., 1982

Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems.
Proceedings of the Automata, 1982

1981
FP with data abstraction and strong typing.
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

A few Remarks on Putting Formal Specifications to Productive Use.
Proceedings of the Program Specification, 1981

1980
Notes on Type Abstraction (Version 2).
IEEE Trans. Software Eng., 1980

Formal Specification as a Design Tool.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1978
Abstract Data Types and Software Validation.
Commun. ACM, 1978

Proof Rules for the Programming Language Euclid.
Acta Inf., 1978

The Algebraic Specification of Abstract Data Types.
Acta Inf., 1978

Proof Rules for the Programming Language Euclid.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Notes on Type Abstraction.
Proceedings of the Program Construction, International Summer School, July 26, 1978

1977
Abstract Data Type and the Development of Data Structures.
Commun. ACM, 1977

Some Extensions to Algebraic Specifications.
Language Design for Reliable Software, 1977

1976
Abstract Data Types and the Development of Data Structures.
Proceedings of the SIGPLAN '76 Conference on Data: Abstraction, 1976

The Design of Data Type Specifications.
Proceedings of the 2nd International Conference on Software Engineering, 1976


  Loading...