Publicaciones en colaboración con investigadores/as de Universitat Politècnica de Catalunya (4)

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

1991

  1. Acceptance automata: A framework for specifying and verifying TCSP parallel systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1990

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

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

1989

  1. Specification and verification of TCSP systems by means of partial abstract data types

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)