Centrum Wiskunde & Informatica

Reasoning about connector reconfiguration. Part I. Tech Report

D.G. Clarke (David)

January 2005
Algebra, bitstreams, and circuits Tech Report

J.J.M.M. Rutten (Jan)

January 2005
Composition of negotiation protocols for E-commerce applications Tech Report

N.K. Diakov (Nikolay), Z.V. Zlatev and S. Pokraev

January 2005
Stability of spatially periodic pulse patterns in a class of singularly perturbed reaction-diffusion equations Tech Report

H. van der Ploeg and A. Doelman (Arjen)

January 2005
Space mapping and defect correction Tech Report

D. Echeverria (David) and P.W. Hemker (Piet)

January 2005
Numerical solver for compressible two-fluid flow Tech Report

J. Naber (Jorick)

January 2005
Detecting strongly connected components in large distributed state spaces Tech Report

S.-M. Orzan (Simona-Mihaela) and J.C. van de Pol (Jaco)

January 2005
ARCoS Software

U. Ebert (Ute)

January 2005

Previous

Next