Computability and Representations of the Zero Set In Proceedings

P.J. Collins (Pieter)

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

Chosen Ciphertext Security with Optimal Ciphertext Overhead In Proceedings

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

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)

Breaking the memory wall in MonetDB Article

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

New Results on Optimizing Rooted Triplets Consistency In Proceedings

J. Byrka (Jaroslaw), S. Guillemot and J. Jansson

A sparse flat extension theorem for moment matrices Tech Report

M. Laurent (Monique) and B. Mourrain

Exponential separation for one-way quantum communication complexity, with applications to cryptography Article

D. Gavinsky, J. Kempe, I. Kerenidis, R. Raz and R.M. de Wolf (Ronald)