Publications of the COSMOS Research Group
2010
[10]Temporal logics for phylogenetic analysis via model checking ( and ), In 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW), , [Proceedings of the Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10)]. [bibtex] [doi]
2011
[9] Phylogenetic Analysis Using an SMV Tool (, and ), Chapter in 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2011, April 6-8, 2011, Salamanca, Spain (Miguel P. Rocha, Juan M. Corchado Rodríguez, Florentino Fdez-Riverola, Alfonso Valencia, eds.), Springer, volume 93, . [bibtex] [url] [doi]
2012
[8] Sliced Model Checking for Phylogenetic Analysis (, and ), Chapter in 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, Salamanca, Spain (Miguel P. Rocha, Nicholas M. Luscombe, Florentino Fdez-Riverola, Juan M. Corchado Rodríguez, eds.), Springer, volume 154, . [bibtex] [url] [doi]
[7] Compact Representation of Biological Sequences Using Set Decision Diagrams (), Chapter in 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, Salamanca, Spain (Miguel P. Rocha, Nicholas M. Luscombe, Florentino Fdez-Riverola, Juan M. Corchado Rodríguez, eds.), Springer, volume 154, . [bibtex] [url] [doi]
2013
[6] Model checking software for phylogenetic trees using distribution and database methods (), In Journal of Integrative Bioinformatics, volume 10, . [bibtex] [url] [doi]
[5] Temporal Logics for Phylogenetic Analysis via Model Checking (, and ), In IEEE/ACM Transactions on Computational Biology and Bioinformatics, volume 10, . [bibtex] [url] [doi]
[4] Speeding Up Phylogenetic Model Checking (), Chapter in 7th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2013, 22-14 May, 2013, Salamanca, Spain (Mohd Saberi Mohamad, Loris Nanni, Miguel P. Rocha, Florentino Fdez-Riverola, eds.), Springer, volume 222, . [bibtex] [url] [doi]
2014
[3] Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study (), In Journal of Integrative Bioinformatics, volume 11, . [bibtex] [url] [doi]
[2] Timed and Probabilistic Model Checking over Phylogenetic Trees (), Chapter in 8th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2014, 4-6 June, 2014, Salamanca, Spain (Julio Saez-Rodríguez, Miguel P. Rocha, Florentino Fdez-Riverola, Juan F. De Paz Santana, eds.), Springer, volume 294, . [bibtex] [url] [doi]
2016
[1] Evaluation of properties over phylogenetic trees using stochastic logics (), In BMC Bioinformatics, volume 17, . [bibtex] [url] [doi]
Powered by bibtexbrowser