Centrum Wiskunde & Informatica

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
On weighted multiway cuts in trees Article

Mathematical Programming, 65(1), 93-105.

P.L. Erdös (Péter) and L.A. Székely

January 1994
Parameter estimation for nearly nonstationary AR}(1) processes Article

Mathematical and Computer Modelling, 19(2), 29-41.

K.O. Dzhaparidze (Kacha), J. Kormos, T. van der Meer and M.C.A. van Zuijlen

January 1994

Previous

Next