Publication
-
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 -
On the final size of epidemics with herds Article
Canadian Applied Mathematics Quarterly, 4(1), 21-30.January 1996 -
January 1996 -
Content Based Hypertext Creation in Text/figure Databases In Proceedings
January 1996