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 Runge-Kutta discontinuous-Galerkin level-set method for unsteady compressible two-fluid flow Tech Report
January 2007
-
Compositionality for Markov Reward Chains with Fast Transitions In Proceedings
J. Markovski (Jasen), A. Sokolova, N. Trcka and E.P. de Vink (Erik)
January 2007 -
Data Anonymity in the FOO Voting Scheme In Proceedings
S. Mauw (Sjouke), J.H.S. Verschuren (Jan) and E.P. de Vink (Erik)
January 2007 -
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
-
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
-
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 -
On the complexity of the Single Individual SNP Haplotyping Problem Article
Algorithmica, 49(1), 13-36.R.L. Cilibrasi (Rudi), L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and J.T. Tromp (John)
January 2007