Publication

SciQL, A query language for science applications Tech Report

M.L. Kersten (Martin), N.J. Nes (Niels), Y. Zhang (Ying) and M.G. Ivanova (Milena)

Generalized Incremental Mechanisms for Scheduling Games Tech Report

J. A. Brenner (Janina) and G. Schäfer (Guido)

XFrames Manual

S. Pemberton (Steven)

Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings

An architecture for recycling intermediates in a column-store Article

M.G. Ivanova (Milena), M.L. Kersten (Martin), N.J. Nes (Niels) and R.A. Pereira Goncalves (Romulo Antonio)

On Leonid Gurvits's proof for permanents Article

M. Laurent (Monique) and A. Schrijver (Lex)

A Unified Format for Language Documents In Proceedings

V. Zaytsev (Vadim) and R. Lämmel (Ralf)

Discrete Strategies in Keyword Auctions and Their Inefficiency for Locally Aware Bidders In Proceedings

V. Markakis (Vangelis) and O. Telelis (Orestis)