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

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

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

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

Estimating Code Running Time Complexity with Machine Learning. - Ricardo J. Pfitscher; Gabriel B. Rodenbusch; Anderson Dias; Paulo Vieira; Nuno M. M. D. Fouto (BRACIS (2), 2023)