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

Publication Activity (10 Years)

Years Active: 1990-2014
Publications (10 Years): 0

Top Topics

Autonomous Systems

Specification Languages

Formal Specification

Object Oriented Design

Top Venues

Random Struct. Algorithms

Publications

Hua-Huai Chern, María-Inés Fernández-Camacho, Hsien-Kuei Hwang, Conrado Martínez
Psi-series method for equality of random trees and quadratic convolution recurrences. Random Struct. Algorithms 44 (1) (2014)
Isabel Pita, María-Inés Fernández-Camacho
Formal Specification of the Kademlia and the Kad Routing Tables in Maude. WADT (2012)
María-Inés Fernández-Camacho, José-Ramón Sánchez-Couso
Binary Search Trees, Recurrent Properties andWave Equations. Fundam. Informaticae 81 (4) (2007)
José-Ramón Sánchez-Couso, María-Inés Fernández-Camacho
Reductions in binary search trees. Theor. Comput. Sci. 355 (3) (2006)
José-Ramón Sánchez-Couso, María-Inés Fernández-Camacho
Average-Case Analysis of Pattern-Matching in Trees under the BST Probability Model. ICALP (1994)
David de Frutos-Escrig, María-Inés Fernández-Camacho
On Narrowing Strategies for Partial Non-Strict Functions. TAPSOFT, Vol.2 (1991)
María-Inés Fernández-Camacho, Jean-Marc Steyaert
Algebraic Simplification in Computer Algebra: An Analysis of Bottom-up Algorithms. Theor. Comput. Sci. 74 (3) (1990)