Publication

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)

A Distributed Platform for Mechanism Design In Proceedings

K.R. Apt (Krzysztof), F. Arbab (Farhad) and H. Ma (Huiye)

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)

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

Computability and Representations of the Zero Set In Proceedings

P.J. Collins (Pieter)

Semi-bracketed contextual grammars Tech Report

L. Kuppusamy (Lakshmanan)