Andreia Mordido
AuthID: R-00M-0C7
1
TÃTULO: Kind inference for the FREEST programming language
AUTORES: Almeida, Bernardo; Mordido, Andreia; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2026, FONTE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2023 in JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 148
AUTORES: Almeida, Bernardo; Mordido, Andreia; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2026, FONTE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2023 in JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 148
2
TÃTULO: Local Type Inference for Context-Free Session Types Full Text
AUTORES: Almeida, Bernardo; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2025, FONTE: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2505.20855, NÚMERO: 420
AUTORES: Almeida, Bernardo; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2025, FONTE: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2505.20855, NÚMERO: 420
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP3
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
DBLP4
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
DBLP5
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
DBLP6
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
WOS7
TÃTULO: AlgST
AUTORES: Janek Spaderna; Peter Thiemann; Andreia Mordido; Vasco Thudichum Vasconcelos;
PUBLICAÇÃO: 2023
AUTORES: Janek Spaderna; Peter Thiemann; Andreia Mordido; Vasco Thudichum Vasconcelos;
PUBLICAÇÃO: 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP8
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