Filipe Manuel Rodrigues Casal


AuthID: R-004-VCV

Confirmed Publications: 9



1
TITLE: Mixed Sessions
AUTHORS: Vasconcelos, VT ; Casal, F ; Almeida, B; Mordido, A ;
PUBLISHED: 2020, SOURCE: 29th European Symposium on Programming (ESOP) held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020), VOLUME: 12075
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
2
TITLE: Mixed Sessions: the Other Side of the Tape  Full Text
AUTHORS: Filipe Casal ; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: PLACES@ETAPS, VOLUME: 314
INDEXED IN: Scopus DBLP CrossRef
3
TITLE: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities  Full Text
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2019, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
4
TITLE: Kolmogorov One-Way Functions Revisited
AUTHORS: Casal, F ; Rasga, J; Souto, A ;
PUBLISHED: 2018, SOURCE: CRYPTOGRAPHY, VOLUME: 2, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5
TITLE: Many-Sorted Equivalence of Shiny and Strongly Polite Theories  Full Text
AUTHORS: Casal, F ; Rasga, J;
PUBLISHED: 2018, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 60, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID
6
TITLE: Classical Generalized Probabilistic Satisfiability
AUTHORS: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLISHED: 2017, SOURCE: IJCAI
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
7
TITLE: Generalized Probabilistic Satisfiability
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2017, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
8
TITLE: Multiple-Model Adaptive State Estimation of the HIV-1 Infection using a Moving Horizon Approach
AUTHORS: Casal, FR ; A. Pedro Aguiar ; Lemos, JM;
PUBLISHED: 2013, SOURCE: European Control Conference (ECC) in 2013 EUROPEAN CONTROL CONFERENCE (ECC)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
9
TITLE: Revisiting the Equivalence of Shininess and Politeness
AUTHORS: Filipe Casal ; João Rasga;
PUBLISHED: 2013, SOURCE: LPAR, VOLUME: 8312 LNCS
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service