CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
An improved front tracking method for the Euler equations Article
Journal of Computational Physics, 224(2), 712-728.January 2007
-
Prize winning two-fluid flow method, Best MSc work 2006 Article
Leonardo Times, 44-45.January 2007 -
A novel physical model and computational method for non-isentropic, compressible two-fluid flow In Proceedings
January 2007
-
Development of the discrete adjoint for a 3D unstructured Euler solver In Proceedings
G. Carpentieri (Giampietro), B. Koren (Barry) and M.J.L. van Tooren
January 2007 -
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings
F. Dechesne (Francien), M.R. Mousavi and S.-M. Orzan (Simona-Mihaela)
January 2007 -
Modeling and verifying a Real-Life Industrial Session-Layer Protocol in $\mu$CRL2. Tech Report
Y.S. Usenko (Yaroslav), R. Schreurs (Rene), S. ten Hoedt (Stefan) and M.C.J.D. van Eekelen (Marko)
January 2007
-
The Formal Specification Language mCRL2 In Proceedings
J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), Y.S. Usenko (Yaroslav), M.A. Reniers (Michel) and M.J. van Weerdenburg (Muck)
January 2007
-
January 2007