Filipe Manuel Rodrigues Casal


AuthID: R-004-VCV

Publicações Confirmadas: 9



1
TÍTULO: Mixed Sessions
AUTORES: Vasconcelos, VT ; Casal, F ; Almeida, B; Mordido, A ;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2
TÍTULO: Mixed Sessions: the Other Side of the Tape
AUTORES: Filipe Casal ; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: PLACES@ETAPS, VOLUME: 314
INDEXADO EM: Scopus DBLP CrossRef
3
TÍTULO: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2019, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4
TÍTULO: Kolmogorov One-Way Functions Revisited
AUTORES: Casal, F ; Rasga, J; Souto, A ;
PUBLICAÇÃO: 2018, FONTE: CRYPTOGRAPHY, VOLUME: 2, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
5
TÍTULO: Many-Sorted Equivalence of Shiny and Strongly Polite Theories
AUTORES: Casal, F ; Rasga, J;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 60, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
6
TÍTULO: Classical Generalized Probabilistic Satisfiability
AUTORES: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLICAÇÃO: 2017, FONTE: IJCAI
INDEXADO EM: Scopus DBLP CrossRef: 1
7
TÍTULO: Generalized Probabilistic Satisfiability
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
8
TÍTULO: Multiple-Model Adaptive State Estimation of the HIV-1 Infection using a Moving Horizon Approach
AUTORES: Casal, FR ; A. Pedro Aguiar ; Lemos, JM;
PUBLICAÇÃO: 2013, FONTE: European Control Conference (ECC) in 2013 EUROPEAN CONTROL CONFERENCE (ECC)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
9
TÍTULO: Revisiting the Equivalence of Shininess and Politeness
AUTORES: Filipe Casal ; João Rasga;
PUBLICAÇÃO: 2013, FONTE: LPAR, VOLUME: 8312 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service