Towards a Versatile Pointer Analysis Framework. - Rosa Castillo; Adrian Tineo; Francisco Corbera; Angeles G. Navarro; Rafael Asenjo; Emilio L. Zapata (Euro-Par, 2006)

Complete Def-Use Analysis in Recursive Programs with Dynamic Data Structures. - Rosa Castillo; Francisco Corbera; Angeles G. Navarro; Rafael Asenjo; Emilio L. Zapata (Euro-Par Workshops, 2008)

Parallelizing irregular C codes assisted by interprocedural shape analysis. - Rafael Asenjo; Rosa Castillo; Francisco Corbera; Angeles G. Navarro; Adrian Tineo; Emilio L. Zapata (IPDPS, 2008)

Conflict Analysis for heap-based Data Dependence Detection. - Rosa Castillo; Francisco Corbera; Angeles G. Navarro; Rafael Asenjo; Emilio L. Zapata (PARCO, 2009)

A data dependence test based on the projection of paths over shape graphs. - Angeles G. Navarro; Francisco Corbera; Rafael Asenjo; Rosa Castillo; Emilio L. Zapata (J. Parallel Distributed Comput., 2012)