J.I. Requeno; R. Blanco; G. de Miguel Casado and J.M. Colom: “Phylogenetic Analysis Using an SMV Tool”, In Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, (To appear), (2011)

R. Blanco; G. de Miguel Casado; J.I Requeno and J.M. Colom: “Temporal Logics for Phylogenetic Analysis via Model Checking”, In Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, Vol. 1, 152–157 (2010)