Publications by the researcher in collaboration with José Luis Freire Nistal (3)

2005

  1. Towards a certified and efficient computing of gröbrier bases

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

2004

  1. Development of a scalable, fault tolerant, and low cost cluster-based e-payment system with a distributed functional kernel

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2809, pp. 220-230

2001

  1. Fusion in Coq

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