Centrum Wiskunde & Informatica

Uniform Airy-type expansions of integrals Article

SIAM Journal on Mathematical Analysis, 25(2), 304-321.

A.B. Olde Daalhuis and N.M. Temme (Nico)

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.

J.G. Verwer (Jan) and M. van Loon (Martin)

January 1994
Bootstrapping multivariate $U$-quantiles and related statistics Article

Journal of Multivariate Analysis, 49(1), 97-109.

R. Helmers (Roelof) and M. Husková

January 1994
A computer-checked verification of Milner's scheduler In Proceedings

H.P. Korver and J.G. Springintveld

January 1994
Declarative interpretations reconsidered In Proceedings

K.R. Apt (Krzysztof) and M. Gabbrielli

January 1994
Queueing-theoretic solution methods for models of parallel and distributed systems In Proceedings

O.J. Boxma (Onno), G.M. Koole (Ger) and Z. Liu (Zhe)

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
A structural characterisation of product form stochastic Petri nets In Proceedings

R.J. Boucherie (Richard) and M. Sereno

January 1994

Previous

Next