Revisiting the Equivalence of Shininess and Politeness. - Filipe Casal; João Rasga (LPAR, 2013)

Generalized Probabilistic Satisfiability. - Carlos Caleiro; Filipe Casal; Andreia Mordido (LSFA, 2016)

Classical Generalized Probabilistic Satisfiability. - Carlos Caleiro; Filipe Casal; Andreia Mordido (IJCAI, 2017)

Kolmogorov One-Way Functions Revisited. - Filipe Casal; João Rasga; André Souto (Cryptogr., 2018)

Many-Sorted Equivalence of Shiny and Strongly Polite Theories. - Filipe Casal; João Rasga (J. Autom. Reason., 2018)

Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities. - Carlos Caleiro; Filipe Casal; Andreia Mordido (Theor. Comput. Sci., 2019)

Mixed Sessions. - Vasco T. Vasconcelos; Filipe Casal; Bernardo Almeida; Andreia Mordido (ESOP, 2020)

Mixed Sessions: the Other Side of the Tape. - Filipe Casal; Andreia Mordido; Vasco T. Vasconcelos (PLACES@ETAPS, 2020)

Mixed sessions. - Filipe Casal; Andreia Mordido; Vasco T. Vasconcelos (Theor. Comput. Sci., 2022)