Publication
-
Automated derivation of translators from annotated grammars In Proceedings
March 2006 -
Extremes and Fluid Queues Dissertation
StochasticsMarch 2006
-
Finitary Coalgebraic Logics Dissertation
Computer SecurityMarch 2006
-
April 2006 -
April 2006
-
De wereld is plat Article
I/O ICT Onderzoek, 3(1), 2-2.April 2006
-
Vroege vonken onder de virtuele microscoop Article
Nederlands Tijdschrift voor Natuurkunde, 114-118.April 2006
-
Verifying OCL Specifications of UML models Dissertation
April 2006