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)

Uitnodiging kerstborrel, 20.12.2012 Other

Poster Praethuys Miscellaneous

A quadratic kernel for computing the hybridization number of multiple trees Article

L.J.J. van Iersel (Leo) and S. Linz