Publication
-
Book review of 'Logic: A brief course' by Daniele Mundici Article
Theory and Practice of Logic Programming, 12(3), 417-419.January 2012
-
Two three pages papers Book Chapter
January 2012
-
January 2012
-
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book
January 2012
-
Cycle killer... qu'est-ce que c'est? On the comparative approximability of hybridization number and directed feedback vertex set Article
SIAM Journal on Discrete Mathematics, 26(4), 1635-1656.January 2012
-
A practical approximation algorithm for solving massive instances of hybridization number In Proceedings
January 2012
-
On the elusiveness of clusters Article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(2), 517-534.January 2012
-
Efficient unbiased simulation scheme for SABR stochastic volatility model Article
International Journal of Theoretical and Applied Finance, 15(2)January 2012