Centrum Wiskunde & Informatica

Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme In Proceedings

M. Niqui (Milad)

January 2009
What is Protocol Analysis? Book Chapter

D.J.N. van Eijck (Jan), F. Dechesne (Francien), W. Teepe and Y. Wang (Yanjing)

January 2009
Verifying epistemic protocols under common knowledge In Proceedings

Y. Wang (Yanjing), L. Kuppusamy (Lakshmanan) and D.J.N. van Eijck (Jan)

January 2009
Coinductive Predicates as Final Coalgebras In Proceedings

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

January 2009
A generalized Grothendieck inequality and entanglement in XOR games In Proceedings

J. Briët (Jop), H.M. Buhrman (Harry) and B.F. Toner (Ben)

January 2009
Unconditional Lower Bounds against Advice In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance) and R. Santhanam

January 2009
Niceness Theorems In Proceedings

M. Hazewinkel (Michiel)

January 2009
Explicit polynomial generators for the ring of quasisymmetric functions over the integers Article

Acta Applicandae Mathematicae, 39-44.

M. Hazewinkel (Michiel)

January 2009

Previous

Next