Publication
-
A numerical layer resolving method for the flow over a curved surface Article
Applied Mathematics and Computation, 10656-10668.January 2012 -
On estimation of the intensity function of a point process Article
Methodology and Computing in Applied Probability, 14(3), 567-578.January 2012
-
Earthquake modelling at the country level using aggregated spatio-temporal point processes Article
Computational Geosciences, 309-326.January 2012
-
January 2012
-
A modal logic for abstract delta modeling. In Proceedings
January 2012 -
Automated Verification of Executable UML Models In Proceedings
January 2012 -
Linking user-generated video annotations to the web of data In Proceedings
January 2012
-
Invariant semidefinite programs Book Chapter
January 2012