Mário Pires

According to our database, Mário Pires authored at least 2 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

PACE: A DSL-based Approach to Manage Complex Build Pipelines.

Nelson Fonseca, João Paulo Fernandes, Mário Pires, Simão Melo de Sousa

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

2010

A Type System for Access Control Views in Object-Oriented Languages.

Mário Pires, Luís Caires

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010