Publication
-
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
-
Algorithms and complexity of enumerating minimal precursor sets in genome-wide metabolic networks Article
Bioinformatics, 2474-2483.January 2012 -
Universal sequencing on an unreliable machine Article
SIAM Journal on Computing, 565-586.January 2012 -
January 2012
-
An ENO-based numerical method for the control of dike levels in continuous time Article
Journal of Scientific Computing, 462-492.January 2012