Relative and inertial attitude determination in three-vehicle long formations. - Pedro Cruz 003; Pedro Batista 001 (IROS, 2018)

Special Cases in the Attitude Determination of Three-Vehicle Heterogeneous Formations. - Pedro Cruz 003; Pedro Tiago Martins Batista (CoDIT, 2020)

Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts. - Thomas Durieux; João F. Ferreira 001; Rui Abreu 001; Pedro Cruz 003 (ICSE, 2020)

SmartBugs: A Framework to Analyze Solidity Smart Contracts. - João F. Ferreira 001; Pedro Cruz 003; Thomas Durieux; Rui Abreu 001 (ASE, 2020)

Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts. - Thomas Durieux; João F. Ferreira 001; Rui Abreu 001; Pedro Cruz 003 (Zenodo, 2020)

Attitude observers for three-vehicle heterogeneous formations based on the Lagrange-d'Alembert principle. - Pedro Cruz 003; Pedro Tiago Martins Batista; Amit K. Sanyal (ECC, 2021)

Characterization of Degenerate Configurations in Attitude Determination of Three-Vehicle Heterogeneous Formations. - Pedro Cruz 003; Pedro Batista 001 (Sensors, 2021)

Attitude Uncertainty Analysis of a Three-Vehicle Constrained Formation. - Pedro Cruz 003; Pedro Batista 001 (Sensors, 2022)