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): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, VOLUME: 12075
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
2
TITLE: Mixed Sessions: the Other Side of the Tape  Full Text
AUTHORS: Filipe Casal ; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
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
IN MY: ORCID | DBLP
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
IN MY: DBLP
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: 2
IN MY: ORCID | DBLP
6
TITLE: Classical Generalized Probabilistic Satisfiability
AUTHORS: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
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: 2
IN MY: ORCID | DBLP
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: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP

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

Useful Links

Get Help

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