Publications in collaboration with researchers from University of Franche-Comté (3)

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings

2016

  1. A GCD algorithm by values

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

2010

  1. Local bézout theorem

    Journal of Symbolic Computation, Vol. 45, Núm. 10, pp. 975-985