Andreia Mordido
AuthID: R-00M-0C7
1
TÃTULO: Deadlock-free Context-free Session Types
AUTORES: Andreia Mordido; Jorge A Pérez;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.20356
AUTORES: Andreia Mordido; Jorge A Pérez;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.20356
INDEXADO EM: 
DBLP
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: System Fωμ with Context-free Session Types
AUTORES: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
AUTORES: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
INDEXADO EM: 
WOS
WOS