Andreia Mordido
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FORTE | Deadlock-Free Context-Free Session Types. | Andreia Mordido, Jorge A. Prez |
| 2024 | ENASE | Towards a SQL Injection Vulnerability Detector Based on Session Types. | Antnio Silvestre, Ibria Medeiros, Andreia Mordido |
| 2023 | CONCUR | Subtyping Context-Free Session Types. | Gil Silva, Andreia Mordido, Vasco T. Vasconcelos |
| 2023 | ESOP | System F | Diogo Poas, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos |
| 2022 | ESOP | Polarized Subtyping. | Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
| 2022 | FC | Protocol-Based Smart Contract Generation. | Afonso Falco, Andreia Mordido, Vasco T. Vasconcelos |
| 2021 | ESOP | Nested Session Types. | Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
| 2020 | ESOP | Mixed Sessions. | Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido |
| 2020 | TACAS | Deciding the Bisimilarity of Context-Free Session Types. | Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos |
| 2017 | IJCAI | Classical Generalized Probabilistic Satisfiability. | Carlos Caleiro, Filipe Casal, Andreia Mordido |
| 2015 | WoLLIC | An Equation-Based Classical Logic. | Andreia Mordido, Carlos Caleiro |