Publications from before 2016

Vakantiecursus [Centrum voor Wiskunde en Informatica] 1993 : het reele getal Book

Meetkunde, van kunst tot kunde Book

An FFT-based method for attenuation correction in fluorescence confocal microscopy Article

J.B.T.M. Roerdink (Jos) and M. Bakker (Miente)

Dynamical Renormalization of Polymers in Quenched Disorder: Long-Time Diffusion and Short-Time Anomalies Article

U. Ebert (Ute) and L. Schäfer

Schema Integration in Object-Oriented Databases In Proceedings

C.J.E. Thieme and A.P.J.M. Siebes (Arno)

Design and implementation of a DBMS Performance Assessment Tool In Proceedings

M.L. Kersten (Martin) and F. Kwakkel

Conference on the history of ALGOL 68 : [conference on 25 years of ALGOL 68 held on the occasion of the 47th anniversary of CWI, Amsterdam, 11.02.1993] Tech Report

G. Alberts (Gerard)

RIPE integrity primitives Part II Final report of RACE 1040 Tech Report

B. den Boer, J.P. Boly, A. Bosselaers, J. Brandt, D. Chaum (David), I.B. Damgård (Ivan), M. Dichtl, W. Fumy, M. van der Ham, C.J.A. Jansen, et al. P. Landrock, B. Preneel, G. Roelofsen, P. de Rooij and J. Vandewalle

Covergence behaviour of defect correction for hyperbolic equations Article

P.W. Hemker (Piet) and J.-A. Désidéri

An approximate solution of the parallel whistler-mode dispersion equation in a weakly relativistic plasma Article

S.S. Sazhin, A.E. Sumner, N.M. Temme (Nico) and F. Gugic

Numerical Methods for Advection-Diffusion Problems Book

Termination proofs for higher-order rewrite systems In Proceedings

J.C. van de Pol (Jaco)

A nonparametric measure of spatial interaction in point patterns Tech Report

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

Review of "Computational logic, essays in honor of Alan Robinson" by Lassez, J. L. (ed.) and Plotkin, G. D. (ed.) Article

K.R. Apt (Krzysztof)

Current Trents in logic programming languages Book

Preface: Current Trents in logic programming languages (1993) Preface

K.R. Apt (Krzysztof), J.W. de Bakker (Jaco) and J.J.M.M. Rutten (Jan)

Declarative programming in prolog In Proceedings

K.R. Apt (Krzysztof)

Stochastic geometry models in high-level vision Article

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

Wavelets: mathematical preliminaries Article

P.W. Hemker (Piet), T.H. Koornwinder and N.M. Temme (Nico)

Eighteenth conference on the mathematics of operations research, and: Fourth international workshop Landelijk Netwerk Mathematische Besliskunde, Lunteren, 08-11.12.1992 Booklet

Directed triangles in directed graphs Article

M. de Graaf (Mart), A. Schrijver (Lex) and P.D. Seymour (Paul)

Fonctions de legendre sur une algèbre de Jordan Article

J. Faraut

Quantum Grassmannians and q-hypergeometric series Article

M. Noumi

Classical Lie groups, quantum groups and special functions Article

A.U. Klimyk

The world of q Article

R. Askey

PRISMA/DB: A Parallel Main Memory Relational DBMS Article

P.M.G. Apers (Peter), C.A. van den Berg (Carel), J. Flokstra, P.W.P.J. Grefen, M.L. Kersten (Martin) and A.N. Wilschut

PREGMATIC : a generator for incremental programming environments Dissertation

M.G.J. van den Brand (Mark)

Synchronization of Multi-Sourced Multimedia Data for Heterogeneous Target Systems In Proceedings

D.C.A. Bulterman (Dick)

CWI in Bedrijf, 09.10.1992 : Samenvattingen van voordrachten Article

Daarom het CWI : openingstoespraak op de presentatiedag CWI in Bedrijf, 09.10.1992 Presentation

G. van Oortmerssen (Gerard)

Multimedia, Wiskunde en milieu, Databases, Visualisatie, Dynamische systemen : uitnodiging en programma CWI in Bedrijf, 09.10.1992 Booklet

Moving-grid methods for time-dependent partial differential equations Dissertation

P.A. Zegeling (Paul)

Conferentie van numeriek wiskundigen, Zeist, 05-07.10.1992 : program and abstracts Booklet

R0 Dissertation

J.A.P. Heesterbeek (Hans)

On the development of an artifact and design description language Dissertation

P. J. Veerkamp (Paul)

An architecture for interactive raster graphics In Proceedings

A.A.M. Kuijk (Fons), E.H. Blake (Edwin) and P.J.W. ten Hagen (Paul)

Transition systems and dynamic semantics In Proceedings

R.T.P. Fernando (Tim)

Data structures and amortized complexity in a functional setting Dissertation

L.A.M. Schoenmakers (Berry)

Circuits in graphs embedded on the torus Article

A. Schrijver (Lex)

Manifold: Concepts and implementation In Proceedings

F. Arbab (Farhad), I. Herman (Ivan) and P. Spilling

A generalization of the Z-buffer algorithm Article

K. van Overveld and H. van de Wetering (Huub)

Computational steering: a case study Article

R. van Liere (Robert)

A processor farm example in manifold Article

I. Herman (Ivan) and F. Arbab (Farhad)

Provably unforgeable signatures Article

J.N.E. Bos (Jurjen)

Vakantiecursus 1992: Systeemtheorie : Amsterdam, 28-29.08.1992 en Eindhoven, 03-04.09.1992 : programma en uitnodiging Booklet

Object Storage Management in Goblin In Proceedings

M.L. Kersten (Martin), S. Plomp and C.A. van den Berg (Carel)

Philosophical issues in Kolmogorov complexity In Proceedings

M. Li (Ming) and P.M.B. Vitányi (Paul)

De vorming van onderzoekscholen Wiskunde : rapport van de Strategiecommissie Onderzoekscholen Wiskunde, 30-06-1992 Miscellaneous

Stochastic scheduling and dynamic programming Dissertation

G.M. Koole (Ger)

Process algebra with data Dissertation

A. Ponse (Alban)

Linear unary operators in process algebra Dissertation

C. Verhoef (Chris)

Structural computations in finite permutation groups Article

W. Bosma (Wieb) and J. Cannon

Random algorithms for permutation groups Article

G. Cooperman and L. Finkelstein

Notes on polynomial-time group theory Article

W.M. Kantor

Preface Article

A.M. Cohen (Arjeh)

Product-form in queueing networks Dissertation

R.J. Boucherie (Richard)

Some aspects of mixed finite element methods for semiconductor simulation Dissertation

R.R.P. van Nooyen (Ronald)

A short proof of the decidability of bisimulation for normed bpa-processes Article

J.F. Groote (Jan Friso)

Bootstrapping U-quantiles In Proceedings

R. Helmers (Roelof), P. Janssen and N. Veraverbeke

Practical privacy Dissertation

J.N.E. Bos (Jurjen)

Integrity Primitives for IBC In Proceedings

W. Fumy, P. Landrock, D. Chaum (David), C.J.A. Jansen, G. Roelofsen and J. Vandewalle

Multigrid methods for semiconductor device simulation Dissertation

J. Molenaar (Hans)

Computing with Daubechies' wavelets Article

A.B. Olde Daalhuis

Image compression using wavelets Article

P. F. M. Nacken (Peter)

Calculation of the wavelet decomposition using quadrature formulae Article

W. Sweldens and R. Piessens

Discrete wavelets and multiresolution analysis Article

H.J.A.M. Heijmans (Henk)

The adjoint of a semigroup of linear operators Dissertation

J.M.A.M. van Neerven (Jan)

Numerical methods for the three-dimensional shallow water equations on supercomputers Dissertation

E.D. de Goede (Erik)

Law and order in algorithmics Dissertation

M.M. Fokkinga (Maarten)

Parallelism in the numerical integration of initial value problems Dissertation

B.P. Sommeijer (Ben)

Solving parabolic integro-differential equations by an explicit integration method Article

A.S. Vasudeva Murthy and J.G. Verwer (Jan)

Parser generation for interactive environments Dissertation

J. G. Rekers (Jan)

On steady, inviscid shock waves at contnuously curved, convex surfaces Tech Report

B. Koren (Barry) and H.T.M. van der Maarel (Eric)

Towards a design theory for database triggers Tech Report

A.P.J.M. Siebes (Arno), M.H. van der Voort and M.L. Kersten (Martin)

XlnPosse: structural simulation for graphics hardware Tech Report

M.A. Guravage (Michael), E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

A simple specification language combining processes, time and data Tech Report

W.J. Fokkink (Wan)

Bisimulation semantics for concurrency with atomicity and action refinement Tech Report

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

Processes as terms: non-well-founded models for bisimulation Tech Report

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

Mathematics as technology: mathematical engineering Tech Report

G. Alberts (Gerard)

The saturating contact rate in marriage- and epidemic models Tech Report

J.A.P. Heesterbeek (Hans) and J.A.J. Metz

Asynchronous communication in process algebra : extended abstract Tech Report

F.S. de Boer (Frank), J.W. Klop (Jan Willem) and C. Palamidessi (Catuscia)

A singular perturbation theorem for evolution equations and time-scale arguments for structured population models Tech Report

G. Greiner, J.A.P. Heesterbeek (Hans) and J.A.J. Metz

Verification of parallel systems via decomposition Tech Report

J.F. Groote (Jan Friso) and F. Moller

On transfinite abstract reduction systems Tech Report

J.R. Kennaway (Richard)

On the adequacy of graph rewriting for simulating term rewriting Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

Computing brine transport in porous media with an adaptive-grid method Tech Report

R.A. Trompert (Ronald), J.G. Verwer (Jan) and J.G. Blom (Joke)

Survey of continuities of curves and surfaces Tech Report

R.C. Veltkamp (Remco)

Approximate analysis of an M/G/1 priority queue with priority changes due to impatience Tech Report

P.R. de Waal

A general model for maintenance of complex systems Tech Report

P.R. de Waal

Asymptotic estimates of Stirling numbers Tech Report

N.M. Temme (Nico)

The 'cumulative' formulation of (physiologically) structured population models Tech Report

O. Diekmann (Odo), M. Gyllenberg, H. Metz and H.R. Thieme

Hyperasymptotics and the Stokes' phenomenon Tech Report

A.B. Olde Daalhuis

Classification of minimal graphs of given face-width on the torus Tech Report

A. Schrijver (Lex)

Graphs on the torus and geometry of numbers Tech Report

A. Schrijver (Lex)

Grid minors of graphs on the torus Tech Report

M. de Graaf (Mart) and A. Schrijver (Lex)

Finding k disjoint paths in a directed planar graph Tech Report

A. Schrijver (Lex)

Packing odd paths Tech Report

A. Schrijver (Lex) and P.D. Seymour (Paul)

A globally gated polling system with server interruptions, and applications to the repairman problem Tech Report

O.J. Boxma (Onno), J.A. Weststrate and U. Yechiali

One-third-integrality in the metric polytope Tech Report

M. Laurent (Monique) and S. Poljak

Finite interpolation of random fields Tech Report

K.O. Dzhaparidze (Kacha)