Publication
-
Met sprongen Inaugural Lecture
January 2008 -
Pre-Galois Connection on Coalgebras for Generic Component Refinement Article
Electronic Notes in Theoretical Computer Science, 203-217.January 2008 -
Main Memory Book Chapter
January 2008
-
Main Memory DBMS Book Chapter
January 2008
-
A Distributed Platform for Mechanism Design In Proceedings
January 2008 -
The quantitative theory of information Book Chapter
January 2008 -
Algorithmic information theory Book Chapter
January 2008 -
January 2008