AIM-UC: An application for QTAIM analysis. - David Vega; D. Almeida (J. Comput. Methods Sci. Eng., 2014)

MODELA DBT: Model-driven elaboration language applied to Dynamic Binary Translation. - Filipe Salgado; A. Martins; D. Almeida; Tiago Gomes 001; João Monteiro 001; Adriano Tavares (IECON, 2017)