Abstract | ||
---|---|---|
Model checking provides a powerful and flexible formal framework to state and verify biological properties on phylogenies. However, current model checking techniques fail to scale up the big amount of biological information relevant to each state of the system. This fact motivates the development of novel cooperative algorithms and slicing techniques that distribute not the graph structure of a phylogenetic system but the state information contained in its nodes. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-28839-5_11 | 6TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS |
Keywords | Field | DocType |
phylogenetic analysis,model checking,state slicing,concurrent verification | Graph,Model checking,Phylogenetic tree,State information,Computer science,Slicing,Theoretical computer science | Conference |
Volume | ISSN | Citations |
154 | 1867-5662 | 3 |
PageRank | References | Authors |
0.42 | 13 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Ignacio Requeno | 1 | 41 | 6.92 |
Roberto Blanco | 2 | 40 | 4.02 |
Gregorio de Miguel Casado | 3 | 24 | 5.69 |
José Manuel Colom | 4 | 341 | 31.92 |