Bug Hunting with False Negatives Revisited Tech Report

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

The Epistemics of Presupposition Projection In Proceedings

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

Finite de Finetti theorem for conditional probability distributions describing physical theories Tech Report

M. Christandl (Matthias) and B.F. Toner (Ben)

New Algorithms for Approximate Nash Equilibria in Bimatrix Games In Proceedings

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

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)

Video on the Web: Experiences from SMIL and from the Ambulant Annotator In Proceedings

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

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

Applications of Formal Methods to System Design and Verification Proceedings