Equivariant neural networks for recovery of Hadamard matrices. - Augusto Peres; Eduardo Dias 004; Luís Sarmento; Hugo Penedones (CoRR, 2022)

Bounded model checking distributed temporal logic. - Augusto Peres; Jaime Ramos; Francisco Dionísio (J. Log. Comput., 2023)