Algebraic simplification in computer algebra: an analysis of bottom-up algorithms R Casas, MI Fernández-Camacho, JM Steyaert Theoretical Computer Science 74 (3), 273-298, 1990 | 14 | 1990 |
Psi‐series method for equality of random trees and quadratic convolution recurrences HH Chern, MI Fernández‐Camacho, HK Hwang, C Martínez Random Structures & Algorithms 44 (1), 67-108, 2014 | 10 | 2014 |
Average-case analysis of pattern-matching in trees under the BST probability model JR Sánchez-Couso, MI Fernández-Camacho Automata, Languages and Programming: 21st International Colloquium, ICALP 94 …, 1994 | 6 | 1994 |
Reductions in binary search trees JR Sánchez-Couso, MI Fernández-Camacho Theoretical computer science 355 (3), 327-353, 2006 | 5 | 2006 |
Análisis medio de algoritmos de reducción sobre árboles MI Fernandez Camacho Universidad Complutense de Madrid, 2015 | 4* | 2015 |
On narrowing strategies for partial non-strict functions D de Frutos-Escrig, MI Fernández-Camacho International Joint Conference on Theory and Practice of Software …, 1991 | 4 | 1991 |
Formal specification of the Kademlia and the Kad routing tables in Maude I Pita, MI Fernández-Camacho Recent Trends in Algebraic Development Techniques: 21st International …, 2013 | 3 | 2013 |
Binary Search Trees, Recurrent Properties and Wave Equations MI Fernández-Camacho, JR Sánchez-Couso Fundamenta informaticae 81 (4), 409-439, 2008 | 3* | 2008 |
Formal specification of the Kademlia Routing table and the Kad Routing table in Maude I Pita, MI Fernández Camacho Technical Report 1/2013. Dept. Sistemas Informáticos y Computación …, 2013 | 1 | 2013 |
Tamaño medio de árboles simplificados MI Fernández Camacho Universitat Politècnica de Barcelona. Centre de Càlcul, 1987 | 1 | 1987 |
Algebraic simplification in computer algebra: an analysis of bottom-up algorithms R Cases Muñoz, MI Fernández Camacho, JM Steyaert | | 1988 |
Algebraic Simplification in Computer Algebra: An Analysis of Bottom-up Algorithms RC Muñoz, JM Steyaert, MIF Camacho Departament de Llenguatges i Sistemes Informàtics [de la] Universitat …, 1988 | | 1988 |
Average size of simplified trees (Spanish: Tamaño medio de árboles simplificados) MI Fernández Camacho Universitat Politècnica de Catalunya, 1987 | | 1987 |
Mean size of simplified trees (Spanish: Tamaño medio de árboles simplificados) MI Fernández Camacho Univ. Minho, 1987 | | 1987 |