Publication
-
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
-
Efficient pricing of commodity options with early-exercise under the Ornstein-Uhlenbeck process Article
Applied Numerical Mathematics, 91-111.January 2012 -
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book
January 2012
-
Two three pages papers Book Chapter
January 2012
-
Book review of 'Logic: A brief course' by Daniele Mundici Article
Theory and Practice of Logic Programming, 12(3), 417-419.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 -
Action Emulation between Canonical Models In Proceedings
January 2012