Centrum Wiskunde & Informatica

Quasi-product forms for L Tech Report

K.G. Dȩbicki (Krzysztof), A.B. Dieker (Ton) and T. Rolski

January 2005
Gaussian fluctuations of random point measures generated by cooperative sequential adsorption Tech Report

V. Shcherbakov (Vadim)

January 2005
On a model of sequential point patterns Tech Report

V. Shcherbakov (Vadim)

January 2005
Infinitary normalization Tech Report

J.W. Klop (Jan Willem) and R. de Vrijer

January 2005
Discovering faults in idiom-based exception handling Tech Report

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

January 2005
Algebraic specification and coalgebraic synthesis of Mealy automata Tech Report

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

January 2005
Automatic optimization of array queries Tech Report

A.R. van Ballegooij (Alex), R. Cornacchia (Roberto) and A.P. de Vries (Arjen)

January 2005
Updating the pre/post plane in MonetDB/XQuery Tech Report

P.A. Boncz (Peter), S. Manegold (Stefan) and J. Rittinger

January 2005

Previous

Next