-
1
-
-
0001548856
-
A linear-time algorithm for testing the truth of certain quantified Boolean formulas
-
Aspvall B., Plass M.F., Tarjan R.E. 1979. A linear-time algorithm for testing the truth of certain quantified Boolean formulas. Informa. Process. Lett. 8: 121-123.
-
(1979)
Informa. Process. Lett.
, vol.8
, pp. 121-123
-
-
Aspvall, B.1
Plass, M.F.2
Tarjan, R.E.3
-
3
-
-
84874708873
-
Systematic inference of highways of horizontal gene transfer in prokaryotes
-
Bansal M.S., Banay G., Harlow T.J., Gogarten J.P., Shamir R. 2013. Systematic inference of highways of horizontal gene transfer in prokaryotes. Bioinformatics 29: 571-579.
-
(2013)
Bioinformatics
, vol.29
, pp. 571-579
-
-
Bansal, M.S.1
Banay, G.2
Harlow, T.J.3
Gogarten, J.P.4
Shamir, R.5
-
5
-
-
84927714664
-
Improvedgene tree error correction in thepresence of horizontal gene transfer
-
Bansal M.S.,WuY.-C.,AlmE.J.,Kellis M. 2014. Improvedgene tree error correction in thepresence of horizontal gene transfer. Bioinformatics 31: 1211-1218.
-
(2014)
Bioinformatics
, vol.31
, pp. 1211-1218
-
-
Bansal, M.S.1
Wu, Y.-C.2
Alm, E.J.3
Kellis, M.4
-
6
-
-
1542347067
-
Neighbor-net, an agglomerative method for the construction of phylogenetic networks
-
Bryant D., Moulton V. 2003. Neighbor-net, an agglomerative method for the construction of phylogenetic networks. Mol. Biol. Evol. 21: 255-265.
-
(2003)
Mol. Biol. Evol.
, vol.21
, pp. 255-265
-
-
Bryant, D.1
Moulton, V.2
-
7
-
-
84919389879
-
Phylogenetic networks that display a tree twice
-
Cordue P., Linz S., Semple C. 2014. Phylogenetic networks that display a tree twice. Bull. Math. Biol. 76: 2664-2679.
-
(2014)
Bull. Math. Biol.
, vol.76
, pp. 2664-2679
-
-
Cordue, P.1
Linz, S.2
Semple, C.3
-
9
-
-
33847790997
-
Pattern pluralism and the tree of life hypothesis
-
Doolittle W.F., Bapteste E. 2007. Pattern pluralism and the tree of life hypothesis. Proc. Natl Acad. Sci. USA 104: 2043-2049.
-
(2007)
Proc. Natl Acad. Sci. USA
, vol.104
, pp. 2043-2049
-
-
Doolittle, W.F.1
Bapteste, E.2
-
10
-
-
67651064681
-
Horizontal gene transfer from extinct and extant lineages: Biological innovation and the coral of life
-
Fournier G.P., Huang J., Gogarten J.P. 2009. Horizontal gene transfer from extinct and extant lineages: Biological innovation and the coral of life. Phil. Trans. R. Soc. B. 364.1527: 2229-2239.
-
(2009)
Phil. Trans. R. Soc. B.
, vol.364
, Issue.1527
, pp. 2229-2239
-
-
Fournier, G.P.1
Huang, J.2
Gogarten, J.P.3
-
11
-
-
84920590604
-
Tree-like reticulation networks - when do tree-like distances also support reticulate evolution? Math
-
Francis A.R., Steel M. 2015. Tree-like reticulation networks - when do tree-like distances also support reticulate evolution? Math. Biosci. 259: 12-19.
-
(2015)
Biosci.
, vol.259
, pp. 12-19
-
-
Francis, A.R.1
Steel, M.2
-
12
-
-
84926309521
-
Locating a tree in a phylogenetic network in quadratic time
-
In: Przytycka T., editor LectureNotes inComputer Science, Springer, Switzerland
-
Gambette P., Gunawan A.D.M., Labarre A., Vialette S., Zhang L. 2015. Locating a tree in a phylogenetic network in quadratic time. In: Przytycka T., editor. Research in Computational Molecular Biology, LectureNotes inComputer Science, Springer, Switzerland, vol. 9029, p. 96-107.
-
(2015)
Research in Computational Molecular Biology
, vol.9029
, pp. 96-107
-
-
Gambette, P.1
Gunawan, A.D.M.2
Labarre, A.3
Vialette, S.4
Zhang, L.5
-
13
-
-
85006688090
-
The power of supernetworks to distinguish hybridisation from lineagesorting via collections of gene trees
-
Holland B., Bentham S., Lockhart P., Moulton V., Huber K. 2008. The power of supernetworks to distinguish hybridisation from lineagesorting via collections of gene trees. BMC Evol. Biol. 1108: 202.
-
(2008)
BMC Evol. Biol.
, vol.1108
, pp. 202
-
-
Holland, B.1
Bentham, S.2
Lockhart, P.3
Moulton, V.4
Huber, K.5
-
16
-
-
9744227793
-
The decision problem for a class of first-order formulas in which all disjunctions are binary
-
KromM.R. 1967. The decision problem for a class of first-order formulas in which all disjunctions are binary. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 13: 15-20.
-
(1967)
Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik
, vol.13
, pp. 15-20
-
-
Krom, M.R.1
-
17
-
-
84904402814
-
Ancient hybridizations among the ancestral genomes of bread wheat
-
Marcussen T., Sandve S.R., Heier L., Spannagl M., Pfeifer M., Consortium T.I.W.G.S, Jakobsen K.S., Wulff B.B.H., Steuernagel B., Mayer K.F.X., Olsen O.-A. 2014. Ancient hybridizations among the ancestral genomes of bread wheat. Science 345(6194): 1250092.
-
(2014)
Science
, vol.345
, Issue.6194
, pp. 1250092
-
-
Marcussen, T.1
Sandve, S.R.2
Heier, L.3
Spannagl, M.4
Pfeifer, M.5
Jakobsen, K.S.6
Wulff, B.B.H.7
Steuernagel, B.8
Mayer, K.F.X.9
Olsen, O.-A.10
-
18
-
-
85006677530
-
Early evolution without a tree of life
-
MartinW.F. 2011. Early evolution without a tree of life. Biol. Direct 36: 6.
-
(2011)
Biol. Direct
, vol.36
, pp. 6
-
-
Martin, W.F.1
-
19
-
-
84873603321
-
Recovering the treelike trend of evolution despite extensive lateral genetic transfer: A probabilistic analysis
-
Roch S. 2013. Recovering the treelike trend of evolution despite extensive lateral genetic transfer: A probabilistic analysis. J. Comput. Biol. 20: 93-112.
-
(2013)
J. Comput. Biol.
, vol.20
, pp. 93-112
-
-
Roch, S.1
-
21
-
-
84874438887
-
Identifying a species tree subject to random lateral gene transfer
-
Steel M., Linz S., Huson D., Sanderson M. 2013. Identifying a species tree subject to random lateral gene transfer. J. Theor. Biol. 332: 81-93.
-
(2013)
J. Theor. Biol.
, vol.332
, pp. 81-93
-
-
Steel, M.1
Linz, S.2
Huson, D.3
Sanderson, M.4
-
24
-
-
0000142982
-
The complexity of enumeration and reliability problems
-
Valiant L. 1979. The complexity of enumeration and reliability problems. SICOMP 8: 410-421.
-
(1979)
SICOMP
, vol.8
, pp. 410-421
-
-
Valiant, L.1
-
25
-
-
84976529603
-
Different topological restrictions of rooted phylogenetic networks
-
Available from
-
van Iersel L. 2013. Different topological restrictions of rooted phylogenetic networks. Which make biological sense? Available from: Http://phylonetworks.blogspot.nl/2013/03/differenttopological- restrictions-of.html.
-
(2013)
Which make Biological Sense?
-
-
Van Iersel, L.1
-
27
-
-
77951237526
-
Properties of normal phylogenetic networks
-
Willson, S. 2010. Properties of normal phylogenetic networks. Bull. Math. Biol. 72: 340-358.
-
(2010)
Bull. Math. Biol.
, vol.72
, pp. 340-358
-
-
Willson, S.1
|