Publication
-
Well-founded coalgebras, revisited Tech Report
January 2013 -
Language constructs for non-well-founded computations In Proceedings
January 2013 -
Sound and complete axiomatizations of coalgebraic language equivalence Article
ACM Transactions on Computational Logic, 14(1)January 2013 -
Analysis of an affine version of the Heston-Hull-White option pricing partial differential equation Article
Applied Numerical Mathematics, 143-159.January 2013
-
Efficient pricing of European-style Asian options under exponential L\'evy processes based on Fourier cosine expansions Article
SIAM Journal on Financial Mathematics, 4(1), 399-426.January 2013
-
An efficient pricing algorithm for swing options based on Fourier cosine expansions Article
Journal of Computational Finance, 16(4), 1-32.January 2013
-
A coinductive treatment of infinitary rewriting Article
Computing Research RepositoryJanuary 2013
-
User-defined schedulers for real-time concurrent objects Article
Innovations in Systems and Software Engineering, 9(1), 29-43.January 2013