CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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
-
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.S.M. Kelk (Steven), L.J.J. van Iersel (Leo), N. Lekic (Nela), S. Linz, C. Scornavacca and L. Stougie (Leen)
January 2012
-
A practical approximation algorithm for solving massive instances of hybridization number In Proceedings
L.J.J. van Iersel (Leo), S.M. Kelk (Steven), N. Lekic (Nela) and C. Scornavacca
January 2012
-
On the elusiveness of clusters Article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(2), 517-534.S.M. Kelk (Steven), C. Scornavacca and L.J.J. van Iersel (Leo)
January 2012
-
Efficient unbiased simulation scheme for SABR stochastic volatility model Article
International Journal of Theoretical and Applied Finance, 15(2)B. Chen (Bin), C.W. Oosterlee (Kees) and J.A.M. van der Weide (Hans)
January 2012 -
January 2012