Andreia Mordido
AuthID: R-00M-0C7
1
TITLE: Polymorphic higher-order context-free session types Full Text
AUTHORS: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T.;
PUBLISHED: 2024, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
AUTHORS: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T.;
PUBLISHED: 2024, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP2
TITLE: Towards a SQL Injection Vulnerability Detector Based on Session Types
AUTHORS: António Silvestre; Ibéria Medeiros; Andreia Mordido;
PUBLISHED: 2024, SOURCE: 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.
AUTHORS: António Silvestre; Ibéria Medeiros; Andreia Mordido;
PUBLISHED: 2024, SOURCE: 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.
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP3
TITLE: System Fωμ with Context-free Session Types
AUTHORS: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: WOS
WOS4
TITLE: AlgST
AUTHORS: Janek Spaderna; Peter Thiemann; Andreia Mordido; Vasco Thudichum Vasconcelos;
PUBLISHED: 2023
AUTHORS: Janek Spaderna; Peter Thiemann; Andreia Mordido; Vasco Thudichum Vasconcelos;
PUBLISHED: 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: An equation-based classical logic
AUTHORS: Mordido, A; Caleiro, C;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Mordido, A; Caleiro, C;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID