John Guttag

Available identifiers

zbMath Open guttag.john-vDBLPg/JohnVGuttagWikidataQ6236650 ScholiaQ6236650MaRDI QIDQ1067765

List of research outcomes

Publication	Date of Publication	Type
An overview of LP, the Larch Prover	2022-12-09	Paper
Goldilocks and the three specifications	2022-11-02	Paper
Using machine learning to draw inferences from pass location data in soccer	2020-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q4581935	2018-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q5396630	2014-02-03	Paper
Introduction to computation and programming using Python	2013-12-12	Paper
Learning approximate sequential patterns for classification	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	2009-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4282672	1994-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4028317	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q3787422	1986-01-01	Paper
A Larch shared language handbook	1986-01-01	Paper
Report on the Larch shared language	1986-01-01	Paper
On Proving Uniform Termination and Restricted Termination of Rewriting Systems	1983-01-01	Paper
Some notes on putting formal specifications to productive use	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3942387	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184295	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184271	1979-01-01	Paper
The algebraic specification of abstract data types	1978-01-01	Paper
Abstract data types and software validation	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178466	1978-01-01	Paper
Proof rules for the programming language Euclid	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4151142	1978-01-01	Paper
Abstract data types and the development of data structures	1977-01-01	Paper

Research outcomes over time

This page was built for person: John Guttag