Publication
-
December 2011
-
Model checking of component connectors Dissertation
Formal MethodsDecember 2011
-
Ambiguity Detection for Programming Language Grammars Dissertation
Software Analysis and TransformationDecember 2011
-
December 2011 -
December 2011 -
December 2011 -
Stochastic models for resource sharing in wireless networks Dissertation
StochasticsDecember 2011
-
Basis reduction for layered lattices Dissertation
CryptologyDecember 2011