Gusfield, Dan
125  Ergebnisse:
Personensuche X
?
1

Proven impossible 

elementary proofs of profound impossibility from Arrow, Bel... 
Gusfield, Dan , 2024
 
?
2

Unified SAT-Solving for Hard Problems of Phylogenetic Netwo..:

, In: Computational Advances in Bio and Medical Sciences; Lecture Notes in Computer Science,
Gusfield, Dan ; Brown, Hannah - p. 79-91 , 2022
 
?
3

Comparing Integer Linear Programming to SAT-Solving for Har..:

, In: Algorithms for Computational Biology; Lecture Notes in Computer Science,
Brown, Hannah ; Zuo, Lei ; Gusfield, Dan - p. 63-76 , 2020
 
?
4

Integer Linear Programming in Computational and Systems Bio..:

, In: Proceedings of the 10th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics,
Gusfield, Dan - p. 560 ff. , 2019
 
?
5

Integer Linear Programming in Computational Biology: Overvi..:

, In: Bioinformatics and Phylogenetics; Computational Biology,
Gusfield, Dan - p. 373-404 , 2019
 
?
6

A Resolution of the Static Formulation Question for the Pro..:

Matsieva, Julia ; Kelk, Steven ; Scornavacca, Celine..
IEEE/ACM Transactions on Computational Biology and Bioinformatics.  14 (2017)  2 - p. 404-417 , 2017
 
?
7

A Resolution of the Static Formulation Question for the Pro..:

Matsieva, Julia ; Kelk, Steven ; Scornavacca, Celine..
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB).  14 (2017)  2 - p. 404-417 , 2017
 
?
 
?
9

Minimum Average Distance Clique Trees:

Xu, Shou-Jun ; Gysel, Rob ; Gusfield, Dan
SIAM Journal on Discrete Mathematics.  29 (2015)  3 - p. 1706-1734 , 2015
 
?
10

Persistent phylogeny : a galled-tree and integer linear ..:

, In: Proceedings of the 6th ACM Conference on Bioinformatics, Computational Biology and Health Informatics,
Gusfield, Dan - p. 443-451 , 2015
 
?
 
?
14

Generalizing the Splits Equivalence Theorem and Four Gamete..:

Lam, Fumei ; Gusfield, Dan ; Sridhar, Srinath
SIAM Journal on Discrete Mathematics.  25 (2011)  3 - p. 1144-1175 , 2011
 
?
 
1-15