Centrum Wiskunde & Informatica

This side up! Article

ACM Transactions on Algorithms, 228-243.

L. Epstein (Lea) and R. van Stee (Rob)

January 2006
Accelerated Modal Abstractions of Labelled Transition Systems In Proceedings

M.A. Valero Espada (Miguel) and J.C. van de Pol (Jaco)

January 2006
Nuovo DRM Paradiso: Towards a verified, fair DRM protocol In Proceedings

H.L. Jonker (Hugo), M.T. Dashti (Mohammad) and S.K. Nair

January 2006
Adaptive Learning in Complex Trade Networks In Proceedings

T.B. Klos (Tomas) and B. Nooteboom

January 2006
What is algebraic in process theory? Article

Bulletin of the EATCS

S.P. Luttik (Bas)

January 2006
A Versatile Approach to Combining Trust Values for Making Binary Decisions In Proceedings

T.B. Klos (Tomas) and J.A. La Poutré (Han)

January 2006
Interaction and Coordination of Tools for Structured Data In Proceedings

J.N. Kok (Joost) and F. Arbab (Farhad)

January 2006
Modere: the model-checking engine of Rebeca In Proceedings

M.M. Jaghoori (Mohammad Mahdi), A. Movaghar (Ali) and M. Sirjani (Marjan)

January 2006

Previous

Next