Publication

Enabling Pro-Active User-Centered Recommender Systems: An Initial Evaluation In Proceedings

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack), H. Knoche and W. Seager

Applications of Formal Methods to System Design and Verification Proceedings

Social Sharing of Television Content: An Architecture In Proceedings

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and A.J. Jansen (Jack)

Bug Hunting with False Negatives Revisited Tech Report

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

Risk Balance in Exchange Protocols In Proceedings

M.T. Dashti (Mohammad) and Y. Wang (Yanjing)

Block-diagonal semidefinite programming hierarchies for 0/1 programming Tech Report

N. Gvozdenovic (Nebojsa), M. Laurent (Monique) and F. Vallentin (Frank)

Proceedings of Formal Methods for Components and Objects, FMCO 2006 -- revised lectures Proceedings

The Epistemics of Presupposition Projection In Proceedings

D.J.N. van Eijck (Jan) and A. C. Unger (Christina)