MARÍA INÉS
FERNÁNDEZ CAMACHO
Profesora titular de universidad
Publicaciones (13) Publicaciones en las que ha participado algún/a investigador/a
2014
-
Psi-series method for equality of random trees and quadratic convolution recurrences
Random Structures and Algorithms, Vol. 44, Núm. 1, pp. 67-108
2013
-
Formal specification of the Kademlia and the Kad routing tables in Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
Binary search trees, recurrent properties and wave equations
Fundamenta Informaticae, Vol. 81, Núm. 4, pp. 409-439
2006
-
Reductions in binary search trees
Theoretical Computer Science, Vol. 355, Núm. 3, pp. 327-353
1994
-
Average-case analysis of pattern-matching in trees under the BST probability model
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Un método de estimación de área en síntesis de alto nivel
Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria
1993
-
Selección de módulos por particionamiento borroso
VIII Congreso Diseño de Circuitos Integrados: Málaga, 9 al 11 de noviembre de 1993
1991
-
Control del diseño en un sistema de síntesis de alto nivel
Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991
-
On narrowing strategies for partial non-strict functions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Un sistema flexible de síntesis de alto nivel
Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991
1990
-
Algebraic simplification in computer algebra: an analysis of bottom-up algorithms
Theoretical Computer Science, Vol. 74, Núm. 3, pp. 273-298
1987
-
Tamaño medio de árboles simplificados
Questiió: Quaderns d'Estadística, Sistemes, Informatica i Investigació Operativa, Vol. 11, Núm. 2, pp. 93-116
-
Tamaño medio de árboles simplificados
XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987