Publication
-
Hydrostatic Hamiltonian particle-mesh (HPM) methods for atmospheric modelling Article
Quarterly Journal of the Royal Meteorological SocietyDecember 2011
-
Under review Article
I/O ICT Onderzoek, 8(4), 19-19.December 2011
-
The Data Cyclotron query processing scheme. Article
ACM Transactions on Database Systems, 36(4), 27:1-27:35.December 2011
-
Learning Eigenvectors for Free In Proceedings
December 2011
-
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