J. D. Howroyd

From MaRDI portal



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!

PublicationDate of PublicationType
A unifying theory of control dependence and its application to arbitrary program structures
Theoretical Computer Science
2011-12-07Paper
A non-standard semantics for program slicing and dependence analysis
The Journal of Logic and Algebraic Programming
2007-08-10Paper
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
Theoretical Computer Science
2007-04-13Paper
A formal relationship between program slicing and partial evaluation
Formal Aspects of Computing
2006-10-25Paper
Equivalence of conservative, free, linear program schemas is decidable
Theoretical Computer Science
2003-01-21Paper
Box and packing dimensions of projections and dimension profiles
Mathematical Proceedings of the Cambridge Philosophical Society
2001-11-25Paper
A matrix-valued Choquet–Deny theorem
Proceedings of the American Mathematical Society
2000-10-19Paper
A Domain-Theoretic Approach to Integration in Hausdorff Spaces
LMS Journal of Computation and Mathematics
2000-09-25Paper
Packing dimensions of projections and dimension profiles
Mathematical Proceedings of the Cambridge Philosophical Society
1997-12-04Paper
On Hausdorff and packing dimension of product spaces
Mathematical Proceedings of the Cambridge Philosophical Society
1996-11-03Paper
Projection theorems for box and packing dimensions
Mathematical Proceedings of the Cambridge Philosophical Society
1996-07-01Paper
On Dimension and on the Existence of Sets of Finite Positive Hausdorff Measure
Proceedings of the London Mathematical Society
1996-01-04Paper
scientific article; zbMATH DE number 776103 (Why is no real title available?)1996-01-04Paper


Research outcomes over time


This page was built for person: J. D. Howroyd