Publication

Some examples of Lie algebraic structure in nonlinear estimation In Proceedings

M. Hazewinkel (Michiel), C.H. Liu (Chan-Huan) and S.I. Marcus (Steven)

Proceedings filterday, Rotterdam, 1980 Book

Representation of $ S_ n $ and the geometry of linear systems In Proceedings

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

Representation of $ S_ n $ and the geometry of linear systems Tech Report

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

On the relationship between Lie algebras and nonlinear estimation In Proceedings

M. Hazewinkel (Michiel) and S.I. Marcus (Steven)

A mesh-parameter continuation method Tech Report

S.J. Polak, A. Wachters, T. Beelen and P.W. Hemker (Piet)

Completeness with finite systems of intermediate assertions for recursive program schemes Article

K.R. Apt (Krzysztof) and L.G.L.T. Meertens (Lambert)

A proof system for communicating sequential processes Article

K.R. Apt (Krzysztof), N. Francez and W.P. de Roever