María-Inés Fernández-Camacho

Binary Search Trees, Recurrent Properties andWave Equations

José-Ramón Sánchez-Couso, María-Inés Fernández-Camacho, José-Ramón Sánchez-Couso, 2007, Fundam. Informaticae.

Reductions in binary search trees

José-Ramón Sánchez-Couso, María-Inés Fernández-Camacho, José-Ramón Sánchez-Couso, 2006, Theor. Comput. Sci..

Formal Specification of the Kademlia and the Kad Routing Tables in Maude

Isabel Pita, María-Inés Fernández-Camacho, I. Pita, 2012, WADT.

Psi‐series method for equality of random trees and quadratic convolution recurrences

Hsien-Kuei Hwang, Conrado Martínez, Hua-Huai Chern, 2014, Random Struct. Algorithms.