- V. T. Vasconcelos, F. Casal, B. Almeida, A. Mordido Mixed Sessions, in European Symposium on Programming, pp. 715-742, Springer, Cham, 2020.
- C. Caleiro, F. Casal, A. Mordido Generalized Probabilistic Satisfiability and Ap- plications to Modelling Attackers with Side-Channel Capabilities, Theoretical Computer Science, Volume 781, pp. 39-62, 2019.
- F. Casal, J. Rasga Many-Sorted Equivalence of Shiny and Strongly Polite Theories J Autom Reasoning. doi:10.1007/s10817-017-9411-y, 2018.
Filipe Manuel Rodrigues Casal
(Em Ciências até Agosto de 2021)
Publicações selecionadas