Publication

Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

Games, Actions and Social Software Book

D.J.N. van Eijck (Jan), R. Verbrugge (Rineke) and not CWI et al

Composition methods, Maxwell's equations, and source terms Article

J.G. Verwer (Jan)

Action Emulation Article

D.J.N. van Eijck (Jan), J. Ruan and T. Sadzik

Perception and Change in Update Logic Book Chapter

Time discounting and time consistency Book Chapter

N. Dimitri and D.J.N. van Eijck (Jan)

Questions about Voting Rules, With Some Answers In Proceedings

D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

On the Logic of Lying Book Chapter

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)