CryingJackpot: Network Flows and Performance Counters against Cryptojacking. - Gilberto Gomes; Luís Dias; Miguel Correia 001 (NCA, 2020)

The Implicative Conditional. - Eric Raidl; Gilberto Gomes (J. Philos. Log., 2024)

Counterexamples to Import-Export in Conditionals: A Logical Analysis. - Eric Raidl; Gilberto Gomes (WoLLIC, 2025)