John Guttag

MaRDI QIDQ1067765zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An overview of LP, the Larch Prover Rewriting Techniques and Applications	2022-12-09	Paper
Goldilocks and the three specifications Lecture Notes in Computer Science	2022-11-02	Paper
Using machine learning to draw inferences from pass location data in soccer Statistical Analysis and Data Mining: The ASA Data Science Journal	2020-10-14	Paper
scientific article; zbMATH DE number 6921705 (Why is no real title available?)	2018-08-21	Paper
Unsupervised similarity-based risk stratification for cardiovascular events using long-term time-series data	2014-02-03	Paper
Introduction to computation and programming using Python	2013-12-12	Paper
Learning approximate sequential patterns for classification Journal of Machine Learning Research (JMLR)	2012-04-17	Paper
Clustering and symbolic analysis of cardiovascular signals: discovery and visualization of medically relevant patterns in long-term data using limited prior knowledge EURASIP Journal on Advances in Signal Processing	2009-09-01	Paper
scientific article; zbMATH DE number 517385 (Why is no real title available?)	1994-02-24	Paper
scientific article; zbMATH DE number 139966 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 4050933 (Why is no real title available?)	1986-01-01	Paper
A Larch shared language handbook Science of Computer Programming	1986-01-01	Paper
Report on the Larch shared language Science of Computer Programming	1986-01-01	Paper
On Proving Uniform Termination and Restricted Termination of Rewriting Systems SIAM Journal on Computing	1983-01-01	Paper
Some notes on putting formal specifications to productive use Science of Computer Programming	1982-01-01	Paper
scientific article; zbMATH DE number 3759538 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3621103 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3621083 (Why is no real title available?)	1979-01-01	Paper
The algebraic specification of abstract data types Acta Informatica	1978-01-01	Paper
Abstract data types and software validation Communications of the ACM	1978-01-01	Paper
scientific article; zbMATH DE number 3614152 (Why is no real title available?)	1978-01-01	Paper
Proof rules for the programming language Euclid Acta Informatica	1978-01-01	Paper
scientific article; zbMATH DE number 3581593 (Why is no real title available?)	1978-01-01	Paper
Abstract data types and the development of data structures Communications of the ACM	1977-01-01	Paper

Research outcomes over time

This page was built for person: John Guttag