MEMBER

Andreia Mordido

Profile Picture of Andreia Mordido

ONGOING

Acronym Title Funding Entity Start Date End Date
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 29/02/2024

PAST

Acronym Title Funding Entity Start Date End Date
EUTypes The European Research Network on Types for Programming and Verification COST ACTION 24/03/2016 20/03/2020
to
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning. Nested Session Types. In Programming Languages and Systems,Lecture Notes in Computer Science , 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. In Electronic Proceedings in Theoretical Computer Science, pages 12-23. Open Publishing Association, 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. 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]