CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Uniform Airy-type expansions of integrals Article
SIAM Journal on Mathematical Analysis, 25(2), 304-321.January 1994 -
An evaluation of explicit pseudo-steady-state approximation schemes for stiff ODE systems from chemical kinetics Article
Journal of Computational Physics, 113(2), 347-352.January 1994 -
Bootstrapping multivariate $U$-quantiles and related statistics Article
Journal of Multivariate Analysis, 49(1), 97-109.January 1994 -
A computer-checked verification of Milner's scheduler In Proceedings
January 1994 -
Declarative interpretations reconsidered In Proceedings
January 1994 -
January 1994 -
Induced circuits in planar graphs Article
Journal of Combinatorial Theory - Series B, 60(2), 169-176.C.J.H. McDiarmid (Colin), B. Reed, A. Schrijver (Lex) and F.B. Shepherd (Bruce)
January 1994 -
January 1994