CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Congruence types In Proceedings
G. Barthe and H. Geuvers
January 1996 -
Jacobi-Davidson methods for generalized MHD-eigenvalue problems In Proceedings
A.G.L. Booten (Albert), D.R. Fokkema, G.L.G. Sleijpen and H.A. van der Vorst (Henk)
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
R.J.F. Cramer (Ronald), M. Franklin, L.A.M. Schoenmakers (Berry) and M. Yung (Moti)
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