Publicaciones en colaboración con investigadoras/es de The Microsoft Research - University of Trento Centre for Computational and Systems Biology (3)

2020

  1. ANHIR: Automatic Non-Rigid Histological Image Registration Challenge

    IEEE Transactions on Medical Imaging, Vol. 39, Núm. 10, pp. 3042-3052

2015

  1. An assertional proof of the stability and correctness of Natural Mergesort

    ACM Transactions on Computational Logic, Vol. 17, Núm. 1

  2. Human-computer interaction and international public policymaking: A framework for understanding and taking future actions

    Foundations and Trends in Human-Computer Interaction, Vol. 9, Núm. 2, pp. 69-149