Publication
-
Stimulating Creativity Through Opportunistic Software Development Article
IEEE Software, 25(6), 64-70.November 2008
-
An E-contracting Reference Architecture Article
Journal of Systems and Software, 81(11), 1816-1844.November 2008
-
A lace-expansion analysis of random spatial models Dissertation
November 2008 -
Domain specific modeling and analysis Dissertation
Formal MethodsNovember 2008
-
December 2008 -
Mean-field analysis for the evaluation of gossip protocols Article
ACM SIGMETRICS Performance Evaluation Review, 36(3), 31-39.December 2008 -
December 2008
-
Lower bounds on the minimum average distance of binary codes Article
Discrete Mathematics, 308(24), 6241-6253.December 2008