Automata, power series, and coinduction: taking input derivatives seriously (extended abstract) In Proceedings

J.J.M.M. Rutten (Jan)

Vakantiecursus [Centrum voor Wiskunde en Informatica] 1999 : onbewezen vermoedens Book

HASDF : a generalized LR-parser generator for Haskell Tech Report

M. de Jonge (Merijn), T. Kuipers (Tobias) and J.M.W. Visser (Joost)

Sojourn times in non-homogeneous QBD processes with processor sharing Tech Report

R. Núñez Queija (Rudesindo)

Nearest neighbor estimation of the intensity function of a cyclic Poisson process Tech Report

I.W. Mangku (Wayan)

Statistical estimation of Poisson intensity functions Tech Report

R. Helmers (Roelof) and I.W. Mangku (Wayan)

A note on Bernstein-type inequalities for martingales Tech Report

K.O. Dzhaparidze (Kacha) and J.H. van Zanten (Harry)

Towards an infinitary logic of domains : Abramsky logic for transition systems Tech Report

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)