Facultad de Informática
Centro
The Microsoft Research - University of Trento Centre for Computational and Systems Biology
Trento, ItaliaPublicaciones en colaboración con investigadoras/es de The Microsoft Research - University of Trento Centre for Computational and Systems Biology (3)
2020
-
ANHIR: Automatic Non-Rigid Histological Image Registration Challenge
IEEE Transactions on Medical Imaging, Vol. 39, Núm. 10, pp. 3042-3052
2015
-
An assertional proof of the stability and correctness of Natural Mergesort
ACM Transactions on Computational Logic, Vol. 17, Núm. 1
-
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