Publications from 2018

Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras Article

M. de Rijke (Maarten) and Y. Venema

On the estimation of the parameters for the Littlewood model in software reliability Article

L.G. Barendregt and M.C. J. van Pul (Mark)

Deformations of vector fields and Hamiltonian vector fields on the plane Article

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

Control of discrete event systems---research at the interface of control theory and computer science Article

A.A.F. Overkamp (Ard) and J.H. van Schuppen (Jan)

Perturbing evolutionary systems by step responses and cumulative outputs Article

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

Line transects, covariance functions and set convergence Article

A.J. Cabo (Annoesjka) and A.J. Baddeley (Adrian)

Convergence aspects of step-parallel iteration of Runge-Kutta methods In Proceedings

W.A. van der Veen (Wolter), J.J.B. de Swart (Jacques) and P.J. van der Houwen (Piet)

A note on splitting errors for advection-reaction equations In Proceedings

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

Finding all periods and initial palindromes of a string in parallel Article

D. Breslauer (Dany) and Z. Galil

Right angle free subsets in the plane Article

B. Gamble, W.R. Pulleyblank, B. Reed and F.B. Shepherd (Bruce)

Sparse reduces conjunctively to tally Article

H.M. Buhrman (Harry), E. Hemaspaandra and L. Longpré

The regulator problem with robust stability Article

M.K.K. Cevik and J.M. Schumacher (Hans)

Cryptography, statistics and pseudorandomness I. Dedicated to the memory of Jerzy Neyman. Article

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

Counting objects Article

W. van der Hoek (Wiebe) and M. de Rijke (Maarten)

On a minor-monotone graph invariant Article

H. van der Holst, M. Laurent (Monique) and A. Schrijver (Lex)

How to make a strongly connected digraph two-connected In Proceedings

A. Frank and T. Jordán (Tibor)

A characterization of box $1/d$-integral binary clutters Article

A.M.H. Gerards (Bert) and M. Laurent (Monique)

Parallel iteration across the steps of high-order Runge-Kutta methods for nonstiff initial value problems Article

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and W.A. van der Veen (Wolter)

On the sparse set conjecture for sets with low density In Proceedings

H.M. Buhrman (Harry) and M. Hermo

Delay equations Book

O. Diekmann (Odo), S.A. van Gils (Stephan), S.M. Verduyn Lunel (Sjoerd) and H.-O. Walther

A Hamiltonian approach to fairly low and fairly long gravity waves Article

W.A. van der Veen (Wolter) and F.W. Wubs (Fred)

An elementary renewal theorem for random compact convex sets Article

I.S. Molchanov (Ilya), E. Omey and E. Kozarovitzky

Duality beyond sober spaces: topological spaces and observation frames In Proceedings

M.M. Bonsangue (Marcello), B.P.F. Jacobs and J.N. Kok (Joost)

Forward and backward simulations I. Untimed systems Article

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

Termination for direct sums of left-linear complete term rewriting systems Article

Y. Toyama, J.W. Klop (Jan Willem) and H.P. Barendregt (Henk)

Structured adaptive finite-volume multigrid for compressible flows In Proceedings

H.T.M. van der Maarel (Eric) and P.W. Hemker (Piet)

Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi In Proceedings

C. Hermida and B.P.F. Jacobs

Three logics for branching bisimulation Article

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

Proofs of partial knowledge and simplified design of witness hiding protocols Article

R.J.F. Cramer (Ronald), L.A.M. Schoenmakers (Berry) and I.B. Damgård (Ivan)

Algorithmic arguments in physics of computation In Proceedings

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

Secure signature schemes based on interactive protocols In Proceedings

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

On solving implicit differential equations on parallel computers Article

P.J. van der Houwen (Piet) and W.A. van der Veen (Wolter)

On termination of constraint logic programs In Proceedings

L. Colussi (Livio), E. Marchiori and M. Marchiori

Near-optimal distributed edge coloring In Proceedings

D. Dubhashi and A. Panconesi

An algebraic view of structural induction In Proceedings

C. Hermida and B.P.F. Jacobs

Efficient and inefficient estimation in semiparametric models Book

M.J. van der Laan

Stochastic scheduling and dynamic programming Book

G.M. Koole (Ger)

Loop checking in logic programming Book

R.N. Bol

Covariant formal group theory and some applications Book

I. Helsloot

Stochastic geometry models in image analysis and spatial statistics Book

M.N.M. van Lieshout (Marie-Colette)

Local uniform grid refinement for time-dependent partial differential equations Book

R.A. Trompert (Ronald)

Vakantiecursus 1995 : kegelsneden en kwadratische vormen Book

Uniformly-distributed random generation of join orders In Proceedings

C.A. Galindo-Legaria (César), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)

Information technology -- Computer graphics -- Graphical Kernel System (GKS) language bindings -- Part 4: C Manual

M. Bakker (Miente)

One-third-integrality in the metric polytope Article

M. Laurent (Monique) and S. Poljak

A domain decomposition method for singularly perturbed boundary value problems with a local distribution of the initial conditions Article

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

The use of defect correction for the solution of parabolic singular perturbation problems Article

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

Experiences in Authoring Hypermedia: Creating Better Presentations Book Chapter

L. Hardman (Lynda)

Multimedia Authoring Tools: State of the Art and Research Challenges Book Chapter

D.C.A. Bulterman (Dick) and L. Hardman (Lynda)

Authoring Support for Durable Interactive Multimedia Presentations In Proceedings

L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

Using the Amsterdam Hypermedia Model for Abstracting Presentation Behavior In Proceedings

L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

Towards the Generation of Hypermedia Structure In Proceedings

L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

An Interactive Multimedia Business Game Article

L. Hardman (Lynda), G. van Rossum (Guido) and A. van Bolhuis

Embedded Video in Hypermedia Documents: Supporting Integration and Adaptive Control Article

D.C.A. Bulterman (Dick)

The Wavelet Transform in the Solution to the Inverse Fractal Problem Article

Z.R. Struzik

Uniformly-distributed random generation of join orders In Proceedings

C.A. Galindo-Legaria (César), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)

Monet: An Impressionist Sketch of an Advanced Database System In Proceedings

P.A. Boncz (Peter) and M.L. Kersten (Martin)

Applying an Advanced Data Model to Graphic Constraint Handling In Proceedings

J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

TOPYDE: A Tool for Physical Database Design In Proceedings

S.R. Choenni (Sunil), H. Wagterveld, H.M. Blanken and T. Chang

An Active Component for a Parallel Database Kernel In Proceedings

M.L. Kersten (Martin)

Calibration of a DBMS Cost Model With the Software Testpilot In Proceedings

F. Andres, F. Kwakkel and M.L. Kersten (Martin)

Are relativistic effects significant for the analysis of whistler-mode waves in the earth's magnetosphere? Book Chapter

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

Strict functionals for termination proofs In Proceedings

J.C. van de Pol (Jaco) and H. Schwichtenberg

Two different strong normalization proofs? - computability versus functionals of finite type - In Proceedings

J.C. van de Pol (Jaco)

Stochastic geometry models in image analysis and spatial statistics Article

M.N.M. van Lieshout (Marie-Colette)

Area-interaction point processes Article

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

Markov chain Monte Carlo methods for clustering of image features In Proceedings

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

Markov point processes and their applications in high-level imaging Article

M.N.M. van Lieshout (Marie-Colette)

Linear vs non-linear mathematics with emphasis on the KdV equation and other Liouville integrable systems In Proceedings

M. Hazewinkel (Michiel)

Review of "Handbook of logic in computer science, Vols. 1&2" by Gabby, D. M. (ed.), Abramsky, S. (ed.) and Maibaum, T. S. E. (ed.) Article

K.R. Apt (Krzysztof)

Let's talk about it: dialogues with multimedia databases Tech Report

A.P. de Vries (Arjen), G.C. van der Veer and H.M. Blanken

Meta-logics and logic programming Book

Preface: Meta-logics and logic programming 1995 Preface

K.R. Apt (Krzysztof) and F. Turini

Radio and television information filtering through speech recognition Tech Report

A.P. de Vries (Arjen)

Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings

K.R. Apt (Krzysztof)

Verification of logic programs with delay declarations In Proceedings

K.R. Apt (Krzysztof) and I. Luitjes

Index : Theoretical computer science 1995 Article

M. Hazewinkel (Michiel) and S. van Dongen

Handbook of algebra Book

Program verification and Prolog Book Chapter

K.R. Apt (Krzysztof)

Symmetry, Yang-Baxter equation, quantum groups, and link invariants Tech Report

M. Hazewinkel (Michiel)

Third Siberian School Algebra and Analysis Book

Y.G. Reshetnyak (Yurii)

KdV '95 : proceedings of the international symposium held in Amsterdam, The Netherlands, 23-26.04.1995 Book

Convergence analysis of the defect-correction iteration for hyperbolic problems Article

J.-A. Désidéri and P.W. Hemker (Piet)

Uitnodiging voor de afscheidsdag van Prof.dr. P. C. Baayen, wetenschappelijk directeur SMC, 20.12.1994 Other

The gap topology for linear systems : a geometric approach Dissertation

J. de Does (Jesse)

Clocks, trees and stars in process theory Dissertation

W.J. Fokkink (Wan)

Verantwoording bij de verbreking van een verhouding : rede uitgesproken bij het afscheid als wetenschappelijk directeur van de Stichting Mathematisch Centrum, 20.12.1994 Farewell Lecture

P.C. Baayen

Prime numbers in quadratic fields Article

T.J. Dekker

A survey of modern integer factorization algorithms Article

P.L. Montgomery

Introduction to the special issue [of CWI Quarterly 7(1994)4] on computational number theory Article

H.J.J. te Riele (Herman)

Randomness Book Chapter

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

Stability Analysis of a Difference Scheme for Three-Dimensional Advection-Diffusion Problems (Dedicated to Cor Baayen at the occasion of his retirement as our scientific Director) Book Chapter

J.G. Verwer (Jan) and B.P. Sommeijer (Ben)

Verification of a Distributed Summation Algorithm Book Chapter

F.W. Vaandrager (Frits)

Kleene's Realizability (for Cor Baayen) Book Chapter

A.S. Troelstra

Bernoulli Polynomials Old and New: Problems in Complex Analysis and Asymptotics Book Chapter

Data Mining: Exploratory Data Analysis on Very Large Databases (To professor Baayen at the occasion of his retirement) Book Chapter

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

Rambling along paths, trees, flows, curves, knots, and rails Book Chapter

A. Schrijver (Lex)

Job scheduling on a parallel shared memory bus computer (Dedicated to Cor Baayen, With esteem and admiration) Book Chapter

H.J.J. te Riele (Herman)

Fast, Randomized Join-Order and Join-Method Selection Combined with Transformation Based Optimization Book Chapter

A.J. Pellenkoft (Jan), C.A. Galindo-Legaria (César) and M.L. Kersten (Martin)

Control of Discrete Event Systems - Research at the Interface of Control Theory an Computer Science Book Chapter

A.A.F. Overkamp (Ard) and J.H. van Schuppen (Jan)