Stepsize conditions for boundedness in numerical initial value problems Article

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

Eating from the Tree of Ignorance Book Chapter

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

Game Theory. Logic and Rational Choice Book Chapter

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

What is Protocol Analysis? Book Chapter

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

What is Social Software? Book Chapter

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

Discourses on Social Software Book

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)