Centrum Wiskunde & Informatica

Prioritizing software inspection results using static profiling In Proceedings

F.C. Boogerd and L.M.F. Moonen (Leon)

January 2006
Logics of communication and change Article

Information and Computation, 1620-1662.

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and B. Kooi

January 2006
Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets In Proceedings

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2006
Monogamy of Bell correlations and Tsirelson's bound Tech Report

B.F. Toner (Ben) and F. Verstraete

January 2006
Negative weights makes adversaries stronger Tech Report

P. Høyer (Peter), T. J. Lee (Troy) and R. Spalek (Robert)

January 2006
Exponential separations for one-way quantum communication complexity, with applications to cryptography Tech Report

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

January 2006
Optimal estimation of SU(d) using exact and approximate 2-designs Tech Report

M.A. Ballester Sanches (Manuel Alberto)

January 2006
State discrimination with post-measurement information Tech Report

M.A. Ballester Sanches (Manuel Alberto), S.D.C. Wehner (Stephanie) and A. Winter

January 2006

Previous

Next