Publication
-
New generation of secure and practical RSA-based signatures In Proceedings
January 1996 -
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