Follow
MARIA INES FERNANDEZ CAMACHO
MARIA INES FERNANDEZ CAMACHO
Profesora Titular de Universidad. Facultad de CC. Matem´ticas
Verified email at ucm.es
Title
Cited by
Cited by
Year
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
141990
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
102014
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
61994
Reductions in binary search trees
JR Sánchez-Couso, MI Fernández-Camacho
Theoretical computer science 355 (3), 327-353, 2006
52006
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
41991
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
32013
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
12013
Tamaño medio de árboles simplificados
MI Fernández Camacho
Universitat Politècnica de Barcelona. Centre de Càlcul, 1987
11987
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
Mean size of simplified trees (Spanish: Tamaño medio de árboles simplificados)
MI Fernández Camacho
Univ. Minho, 1987
1987
The system can't perform the operation now. Try again later.
Articles 1–13