S. Magnussen

Supporting Algebraic Program Derivation by PVS.

R. Behnke, R. Berghammer, S. Magnussen, 1998 .

Algebraic Data Structure Refinement with the Lübeck Transformation System.

S. Magnussen, W. Dosch, 2001 .

Proceedings of the 22nd Meeting of the Canadian Tree Improvement Association. Part 2: Symposium on Picking the winners, held in Edmonton, Alberta, August 14-18, 1989.

S. Magnussen, F. C. H. Yeh, F. I. Klein, 1990 .

Mapping attributes of Canada ’ s forests at moderate resolution through k NN and MODIS imagery

S. Magnussen, A. Beaudoin, R. J. Hall, 2014 .