Publication
-
Two-dimensional Fourier cosine series expansion method for pricing financial options Article
SIAM Journal on Scientific Computing, 34(5), B642-B671.January 2012 -
Cross-Species Alignment of Coexpression Networks Presentation
January 2012 -
January 2012
-
Verification of object-oriented programs: A transformational approach Article
Journal of Computer and System Sciences, 78(3)January 2012 -
Identification of probabilities of languages Tech Report
January 2012
-
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book
January 2012
-
A high order density model for streamer discharges In Proceedings
January 2012
-
January 2012