Publication
-
December 2008 -
December 2008 -
Semidefinite programming approximations for stable sets, colouring, and cuts in graphs Article
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 49-60.January 2009
-
Logica in Actie Book
January 2009 -
Dynamic Epistemic Logic for Protocol Analysis Book Chapter
January 2009 -
January 2009 -
January 2009
-
January 2009