Publication
-
Image analysis methods based on hierarchies of graphs and multi-scale mathematical morphology Dissertation
January 1994 -
Antialiasing and shading, an implementation Tech Report
January 1994
-
January 1994
-
More on unfold/fold transformations of normal programs: preservation of fitting's semantics Tech Report
January 1994
-
A logic for variable aliasing in logic programs Tech Report
January 1994
-
Verification of an audio control protocol Tech Report
January 1994
-
MOVGRD Software
January 1994 -
Stability estimates based on numerical ranges with an application to a spectral method Article
BIT Numerical Mathematics, 34(2), 228-238.January 1994