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 |
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos. Subtyping Context-free Session Types. In International Conference on Concurrency Theory (CONCUR), 2023 [Biblios]
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos. Parameterized Algebraic Protocols. In Proceedings of the ACM on Programming Languages, pages 1389-1413(PLDI). Association for Computing Machinery (ACM), 2023 [Biblios]
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos. System $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 Almeida, Andreia Mordido, Vasco T. Vasconcelos. Kind Inference for the FreeST Programming Language. In Electronic Proceedings in Theoretical Computer Science, pages 1-13. Open Publishing Association, 2023 [Biblios]
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos. Polymorphic lambda calculus with context-free session types. Information and Computation, 289, Elsevier BV, 2022 [Biblios]
Ankush Das, Henry Deyoung, Andreia Mordido, Frank Pfenning. Nested Session Types. ACM Transactions on Programming Languages and Systems, 44(3):1-45, Association for Computing Machinery (ACM), 2022 [Biblios]
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos. Higher-order Context-free Session Types in System F. In Electronic Proceedings in Theoretical Computer Science, pages 24-35. Open Publishing Association, 2022 [Biblios]
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos. Mixed sessions. Theoretical Computer Science, 897, Elsevier BV, 2022 [Biblios]
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning. Polarized Subtyping. In European Symposium on Programming 2022, pages 431-461. Springer International Publishing, 2022 [Biblios]
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos. Protocol-based Smart Contract Generation. In Workshop on Trusted Smart Contracts, 2022 [Biblios]
Barros, Diogo Filipe da Paz de, Vasconcelos, Vasco Thudichum, Mordido, Andreia. Shared Channels on Context-free Session Types. Master's dissertation, 2022 [Biblios]
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning. Nested Session Types. In Programming Languages and Systems,Lecture Notes in Computer Science . Springer International Publishing, 2021 [Biblios]
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos. Mixed Sessions: the Other Side of the Tape. In Electronic Proceedings in Theoretical Computer Science, pages 46-60. Open Publishing Association, 2020 [Biblios]
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. Deciding 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. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido. Mixed Sessions. In Programming Languages and Systems,Lecture Notes in Computer Science, pages 715-742. Springer International Publishing, 2020 [Biblios]
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. FreeST: Context-free Session Types in a Functional Language, Electronic Proceedings in Theoretical Computer Science, 2019 [Biblios]
Andreia Mordido, Carlos Caleiro. Probabilistic logic over equations and domain restrictions. Mathematical Structures in Computer Science, 1-24, Cambridge University Press (CUP), 2019 [Biblios]
Carlos Caleiro, Filipe Casal, Andreia Mordido. Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities. Theoretical Computer Science, Elsevier BV, 2019 [Biblios]
Silva, Bruno Henrique Batista Cruz da, Mordido, Andreia Filipa Torcato. O turismo inteligente: validação e análise da deslocação de turistas. Master's dissertation, 2019 [Biblios]
Carlos Caleiro, Filipe Casal, Andreia Mordido. Classical 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 Caleiro, Filipe Casal, Andreia Mordido. Generalized Probabilistic Satisfiability. Electronic Notes in Theoretical Computer Science, 332, Elsevier BV, 2017 [Biblios]
Andreia Mordido, Carlos Caleiro. An Equation-Based Classical Logic. Logic, Language, Information, and Computation,Lecture Notes in Computer Science, 9160, Springer Berlin Heidelberg, 2015 [Biblios]