A Formal Machines as a Player of a Game. - Paulo Vieira 001; Juan M. Corchado (DCAI, 2015)

Blockchain and the Riemann Zeta Function. - Paulo Vieira 001 (BLOCKCHAIN, 2021)

Tokenizing the Portuguese Accounting Standards System. - Paulo Vieira 001; Helena Saraiva (BLOCKCHAIN, 2022)

Multi-party Computation on Multi-agent Architecture to Anonymize Matrix Data Structures. - Paulo Vieira 001; Cecilia Rosa (DCAI (1), 2022)