Centrum Wiskunde & Informatica

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
Parametric Visualization of High Resolution Correlated Multi-spectral Features Using PC In Proceedings

A. Broersen (Alexander), R. van Liere (Robert) and R.M.A. Heeren (Ron)

January 2007
A multigrid method for the computation of steady water waves Tech Report

J. Wackers (Jeroen) and B. Koren (Barry)

January 2007
Een fundamenteel verschil - CWI strategie 2007-2012 Book

J. Heering (Jan), J.K. Lenstra (Jan Karel) and M. Mieras

January 2007
Connector Colouring I: Synchronization and Context Dependency Article

Science of Computer Programming, 66(3), 205-225.

D.G. Clarke (David), D.F. de Oliveira Costa (David) and F. Arbab (Farhad)

January 2007
06431 Working Group Report on Managing and Integrating Data in P2P Databases In Proceedings

P.A. Boncz (Peter), A. Bonifati, A. Illarramendi, P. Janacik (Peter), B. König-Ries, W. Lehner (Wolfgang), P.J. Marrón, W. May, A. Ouksel, K. Römer, et al. B. Sapkota, C. Türker

January 2007
Efficient d-multigrid preconditioners for sparse-grid solution of high-dimensional partial differential equations Article

International Journal of Computer Mathematics, 1129-1147.

H. bin Zubair (Hisham), C.C.W. Leentvaar and C.W. Oosterlee (Kees)

January 2007

Publication

Modeling and verifying a Real-Life Industrial Session-Layer Protocol in $\mu$CRL2. Tech Report

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings

Parametric Visualization of High Resolution Correlated Multi-spectral Features Using PC In Proceedings

A multigrid method for the computation of steady water waves Tech Report

Een fundamenteel verschil - CWI strategie 2007-2012 Book

Connector Colouring I: Synchronization and Context Dependency Article

06431 Working Group Report on Managing and Integrating Data in P2P Databases In Proceedings

Efficient d-multigrid preconditioners for sparse-grid solution of high-dimensional partial differential equations Article

Address

CWI researchers

Questions or comments?

Publication

Modeling and verifying a Real-Life Industrial Session-Layer Protocol in $\mu$CRL2. Tech Report

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings

Parametric Visualization of High Resolution Correlated Multi-spectral Features Using PC In Proceedings

A multigrid method for the computation of steady water waves Tech Report

Een fundamenteel verschil - CWI strategie 2007-2012 Book

Connector Colouring I: Synchronization and Context Dependency Article

06431 Working Group Report on Managing and Integrating Data in P2P Databases In Proceedings

Efficient d-multigrid preconditioners for sparse-grid solution of high-dimensional partial differential equations Article

Workflow

Workflow

Add Content