Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. - Manuel Palomo-Duarte; Antonio García-Domínguez; Inmaculada Medina-Bulo; Alejandro Álvarez-Ayllón; Javier Santacruz (ICWE, 2010)

Quantification and Visualization of a Heritage Conservation in a Quito Neighbourhood (Ecuador). - Taras Agryzkov; José Luis Oliver; Javier Santacruz; Leandro Tortosa; José-Francisco Vicent (HAIS, 2017)