Publication

Parallel Arnoldi method for the construction of a Krylov subspace basis: an application in magnetohydrodynamics In Proceedings

J.G.L. Booten, P.M. Meijer, H.J.J. te Riele (Herman) and H.A. van der Vorst (Henk)

Modular termination proofs for logic and pure prolog programs Book Chapter

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

Schouten beschouwd Book

Stochastic annealing for nearest-neighbour point processes with application to object recognition Article

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

Discussion contribution to U. Grenander and M.I. Miller: Representations of knowledge in complex systems Article

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

Markov properties of cluster processes Tech Report

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

Fast, Randomized Join-Order Selection - Why Use Transformations? In Proceedings

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

An Approach to Schema Integration Based on Transformations and Behaviour In Proceedings

C.J.E. Thieme and A.P.J.M. Siebes (Arno)