Andreia Mordido

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 31

Top Topics

Probabilistic Logic

Contractual Obligations

Attribute Grammars

Top Venues

Theor. Comput. Sci.

Publications

António Silvestre, Ibéria Medeiros, Andreia Mordido
Towards a SQL Injection Vulnerability Detector Based on Session Types. ENASE (2024)
Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
Parametric Subtyping for Structural Parametric Polymorphism. Proc. ACM Program. Lang. 8 (POPL) (2024)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
Polymorphic higher-order context-free session types. Theor. Comput. Sci. 1001 (2024)
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
Kind Inference for the FreeST Programming Language. CoRR (2023)
Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
Parametric Subtyping for Structural Parametric Polymorphism. CoRR (2023)
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
Subtyping Context-Free Session Types. CoRR (2023)
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
Parameterized Algebraic Protocols. CoRR (2023)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
with Context-free Session Types. CoRR (2023)
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
Subtyping Context-Free Session Types. CONCUR (2023)
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
with Context-free Session Types. ESOP (2023)
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
Parameterized Algebraic Protocols. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
Mixed sessions. Theor. Comput. Sci. 897 (2022)
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
Polymorphic lambda calculus with context-free session types. Inf. Comput. 289 (Part) (2022)
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Polarized Subtyping. CoRR (2022)
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
Protocol-Based Smart Contract Generation. Financial Cryptography Workshops (2022)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
Higher-order Context-free Session Types in System F. PLACES@ETAPS (2022)
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Nested Session Types. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Polarized Subtyping. ESOP (2022)
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Subtyping on Nested Polymorphic Session Types. CoRR (2021)
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Nested Session Types. ESOP (2021)
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
Protocol-based Smart Contract Generation. CoRR (2021)
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
Polymorphic Context-free Session Types. CoRR (2021)
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
Nested Session Types. CoRR (2020)
Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
Mixed Sessions. ESOP (2020)
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
Deciding the Bisimilarity of Context-Free Session Types. TACAS (2) (2020)
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
Mixed Sessions: the Other Side of the Tape. PLACES@ETAPS (2020)
Carlos Caleiro, Filipe Casal, Andreia Mordido
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities. Theor. Comput. Sci. 781 (2019)
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
FreeST: Context-free Session Types in a Functional Language. PLACES@ETAPS (2019)
Andreia Mordido, Carlos Caleiro
Probabilistic logic over equations and domain restrictions. Math. Struct. Comput. Sci. 29 (6) (2019)
Carlos Caleiro, Filipe Casal, Andreia Mordido
Classical Generalized Probabilistic Satisfiability. IJCAI (2017)
Carlos Caleiro, Filipe Casal, Andreia Mordido
Generalized Probabilistic Satisfiability. LSFA (2016)
Andreia Mordido, Carlos Caleiro
An Equation-Based Classical Logic. WoLLIC (2015)