Publication
-
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 -
Efficient pricing of commodity options with early-exercise under the Ornstein-Uhlenbeck process Article
Applied Numerical Mathematics, 91-111.January 2012 -
Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables Article
Journal of Computer and System Sciences, 78(1), 151-163.January 2012
-
Natalie-WEB. Network alignment Software
January 2012 -
MonetDB Dec2011 feature release Software
January 2012