Linkedin

Member

Andreia Mordido

ONGOING

Acronym Title Funding Entity Start Date End Date
EuroProofNet European Research Network on Formal Proofs COST ACTION 11/10/2021 10/10/2025
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 31/08/2024

PAST

Acronym Title Funding Entity Start Date End Date
RAP Resource Aware Programming FCT 13/01/2022 12/01/2024
EUTypes The European Research Network on Types for Programming and Verification COST ACTION 24/03/2016 20/03/2020
CONFIDENT Communication Contracts for Distributed Systems Development FCT 01/05/2016 31/10/2019
to
António SilvestreIbéria MedeirosAndreia MordidoTowards a SQL Injection Vulnerability Detector Based on Session Types. In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering. SCITEPRESS - Science and Technology Publications, 2024 [Biblios]
Gil SilvaAndreia MordidoVasco T. VasconcelosSubtyping Context-free Session Types. In International Conference on Concurrency Theory (CONCUR), 2023 [Biblios]
Andreia MordidoJanek SpadernaPeter ThiemannVasco T. VasconcelosParameterized Algebraic Protocols. In Proceedings of the ACM on Programming Languages, pages 1389-1413(PLDI). Association for Computing Machinery (ACM), 2023 [Biblios]
Diogo PoçasDiana CostaAndreia MordidoVasco T. VasconcelosSystem $F^\mu _\omega$ with Context-free Session Types. In Programming Languages and Systems,Lecture Notes in Computer Science, pages 392-420. Springer Nature Switzerland, 2023 [Biblios]
Bernardo AlmeidaAndreia MordidoVasco T. VasconcelosKind Inference for the FreeST Programming Language. In Electronic Proceedings in Theoretical Computer Science, pages 1-13. Open Publishing Association, 2023 [Biblios]
Ankush DasHenry DeyoungAndreia MordidoFrank PfenningNested Session Types. ACM Transactions on Programming Languages and Systems, 44(3):1-45, Association for Computing Machinery (ACM), 2022 [Biblios]
Diana CostaAndreia MordidoDiogo PoçasVasco T. VasconcelosHigher-order Context-free Session Types in System F. In Electronic Proceedings in Theoretical Computer Science, pages 24-35. Open Publishing Association, 2022 [Biblios]
Filipe CasalAndreia MordidoVasco T. VasconcelosMixed sessions. Theoretical Computer Science, 897, Elsevier BV, 2022 [Biblios]
Zeeshan LakhaniAnkush DasHenry DeYoungAndreia MordidoFrank PfenningPolarized Subtyping. In European Symposium on Programming 2022, pages 431-461. Springer International Publishing, 2022 [Biblios]
Ankush DasHenry DeYoungAndreia MordidoFrank PfenningNested Session Types. In Programming Languages and Systems,Lecture Notes in Computer Science . Springer International Publishing, 2021 [Biblios]
Filipe CasalAndreia MordidoVasco T. VasconcelosMixed Sessions: the Other Side of the Tape. In Electronic Proceedings in Theoretical Computer Science, pages 46-60. Open Publishing Association, 2020 [Biblios]
Bernardo AlmeidaAndreia MordidoVasco T. VasconcelosDeciding the Bisimilarity of Context-Free Session Types. In Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science, pages 39-56. Springer International Publishing, 2020 [Biblios]
Vasco T. VasconcelosFilipe CasalBernardo AlmeidaAndreia MordidoMixed Sessions. In Programming Languages and Systems,Lecture Notes in Computer Science, pages 715-742. Springer International Publishing, 2020 [Biblios]
Andreia MordidoCarlos CaleiroProbabilistic logic over equations and domain restrictions. Mathematical Structures in Computer Science, 1-24, Cambridge University Press (CUP), 2019 [Biblios]
Carlos CaleiroFilipe CasalAndreia MordidoClassical Generalized Probabilistic Satisfiability. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017 [Biblios]
Carlos CaleiroFilipe CasalAndreia MordidoGeneralized Probabilistic Satisfiability. Electronic Notes in Theoretical Computer Science, 332, Elsevier BV, 2017 [Biblios]
Andreia MordidoCarlos CaleiroAn Equation-Based Classical Logic. Logic, Language, Information, and Computation,Lecture Notes in Computer Science, 9160, Springer Berlin Heidelberg, 2015 [Biblios]