university website Publications by Year

Publication

  • thumb

    A class of team problems with discrete action spaces: optimality conditions based on multimodularity Article

    SIAM Journal on Control and Optimization, 38(3), 875-892.

    P.R. de Waal and J.H. van Schuppen (Jan)

    January 2000
  • thumb

    A free boundary problem involving a cusp: breakthrough of salt water Article

    Interfaces and Free Boundaries, 2(1), 21-72.

    H.W. Alt and C.J. van Duijn (Hans)

    January 2000
  • thumb

    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
    open access
  • 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
    open access
  • thumb

    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
    open access
  • thumb

    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
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close