Stone Duality and the Substitution Principle. - Célia Borlido; Silke Czarnetzki; Mai Gehrke; Andreas Krebs (CSL, 2017)

Complete κ-reducibility of pseudovarieties of the form DRH. - Jorge Almeida 001; Célia Borlido (Int. J. Algebra Comput., 2017)

The κ-word problem over DRH. - Célia Borlido (Theor. Comput. Sci., 2017)

A note on powers of Boolean spaces with internal semigroups. - Célia Borlido; Mai Gehrke (CoRR, 2018)

Difference hierarchies and duality with an application to formal languages. - Célia Borlido; Mai Gehrke; Andreas Krebs; Howard Straubing (CoRR, 2018)

Difference-restriction algebras of partial functions: axiomatisations and representations. - Célia Borlido; Brett McLean (CoRR, 2020)

Difference-restriction algebras of partial functions with operators: discrete duality and completion. - Célia Borlido; Brett McLean (CoRR, 2020)

Substitution Principle and semidirect products. - Célia Borlido; Mai Gehrke (Math. Struct. Comput. Sci., 2023)

Pervin Spaces and Frith Frames: Bitopological Aspects and Completion. - Célia Borlido; Anna Laura Suarez (Appl. Categorical Struct., 2023)