Centrum Wiskunde & Informatica

Natural Logic for Natural Language In Proceedings

D.J.N. van Eijck (Jan)

January 2007
The role of semismooth numbers in factoring large numbers (extended abstract) In Proceedings

W.H. Ekkelkamp (Willemien)

January 2007
Report specification on design of authoring interfaces for Video Annotation Tech Report

R. Troncy (Raphael), Z. Obrenovic, L. Hardman (Lynda) and not CWI et al

January 2007
Chosen-Prefix Collisions for MD5 and Colliding X.509 Certificates for Different Identities In Proceedings

M.M.J. Stevens (Marc), A.K. Lenstra (Arjen) and B. de Weger (Benne)

January 2007
Secure Computation from Random Error Correcting Codes In Proceedings

H. Chen (Helen), R.J.F. Cramer (Ronald), S. Goldwasser, R. de Haan (Robbert) and V. Vaikuntanathan

January 2007
Atomic Secure Multi-Party Multiplication with Low Communication In Proceedings

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and R. de Haan (Robbert)

January 2007
Secure Linear Algebra Using Linearly Recurrent Sequences In Proceedings

E. Kiltz (Eike), P. Mohassel, E. Weinreb (Enav) and M. Franklin

January 2007
A verification framework for agent programming with declarative goals Article

Journal of Applied Logic, 5(2), 277-302.

F.S. de Boer (Frank), K.V. Hindriks, W. van der Hoek (Wiebe) and J.-J.C. Meyer (John-Jules)

January 2007

Previous

Next