Publication

Arbitrarily little knowledge can give a quantum advantage for nonlocal tasks Article

J. Allcock, H.M. Buhrman (Harry) and N. Linden (Noah)

Formal aspects of component software Tech Report

M. Sun (Meng) and B. Schatz

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves Article

F. Bonchi (Filippo) and U. Montanari

Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008--- State-of-the-Art Survey Proceedings

Sample-path large deviations in credit risk Tech Report

V. Leijdekker, M.R.H. Mandjes (Michel) and P.J.C. Spreij (Peter)

Combining Vocabulary Alignment Techniques In Proceedings

A. Tordai (Anna), J.R. van Ossenbruggen (Jacco) and G. Schreiber (Guus)

Repeatability & Workability Evaluation of SIGMOD 2009 Article

S. Manegold (Stefan), I. Manolescu, L. Afanasiev (Loredana), J. Feng, G. Gou, M. Hadjieleftheriou, S. Harizopoulos, P. Kalnis, K. Karanasos, D. Laurent, et al. M. Lupu, N. Onose, C. Re, V. Sans, P. Senellart, T. Wu (Taoyang) and D. Shasha

Decision Problems for Nash Equilibria in Stochastic Games In Proceedings

M. Ummels and D.K. Wojtczak (Dominik)