Publicaciones (13) Publicaciones en las que ha participado algún/a investigador/a

2014

  1. 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

  1. 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

  1. Binary search trees, recurrent properties and wave equations

    Fundamenta Informaticae, Vol. 81, Núm. 4, pp. 409-439

2006

  1. Reductions in binary search trees

    Theoretical Computer Science, Vol. 355, Núm. 3, pp. 327-353

1994

  1. 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)

  2. 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

  1. 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

  1. 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

  2. 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)

  3. 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

  1. Algebraic simplification in computer algebra: an analysis of bottom-up algorithms

    Theoretical Computer Science, Vol. 74, Núm. 3, pp. 273-298

1987

  1. Tamaño medio de árboles simplificados

    Questiió: Quaderns d'Estadística, Sistemes, Informatica i Investigació Operativa, Vol. 11, Núm. 2, pp. 93-116

  2. Tamaño medio de árboles simplificados

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987