A Type System for Access Control Views in Object-Oriented Languages. - Mário Pires; Luís Caires (ARSPA-WITS, 2010)

PACE: A DSL-based Approach to Manage Complex Build Pipelines. - Nelson Fonseca; João Paulo Fernandes; Mário Pires; Simão Melo de Sousa (SEAA, 2020)