Publications from 2026

An annotated bibliography on document processing Tech Report

J.C. van Vliet (Hans) and J.B. Warmer

Dining philosophers and process algebra Tech Report

P. Urzyczyn

Inleiding tot PROLOG [Introduction to PROLOG] Tech Report

L.C. van der Gaag and P.J.F. Lucas

Distributed control in computer networks and cross-sections of colored multidimensional bodies Tech Report

E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

The power of the queue Tech Report

M. Li (Ming), L. Longpré and P.M.B. Vitányi (Paul)

A new approach to least squares estimation, with applications Tech Report

S.A. van de Geer (Sara)

NUMVEC FORTRAN library manual : chapter: parabolic PDEs : routine: BDMG Tech Report

B.P. Sommeijer (Ben)

Multigrid solution of monotone second-order discretizations of hyperbolic conservation laws Tech Report

S.P. Spekreijse

Phase-lag analysis of implicit Runge-Kutta methods Tech Report

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

Queueing analysis of a virtual circuit in a computer communication network with window flow control Tech Report

J.L. van den Berg (Hans)

Transformations of linear systems under external equivalence Tech Report

J.M. Schumacher (Hans)

Deformations of connections, the Riemann Hilbert problem and $\tau$-functions Tech Report

G.F. Helminck

Knowledge representation and inference in rule-based systems Tech Report

P.J.F. Lucas

Lower bounds for a class of Kostka numbers Tech Report

J.W. Klop (Jan Willem) and E. Kranakis (Evangelos)

PROLOG: an expert system building tool Tech Report

L.C. van der Gaag

Module algebra Tech Report

J.A. Bergstra (Jan), J. Heering (Jan) and P. Klint (Paul)

Algebraic specifications of computable and semicomputable datatypes Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

Inform: prototype van een interactieve formuleverwerker [Inform: prototype of an interactive system for formula processing] Tech Report

S. van Egmond and F.C. Heeman

A general object-centered database langauge : a preliminary definition Tech Report

M.L. Kersten (Martin) and F.H. Schippers

Minimizing the expected weighted number of tardy jobs in stochastic flow shops Tech Report

O.J. Boxma (Onno) and F.G. Forst

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

W. Hoffmann (Walter) and W.M. Lioen (Walter)

Stabilization of the Lax-Wendroff methods and a generalized one-step Runge-Kutta method for hyperbolic initial-value problems Tech Report

E.D. de Goede (Erik)

Small parameters in structured population models and the Trotter-Kato theorem Tech Report

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

Needed reduction and spine strategies for the lambda calculus Tech Report

H.P. Barendregt (Henk), J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

A technique to design delay-insensitive VLSI circuits Tech Report

J.C. Ebergen (Jo)

Generation of interactive programming environments: GIPE Tech Report

Semantics for OCCAM Tech Report

A. P. W. Eliëns (Anton)

Non- and semi-parametric maximum likelihood estimators and the Von Mises method Tech Report

R.D. Gill (Richard)

Large sample theory of empirical distributions in biased sampling models Tech Report

R.D. Gill (Richard) and J.A. Wellner

Analysis of smoothing operators in the solution of partial differential equations by explicit difference schemes Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and F.W. Wubs (Fred)

Het vergelijken van eindige differentieschema's voor het numeriek oplossen van hyperbolische differentiaalvergelijkingen [The comparison of finite difference schemes for the numerical solution of hyperbolic differential equations] Tech Report

E.D. de Goede (Erik)

The odd-even hopscotch pressure correction scheme for the incompressible Navier-Stokes equations Tech Report

J.H.M. ten Thije Boonkkamp

Evaluation of second order schemes and defect correction for the multigrid computation of airfoil flows with steady Euler equations Tech Report

B. Koren (Barry)

Discretized collocation and iterated collocation for nonlinear Volterra integral equations of the second kind Tech Report

J.G. Blom (Joke) and H. Brunner

Pseudo-conservation laws in cyclic-service systems Tech Report

O.J. Boxma (Onno) and W.P. Groenendijk

Perturbed dual semigroups and delay equations Tech Report

O. Diekmann (Odo)

Perturbation theory for dual semigroups. I. The sun-reflexive case Tech Report

P.P. Clément (Philippe), O. Diekmann (Odo), M. Gyllenberg, H.J.A.M. Heijmans (Henk) and H.R. Thieme

Programmageneratoren [Program generators] Tech Report

J. Heering (Jan)

Segment grouping, an extension to the graphical kernel system Tech Report

P.J.W. ten Hagen (Paul) and M.M. de Ruiter

Notes on the methodology of CCS and CSP Tech Report

R.J. van Glabbeek (Rob)

Failures without chaos: a new process semantics for fair abstraction Tech Report

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)

A denotational semantics of a parallel object-oriented language Tech Report

P.H.M. America (Pierre), J.W. de Bakker (Jaco), J.N. Kok (Joost) and J.J.M.M. Rutten (Jan)

A numerical study of a 1D-scalar semi-conductor model equation Tech Report

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

On LAN for counting processes Tech Report

K.O. Dzhaparidze (Kacha)

Berry-Esseen bound for student's statistic Tech Report

V.V. Slavova

A note on rates of convergence in least squares estimation Tech Report

S.A. van de Geer (Sara)

Uniqueness of Gibbs measures and absorption probabilities Tech Report

H.C.P. Berbee (Henri)

A study in algebraic specification: a language with goto-statements Tech Report

N.W.P. van Diepen

Process algebra semantics of POOL Tech Report

F.W. Vaandrager (Frits)

Numerical construction of rays and confidence contours in stochastic population dynamics Tech Report

H.N.M. Roozen

Complex analytical methods in RFDE theory Tech Report

S.M. Verduyn Lunel (Sjoerd)

Semigroup theory for control on sun-reflexive Banach spaces Tech Report

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

Non-sequential computation and laws of nature Tech Report

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

Atomic shared register access by asynchronous hardware : detailed abstract Tech Report

P.M.B. Vitányi (Paul) and B. Awerbuch (Baruch)

Using the guardian programming paradigm to support database evolution Tech Report

M.L. Kersten (Martin) and F.H. Schippers

Stability and convergence in the PDE/stiff ODE interphase Tech Report

J.M. Sanz-Serna and J.G. Verwer (Jan)

Towards an object-centered database language Tech Report

M.L. Kersten (Martin) and F.H. Schippers

The parallel complexity of TSP heuristics Tech Report

G.A.P. Kindervater (Gerard) and A.K. Lenstra (Arjen)

Table of amicable pairs between $ 10^ 10 and 10^ 52 $ Tech Report

H.J.J. te Riele (Herman), W. Borho, S. Battiato, H. Hoffmann and E.J. Lee

On simple moving grid methods for one-dimensional evolutionary partial differential equations Tech Report

J.G. Blom (Joke), J.M. Sanz-Serna and J.G. Verwer (Jan)

Decidability of bisimulation equivalence for processes generating context-free languages Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

A syntax definition formalism Tech Report

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

Plaatsdiscretisatie van hyperbolische differentiaalvergelijkingen van de tweede orde met periodieke oplossingen [Spatial discretization of hyperbolic differential equations of the second order with periodical solutions] Tech Report

T.P. de Vries

Polyhedral combinatorics : some recent developments and results Tech Report

A. Schrijver (Lex)

Edge-disjoint homotopic paths in a planar graph with one hole Tech Report

C. van Hoesel and A. Schrijver (Lex)

Preservation of products by functors close to reflectors Tech Report

M. Husek and J. de Vries (Jan)

Bounded nondeterminism and the approximation induction principle in process algebra Tech Report

R.J. van Glabbeek (Rob)

Statistical modeling of daily rainfall occurrences Tech Report

J.A. Smith

Estimating the upper tail of flood frequency distributions Tech Report

J.A. Smith

A non-linear multigrid method for the steady Euler equations Tech Report

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

Distances and cuts in planar graphs Tech Report

A. Schrijver (Lex)

On fractional multicommodity flows and distance functions Tech Report

C.A.J. Hurkens (Cor), A. Schrijver (Lex) and É. Tardos

Interfaces between operations research and computer science Tech Report

J.K. Lenstra (Jan Karel)

Orbiting dust under radiation pressure Tech Report

J.-C. van der Meer and R. Cushman

Necessary conditions for resonance in turning point problems for ordinary differential equations Tech Report

J. Furu

Well-posedness of physiologically structured population models for Daphnia magna Tech Report

H.R. Thieme

Laguerre polynomials: asymptotics for large degree Tech Report

N.M. Temme (Nico)

Berry-Esseen bounds for L-statistics with unbounded weight functions Tech Report

R. Helmers (Roelof) and M. Husková

A large deviation result for parameter estimators and its application to nonlinear regression analysis Tech Report

A. Sieders and K.O. Dzhaparidze (Kacha)

Modularization and reusability in current programming languages Tech Report

P. Klint (Paul)

Multigrid and defect correction for the efficient solution of the steady Euler equations Tech Report

B. Koren (Barry) and S.P. Spekreijse

The use of defect-correction for the solution of the 2-D compressible Navier-Stokes equations with large Reynolds number Tech Report

J.J. Rusch

Selfexciting counting process systems with finite state space Tech Report

P.J.C. Spreij (Peter)

Parallel computing in combinatorial optimization Tech Report

G.A.P. Kindervater (Gerard) and J.K. Lenstra (Jan Karel)

Adaptive pole assignment by state feedback Tech Report

J.W. Polderman

Intertable Tech Report

J.C. van Vliet (Hans) and J.B. Warmer

Lie algebraic method in filtering and identification Tech Report

M. Hazewinkel (Michiel)

Papers on semiparametric models at the ISI centenary session : Amsterdam, [August 1985] Tech Report

R.D. Gill (Richard) and M.M. Voors

Consistency and completeness of a knowledge base Tech Report

R.C. van Soest

Display architecture for VLSI-based graphic workstations Tech Report

P.J.W. ten Hagen (Paul), A.A.M. Kuijk (Fons) and C.G. Trienekens

Order and metric in the stream semantics of elemental concurrency Tech Report

J.W. de Bakker (Jaco) and J.-J.C. Meyer (John-Jules)

Asymptotic normality of generalized L-statistics with unbounded scores Tech Report

R. Helmers (Roelof) and F.H. Ruymgaart

NUMVEC FORTRAN library manual : chapter: elliptic PDEs : routine: MGD1V and MGD5V Tech Report

P.M. de Zeeuw (Paul)

Modelling and simulation of freeway traffic flow Tech Report

S.A. Smulders

A note on the behaviour of the odd-even hopscotch scheme for a convection-diffusion problem with discontinuous initial data Tech Report

J.H.M. ten Thije Boonkkamp

The r-rank of the groups of exceptional Lie type Tech Report

A.M. Cohen (Arjeh) and G.M. Seitz

Een programma voor het twee-fasen regressiemodel met breukvlak [A program for the two-phase broken plane regression model] Tech Report

S.A. van de Geer (Sara) and M.M. Voors

Algebraic specification of a language with goto-statements Tech Report

N.W.P. van Diepen

Digitale electronische rekenmachines geconstrueerd in Nederland in de periode 1946-1960 : werkstuk opleiding tot wetenschappelijk bibliothecaris Universiteit van Amsterdam Book

F.A. Roos (Frank)

Methods, concepts and ideas in mathematics: aspects of an evolution [in Japanese] Other

A.F. Monna