Publication
-
December 2010 -
Time At Your Service: Schedulability Analysis of Real-Time and Distributed Services Dissertation
Formal MethodsDecember 2010
-
Kleene coalgebra Dissertation
Computer SecurityDecember 2010
-
December 2010 -
January 2011 -
A new method for deriving waiting-time approximations in polling systems with renewal arrivals Article
Stochastic Models, 318-332.January 2011 -
January 2011 -
Comparison of Block-Lanczos and Block-Wiedemann for Solving Linear Systems in Large Factorizations Lecture
January 2011