Elvira Mayordomo
Phone:
(+34) 976761918
Fax:
(+34) 976761914
Email:
elvira
Homepage:
http://webdiis.unizar.es/~elvira/
Office:
D1.06
Position:
Ph.D. Member Publications
[1439] .
2013. Dimension is Compression. Theory of Computing Systems. 52:95-112.
[1297] .
2012. Inseparability and Strong Hypotheses for Disjoint NP Pairs. Theory of Computing Systems. 51:229-247.
[1412] .
2012. PHYSER: An Algorithm to Detect Sequencing Errors from Phylogenetic Information. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1425] .
2012. Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6)
[1426] .
2012. Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Dagstuhl Reports. 2(1)
[1438] .
2012. Dimension spectra of random subfractals of self-similar fractals. Ninth International Conference on Computability and Complexity in Analysis (CCA 2012).
[1423] .
2011. Aplicaciones de la Dimensión Efectiva a la Complejidad Computacional y a los Algoritmos de Compresión de Datos. PhD
[1424] .
2011. Análisis filogenético molecular: Diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia. Master
[1292] .
2011. Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.
[1293] .
2011. Curves that must be retraced. Information and Computation. 209:992--1006.
[1304] .
2011. Workflows with model selection: a multilocus approach to phylogenetic analysis. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). 93/2011:39-47.
[1369] .
2011. Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics. 12:174(29pp.).
[1302] .
2010. Inseparability and Strong Hypotheses for Disjoint NP Pairs. Twenty-Seventh Symposium on Theoretical Aspects of Computer Science (STACS'10).
[1303] .
2010. Scalable Phylogenetics through Input Preprocessing.
[1306] .
2010. Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. 6158
[1308] .
2010. Resource-bounded Dimension in Computational Learning Theory. arXiv.
[1301] .
2009. Curves that must be retraced. Sixth International Conference on Computability and Complexity in Analysis (CCA 2009).
[1305] .
2009. Special Issue: Computation and Logic in the Real World. Theory of Computing Systems. 45(4)
[1309] .
2009. Exhaustive mitochondrial phylogenetics: challenges and solutions. 9th Workshop on Algorithms in Bioinformatics (WABI 2009).
[1310] .
2009. Building maintainable, exhaustive human mitochondrial phylogenies. 17 Annual International Conference on Intelligent Systems for Molecular Biology/8th European Conference.
[DPSSFc] .
2008. Dimensions of Points in Self-Similar Fractals. 5092:215-224.
[sdkcthsR] .
2008. Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. Theory of Computing Systems. 43:471-497.
[AMMP08] .
2008. Pushdown compression. :39-48.