Centrum Wiskunde & Informatica

A new class of entropy solutions of the Buckley-Leverett equation. Tech Report

C.J. van Duijn (Hans), L.A. Peletier (Bert) and I.S. Pop (Sorin)

January 2005
About 'trivial' software patents: the IsNot case Tech Report

J.A. Bergstra (Jan) and P. Klint (Paul)

January 2005
History of the software industry: the challenge Tech Report

G. Alberts (Gerard), A. van den Bogaard, M. Campbell-Kelly and F. Veraart

January 2005
A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs). Tech Report

J.C. van de Pol (Jaco) and O. Tveretina

January 2005
A systematic aspect-oriented refactoring and testing strategy, and its application to JHotDraw. Tech Report

A. van Deursen (Arie), A.M. Marin (Marius) and L.M.F. Moonen (Leon)

January 2005
Specification-based test generation with TGV Tech Report

J.R. Calamé (Jens)

January 2005
A fully conservative model for compressible two-fluid flow. Tech Report

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

January 2005
On the adjoint solution of the quasi-1D Euler equations: the effect of boundary conditions and the numerical flux function Tech Report

G.F. Duivesteijn, H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

January 2005

Previous

Next