Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. - Ana Vazquez; Mohamed El-Menshawy; Jamal Bentahar (FiCloud, 2015)

Accurate Genomic Prediction Of Human Height. - Louis Lello; Steven G. Avery; Laurent Tellier; Ana Vazquez; Gustavo de los Campos; Stephen D. H. Hsu (CoRR, 2017)