CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book
January 2012
-
A note on almost flat numbers Miscellaneous
January 2012
-
Automated Verification of Executable UML Models In Proceedings
H.H. Hansen (Helle), J. Ketema, S.P. Luttik (Bas), M.R. Mousavi, J.C. van de Pol (Jaco) and O. Marchi dos Santos (Osmar)
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 modal logic for abstract delta modeling. In Proceedings
F.S. de Boer (Frank), M. Helvensteijn (Michiel) and J. Winter (Joost)
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
-
Visual Synonyms for Landmark Image Retrieval Article
Computer Vision and Image Understanding, 116(2), 238-249.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