Publication

Discourses on Social Software Book

Approximation and Cost Sharing Algorithms for Network Design Problems, Habilitation thesis Magazine Article

G. Schäfer (Guido)

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

M. Niqui (Milad)

What is Protocol Analysis? Book Chapter

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

Verifying epistemic protocols under common knowledge In Proceedings

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

Coinductive Predicates as Final Coalgebras In Proceedings

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

A generalized Grothendieck inequality and entanglement in XOR games In Proceedings

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

Unconditional Lower Bounds against Advice In Proceedings

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