Centrum Wiskunde & Informatica

Coalgebraic modal logic of finite rank Tech Report

A. Kurz (Alexander) and D. Pattinson

January 2002
Coinductive counting with weighted automata Tech Report

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

January 2002
GSOS for probabilistic transition systems Tech Report

F. Bartels (Falk)

January 2002
Bidding with decommitment in a multi-agent transportation model Tech Report

P.J. 't Hoen (Pieter Jan), D.D.B. van Bragt and J.A. La Poutré (Han)

January 2002
On the structure of Gaussian pricing models and Gaussian Markov functional models Tech Report

C.D.D. Neumann

January 2002
A continuum model of lipid bilayers Tech Report

J.G. Blom (Joke) and M.A. Peletier (Mark)

January 2002
The importance of being cigar-shaped Tech Report

J.G. Blom (Joke) and M.A. Peletier (Mark)

January 2002
Exact overflow asymptotics for queues with many Gaussian inputs Tech Report

K.G. Dȩbicki (Krzysztof) and M.R.H. Mandjes (Michel)

January 2002

Previous

Next