CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A free boundary problem involving a cusp: breakthrough of salt water Article
Interfaces and Free Boundaries, 2(1), 21-72.January 2000 -
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.January 2000
-
Fundamenta morphologicae mathematicae Article
Fundamenta Informaticae, 41(1-2), 1-31.January 2000 -
Diagonalizable extended backward differentiation formulas Article
BIT : Numerical Mathematics, 40(3), 497-512.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.January 2000 -
The excluded minors for GF(4)-representable matroids Article
Journal of Combinatorial Theory - Series B, 79(2), 247-299.January 2000