Publicaciones en colaboración con investigadores/as de Universidad de Zaragoza (4)

2023

  1. Evaluación y mejora del Kit en Tecnologías Informáticas

    Evaluación y mejora del Kit en Tecnologías Informáticas

2022

  1. Curso 0 en Tecnologías Informáticas

    Curso 0 en Tecnologías Informáticas

2021

  1. SpheroidJ: An Open-Source Set of Tools for Spheroid Segmentation

    Computer Methods and Programs in Biomedicine, Vol. 200

1999

  1. Specifying Implementations

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC