Centrum Wiskunde & Informatica

LARIS 1.0: LAnguage for railway interlocking specifications Book

W.J. Fokkink (Wan), J.F. Groote (Jan Friso), M. Hollenberg (Marco) and B. van Vlijmen

January 2000
Uniqueness conditions in a hyperbolic model for oil recovery by steamdrive Article

Computational Geosciences, 4(1), 65-98.

J. Bruining and C.J. van Duijn (Hans)

January 2000
Fundamenta morphologicae mathematicae Article

Fundamenta Informaticae, 41(1-2), 1-31.

J. Goutsias (John) and H.J.A.M. Heijmans (Henk)

January 2000
Diagonalizable extended backward differentiation formulas Article

BIT : Numerical Mathematics, 40(3), 497-512.

J.E. Frank (Jason) and P.J. van der Houwen (Piet)

January 2000
A transition system semantics for the control-driven coordination language Manifold Article

Theoretical Computer Science, 240(1), 3-47.

M.M. Bonsangue (Marcello), F. Arbab (Farhad), J.W. de Bakker (Jaco), J.J.M.M. Rutten (Jan), A. Scutellà and G. Zavattaro (Gianluigi)

January 2000
Asymptotic density in a coalescing random walk model Article

Annals of Probability, 28(1), 303-352.

J. van den Berg (Rob) and H. Kesten

January 2000
The excluded minors for GF(4)-representable matroids Article

Journal of Combinatorial Theory - Series B, 79(2), 247-299.

J. Geelen (Jim), A.M.H. Gerards (Bert) and A. Kapoor

January 2000
Average-case analysis of algorithms using Kolmogorov complexity Article

Journal of Computer Science and Technology, 15(5), 402-408.

T. Jiang (Tao), M. Li (Ming) and P.M.B. Vitányi (Paul)

January 2000

Previous

Next