Multi AGV Industrial Supervisory System. - Ana Cruz; Diogo Matos; José Lima 001; Paulo Costa 001; Pedro Costa 001 (OL2A, 2021)

A Logic for Paraconsistent Transition Systems. - Ana Cruz; Alexandre Madeira; Luís Soares Barbosa (NCL, 2022)

Paraconsistent Transition Systems. - Ana Cruz; Alexandre Madeira; Luís Soares Barbosa (LSFA, 2022)

Augmented Reality and Digital Twin for Mineral Industry. - Diogo Francisco; Ana Cruz; Nuno Rodrigues; Alexandrino Gonçalves; Roberto Ribeiro (ICGI, 2023)