Verifying epistemic protocols under common knowledge In Proceedings

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

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

What is Protocol Analysis? Book Chapter

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

Game Theory. Logic and Rational Choice Book Chapter

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

Eating from the Tree of Ignorance Book Chapter

D.J.N. van Eijck (Jan) and R. Verbrugge (Rineke)