Publication

Logics of Communication and Knowledge Dissertation

F.A.G. Sietsma (Floor)

Interacting via the heap in the presence of recursion In Proceedings

J.C. Rot (Jurriaan), I.M. Asâvoae (Irina Mâriuca), F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and D. Lucanu (Dorel)

Learning against learning : evolutionary dynamics of reinforcement learning algorithms in strategic interactions Dissertation

M. Kaisers (Michael)

Cryptography from quantum uncertainty in the presence of quantum side information Dissertation

N.J. Bouman (Niek)

Static analysis of unbounded structures in object-oriented programs Dissertation

I. Grabe (Immo)

Poster Praethuys Miscellaneous

Uitnodiging kerstborrel, 20.12.2012 Other

On Moessner's theorem Article

D. Kozen and A.M. Silva (Alexandra)