Publications from 2026

Reactive, generative, and stratified models of probabilistic processes In Proceedings

R.J. van Glabbeek (Rob), S.A. Smolka, B. Steffen and C.M.N. Tofts

Kolmogorov complexity and its applications Book Chapter

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

Acyclic programs (extended abstract) In Proceedings

K.R. Apt (Krzysztof) and M.A. Bezem

Correctness proofs for systolic algorithms: palindromes and sorting Book Chapter

L. Kossen and W.P. Weijland

Verification of an algorithm for log-time sorting by square comparison Book Chapter

J.C. Mulder and W.P. Weijland

Approximation algorithms for scheduling unrelated parallel machines Article

J.K. Lenstra (Jan Karel), D.B. Shmoys and É. Tardos

Directe numerieke oplosmethoden. Iteratieve numerieke oplosmethoden. De kleinste-kwadratenmethode. Book Chapter

P.M. de Zeeuw (Paul)

Lambertus Zijl's in steen gehouwen medaillons Book

J. Nuis

Vectorization of the odd-even hopscotch scheme and the alternating direction implicit scheme for the two-dimensional Burgers equations Article

E.D. de Goede (Erik) and J.H.M. ten Thije Boonkkamp

Machine allocation problems in manufacturing networks In Proceedings

O.J. Boxma (Onno), A.H.G. Rinnooy Kan and M. van Vliet

On a biorthogonal system associated with uniform asymptotic expansions Article

K. Soni and N.M. Temme (Nico)

Parallel iteration of high-order Runge-Kutta methods with stepsize control Article

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

Diffusion in lattices with anisotropic scatterers Article

J.B.T.M. Roerdink (Jos), K.E. Shuler and G.F. Lawler

An algebraic characterization of $B$-convergent Runge-Kutta methods Article

W. Hundsdorfer (Willem) and J. Schneid

On the Hellinger type distances for filtered experiments Article

K.O. Dzhaparidze (Kacha) and E. Valkeila

Convergence properties of the Runge-Kutta-Chebyshev method Article

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

Berry-Esséen and bootstrap results for generalized $L$-statistics Article

R. Helmers (Roelof), P. Janssen and R. Serfling

Dominance relations in polling systems Article

H. Levy, M. Sidi and O.J. Boxma (Onno)

The velocity of spatial population expansion Article

F. van den Bosch, J.A.J. Metz and O. Diekmann (Odo)

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

C. van Hoesel and A. Schrijver (Lex)

The finite continuous Jacobi transform and its inverse Article

O.J. Boxma (Onno), T.H. Koornwinder, M. Sidi, H. Levy and G.G. Walter

A numerical study of three moving-grid methods for one-dimensional partial differential equations which are based on the method of lines Article

R.M. Furzeland, J.G. Verwer (Jan) and P.A. Zegeling (Paul)

Iterated $\theta$-method for hyperbolic equations Article

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

On the power of subsumption and context checks In Proceedings

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

Module algebra Article

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

Cauchy problems with state-dependent time evolution Article

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

Affine polar spaces Article

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

Uniform asymptotic approximation of Fermi-Dirac integrals Article

N.M. Temme (Nico) and A.B. Olde Daalhuis

Improving the stability of predictor-corrector methods by residue smoothing Article

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

On downward closure ordinals of logic programs Article

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

Contractions in comparing concurrency semantics Article

J.N. Kok (Joost) and J.J.M.M. Rutten (Jan)

Action versus state based logics for transition systems In Proceedings

R. de Nicola and F.W. Vaandrager (Frits)

Comparative metric semantics for concurrent Prolog In Proceedings

J.W. de Bakker (Jaco) and J.N. Kok (Joost)

Proving total correctness of recursive procedures Article

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

Scheduling identical jobs on uniform parallel machines Article

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

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

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

Matrix cones, projection representations, and stable set polyhedra In Proceedings

L. Lovász (László) and A. Schrijver (Lex)

Realization of autoregressive equations in pencil and descriptor form Article

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

Spanning trees of different weights In Proceedings

A. Schrijver (Lex) and P.D. Seymour (Paul)

Vertex-disjoint simple paths of given homotopy in a planar graph In Proceedings

A. Frank and A. Schrijver (Lex)

Arithmetic classification of perfect models of stratified programs Article

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

Process algebra Book

J.C.M. Baeten (Jos)

Catastrophes and classical surface scattering Article

T.C.M. Horn and A.W. Kleyn

On large deviation probabilities for the maximum likelihood estimators In Proceedings

K.O. Dzhaparidze (Kacha) and E. Valkeila

Systematic computations on Gauss' lattice point problem (in commemoration of Johannes Gualtherus van der Corput, 1890--1975) In Proceedings

J. van de Lune (Jan) and E. Wattel (Evert)

Matrix-dependent prolongations and restrictions in a blackbox multigrid solver Article

P.M. de Zeeuw (Paul)

Monotonicity properties of infinitely divisible distributions Book

B.G. Hansen

Vakantiecursus 1990 Centrum voor Wiskunde en Informatica : getallentheorie en haar toepassingen Book

Proceedings seminar 1986-1987 mathematical structures in field theories Book

Graphs and polyhedra binary spaces and cutting planes Book

A.M.H. Gerards (Bert)

Modeling one dimensional pattern formation by anti-diffusion Book

J.F. Kaashoek

Counting process systems identification and stochastic realization Book

P.J.C. Spreij (Peter)

Parametric surfaces in PHIGS PLUS: a new chance for patterning and hatching? Article

M. Bakker (Miente)

Asymptotic theory of M-estimators in general statistical models: Part II: On asymptotic behaviour of estimators in the presence of nuisance parameters Tech Report

R.J. Chitashvili, N.L. Lazrieva and T.A. Toronjadze

Hilbert's 1990 ICM Lecture : the 23 problems Unpublished

M. Hazewinkel (Michiel)

Preface : Acta applicandae mathematicae 1990 Article

M. Hazewinkel (Michiel)

Fundamenta informaticae 13(1) 1990 Article

Fundamenta informaticae on Logic Programming Article

K.R. Apt (Krzysztof)

Synthesis of images Book

M. Bret

Programming in Alma-0, or imperative and declarative programming reconciled Book Chapter

K.R. Apt (Krzysztof) and A. Schaerf (Andrea)

Studies in Pure Prolog: termination In Proceedings

K.R. Apt (Krzysztof) and D. Pedreschi

Proving terminations of parallel programs Book Chapter

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

Fouten maken en verbeteren : rede uitgesproken bij de aanvaarding van het ambt van bijzonder hoogleraar in de industriële wiskunde aan de Universiteit van Amsterdam vanwege de Stichting Beta Plus op dinsdag 12 juni 1990 Tech Report

P.W. Hemker (Piet)

A multigrid approach for the solution of the 2D semiconductor equations Article

J. Molenaar (Gijs) and P.W. Hemker (Piet)

A nonlinear multigrid method for one-dimensional semiconductor decive simulation: results for the diode Article

P.W. Hemker (Piet)

Paths, Flows, and VLSI-Layout Book

B. Korte, L. Lovász (László), H.J. Prömel and A. Schrijver (Lex)

Convex resource allocation problems on directed acyclic graphs: duality, complexity, special cases, and extensions Article

C.L. Monma, A. Schrijver (Lex), M.J. Todd and V.K. Wei (Victor)

Relativistic effects on parallel whistler-mode propagation and instability Article

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

Chvatal closures for mixed integer programming problems Article

W.J. Cook, R. Kannan and A. Schrijver (Lex)

Nieuwjaarskaart CWI 1990 Other

Termination of disjoint unions of conditional term rewriting systems Tech Report

A. Middeldorp

Strong completeness for Hoare logics of recursive processes: an infinitary approach Tech Report

A. Ponse (Alban) and F.-J. de Vries (Fer-Jan)

On the declarative semantics of Horn Clause logic-based languages Article

C. Palamidessi (Catuscia)

A brief survey of concurrent readers and writers Article

L.M. Kirousis and E. Kranakis (Evangelos)

Compact distributed data structures for adaptive routing Article

B. Awerbuch (Baruch), A. Bar-Noy (Amotz), N. Linial (Nathan) and D. Peleg

Faster Phong Shading via Angular Interpolation Article

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

An early implementation of revised Algol 68 Dissertation

J.J.F.M. Schlichting

Riemannian submersions and skew-product decompositions of Brownian motion Dissertation

E.J.E.M. Pauwels (Eric)

Meerjarenplan 1991-1994, en: Ontwerpbegroting 1991 Stichting Mathematisch Centrum Book

Conferentie van numeriek wiskundigen, Zeist, 02-04.10.1989 Booklet

Functional dependencies of variables in wait-free programs In Proceedings

E. Kranakis (Evangelos)

Discrete events and max-algebra Article

R.A. Cuninghame-Green

AIL - A class-oriented RPC stub generator for Amoeba Article

G. van Rossum (Guido)

An introduction to input/output automata Article

N.A. Lynch (Nancy) and M.R. Tuttle

The client/server model in distributed computing Article

J. van Leeuwen (Jan)

Correctness of concurrent processes In Proceedings

E.R. Olderog (Ernst-Rüdiger)

Programma van en uitnodiging voor het symposium "Computational Engines" ter gelegenheid van het 25-jarig dienstverband van J. Nuis, directeur Beheerszaken van de Stichting Mathematisch Centrum en van het Centrum voor Wiskunde en Informatica Other

How to share concurrent asynchronous wait-free variables: Preliminary version In Proceedings

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

The squiggolist Miscellaneous

Intern Bibliotheek Systeem (IBS) : catalogus-module Tech Report

J. van Rijt (Judith)

Uitnodiging en programma symposium Combinatorische Optimalisering ter gelegenheid van beeindiging functie Chef afdeling Besliskunde, Kansrekening, Statistiek en Systeemtheorie door J.K. Lenstra Other

Constructing a calculus of programs In Proceedings

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

Exercises in parallel combinatorial computing Dissertation

G.A.P. Kindervater (Gerard)

Compositionality in the temporal logic of concurrent systems In Proceedings

F.S. de Boer (Frank)

Computations with representations of Lie groups Article

B. de Smit (Bart)

Bibliotheek Centrum voor Wiskunde en Informatica gids = Library Centre for Mathematics and Computer Science guide Booklet

Archief CWI - Intern Rapport CWI Miscellaneous

CWI CWI

Archief CWI - intern rapport CWI Miscellaneous

F. van Suchtelen and G. Alberts (Gerard)

Research announcement Article

T.H. Koornwinder

Zero-sum stochastic games Article

K. Vrieze (Koos)