Publication

Transient characteristics of Gaussian queues Article

K.G. Dȩbicki (Krzysztof), A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)

Turing machine Tech Report

P.M.B. Vitányi (Paul)

Verifying epistemic protocols under common knowledge In Proceedings

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

Sequential Bidding in the Bailey-Cavallo Mechanism In Proceedings

K.R. Apt (Krzysztof) and V. Markakis (Vangelis)

What is Protocol Analysis? Book Chapter

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

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

M. Niqui (Milad)

Discourses on Social Software Book

What is Social Software? Book Chapter

D.J.N. van Eijck (Jan) and R. Parikh