An Equation-Based Classical Logic. - Andreia Mordido; Carlos Caleiro (WoLLIC, 2015)

Generalized Probabilistic Satisfiability. - Carlos Caleiro; Filipe Casal; Andreia Mordido (LSFA, 2016)

Classical Generalized Probabilistic Satisfiability. - Carlos Caleiro; Filipe Casal; Andreia Mordido (IJCAI, 2017)

FreeST: Context-free Session Types in a Functional Language. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (PLACES@ETAPS, 2019)

Probabilistic logic over equations and domain restrictions. - Andreia Mordido; Carlos Caleiro (Math. Struct. Comput. Sci., 2019)

Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities. - Carlos Caleiro; Filipe Casal; Andreia Mordido (Theor. Comput. Sci., 2019)

Mixed Sessions. - Vasco T. Vasconcelos; Filipe Casal; Bernardo Almeida; Andreia Mordido (ESOP, 2020)

Deciding the Bisimilarity of Context-Free Session Types. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (TACAS (2), 2020)

Mixed Sessions: the Other Side of the Tape. - Filipe Casal; Andreia Mordido; Vasco T. Vasconcelos (PLACES@ETAPS, 2020)

Subtyping on Nested Polymorphic Session Types. - Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning (CoRR, 2021)

Polymorphic Context-free Session Types. - Bernardo Almeida; Andreia Mordido; Peter Thiemann 001; Vasco T. Vasconcelos (CoRR, 2021)

Polarized Subtyping. - Zeeshan Lakhani; Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning (ESOP, 2022)

Protocol-Based Smart Contract Generation. - Afonso Falcão; Andreia Mordido; Vasco T. Vasconcelos (Financial Cryptography Workshops, 2022)

Higher-order Context-free Session Types in System F. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (PLACES@ETAPS, 2022)

Polymorphic lambda calculus with context-free session types. - Bernardo Almeida; Andreia Mordido; Peter Thiemann 001; Vasco T. Vasconcelos (Inf. Comput., 2022)

Mixed sessions. - Filipe Casal; Andreia Mordido; Vasco T. Vasconcelos (Theor. Comput. Sci., 2022)

Nested Session Types. - Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning (ACM Trans. Program. Lang. Syst., 2022)

Subtyping Context-Free Session Types. - Gil Silva 002; Andreia Mordido; Vasco T. Vasconcelos (CONCUR, 2023)

System Fμ ømega with Context-free Session Types. - Diogo Poças; Diana Costa 001; Andreia Mordido; Vasco T. Vasconcelos (ESOP, 2023)

System Fμω with Context-free Session Types. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (CoRR, 2023)

Kind Inference for the FreeST Programming Language. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (PLACES@ETAPS, 2023)

Parameterized Algebraic Protocols. - Andreia Mordido; Janek Spaderna; Peter Thiemann 001; Vasco T. Vasconcelos (Proc. ACM Program. Lang., 2023)

AlgST. - Janek Spaderna; Peter Thiemann 001; Andreia Mordido; Vasco Thudichum Vasconcelos (Zenodo, 2023)

Towards a SQL Injection Vulnerability Detector Based on Session Types. - António Silvestre; Ibéria Medeiros; Andreia Mordido (ENASE, 2024)

Polymorphic higher-order context-free session types. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (Theor. Comput. Sci., 2024)

Parametric Subtyping for Structural Parametric Polymorphism. - Henry DeYoung; Andreia Mordido; Frank Pfenning; Ankush Das (Proc. ACM Program. Lang., 2024)

Local Type Inference for Context-Free Session Types. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (PLACES@ETAPS, 2025)

Deadlock-free Context-free Session Types. - Andreia Mordido; Jorge A. Pérez 001 (CoRR, 2025)