Centrum Wiskunde & Informatica

SMaRT cluster website Manual

A.K. Amin (Alia)

January 2007
Symmetry and partial order reduction techniques in model checking Rebeca Tech Report

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

January 2007
Aiding Human Reliance Decision Making Using Computational Models of Trust In Proceedings

P.-P. van Maanen, T.B. Klos (Tomas) and K. van Dongen

January 2007
Adaptive Agents in Complex Negotiation Games Article

Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 14-27.

V. Robu (Valentin), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2007
Adaptive Patient Scheduling with Dynamic Resource Usage Article

ERCIM News, 53-54.

I.B. Vermeulen (Ivan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2007
Nash Equilibrium in a Game of Calibration Article

Theory of Probability and its Applications / SIAM, 51(3), 415-426.

O. Glonti, P. Harremoës (Peter) and F. Topsøe

January 2007
MPEG-7 and the Semantic Web Tech Report

O. Celma, S. Dasiopoulou, C. Tsinaraki, M. Hausenblas, S. Little and R. Troncy (Raphael)

January 2007
Multimedia Annotation Interoperability Framework Tech Report

V. Tzouvaras, R. Troncy (Raphael) and J.Z. Pan (Jeff)

January 2007

Previous

Next