Filipe Casal

Multiple-model adaptive state estimation of the HIV-1 infection using a moving horizon approach

Antonio Pedro Aguiar, A. Pedro Aguiar, João Miranda Lemos, 2013, 2013 European Control Conference (ECC).

Kolmogorov One-Way Functions Revisited

João Rasga, André Souto, Filipe Casal, 2018, Cryptogr..

Equivalence of Shiny and Strongly Polite Theories

Filipe Casal, 2014 .

Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities

Andreia Mordido, Carlos Caleiro, Filipe Casal, 2019, Theor. Comput. Sci..

Many-Sorted Equivalence of Shiny and Strongly Polite Theories

João Rasga, Filipe Casal, J. Rasga, 2018, Journal of Automated Reasoning.

Generalized Probabilistic Satisfiability

Andreia Mordido, Carlos Caleiro, Filipe Casal, 2017, LSFA.