Publication
-
Congruence types In Proceedings
January 1996 -
January 1996
-
Fundamentals of partial modal logic Book Chapter
January 1996 -
A compositional semantics for normal open programs In Proceedings
January 1996 -
Multi-authority secret-ballot elections with linear work In Proceedings
January 1996 -
Splitting methods for three-dimensional bio-chemical transport Article
Applied Numerical Mathematics, 21(3), 303-320.January 1996 -
Impulsive-smooth behavior in multimode systems II. Minimality and equivalence Article
Automatica, 32(6), 819-832.January 1996 -
Impulsive-smooth behavior in multimode systems I. State-space and polynomial representations Article
Automatica, 32(5), 747-758.January 1996