J. V. 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
https://portal.mardi4nfdi.de/entity/Q2865940	2013-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q2880954	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
Report on the Larch shared language	1986-01-01	Paper
A Larch shared language handbook	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787422	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/Q4184271	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184295	1979-01-01	Paper
The algebraic specification of abstract data types	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 software validation	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178466	1978-01-01	Paper
Abstract data types and the development of data structures	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: J. V. Guttag