Publication
-
Static analysis of unbounded structures in object-oriented programs Dissertation
Formal MethodsDecember 2012 -
Poster Praethuys Miscellaneous
December 2012 -
December 2012 -
NEM Summit, Toulouse, France Lecture
January 2013 -
Time-scaling limits for Markov-modulated infinite-server queues Article
Stochastic Models, 112-127.January 2013
-
January 2013
-
Meet Charles, big data query advisor In Proceedings
January 2013 -
January 2013