Optimal Natural Dualities: the Structure of Failsets. - Maria João Antunes Dias Gouveia Saramago; Hilary A. Priestley (Int. J. Algebra Comput., 2002)

Canonical Extensions and Profinite Completions of Semilattices and Lattices. - Maria João Antunes Dias Gouveia Saramago; Hilary A. Priestley (Order, 2014)

Aleph1 and the Modal mu-Calculus. - Maria João Gouveia; Luigi Santocanale (CSL, 2017)

MIX star -Autonomous Quantales and the Continuous Weak Order. - Maria João Gouveia; Luigi Santocanale (RAMiCS, 2018)

Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version). - Silvio Ghilardi; Maria João Gouveia; Luigi Santocanale (CoRR, 2018)

Mix ⋆-autonomous quantales and the continuous weak order. - Maria João Gouveia; Luigi Santocanale (CoRR, 2018)

The continuous weak order. - Maria João Gouveia; Luigi Santocanale (CoRR, 2018)

ℵ1 and the modal μ-calculus. - Maria João Gouveia; Luigi Santocanale (Log. Methods Comput. Sci., 2019)

INTERAQUATICA - Designing Interactive Aquatic Experiences with Geodesic Domes In-the-Wild. - Marko Radeta; Miguel Andrade; Rúben Freitas; Michael Sousa; Antonio Ramos; Victor Azevedo; Jorge Lopes; Ricardo Jardim; João Gouveia; Maria João Gouveia; Telmo Gonçalves; Pedro Pinto; et al. (IMX, 2020)

Fixed-point Elimination in the Intuitionistic Propositional Calculus. - Silvio Ghilardi; Maria João Gouveia; Luigi Santocanale (ACM Trans. Comput. Log., 2020)

Permutation Reconstruction From a Few Large Patterns. - Maria João Gouveia; Erkko Lehtonen (Electron. J. Comb., 2021)