Publication

6th iternational symposium on Formal Methods for Components and Objects (FMCO 2007) -- State-of-the-Art Survey Proceedings

Schedulability and compatibility of asynchronous objects In Proceedings

M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank), T. Chothia (Tom) and D. Longuet (Delphine)

Chosen Ciphertext Security with Optimal Ciphertext Overhead In Proceedings

M. Abe, E. Kiltz (Eike) and T. Okamoto

A new automata for parsing semi-bracketed contextual grammars Tech Report

L. Kuppusamy (Lakshmanan) and M. Anand

Breaking the memory wall in MonetDB Article

P.A. Boncz (Peter), M.L. Kersten (Martin) and S. Manegold (Stefan)

XForms for HTML Manual

S. Pemberton (Steven) and not CWI et al

A Presentation Layer Mechanism for Multimedia Playback Mobility in Service Oriented Architectures In Proceedings

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

Trends in Interactive Visualization Book

E. Zudalova, T. Adriaansen and R. van Liere (Robert)