Centrum Wiskunde & Informatica

On fairness in simulatability-based cryptographic systems In Proceedings

M. Backes, D. Hofheinz (Dennis), J. Müller-Quade and D. Unruh

January 2005
CCS with Hennessy's merge has no finite-equational axiomatization Article

Chicago Journal of Theoretical Computer Science, 330(3), 377-405.

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

January 2005
A multi-sensor architecture for human-centered smart environments In Proceedings

B.A.M. Schouten (Ben), J.W.H. Tangelder (Hans) and S. Bonchev (Stefan)

January 2005
Secure Computation of the Mean and Related Statistics In Proceedings

E. Kiltz (Eike), J. Malone-Lee and G. Leander

January 2005
Comparing two notions of simulatability In Proceedings

D. Hofheinz (Dennis) and D. Unruh

January 2005
Coordinated Anonymous Peer-to-peer Connections with MoCha In Proceedings

F. Arbab (Farhad) and J.V. Guillen Scholten (Juan)

January 2005
Dualities for Logics of Transition Systems In Proceedings

M.M. Bonsangue (Marcello) and A. Kurz (Alexander)

January 2005
An integrated approach to text and image retrieval - The Lowlands Team at Trecvid In Proceedings

T.H.W. Westerveld (Thijs), J.C. van Gemert, R. Cornacchia (Roberto), D. Hiemstra and A.P. de Vries (Arjen)

January 2005

Previous

Next