Seguir
Filipe Casal
Filipe Casal
Trail of Bits
Email confirmado em trailofbits.com - Página inicial
Título
Citado por
Citado por
Ano
Generalized probabilistic satisfiability
C Caleiro, F Casal, A Mordido
Electronic Notes in Theoretical Computer Science 332, 39-56, 2017
122017
Many-Sorted Equivalence of Shiny and Strongly Polite Theories
F Casal, J Rasga
Journal of Automated Reasoning 60 (2), 221-236, 2017
92017
Mixed sessions
F Casal, A Mordido, VT Vasconcelos
Theoretical Computer Science 897, 23-48, 2022
72022
Mixed sessions
VT Vasconcelos, F Casal, B Almeida, A Mordido
European Symposium on Programming, 715-742, 2020
72020
Classical Generalized Probabilistic Satisfiability.
C Caleiro, F Casal, A Mordido
IJCAI, 908-914, 2017
72017
Revisiting the equivalence of shininess and politeness
F Casal, J Rasga
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
72013
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
C Caleiro, F Casal, A Mordido
Theoretical Computer Science 781, 39-62, 2019
42019
Kolmogorov one-way functions revisited
F Casal, J Rasga, A Souto
Cryptography 2 (2), 9, 2018
22018
Mixed sessions: the other side of the tape
F Casal, A Mordido, VT Vasconcelos
arXiv preprint arXiv:2004.01324, 2020
12020
Multiple-model adaptive state estimation of the HIV-1 infection using a moving horizon approach
FR Casal, AP Aguiar, JM Lemos
2013 European Control Conference (ECC), 4202-4207, 2013
12013
A Nelson-Oppen combination theorem for many-sorted shiny theories
F Casal
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–11