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): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, VOLUME: 12075
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
2
TÍTULO: Mixed Sessions: the Other Side of the Tape  Full Text
AUTORES: Filipe Casal ; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
3
TÍTULO: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities  Full Text
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2019, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
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
NO MEU: DBLP
5
TÍTULO: Many-Sorted Equivalence of Shiny and Strongly Polite Theories  Full Text
AUTORES: Casal, F ; Rasga, J;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 60, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
6
TÍTULO: Classical Generalized Probabilistic Satisfiability
AUTORES: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLICAÇÃO: 2017, FONTE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
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: 2
NO MEU: ORCID | DBLP
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
NO MEU: ORCID
9
TÍTULO: Revisiting the Equivalence of Shininess and Politeness
AUTORES: Filipe Casal ; João Rasga;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP

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

Links Úteis

Ajuda

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