Andreia Mordido
AuthID: R-00M-0C7
1
TÃTULO: Polymorphic higher-order context-free session types Full Text
AUTORES: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
AUTORES: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP2
TÃTULO: Towards a SQL Injection Vulnerability Detector Based on Session Types
AUTORES: António Silvestre; Ibéria Medeiros; Andreia Mordido;
PUBLICAÇÃO: 2024, FONTE: 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024 in Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024.
AUTORES: António Silvestre; Ibéria Medeiros; Andreia Mordido;
PUBLICAÇÃO: 2024, FONTE: 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024 in Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024.
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP3
TÃTULO: An equation-based classical logic
AUTORES: Mordido, A; Caleiro, C;
PUBLICAÇÃO: 2015, FONTE: 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9160
AUTORES: Mordido, A; Caleiro, C;
PUBLICAÇÃO: 2015, FONTE: 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9160
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID