Publications from 2020

Discrete events: perspectives from system theory Article

J.M. Schumacher (Hans)

Missed chances Article

R.D. Gill (Richard)

Statistics of extreme values Article

L.F.M. de Haan (Laurens)

Process theory based on bisimulation semantics In Proceedings

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Basic transformations in linear algebra for vector computing Dissertation

W. Hoffmann (Walter)

A Parallel Object-Oriented Language: Design and semantic foundations Dissertation

P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

Multigrid and defect correction for the steady Navier-Stokes equations : application to aerodynamics Dissertation

B. Koren (Barry)

How to share concurrent wait-free variables Tech Report

M. Li (Ming), J.T. Tromp (John) and P.M.B. Vitányi (Paul)

Position paper In Proceedings

S.J. Mullender (Sape) and G. van Rossum (Guido)

AIL - a class-oriented RPC stub generator for Amoeba In Proceedings

G. van Rossum (Guido)

The evolution of a distributed operating system In Proceedings

R. van Renesse (Robbert), A.S. Tanenbaum (Andrew) and S.J. Mullender (Sape)

Agreement on scientific cooperation (Policy paper) between Centrum voor Wiskunde en Informatica (CWI), Amsterdam/The Netherlands and Gesellschaft für Mathematik und Datenverarbeitung (GMD), St. Augustin/FRG and Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt/France Miscellaneous

Preliminary Proceedings of the third Eurographics workshop on intelligent CAD systems :Practical Experience and Evaluation: Hotel Opduin, Texel, The Netherlands, 3-7.04.1989 Proceedings

Programma van en uitnodiging voor het symposium "Constructie van stabiele numerieke methoden voor differentiaal- en integraalvergelijkingen" ter gelegenheid van het 25-jarig dienstverband van Prof. dr. P.J. van der Houwen Other

H.J.J. te Riele (Herman)

An explicit Runge-Kutta method of order twenty-five Article

B.P. Sommeijer (Ben)

A radon transform on circles through the origin in \Re^2 Article

M. Zwaan

Asymptotic expansion of a special integral Article

N.M. Temme (Nico)

A short introduction to exit problems Article

H.N.M. Roozen

Products of random matrices or 'Why do biennials live longer than two years?' Article

J.B.T.M. Roerdink (Jos)

Iterations of morphological transformations Article

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

On sums of remainders and almost perfect numbers Article

J.A.P. Heesterbeek (Hans) and H.A.J.M. Schellinx

Exploring linear chain trickery for physiologically structured populations Article

O. Diekmann (Odo) and H. Metz

Fourteenth conference on the mathematics of operations research - abstracts Booklet

Fourteenth conference on the mathematics of operations research : Lunteren, 13-15.02.1989 : program and abstracts Booklet

Fourteenth conference on the mathematics of operations research : Lunteren, 13-15.02.1989 : program Booklet

Performance analysis of storage management in combinator graph reduction Dissertation

P.H. Hartel (Pieter)

A non-linear multigrid method for the steady Euler equations In Proceedings

P.W. Hemker (Piet) and B. Koren (Barry)

Upwind schemes, multigrid and defect correction for the steady Navier-Stokes equations In Proceedings

B. Koren (Barry)

Euler flow solutions for transonic shock wave-boundary layer interaction Article

B. Koren (Barry)

Kolmogorov complexity and its applications Tech Report

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

An algebraic characterization of B-convergent Runge-Kutta methods Tech Report

W. Hundsdorfer (Willem) and J. Schneid

Increasing the real stability boundary of explicit methods Tech Report

B.P. Sommeijer (Ben)

NUMVEC FORTRAN library manual : chapter: simultaneous linear equations Tech Report

W. Hoffmann (Walter) and K. Potma

A moving-grid interface for systems of one-dimensional time-dependent partial differential equations Tech Report

J.G. Blom (Joke) and P.A. Zegeling (Paul)

Convergence properties of the Runge-Kutta-Chebyshev method Tech Report

J.G. Verwer (Jan), W. Hundsdorfer (Willem) and B.P. Sommeijer (Ben)

Signific consultation : David van Dantzig's dream of a practical significs Tech Report

G. Alberts (Gerard)

Hahn-Banach type theorems for dual semigroups Tech Report

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

Numerical solution of the Hamilton-Jacobi-Bellman equation for a freeway traffic flow control problem Tech Report

J.N.T. Schuit

On the nonexistence of a strong solution in the boundary problem for a sticky Brownian motion Tech Report

R.J. Chitashvili

Monotonicity of performance measures in a processor sharing queue Tech Report

P.R. de Waal and N.M. van Dijk

Realization of autoregressive equations in pencil and descriptor form Tech Report

M. Kuijper and J.M. Schumacher (Hans)

Dynamic MRI reconstruction as a moment problem Tech Report

M. Zwaan

The addition formula for little q-Legendre polynomials and the SU(2) quantum group Tech Report

T.H. Koornwinder

Theory of goodness of fit tests and scanning innovation martingales Tech Report

E.V. Khmaladze

Waiting times in polling systems with Markovian server routing Tech Report

O.J. Boxma (Onno) and J.A. Weststrate

Workloads and waiting times in single-server systems with multiple customer classes Tech Report

O.J. Boxma (Onno)

A simple definition for parallel composition of prime event structures Tech Report

F.W. Vaandrager (Frits)

Nonlinear multigrid applied to a 1D stationary semiconductor model Tech Report

P.M. de Zeeuw (Paul)

CWI/Shell colloquium adaptive grid techniques for time-dependent partial differential equations : summaries of all lectures presented at the colloquium held in Amsterdam, 1988 Tech Report

R.M. Furzeland and J.G. Verwer (Jan)

Block Runge-Kutta methods on parallel computers Tech Report

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

Simple approximations for second moment characteristics of the sojourn time in the M/G/1 processor sharing queue Tech Report

J.L. van den Berg (Hans)

Lie-algebraic aspects of the classical nonrelativistic Calogero-Moser models Tech Report

J.K. Scholma

Designing concurrency semantics Tech Report

J.W. de Bakker (Jaco)

Proving total correctness of recursive procedures Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

Process expressions and Hoare's logic Tech Report

A. Ponse (Alban)

Placing mirrors in grids Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and L.G.L.T. Meertens (Lambert)

An algebra for process creation Tech Report

J.C.M. Baeten (Jos) and F.W. Vaandrager (Frits)

Lists and associative functions in algebraic specifications : semantics and implementation Tech Report

P.R.H. Hendriks

Faster Phong shading via angular interpolation Tech Report

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

A dataflow graphics workstation Tech Report

P.J.W. ten Hagen (Paul), I. Herman (Ivan) and J.R.G. Vries

Branching time and abstraction in bisimulation semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

Characterizing termination of logic programs with level mappings Tech Report

M.A. Bezem

On the safe termination of PROLOG programs Tech Report

K.R. Apt (Krzysztof), R.N. Bol and J.W. Klop (Jan Willem)

Constructing a calculus of programs Tech Report

L.G.L.T. Meertens (Lambert)

Inductive reasoning and Kolmogorov complexity Tech Report

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

On downward closure ordinals of logic programs Tech Report

R. Bagai, M.A. Bezem and M.H. van Emden

$\theta$ -government, thematic government and extraction asymmetries in zero derivation Tech Report

H. Walinska de Hackbeil (Hanna)

A new approach to formal language theory by Kolmogorov complexity Tech Report

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

Random Markov processes and uniform martingales Tech Report

S. Kalikow

2.5 Dimensional graphics systems Tech Report

I. Herman (Ivan)

Refinement in branching time semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

Termination for direct sums of left-linear complete term rewriting systems Tech Report

Y. Toyama, J.W. Klop (Jan Willem) and H.P. Barendregt (Henk)

Iterative defect correction and multigrid accelerated explicit time stepping schemes for the steady Euler equations Tech Report

M.H. Lallemand and B. Koren (Barry)

Testing of elementary functions in ADA Tech Report

M. Bergman

Recursive process definitions with the state operator Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

A parallel expert system shell Tech Report

H.M.C.L. Kempenaar

A computational model for three-dimensional shallow water flows on the ALLIANT FX/4 Tech Report

E.D. de Goede (Erik)

Convergence of one-leg multistep methods for stiff nonlinear initial value problems Tech Report

W. Hundsdorfer (Willem)

Embedded diagonally implicit Runge-Kutta algorithms on parallel computers Tech Report

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

Reflexivity, the dual Radon-Nykodym property, and continuity of adjoint semigroups Tech Report

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

Sequencing and scheduling: algorithms and complexity Tech Report

E.L. Lawler, J.K. Lenstra (Jan Karel), A.H.G. Rinnooy Kan and D.B. Shmoys

Almost disturbance decoupling by measurement feedback: a frequency domain analysis Tech Report

J.W. van der Woude (Jacob)

Towards a theory of (self) applicative communicating processes: a short note Tech Report

H.J.M. Goeman

The syntax definition formalism SDF : reference manual Tech Report

J. Heering (Jan), P.R.H. Hendriks, P. Klint (Paul) and J. G. Rekers (Jan)

On rates of convergence and asymptotic normality in the multiknapsack problem Tech Report

S.A. van de Geer (Sara) and L. Stougie (Leen)

Probabilistic analysis of the minimum weighted flowtime scheduling problem Tech Report

A. Marchetti Spaccamela (Alberto), W.S. Rhee, L. Stougie (Leen) and S.A. van de Geer (Sara)

Scheduling around a small common due date Tech Report

J.A. Hoogeveen and S.L. van de Velde

Sojourn times in queueing networks Tech Report

O.J. Boxma (Onno) and H. Daduna (Hans)

Partial order semantics for refinement of actions : neither necessary nor always sufficient but appropriate when used with care Tech Report

R.J. van Glabbeek (Rob) and U. Goltz

Belief networks in plausible reasoning Tech Report

L.C. van der Gaag

Arithmetic classification of perfect models of stratified programs (Extended version) Tech Report

K.R. Apt (Krzysztof) and H.A. Blair

On the use of the arclength and curvature monitor in a moving-grid method which is based on the method of lines Tech Report

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

Block Runge-Kutta methods Tech Report

P.J. van der Houwen (Piet)

Local and global order reduction of some LOD schemes Tech Report

W. Hundsdorfer (Willem)

Affine polar spaces Tech Report

A.M. Cohen (Arjeh) and E.E. Shult

Polynomial asymptotic estimates of Gegenbauer, Laguerre, and Jacobi polynomials Tech Report

N.M. Temme (Nico)

Morphological sampling Tech Report

H.J.A.M. Heijmans (Henk) and A. Toet (Alexander)

On the definition and the computation of the basic reproduction ratio : $R_ 0$ in models for infectious diseases in heterogeneous populations Tech Report

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

On a class of N-dimensional associated random walks and the hitting point identity Tech Report

J.W. Cohen

Scheduling identical jobs on uniform parallel machines Tech Report

M.I. Dessouky, B.J. Lageweg, J.K. Lenstra (Jan Karel) and S.L. van de Velde