John D. Howroyd

Available identifiers

zbMath Open howroyd.john-dMaRDI QIDQ650919

List of research outcomes

Publication	Date of Publication	Type
A unifying theory of control dependence and its application to arbitrary program structures	2011-12-07	Paper
A non-standard semantics for program slicing and dependence analysis	2007-08-10	Paper
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time	2007-04-13	Paper
A formal relationship between program slicing and partial evaluation	2006-10-25	Paper
Equivalence of conservative, free, linear program schemas is decidable	2003-01-21	Paper
Box and packing dimensions of projections and dimension profiles	2001-11-25	Paper
A matrix-valued Choquet–Deny theorem	2000-10-19	Paper
A Domain-Theoretic Approach to Integration in Hausdorff Spaces	2000-09-25	Paper
Packing dimensions of projections and dimension profiles	1997-12-04	Paper
On Hausdorff and packing dimension of product spaces	1996-11-03	Paper
Projection theorems for box and packing dimensions	1996-07-01	Paper
On Dimension and on the Existence of Sets of Finite Positive Hausdorff Measure	1996-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4840123	1996-01-04	Paper

Research outcomes over time

This page was built for person: John D. Howroyd