Publications from 2026

CMIF: A structure for transportable, dynamic multimedia documents Lecture

D.C.A. Bulterman (Dick)

Meeting - A simple teleconferencing tool Presentation

A.J. Jansen (Jack)

Synchronization of Multi-Sourced Multimedia Data for Heterogeneous Target Systems In Proceedings

D.C.A. Bulterman (Dick)

Multimedia Onderzoek: Drie Open Vragen Article

D.C.A. Bulterman (Dick)

Robust iterative solvers for sparse linear systems In Proceedings

P.M. de Zeeuw (Paul)

Embedded diagonally implicit Runge-Kutta algorithms on parallel computers Article

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

Parallel diagonally implicit Runge-Kutta-Nyström methods Article

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

Block Runge-Kutta methods on parallel computers Article

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

An explicit-implicit method for a class of time-dependent partial differential equations Article

F.W. Wubs (Fred) and E.D. de Goede (Erik)

On $q$-analogues of the Fourier and Hankel transforms Article

T.H. Koornwinder and R.F. Swarttouw

The local maximal subgroups of exceptional groups of Lie type, finite and algebraic Article

A.M. Cohen (Arjeh), M.W. Liebeck and J. Saxl

LRU is better than FIFO under the independent reference model Article

J. van den Berg (Rob) and A. Gandolfi

Disjoint paths in a planar graph---a general theorem Article

G. Ding, A. Schrijver (Lex) and P.D. Seymour (Paul)

Optimal control of admission to a multiserver queue with two arrival streams Article

J.P.C. Blanc and P.R. de Waal

Edge-disjoint circuits in graphs on the torus Article

A. Frank and A. Schrijver (Lex)

Inductive reasoning and Kolmogorov complexity Article

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

On the number of fixed point free elements in a permutation group. A collection of contributions in honour of Jack van Lint. Article

P.J. Cameron and A.M. Cohen (Arjeh)

Letter to the editor: 'Busy-period analysis of a correlated queue with exponential demand and service' Article

S.C. Borst (Sem) and M.B. Combé (Marco)

A note on weighted distributed match-making Article

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

Which new RSA-signatures can be computed from certain given RSA-signatures? J Article

J.-H. Evertse (Jan-Hendrik) and E. van Heijst

A central limit theorem for $M$-estimators by the von Mises method Article

C.C. Heesterman and R.D. Gill (Richard)

Fractional Runge-Kutta methods with application to convection-diffusion equations Article

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

The power of the queue Article

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

Optimality of wait-free atomic multiwriter variables Article

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

Generalized hexagons of even order. A collection of contributions in honour of Jack van Lint. Article

A.M. Cohen (Arjeh) and B.N. Cooperstein

From failure to success: comparing a denotational and a declarative semantics for Horn clause logic In Proceedings

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

An evaluation of the gradient-weighted moving-finite-element method in one space dimension Article

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

A semantic approach to fairness Article

J.J.M.M. Rutten (Jan) and J.I. Zucker

State space formulas for transfer poles at infinity In Proceedings

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

ICM for object recognition In Proceedings

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

Realization and partial fractions Article

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

Adjoints of semigroups acting on vector-valued function spaces Article

G. Greiner and J.M.A.M. van Neerven (Jan)

Non-interfering network flows In Proceedings

C.J.H. McDiarmid (Colin), B. Reed, A. Schrijver (Lex) and F.B. Shepherd (Bruce)

A predicate transformer for unification In Proceedings

L. Colussi (Livio) and E. Marchiori

Verification of parallel systems via decomposition In Proceedings

J.F. Groote (Jan Friso) and F. Moller

Continuous Hahn polynomials of differential operator argument and analysis on Riemannian symmetric spaces of constant curvature Article

E. Badertscher and T.H. Koornwinder

Structured operational semantics and bisimulation as a congruence Article

J.F. Groote (Jan Friso) and F.W. Vaandrager (Frits)

Spatial-scaling-compatible morphological granulometries on locally convex topological vector spaces In Proceedings

E.J. Kraus (Eugene), H.J.A.M. Heijmans (Henk) and E.R. Dougherty (Edward)

Dynamic interpretation and Hoare deduction Article

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

The way of mathematics and mathematicians : from reality towards fiction Book

A.F. Monna

On topological and linear equivalence of certain function spaces Book

J.A. Baars (Jan) and J.A.M. de Groot (Joost)

Optimality and equilibria in stochastic games Book

F. Thuijsman

A parallel object-oriented language : design and semantic foundations Book

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

Computer aided routing Book

M.W.P. Savelsbergh

Toegepaste wiskunde op een PC : algorithmen in QBasic toepassingen Book

J.H. Kruizinga

Mark Kac seminar on probability and physics : syllabus [a selection of reports of lectures delivered during the academic years] 1987-1992 Book

Vakantiecursus [Centrum voor Wiskunde en Informatica] 1992 : systeemtheorie Book

Proceedings seminar 1986-1987 : lectures on Kac-Moody algebras [presented in the seminar 'Mathematical structures in field theories'] Book

Hoeken en hun maat Book

A.G. van Asch and F. van der Blij

Applications of cut polyhedra Article

M. Deza and M. Laurent (Monique)

Multimedia Synchronization and Unix Article

D.C.A. Bulterman (Dick) and R. van Liere (Robert)

The Robinson-Schensted and Schützenberger algorithms Part II: Geometric Interpretations Tech Report

M.A.A. van Leeuwen (Marc)

Analytical and numerical analysis of the generalized Shkarofsky function Article

N.M. Temme (Nico), A.E. Sumner and S.S. Sazhin

Relativistic and nonrelativistic analysis of whistler-mode waves in a hot anisotropic plasma Article

S.S. Sazhin, A.E. Sumner and N.M. Temme (Nico)

A relativistic theory of the R wave cutt-of Article

S.S. Sazhin and N.M. Temme (Nico)

R wave propagation near the cut-off frequency Article

S.S. Sazhin and N.M. Temme (Nico)

Modularity in many-sorted term rewriting systems Master Thesis

J.C. van de Pol (Jaco)

Preface: Proceedings of the joint international conference and symposium on logic programming (1992) Preface

K.R. Apt (Krzysztof)

Proceedings of the joint international conference and symposium on logic programming Book

Object recognition using Markov spatial processes In Proceedings

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

Idiosyncratic remarks by a bibliomaniac, 6 : classics, masters, and handbooks Article

M. Hazewinkel (Michiel)

Een nieuw soort multigrid voor problemen in 3D Book Chapter

P.W. Hemker (Piet)

Discrete approximation of singularly perturbed parabolic PDE's with a discontinous initial condition In Proceedings

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

Asymptotic inversion of a class of cumulative distribution functions. Article

N.M. Temme (Nico)

PSF : a process specification formalism Dissertation

S. Mauw (Sjouke)

Texture synthesis Article

M. Haindl

Interactively testing remote servers using the Python programming language Article

G. van Rossum (Guido) and J. de Boer (Jelke)

A brief survey of art gallery problems in integer lattice systems Article

E. Kranakis (Evangelos) and M. Pocchiola

Term rewriting analysis in process algebra Article

G.J. Akkerman and J.C.M. Baeten (Jos)

Process algebra and structured operational semantics Dissertation

J.F. Groote (Jan Friso)

Interim policy document 1993-1997 : budget projection 1993 SMC Book

Multimedia Synchronization and UNIX-or-If Multimedia Support is the Problem, Is UNIX the Solution? In Proceedings

D.C.A. Bulterman (Dick), G. van Rossum (Guido) and D.T. Winter (Dik)

Jan en Alleman Book

Grenswandelingen Afscheidscollege, Universiteit van Amsterdam, 11 oktober 1991 Article

G. de Leve (Gijs)

Conferentie van numeriek wiskundigen Woudschoten - abstracts Booklet

MGD9V: black box multigrid solver for a general second order elliptic problem in two dimensions been discretized using a nine point operator Software

P.M. de Zeeuw (Paul)

Negation in Conclog In Proceedings

J.-M. Jacquet (Jean-Marie)

Dynamic Graph Algorithms and Data Structures Dissertation

J.A. La Poutré (Han)

Aankondiging afscheid J. Nuis + uitnodiging afscheidsbijeenkomst 1991-11-22 Other

G.Y. Nieuwland

Computer algebra and stochastic analysis - some possibilities Article

E. Valkeila

Weighted bootstrapping of means Article

E. Haeusler, D.M. Mason and M.A. Newton

On a conjecture concerning a characterization of the exponential distribution Article

C. van Eeden (Constance)

Degradation rate models for failure time and survival data Article

K.A. Doksum

Everything about Kolmogorov was unusual Article

A.N. Shiryaev

CONCUR ’91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26-29, 1991 Proceedings Proceedings

Embedding as a tool for language comparison: on the CSP hierarchy In Proceedings

F.S. de Boer (Frank) and C. Palamidessi (Catuscia)

Extended Horn clauses: the framework and some semantics In Proceedings

J.-M. Jacquet (Jean-Marie) and L. Monteiro (Luís)

Vakantiecursus 1991 - Meetkundige Structuren - programma + aanmeldingsformulier Booklet

Activiteiten 1991/1992 op het gebied van de tweede fase onderzoeksopleiding wiskunde Booklet

Semigroups and renewal equations on dual Banach spaces with applications to population dynamics In Proceedings

O. Diekmann (Odo), M. Gyllenberg and H.R. Thieme

At Last an ISO C Binding of GKS Article

M. Bakker (Miente)

CWI visiting committee on computer science - List of publications 1987 - 1991 Tech Report

CWI visiting committee on computer science Description of the research groups Tech Report

Structural operational semantics for Kernel Andorra Prolog In Proceedings

S. Haridi (Seif) and C. Palamidessi (Catuscia)

Periodic multiprocessor scheduling In Proceedings

J. Korst (Jan), E.H.L. Aarts (Emile), J.K. Lenstra (Jan Karel) and J. Wessels (Jaap)

Summer School Control of Mechanical Systems - Preliminary Program Booklet

Abstraction in real time process algebra In Proceedings

A.S. Klusener (Steven)

The reconstruction problem for dynamic data structures, an overview Article

M.H.M. Smid (Michiel)

EG, integration of the object-oriented and the deductive database paradigms Article

A.P.J.M. Siebes (Arno)

Dynamic parallel query processing Article

C.A. van den Berg (Carel), M.L. Kersten (Martin) and S. Shair-Ali