Publications from 2020

Tree-tree matrices and other combinatorial problems from taxonomy In Proceedings

M. Hazewinkel (Michiel)

Self-dual morphological operators and filters Article

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

Practical methods for proving termination of general logic programs Article

E. Marchiori

On cubism Article

B.P.F. Jacobs

Historical background of the number field sieve factoring method Article

M. Elkenbracht-Huizing

On the identification of Wiener-Hopf factors Article

N. Bayer

Explicit Runge-Kutta methods for parabolic partial differential equations Article

J.G. Verwer (Jan)

Set-valued estimators for mean bodies related to Boolean models Article

I.S. Molchanov (Ilya)

A singularly perturbed model problem for numerical computation Article

P.W. Hemker (Piet)

Three-valued completion for abductive logic programs In Proceedings

F. J. M. Teusink (Frank)

Tableau algorithms defined naturally for pictures In Proceedings

M.A.A. van Leeuwen (Marc)

An implementation of the number field sieve Article

M. Elkenbracht-Huizing

Elements of generalized ultrametric domain theory Article

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

Implicit coercions in type systems In Proceedings

G. Barthe

On periodic Pollaczek waiting time processes In Proceedings

J.W. Cohen

A multiple polynomial general number field sieve In Proceedings

M. Elkenbracht-Huizing

Genetic fitness optimization using rapidly mixing Markov chains In Proceedings

P.M.B. Vitányi (Paul)

Uniform asymptotics for the incomplete gamma functions starting from negative values of the parameters Article

N.M. Temme (Nico)

A dynamic and quick intellect : Paul Vitányi 25 years at CWI Book

A Comparitve Study of Several Colour Models for Colour Image Invariant Retrieval In Proceedings

T. Gevers and A.W.M. Smeulders (Arnold)

Parameterized Feasible Boundaries in Gradient Vector Fields Article

M. Worring (Marcel), A.W.M. Smeulders (Arnold), L. Staib and J. Duncan

Horus: Integration of Digital Vision and Database Paradigms In Proceedings

C.A. van den Berg (Carel), R. van den Boomgaard, M. Worring (Marcel), D.C. Koelma and A.W.M. Smeulders (Arnold)

Content Based Hypertext Creation in Text/figure Databases In Proceedings

M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

An implicit-explicit approach for atmospheric transport-chemistry problems In Proceedings

J.G. Verwer (Jan), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

Experiences with sparse matrix solvers in parallel ODE software Article

J.J.B. de Swart (Jacques) and J.G. Blom (Joke)

On the final size of epidemics with herds Article

O. Diekmann (Odo), A.A. de Koeijer and J.A.J. Metz

Impulsive-smooth behavior in multimode systems I. State-space and polynomial representations Article

A.H.W. Geerts and J.M. Schumacher (Hans)

Impulsive-smooth behavior in multimode systems II. Minimality and equivalence Article

A.H.W. Geerts and J.M. Schumacher (Hans)

Splitting methods for three-dimensional bio-chemical transport Article

B.P. Sommeijer (Ben) and J. Kok (Jan)

Multi-authority secret-ballot elections with linear work In Proceedings

R.J.F. Cramer (Ronald), M. Franklin, L.A.M. Schoenmakers (Berry) and M. Yung (Moti)

A compositional semantics for normal open programs In Proceedings

S. Etalle (Sandro) and F. J. M. Teusink (Frank)

Fundamentals of partial modal logic Book Chapter

J.O.M. Jaspars and E. Thijsse

Jacobi-Davidson methods for generalized MHD-eigenvalue problems In Proceedings

A.G.L. Booten (Albert), D.R. Fokkema, G.L.G. Sleijpen and H.A. van der Vorst (Henk)

Congruence types In Proceedings

G. Barthe and H. Geuvers

New generation of secure and practical RSA-based signatures In Proceedings

R.J.F. Cramer (Ronald) and I.B. Damgård (Ivan)

A World Wide number field sieve factoring record: on to $512$ bits In Proceedings

J. Cowie, B. Dodson, M. Elkenbracht-Huizing, A.K. Lenstra (Arjen), P.L. Montgomery and J. Zayer

Basic quantifier theory Book Chapter

J. van der Does (Jaap) and D.J.N. van Eijck (Jan)

System design for structured hypermedia generation In Proceedings

M. Worring (Marcel), C.A. van den Berg (Carel) and L. Hardman (Lynda)

THREED: hybrid multigrid and Bi-CGSTAB algorithm for a linearsecond order elliptic problem in three dimensions using a 27 point stencil Software

P.M. de Zeeuw (Paul)

A new lower bound for the critical probability of site percolation on the square lattice Article

J. van den Berg (Rob) and A. B. Ermakov (Alexei)

A comparison of stiff ode solvers for atmospheric chemistry problems Article

J.G. Verwer (Jan), J.G. Blom (Joke), M. van Loon (Martin) and E.J. Spee (Edwin)

Differential Hopf algebra structures on the universal enveloping algebra of a Lie algebra Article

N.W. van den Hijligenberg and R. Martini

The workload in the $M/G/1$ queue with work removal Article

R.J. Boucherie (Richard) and O.J. Boxma (Onno)

Comparing curried and uncurried rewriting Article

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

Reversibility and adiabatic computation: trading time and space for energy Article

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

Parallel predictor-corrector methods In Proceedings

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and J.J.B. de Swart (Jacques)

Discrete approximations for singularly perturbed boundary value problems with parabolic layers Article

P.A. Farrell, P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

Statistical models of random polyhedra Article

I.S. Molchanov (Ilya) and D. Stoyan

Systolic arrays for the recognition of permutation-invariant segments Article

J.P. Katoen and L.A.M. Schoenmakers (Berry)

Large time asymptotics in contaminant transport in porous media Article

C.N. Dawson, C.J. van Duijn (Hans) and R.E. Grundy

A closer look at declarative interpretations Article

K.R. Apt (Krzysztof), M. Gabbrielli and D. Pedreschi

Asymptotic behaviour of solutions of a nonlinear transport equation Article

C.J. van Duijn (Hans) and M.A. Peletier (Mark)

Development of semi-coarsening techniques Article

P.M. de Zeeuw (Paul)

A note on fairness in I/O automata Article

J.M.T. Romijn (Judi) and F.W. Vaandrager (Frits)

${m gl}(lambda)$ and differential operators preserving polynomials. Representations of Lie groups, Lie algebras and their quantum analogues Article

G. Post and N.W. van den Hijligenberg

Iteration of Runge-Kutta methods with block triangular Jacobians Article

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

Modular properties of algebraic type systems In Proceedings

G. Barthe and H. Geuvers

Collapsing partial combinatory algebras In Proceedings

I. Bethke and J.W. Klop (Jan Willem)

CWI contributions to the development of parallel Runge-Kutta methods Article

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

Control flow semantics Book

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

Invariance principle for associated random fields In Proceedings

A.V. Bulinski and M.S. Keane

Wiener-Hopf analysis of an $M/G/1$ queue with negative customers and of a related class of random walks Article

N. Bayer and O.J. Boxma (Onno)

Random strings make hard instances In Proceedings

H.M. Buhrman (Harry) and P. Orponen

The absolute rigidity of the Neveu-Schwarz and Ramond superalgebras Article

N.W. van den Hijligenberg and Y.Y. Kotchetkov (Youri)

Cryptography, statistics and pseudorandomness II Article

S.A. Brands (Stefan) and R.D. Gill (Richard)

Jacobi-Davidson type methods for generalized eigenproblems and polynomial eigenproblems In Proceedings

G.L.G. Sleijpen, A.G.L. Booten (Albert), D.R. Fokkema and H.A. van der Vorst (Henk)

A geometric proof of the Kochen-Specker no-go theorem Article

R.D. Gill (Richard) and M.S. Keane

Factoring integers with large-prime variations of the quadratic sieve Article

H. Boender (Henk) and H.J.J. te Riele (Herman)

Alexandroff and Scott topologies for generalized metric spaces In Proceedings

M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)

The complementary-slackness class of hybrid systems Article

A.J. van der Schaft and J.M. Schumacher (Hans)

On almost everywhere exponential convergence of the modified Jacobi-Perron algorithm: a corrected proof Article

T. Fujita, S. Ito, M.S. Keane and M. Ohtsuki

The Authors Book Chapter

Discrete approximations for singularly perturbed boundary value problems with parabolic layers III Article

P.A. Farrell, P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

From paper Plotters to Interactive Multimedia Systems Book Chapter

M. Bakker (Miente) and P.J.W. ten Hagen (Paul)

Coordination of Cooperative Agents Book Chapter

F. Arbab (Farhad)

Architectures for human-computer communication Book Chapter

A.A.M. Kuijk (Fons)

Computational Steering Book Chapter

R. van Liere (Robert) and J.J. van Wijk (Jack)

On the Borderline of Logic Language and Computation Book Chapter

D.J.N. van Eijck (Jan)

Logic Programming Book Chapter

K.R. Apt (Krzysztof)

Interactive Mathematical Books Book Chapter

A.M. Cohen (Arjeh), L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

An Electronic Wallet for Digital Money Book Chapter

R.A. Hirschfeld (Robert)

A Tour of Algorithmics Book Chapter

P.M.B. Vitányi (Paul)

Rewriting Book Chapter

I. Bethke and J.W. Klop (Jan Willem)

Generating Interactive Programming Environments Book Chapter

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

Hybrid Systems Book Chapter

F.W. Vaandrager (Frits)

Semantics Book Chapter

J.W. de Bakker (Jaco)

Computational Number Theory Book Chapter

H.J.J. te Riele (Herman)

Multigrid, Semi-Refinement and Fluid Flow Book Chapter

P.W. Hemker (Piet)

Discrete approximations for singularly perturbed boundary value problems with parabolic layers II Article

P.A. Farrell, P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

Numerical Algorithms for Transport-Chemistry Problems Book Chapter

J.G. Verwer (Jan)

Morphological Image Processing Book Chapter

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

Bootstrap Resampling Book Chapter

R. Helmers (Roelof)

System Theory - A Brief Exposition Book Chapter

J.M. van den Hof and J.H. van Schuppen (Jan)

Queueing Theory Book Chapter

O.J. Boxma (Onno)

Optimizing Transportation by Polyhedra Book Chapter

A. Schrijver (Lex)

Mathematical Epidemiology of Infectious Diseases Book Chapter

O. Diekmann (Odo)

Mathematical Aspects of Nonlinear Dynamical Systems Book Chapter

H.W. Broer and F. Takens

Statistics and Medieval Astronomical Tables Book Chapter

B. van Dalen

Instuitionistic Logic and Topos Theory Book Chapter

I. Moerdijk

The Moduli Project, 1981-1988 Book Chapter

G.B.M. van der Geer, F. Oort and C.A.M. Peters