Centrum Wiskunde & Informatica

A Graphics Architecture for high-end interactive television terminals Article

ACM Transactions on Multimedia Computing, Communications, and Applications, 343-357.

P.S. César Garcia (Pablo Santiago), J. Vierinen and P. Vuorimaa

January 2006
mCRL toolset Software

J.F. Groote (Jan Friso), B. Lisser (Bert) and J.C. van de Pol (Jaco)

January 2006
NIPS Software

M. Weber (Michael) and S. Schurmans

January 2006
Security of multi-party protocols: Epistemics and verification Magazine Article

D.J.N. van Eijck (Jan), F. Dechesne (Francien), S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco), E.P. de Vink (Erik) and Y. Wang (Yanjing)

January 2006
VeriGEM: A verification grid for enhanced model checking Magazine Article

B. Haverkort, J.F. Groote (Jan Friso), J.C. van de Pol (Jaco), M. Kuntz and M. Weber (Michael)

January 2006
FNB Daisy-III Player Software

A.J. Jansen (Jack)

January 2006
AMIS/Ambulant Daisy Player Software

A.J. Jansen (Jack) and M. DeMeglio

January 2006
A Behavioral Model for Composition of Software Components Article

L'Objet, 33-76.

F. Arbab (Farhad)

January 2006

Previous

Next