Publication
-
Rate stability and output rates in queueing networks with shared resources Article
Performance Evaluation, 28-42.January 2010
-
Measuring Porosity at the Nanoscale by Quantitative Electron Tomography Article
Nano Letters, 10(12), 5014-5019.January 2010 -
Automated generation of program translation and verification tools using annotated grammars Article
Science of Computer Programming, 72(1), 3-20.January 2010
-
January 2010
-
January 2010
-
January 2010
-
January 2010
-
Using rewrite strategies for testing BUpL agents In Proceedings
January 2010