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

Media Presentation Synchronisation for Non-monolithic Rendering Architectures In Proceedings

I. Vaishnavi (Ishan), D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and B. Gao (Bo)

Writing Language Definitions in ASF+SDF Magazine Article

P. Klint (Paul) and J.J. Vinju (Jurgen)

Risk Balance in Exchange Protocols In Proceedings

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

Bug Hunting with False Negatives Revisited Tech Report

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

New Algorithms for Approximate Nash Equilibria in Bimatrix Games In Proceedings

H. Bosse (Hartwig), J. Byrka (Jaroslaw) and V. Markakis (Vangelis)

The Semantic Web in Action Article

L. Feigenbaum, I. Herman (Ivan), T. Hongsermeier, E. Neumann and S. Stephens

Applications of Formal Methods to System Design and Verification Proceedings