Gregorio de
Miguel Casado
Publicaciones en las que colabora con Gregorio de Miguel Casado (6)
2013
-
Temporal logics for phylogenetic analysis via model checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Vol. 10, Núm. 4, pp. 1058-1070
2012
-
Sliced Model Checking for Phylogenetic Analysis
6TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS
-
Sliced model checking for phylogenetic analysis
Advances in Intelligent and Soft Computing
2011
-
Phylogenetic Analysis Using an SMV Tool
5TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS (PACBB 2011)
-
Phylogenetic analysis using an SMV tool
Advances in Intelligent and Soft Computing
2010
-
Temporal logics for phylogenetic analysis via model checking
2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010