Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

Efficient computation of steady, 3D water-wave patterns, application to hovercraft-type flows Tech Report

M.R. Lewis (Mervyn) and B. Koren (Barry)

January 2002
Abstraction and flow analysis for model checking open asynchronous systems Tech Report

N. Ioustinova (Natalia), N. Sidorova and M. Steffen

January 2002
Closing open SDL-systems for model checking with DTSpin Tech Report

N. Ioustinova (Natalia), N. Sidorova and M. Steffen

January 2002
Rare enemies and rare friends: adaptations that make other adaptations maladaptive Tech Report

R. Planqué (Robert), N.R. Franks and N.F. Britton

January 2002
Computing special functions by using quadrature rules Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2002
Two solutions to incorporate zero, successor and equality in binary decision diagrams Tech Report

B. Badban (Bahareh) and J.C. van de Pol (Jaco)

January 2002
A coordination-based framework for distributed constraint solving Tech Report

P. Zoeteweij (Peter)

January 2002
Cones and foci for protocol verification revisited Tech Report

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2002

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close