Publications from 2020

Binary snapshots Tech Report

J.H. Hoepman (Jaap-Henk) and J.T. Tromp (John)

Schema integration in object-oriented databases Tech Report

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

Modal logic, transition systems and processes Tech Report

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and V.N. Stebletsova (Vera)

An efficient off-line electronic cash system based on the representation problem Tech Report

S.A. Brands (Stefan)

Comparing quasi-Newton methods for solving sparse interface problems Tech Report

C.-H. Lai

Local uniform grid refinement and system of coupled partial differential equations Tech Report

R.A. Trompert (Ronald)

Continuity of singular perturbations in the graph topology Tech Report

J. de Does (Jesse) and J.M. Schumacher (Hans)

On the ergodicity conditions of the hitting point process of the semi-homogeneous, zero-drift random walk on the first quadrant Tech Report

J.W. Cohen

Modular termination proofs for logic and pure Prolog programs Tech Report

K.R. Apt (Krzysztof) and D. Pedreschi

A strategy for dynamic interpretation: a fragment and an implementation Tech Report

O. Bouchez, D.J.N. van Eijck (Jan) and O. Istace

Saving comparisons in the Crochemore-Perrin string matching algorithm Tech Report

D. Breslauer (Dany)

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

Consortium RIPE

An object model for multimedia programming Tech Report

F. Arbab (Farhad), I. Herman (Ivan) and G.J. Reynolds

A robust upwind discretization method for advection, diffusion and source terms Tech Report

B. Koren (Barry)

One machine scheduling with delayed precedence constraints Tech Report

E. Balas, J.K. Lenstra (Jan Karel) and A. Vazacopoulos

Stochastic annealing for nearest-neighbour point processes with application to object recognition Tech Report

M.N.M. van Lieshout (Marie-Colette)

Single term off-line coins Tech Report

N.T. Ferguson

A strange application of Kolmogorov complexity Tech Report

A. Shen (Alexander)

ARM : abstract rewriting machine Tech Report

J.F.T. Kamperman (Jasper) and H.R. Walters (Pum)

A positive finite-difference advection scheme applied on locally refined grids Tech Report

W. Hundsdorfer (Willem), B. Koren (Barry), M. van Loon (Martin) and J.G. Verwer (Jan)

Preconditioning in parallel Runge-Kutta methods for stiff initial value problems Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

On the reciprocal relationship between life histories and population dynamics Tech Report

O. Diekmann (Odo) and H. Metz

On the construction of morphological operators which are selfdual and activity-extensive Tech Report

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

Efficient algorithms for mathematical morphology based on chamfer distances Tech Report

P. F. M. Nacken (Peter)

Chamfer metrics in mathematical morphology Tech Report

P. F. M. Nacken (Peter)

On the unification free Prolog programs Tech Report

K.R. Apt (Krzysztof) and S. Etalle (Sandro)

Bisimulations and predicate logic Tech Report

R.T.P. Fernando (Tim)

MANIFOLD version 1.0 programming: programs and problems Tech Report

C.L. Blom (Kees)

Three metric domains of processes for bisimulation Tech Report

F. van Breugel

Comparative semantics for linear arrays of communicating processes Tech Report

J.W. de Bakker (Jaco), F. van Breugel and A. de Bruin (Arie)

Relating state transformation semantics and predicate transformer semantics for parallel programs Tech Report

F. van Breugel

Topological models for higher order control flow Tech Report

J.W. de Bakker (Jaco) and F. van Breugel

Thermodynamics of computation and information distance Tech Report

C.H. Bennett (Charles), P. Gacs (Péter), M. Li (Ming), P.M.B. Vitányi (Paul) and W.H. Zurek (Wojciech)

Steepest descent paths for integrals defining the modified Bessel functions of imaginary order Tech Report

N.M. Temme (Nico)

On constructing multi-variate orthonormal polynomials associated with spectral distribution functions Tech Report

K.O. Dzhaparidze (Kacha) and R.H.P. Janssen (René)

The use of service limits for efficient operation of multistation single-medium communication systems Tech Report

S.C. Borst (Sem), O.J. Boxma (Onno) and H. Levy

A polling system with a dormant server Tech Report

S.C. Borst (Sem)

Annual report ... / CWI. Department of Computer Science. Department of Software Technology Tech Report

Service independent building blocks Tech Report

A.S. Klusener (Steven), B. van Vlijmen and A. van Waveren

Manray : a replicated workers program in manifold Tech Report

P. Spilling and F. Arbab (Farhad)

Isomorphisms between predicate and state transformers Tech Report

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

Parallel experiments with simple linear algebra operations on a Cray S-MP system 500 matrix Tech Report

C.-H. Lai, H.J.J. te Riele (Herman) and A. Ualit

Relations between varieties of Kolmogorov complexities Tech Report

V.A. Uspensky and A. Shen (Alexander)

More problems in rewriting Tech Report

N. Dershowitz (Nachum), J.-P. Jouannaud and J.W. Klop (Jan Willem)

The Boltzmann entropy and randomness tests Tech Report

P. Gacs (Péter)

A user's guide to the Software Testpilot Tech Report

H. Kesten and F. Kwakkel

Homomorphism preserving algebraic specifications require hidden sorts Tech Report

J.A. Bergstra (Jan) and J. Heering (Jan)

Perpetual reductions and strong normalization in orthogonal term rewriting systems Tech Report

Z. Khasidashvili

A structural co-induction theorem Tech Report

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

Higher order recursive program schemes are Turing incomplete Tech Report

Z. Khasidashvili

Regular layouts of butterfly networks in three dimensions Tech Report

J. Keller (Jörg)

Declarative programming in Prolog Tech Report

K.R. Apt (Krzysztof)

Identification in the limit of categorial grammars Tech Report

M. Kanazawa

Schema refinement and schema integration in object-oriented databases Tech Report

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

Evaluation of discretization schemes for advection-diffusion equations Tech Report

B. Koren (Barry) and C.B. Vreugdenhil

The legacy of Kermack and McKendrick Tech Report

O. Diekmann (Odo), J.A.P. Heesterbeek (Hans) and J.A.J. Metz

A cell-cycle model revisited Tech Report

O. Diekmann (Odo), M. Gyllenberg, H.R. Thieme and S.M. Verduyn Lunel (Sjoerd)

Line transects, covariance functions and set approximation Tech Report

A.J. Cabo (Annoesjka) and A.J. Baddeley (Adrian)

On interpolating random fields using a finite number of observations Tech Report

K.O. Dzhaparidze (Kacha) and R.H.P. Janssen (René)

Kaplan-Meier estimators of interpoint distance distributions for spatial point processes Tech Report

A.J. Baddeley (Adrian) and R.D. Gill (Richard)

Event structures and orthognal term graph rewriting Tech Report

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

Perpetual reductions in orthogonal combinatory reduction systems Tech Report

Z. Khasidashvili

Comparing curried and uncurried rewriting Tech Report

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

Operational semantics, bisimulations and logical complexity Tech Report

R.T.P. Fernando (Tim)

Simultaneous replacement in normal programs Tech Report

A. Bossi, N. Cocco and S. Etalle (Sandro)

Reasoning about Prolog programs: from modes through types to assertions Tech Report

K.R. Apt (Krzysztof) and E. Marchiori

A proof procedure for extended logic programs Tech Report

F. J. M. Teusink (Frank)

An evaluation of explicit pseudo-steady-state approximation schemes for stiff ODE systems from chemical kinetics Tech Report

J.G. Verwer (Jan) and M. van Loon (Martin)

Parallel iteration across the steps of high order Runge-Kutta methods for nonstiff initial value problems Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and W.A. van der Veen (Wolter)

Some problems of applied algebra Tech Report

M. Hazewinkel (Michiel)

Control of a random walk with noisy delayed information Tech Report

E. Altman and G.M. Koole (Ger)

MADE: a multimedia application development environment Tech Report

I. Herman (Ivan), G.J. Reynolds and J. Davy

Comparing combinatory reduction systems and higher-order rewrite systems Tech Report

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

Combinatory reduction systems: introduction and survey Tech Report

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

Differential logic programs: semantics and programming methodologies Tech Report

A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi and M.C. Meo

Datalog with non-deterministic choice computes NDP-PTIME Tech Report

L. Corciulo, F. Gianotti and D. Pedreschi

Generalizing finiteness conditions of labelled transition systems Tech Report

F. van Breugel

The tyft/tyxt format reduces to tree rules Tech Report

W.J. Fokkink (Wan)

Basic process algebra with iteration: completenss of its equational axioms Tech Report

W.J. Fokkink (Wan) and H. Zantema (Hans)

Method of lines and direct discretization : a comparison for linear advection Tech Report

W. Hundsdorfer (Willem) and R.A. Trompert (Ronald)

Gauss-Seidel iteration for stiff ODEs from chemical kinetics Tech Report

J.G. Verwer (Jan)

Time integration of three-dimensional numerical transport models Tech Report

B.P. Sommeijer (Ben), P.J. van der Houwen (Piet) and J. Kok (Jan)

Chebyshev best-fit geometric elements Tech Report

G.T. Anthony, H.M. Anthony, B. Bittner, B.P. Butler, M.G. Cox, R. Drieschner, R. Elligsen, A.B. Forbes, H. Groß, S.A. Hannaby, et al. P.M. Harris and J. Kok (Jan)

EUVEL: an EULER vector extension library Tech Report

W.M. Lioen (Walter) and M. Nool (Margreet)

A vectorizable adaptive grid solver for PDEs in 3D Tech Report

J.G. Blom (Joke) and J.G. Verwer (Jan)

Parallel iteration of symmetric Runge-Kutta methods for nonstiff initial value problems Tech Report

N. Cong

BASIS3, a data structure for 3-dimensional sparse grids Tech Report

P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)

Multiparameter quantum groups and multiparameter R-matrices Tech Report

M. Hazewinkel (Michiel)

Numerical detection and continuation of codimension-two homoclinic bifurcations Tech Report

A.R. Champneys and Y.A. Kuznetsov

Quantum homogeneous spaces, duality, and quantum 2-spheres Tech Report

M. Dijkhuizen and T.H. Koornwinder

The p-q-r-medial axis algorithm requires only local operations Tech Report

P. F. M. Nacken (Peter)

Area-interaction point processes Tech Report

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

Multiservers queues with impatient customers Tech Report

O.J. Boxma (Onno) and P.R. de Waal

Stochastic realization of a Gaussian stochastic control system Tech Report

J.H. van Schuppen (Jan)

A hierarchical highway recognition from satellite images Tech Report

M. Haindl, A. Gagalowicz and B. Jedynak

A comparison of additivity axioms in timed transition systems Tech Report

A.S.A. Jeffrey, S.A. Schneider (Steve) and F.W. Vaandrager (Frits)

Transforming acyclic programs Tech Report

A. Bossi and S. Etalle (Sandro)

Detecting feature interacties with Caesar/Aldébaran Tech Report

H.P. Korver

A computer-checked verification of Milner's scheduler Tech Report

H.P. Korver and J.G. Springintveld

Approximable sets Tech Report

R. Beigel, M. Kummer and F. Stephan