Publications

Export 10 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is R. Blanco  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Z
W
[1304] Mayordomo, E, Blanco R, Álvarez J.  2011.  Workflows with model selection: a multilocus approach to phylogenetic analysis. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). 93/2011:39-47.
T
[1320] Blanco, R, de Miguel G, Requeno JI, Colom JM.  2010.  Temporal Logics for Phylogenetic Analysis via Model Checking. Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10). :152-157.
[1475] Requeno, JI, de Miguel G, Blanco R, Colom JM.  2013.  Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
S
[1407] Requeno, JI, Blanco R, de Miguel G, Colom JM.  2012.  Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1303] Mayordomo, E, Blanco R, Montes E, Mayo R, Alberto A.  2010.  Scalable Phylogenetics through Input Preprocessing.
R
P
[1322] Requeno, JI, Blanco R, de Miguel G, Colom JM.  2011.  Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
E
[1309] Mayordomo, E, Blanco R.  2009.  Exhaustive mitochondrial phylogenetics: challenges and solutions. 9th Workshop on Algorithms in Bioinformatics (WABI 2009).
B
[1310] Mayordomo, E, Blanco R.  2009.  Building maintainable, exhaustive human mitochondrial phylogenies. 17 Annual International Conference on Intelligent Systems for Molecular Biology/8th European Conference.