Centrum Wiskunde & Informatica

Cones, foci: A mechanical framework for protocol verification Article

Formal Methods in System Design, 1-31.

W.J. Fokkink (Wan), J. Pang (Jun) and J.C. van de Pol (Jaco)

January 2006
Computing with actions and communications Article

Bulletin of the Belgian Mathematical Society Simon Stevin, 789-905.

W.J. Fokkink (Wan) and J.W. Klop (Jan Willem)

January 2006
Nieuwjaarskaart CWI 2006 Other

January 2006
Bug hunting with false negatives Tech Report

J.R. Calamé (Jens), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova

January 2006
Forward Secure Communication inWireless Sensor Networks In Proceedings

S. Mauw (Sjouke), I. van Vessem and B. Bos

January 2006
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence Article

Acta Cybernetica, 471-483.

T. Chen (Taolue), T. Han and J. Lu

January 2006
The generalized two-server problem Article

Journal of the Association for Computing Machinery, 437-458.

R.A. Sitters (René) and L. Stougie (Leen)

January 2006
On the Markovian Randomized Strategy of Controller for Markov Decision Processes In Proceedings

T. Chen (Taolue), T. Han and J. Lu

January 2006

Previous

Next