Publication
-
Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor Tech Report
January 1983 -
Operations in K-theory of endomorphisms Article
Journal of Algebra, 285-304.January 1983 -
January 1983
-
Operations in the K-theory of endomorphisms Tech Report
January 1983 -
On identification of linear systems and the estimation Lie-algebra of the associated nonlinear filtering problem In Proceedings
January 1983 -
Symmetric linear systems : an application of algebraic systems theory Article
International Journal of Control, 37(6), 1371-1384.January 1983 -
Formal justification of a proof system for communication sequential processes Article
Journal of the ACM, 197-216.January 1983 -
Proof rules and transformations dealing with fairness Article
Science of Computer Programming, 65-100.January 1983