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
-
January 2011
-
A high order density model for streamer discharges In Proceedings
January 2011 -
Future Internet Lecture
January 2011