Publication
-
Static analysis of unbounded structures in object-oriented programs Dissertation
Formal MethodsDecember 2012 -
Poster Praethuys Miscellaneous
December 2012 -
December 2012 -
Meet Charles, big data query advisor In Proceedings
January 2013 -
Invited talk “Wiskunde redt mensenlevens!”, Nederlandse Wiskundedagen (Noordwijkerhout, 2013). Lecture
January 2013 -
Follow the Leader if You Can, Hedge if You Must Tech Report
January 2013 -
January 2013
-
January 2013