Publication
-
Handling biological complexity: as simple as possible but not simpler Dissertation
Scientific ComputingJune 2010
-
July 2010
-
Exponential, Logarithmic, Sine, and Cosine Integrals Book Chapter
July 2010
-
Error Functions, Dawson’s and Fresnel Integrals Book Chapter
July 2010 -
Parabolic Cylinder Functions Book Chapter
July 2010
-
Preliminary Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings
July 2010 -
Invariant semidefinite programs Tech Report
July 2010
-
A problem in last-passage percolation. Article
Brazilian Journal of Probability and Statistics, 24(2), 300-320.July 2010