Publications dans lesquelles il/elle collabore avec Gregorio de Miguel Casado (6)

2013

  1. 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

  1. Sliced Model Checking for Phylogenetic Analysis

    6TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS

  2. Sliced model checking for phylogenetic analysis

    Advances in Intelligent and Soft Computing

2011

  1. Phylogenetic Analysis Using an SMV Tool

    5TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS (PACBB 2011)

  2. Phylogenetic analysis using an SMV tool

    Advances in Intelligent and Soft Computing

2010

  1. Temporal logics for phylogenetic analysis via model checking

    2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010