Centrum Wiskunde & Informatica

The propositional formula checker HeerHugo Tech Report

J.F. Groote (Jan Friso) and J.P. Warners (Joost)

January 1999
Semantics of programming languages : a tool-oriented approach Tech Report

J. Heering (Jan) and P. Klint (Paul)

January 1999
DAG drawing from an information visualization perspective Tech Report

G. Melançon (Guy) and I. Herman (Ivan)

January 1999
Direct multifractal spectrum calculation from the wavelet transform Tech Report

Z.R. Struzik

January 1999
Counting, enumerating and sampling of execution plans in a cost-based query optimizer Tech Report

F. Waas (Florian) and C.A. Galindo-Legaria (César)

January 1999
Pretty-printing within the ASF+SDF meta-environment : a generic approach Tech Report

M.G.J. van den Brand (Mark) and M. de Jonge (Merijn)

January 1999
A correlation inequality for connection events in percolation Tech Report

J. van den Berg (Rob) and J. Kahn

January 1999
Random sampling for the monomer-dimer model on a lattice Tech Report

J. van den Berg (Rob) and R.M. Brouwer (Rachel)

January 1999

Previous

Next