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

According to our database, María-Inés Fernández-Camacho authored at least 7 papers between 1990 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

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

Hua-Huai Chern, María-Inés Fernández-Camacho, Hsien-Kuei Hwang, Conrado Martínez

Random Struct. Algorithms, 2014

2012

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

Isabel Pita, María-Inés Fernández-Camacho

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

2007

Binary Search Trees, Recurrent Properties andWave Equations.

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

Fundam. Informaticae, 2007

2006

Reductions in binary search trees.

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

Theor. Comput. Sci., 2006

1994

Average-Case Analysis of Pattern-Matching in Trees under the BST Probability Model.

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

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1991

On Narrowing Strategies for Partial Non-Strict Functions.

David de Frutos-Escrig, María-Inés Fernández-Camacho

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1990

Algebraic Simplification in Computer Algebra: An Analysis of Bottom-up Algorithms.

María-Inés Fernández-Camacho, Jean-Marc Steyaert

Theor. Comput. Sci., 1990