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

J.G. Verwer (Jan)

Towards Role Detection in Virtual Worlds Article

C. Eickhoff (Carsten) and V.P. Lavrenko

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO In Proceedings

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor), S.E. Simon (Sunil) and not CWI et al

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages In Proceedings

D. Latella, M. Massink and E.P. de Vink (Erik)

Time discounting and time consistency Book Chapter

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

Perception and Change in Update Logic Book Chapter

New bounds on the classical and quantum communication complexity of some graph properties In Proceedings

G. Ivanyos, H. Klauck (Hartmut), T. J. Lee (Troy), M. Santha (Miklos) and R.M. de Wolf (Ronald)

Sphere and dot product representations of graphs Article

R.J. Kang (Ross) and T. Müller (Tobias)