The Logical Essence of Compiling with Continuations. - José Espírito Santo; Filipa Mendes (FSCD, 2023)

Decision support tool to define the optimal pool testing strategy for SARS-CoV-2. - Bruno Barracosa; João Felício; Ana Carvalho; Leonilde M. Moreira; Filipa Mendes; Sandra Cabo Verde; Tânia Pinto-Varela (Decis. Support Syst., 2023)

The logical essence of call-by-name CPS translations. - José Espírito Santo; Filipa Mendes (PPDP, 2024)