David Fernández-Baca

Orcid: 0000-0002-8563-3637

According to our database1, David Fernández-Baca authored at least 78 papers between 1987 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
MCWS-Transformers: Towards an Efficient Modeling of Protein Sequences via Multi Context-Window Based Scaled Self-Attention.
IEEE ACM Trans. Comput. Biol. Bioinform., 2023

2022
An Ensemble Tf-Idf Based Approach to Protein Function Prediction via Sequence Segmentation.
IEEE ACM Trans. Comput. Biol. Bioinform., 2022

Checking Phylogenetics Decisiveness in Theory and in Practice.
IEEE ACM Trans. Comput. Biol. Bioinform., 2022

2021
Exact Algorithms for No-Rainbow Coloring and Phylogenetic Decisiveness.
CoRR, 2021

2020
Deep Robust Framework for Protein Function Prediction Using Variable-Length Protein Sequences.
IEEE ACM Trans. Comput. Biol. Bioinform., 2020

Testing the Agreement of Trees with Internal Labels.
CoRR, 2020

Checking Phylogenetic Decisiveness in Theory and in Practice.
Proceedings of the Bioinformatics Research and Applications - 16th International Symposium, 2020

Testing the Agreement of Trees with Internal Labels.
Proceedings of the Bioinformatics Research and Applications - 16th International Symposium, 2020

2019
EvoZip: Efficient Compression of Large Collections of Evolutionary Trees.
CoRR, 2019

Tree Compatibility, Incomplete Directed Perfect Phylogeny, and Dynamic Graph Connectivity: An Experimental Study.
Algorithms, 2019

2018
On compatibility and incompatibility of collections of unrooted phylogenetic trees.
Discret. Appl. Math., 2018

Sensitivity Analysis in Combinatorial Optimization.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics, 2018

2017
An efficient algorithm for testing the compatibility of phylogenies with nested taxa.
Algorithms Mol. Biol., 2017

2016
Fast Compatibility Testing for Phylogenies with Nested Taxa.
Proceedings of the Algorithms in Bioinformatics - 16th International Workshop, 2016

Fast Compatibility Testing for Rooted Phylogenetic Trees.
Proceedings of the 27th Annual Symposium on Combinatorial Pattern Matching, 2016

2015
Compatibility, Incompatibility, Tree-Width, and Forbidden Phylogenetic Minors.
Electron. Notes Discret. Math., 2015

MulRF: a software package for phylogenetic analysis using multi-copy gene trees.
Bioinform., 2015

Constructing and Employing Tree Alignment Graphs for Phylogenetic Synthesis.
Proceedings of the Algorithms for Computational Biology, 2015

2014
EvoMiner: frequent subtree mining in phylogenetic databases.
Knowl. Inf. Syst., 2014

Enumerating all maximal frequent subtrees in collections of phylogenetic trees.
Algorithms Mol. Biol., 2014

Editorial.
Algorithmica, 2014

2013
Incompatible quartets, triplets, and characters.
Algorithms Mol. Biol., 2013

Inferring species trees from incongruent multi-copy gene trees using the Robinson-Foulds distance.
Algorithms Mol. Biol., 2013

Characterizing Compatibility and Agreement of Unrooted Trees via Cuts in Graphs.
Proceedings of the Algorithms in Bioinformatics - 13th International Workshop, 2013

2012
On Two Graph-Theoretic Characterizations of Tree Compatibility
CoRR, 2012

Improved Lower Bounds on the Compatibility of Multi-State Characters
CoRR, 2012

Preface to CLEI 2011 Special Issue.
CLEI Electron. J., 2012

A simple characterization of the minimal obstruction sets for three-state perfect phylogenies.
Appl. Math. Lett., 2012

Improved Lower Bounds on the Compatibility of Quartets, Triplets, and Multi-state Characters.
Proceedings of the Algorithms in Bioinformatics - 12th International Workshop, 2012

Extracting Conflict-Free Information from Multi-labeled Trees.
Proceedings of the Algorithms in Bioinformatics - 12th International Workshop, 2012

Identifying Rogue Taxa through Reduced Consensus: NP-Hardness and Exact Algorithms.
Proceedings of the Bioinformatics Research and Applications - 8th International Symposium, 2012

Fixed-Parameter Algorithms for Finding Agreement Supertrees.
Proceedings of the Combinatorial Pattern Matching - 23rd Annual Symposium, 2012

2011
An axiomatic study of Majority-rule (+ ) and associated consensus functions on hierarchies.
Discret. Appl. Math., 2011

An ILP solution for the gene duplication problem.
BMC Bioinform., 2011

Graph triangulations and the compatibility of unrooted phylogenetic trees.
Appl. Math. Lett., 2011

Constructing Large Conservative Supertrees.
Proceedings of the Algorithms in Bioinformatics - 11th International Workshop, 2011

Fast Local Search for Unrooted Robinson-Foulds Supertrees.
Proceedings of the Bioinformatics Research and Applications - 7th International Symposium, 2011

2010
iGTP: A software package for large-scale gene tree parsimony analysis.
BMC Bioinform., 2010

Robinson-Foulds Supertrees.
Algorithms Mol. Biol., 2010

2009
Computing distances between partial rankings.
Inf. Process. Lett., 2009

Constructing Majority-Rule Supertrees.
Proceedings of the Algorithms in Bioinformatics, 9th International Workshop, 2009

Generalized Binary Tanglegrams: Algorithms and Applications.
Proceedings of the Bioinformatics and Computational Biology, 2009

2008
Comparing and Aggregating Partially Resolved Trees.
Proceedings of the LATIN 2008: Theoretical Informatics, 2008

2007
Sensitivity Analysis in Combinatorial Optimization.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007

2006
Minimum-Flip Supertrees: Complexity and Algorithms.
IEEE ACM Trans. Comput. Biol. Bioinform., 2006

2005
Parametric Analysis for Ungapped Markov Models of Evolution.
Proceedings of the Combinatorial Pattern Matching, 16th Annual Symposium, 2005

2004
Rainbow: a toolbox for phylogenetic supertree construction and analysis.
Bioinform., 2004

2003
Decomposable multi-parameter matroid optimization problems.
Theor. Comput. Sci., 2003

2002
Inverse Parametric Sequence Alignment.
Proceedings of the Computing and Combinatorics, 8th Annual International Conference, 2002

Supertrees by Flipping.
Proceedings of the Computing and Combinatorics, 8th Annual International Conference, 2002

2001
On Nonlinear Parametric Search.
Algorithmica, 2001

Flipping: A supertree construction method.
Proceedings of the Bioconsensus, 2001

2000
Multi-parameter Minimum Spanning Trees.
Proceedings of the LATIN 2000: Theoretical Informatics, 2000

Parametric Multiple Sequence Alignment and Phylogeny Construction.
Proceedings of the Combinatorial Pattern Matching, 11th Annual Symposium, 2000

1999
Bounds for Parametric Sequence Comparison.
Proceedings of the Sixth International Symposium on String Processing and Information Retrieval and Fifth International Workshop on Groupware, 1999

1998
Faster Non-linear Parametric Search with Applications to Optimazation and Dynamic Geometry.
Proceedings of the LATIN '98: Theoretical Informatics, 1998

1996
Weighted Multidimensional Search and Its Application to Convex Optimization.
SIAM J. Comput., 1996

Simple Algorithms for Perfect Phylogeny and Triangulating Colored Graphs.
Int. J. Found. Comput. Sci., 1996

Using Sparsification for Parametric Minimum Spanning Tree Problems.
Proceedings of the Algorithm Theory, 1996

On the Approximability of the Steiner Tree Problem in Phylogeny.
Proceedings of the Algorithms and Computation, 7th International Symposium, 1996

A Polynomial-Time Algorithm for Near-Perfect Phylogeny.
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

1995
Fast Algorithms for Inferring Evolutionary Trees.
J. Comput. Biol., 1995

Weighted Search in the Plane.
Inf. Process. Lett., 1995

Linear-Time Algorithms for Parametric Minimum Spanning Tree Problems on Planar Graphs.
Proceedings of the LATIN '95: Theoretical Informatics, 1995

1994
Optimal Parametric Search on Graphs of Bounded Tree-Width.
Proceedings of the Algorithm Theory, 1994

1993
Parametric Module Allocation on Partial k-Trees.
IEEE Trans. Computers, 1993

A Polynomial-Time Algorithm for the Perfect Phylogeny Problem when the Number of Character States is Fixed
Proceedings of the 34th Annual Symposium on Foundations of Computer Science, 1993

1992
Parametric Problems on Graphs of Bounded Tree-Width.
Proceedings of the Algorithm Theory, 1992

Solving the Lagrangian Dual when the Number of Constraints is Fixed.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991
Constructing the minimization diagram of a two-parameter problem.
Oper. Res. Lett., 1991

1990
On Matroids and Hierarchical Graphs.
Proceedings of the SWAT 90, 1990

Space-Sweep Algorithms for Parametric Optimization (Extended Abstract).
Proceedings of the SWAT 90, 1990

1989
Allocating Modules to Processors in a Distributed System.
IEEE Trans. Software Eng., 1989

On the Efficiency of Maximum-Flow Algorithms on Networks with Small Integer Capacities.
Algorithmica, 1989

Augmentation Problems on Hierarchically Defined Graphs (Preliminary Version).
Proceedings of the Algorithms and Data Structures, 1989

1988
Nonserial Dynamic Programming Formulations of Satisfiability.
Inf. Process. Lett., 1988

Solving Parametric Problems on Trees.
Proceedings of the STACS 88, 1988

1987
Fast Algorithms for Bipartite Network Flow.
SIAM J. Comput., 1987


  Loading...