Publications from before 2016

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

Singularity Theory Book Chapter

T. de Jong and J.H.M. Steenbrink

Functional Analysis and Optimization Problems in Hydrodynamic Propulsion Book Chapter

J.A. Sparenberg, P. Sijtsma and H.P. Urbach

Analysis on Lie Groups Book Chapter

G. van Dijk

Coding Theory Book Chapter

J.H. van Lint

Infinite-Dimensional Linear Systems Theory Book Chapter

R.F. Curtain

Markov Decision Chains Book Chapter

A. Hordijk (Arie)

Forward and backward simulations II. Timing-based systems Article

N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

Ergodic Theory Book Chapter

M.S. Keane

Polynomial Splines in Two Variables Book Chapter

C.R. Traas

The Many Faces of Computer Science Book Chapter

H.J. Sips

Mathematical Statistics: Fringe of Frontier? Book Chapter

R.D. Gill (Richard)

The Quest for Correctness Book Chapter

H.P. Barendregt (Henk)

Computers: (Ac)counting for Mathematical Proofs Book Chapter

A.M. Cohen (Arjeh)

Editorial Foreword : [published on the occasion of the 50th anniversary of the SMC] Book Chapter

G.Y. Nieuwland

Foreword (Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]) Book Chapter

G.Y. Nieuwland

Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC] Miscellaneous

On optimality of regular projective estimators for semimartingale models III. One step improvements Article

K.O. Dzhaparidze (Kacha) and P.J.C. Spreij (Peter)

On the role of Rouché's theorem in queueing analysis Article

J.W. Cohen and D.G. Down

On behaviors and convolutional codes. Codes and complexity Article

J. Rosenthal, J.M. Schumacher (Hans) and E.V. York

The meaning of negative premises in transition system specifications Article

R.N. Bol and J.F. Groote (Jan Friso)

Compressibility and resource bounded measure In Proceedings

H.M. Buhrman (Harry) and L. Longpré

Regularity for a large class of context-free processes is decidable In Proceedings

D.J.B. Bosscher (Doeko) and W.O.D. Griffioen

The complexity of generating and checking proofs of membership In Proceedings

H.M. Buhrman (Harry) and T. Thierauf

Control of freeway traffic flow Book

S.A. Smulders

Meta-variables in logic programming, or In praise of ambivalent syntax Article

K.R. Apt (Krzysztof) and R. Ben-Eliyahu

Nonlinear $ H_ inf $ control : the singular case Book

W.C.A. Maas

Graph reduction on shared-memory multiprocessors Book

K.G. Langendoen