Centrum Wiskunde & Informatica

Dynamic Epistemic Logic for Protocol Analysis Book Chapter

F. Dechesne (Francien), D.J.N. van Eijck (Jan), W. Teepe and Y. Wang (Yanjing)

January 2009
Distributed elections in an Archimedean ring of processors Tech Report

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

January 2009
Locality Book Chapter

S. Manegold (Stefan)

January 2009
Memory Hierarchy Book Chapter

S. Manegold (Stefan)

January 2009
Automata Based Model Checking for Reo Connectors In Proceedings

M.M. Bonsangue (Marcello) and M. Izadi (Mohammad)

January 2009
Cost Estimation Book Chapter

S. Manegold (Stefan)

January 2009
Adaptive thresholding of tomograms by projection distance minimization Article

Pattern Recognition, 42(10), 2297-2305.

K.J. Batenburg (Joost) and J. Sijbers (Jan)

January 2009
Thema Film 21: TA2: Improving social communication between groups Magazine Article

CWI CWI

January 2009

Previous

Next