Publication

The evolution of TV systems, content, and users towards interactivity Article

P.S. César Garcia (Pablo Santiago) and K. Chorianopoulos (Konstantinos)

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)

The Weibull Statistics and the Efficiency of Natural Image Categorization In Proceedings

R. Auksztulewicz, S. Ghebreab, H.S. Scholte (Steven), V.A.F. Lamme and A.W.M. Smeulders (Arnold)

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)