Andreia Mordido

36 papers A* 1A 4B 2C 1Journal 20Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Kind inference for the FreeST programming language.
J. Log. Algebraic Methods Program.
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2026 J jnl
Subtyping context-free session types.
Theor. Comput. Sci.
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
2025 J jnl
Deadlock-free Context-free Session Types.
CoRR
Andreia Mordido, Jorge A. Pérez
2025 — conf
Local Type Inference for Context-Free Session Types.
PLACES@ETAPS
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2024 J jnl
Parametric Subtyping for Structural Parametric Polymorphism.
Proc. ACM Program. Lang.
Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
2024 J jnl
Polymorphic higher-order context-free session types.
Theor. Comput. Sci.
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2024 B conf
Towards a SQL Injection Vulnerability Detector Based on Session Types.
ENASE
António Silvestre, Ibéria Medeiros, Andreia Mordido
2023 — conf
Kind Inference for the FreeST Programming Language.
PLACES@ETAPS
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2023 J jnl
Parameterized Algebraic Protocols.
CoRR
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2023 J jnl
Parameterized Algebraic Protocols.
Proc. ACM Program. Lang.
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2023 J jnl
Parametric Subtyping for Structural Parametric Polymorphism.
CoRR
Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das
2023 B conf
Subtyping Context-Free Session Types.
CONCUR
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
2023 J jnl
Subtyping Context-Free Session Types.
CoRR
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
2023 A conf
System F
ESOP
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
2023 J jnl
System F
CoRR
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2022 — conf
Higher-order Context-free Session Types in System F.
PLACES@ETAPS
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2022 J jnl
Mixed sessions.
Theor. Comput. Sci.
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
2022 J jnl
Nested Session Types.
ACM Trans. Program. Lang. Syst.
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2022 A conf
Polarized Subtyping.
ESOP
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2022 J jnl
Polarized Subtyping.
CoRR
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2022 J jnl
Polymorphic lambda calculus with context-free session types.
Inf. Comput.
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
2022 — conf
Protocol-Based Smart Contract Generation.
Financial Cryptography Workshops
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
2021 A conf
Nested Session Types.
ESOP
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2021 J jnl
Polymorphic Context-free Session Types.
CoRR
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
2021 J jnl
Protocol-based Smart Contract Generation.
CoRR
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
2021 J jnl
Subtyping on Nested Polymorphic Session Types.
CoRR
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2020 — conf
Deciding the Bisimilarity of Context-Free Session Types.
TACAS (2)
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2020 A conf
Mixed Sessions.
ESOP
Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
2020 — conf
Mixed Sessions: the Other Side of the Tape.
PLACES@ETAPS
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
2020 J jnl
Nested Session Types.
CoRR
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
2019 — conf
FreeST: Context-free Session Types in a Functional Language.
PLACES@ETAPS
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2019 J jnl
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities.
Theor. Comput. Sci.
Carlos Caleiro, Filipe Casal, Andreia Mordido
2019 J jnl
Probabilistic logic over equations and domain restrictions.
Math. Struct. Comput. Sci.
Andreia Mordido, Carlos Caleiro
2017 A* conf
Classical Generalized Probabilistic Satisfiability.
IJCAI
Carlos Caleiro, Filipe Casal, Andreia Mordido
2016 — conf
Generalized Probabilistic Satisfiability.
LSFA
Carlos Caleiro, Filipe Casal, Andreia Mordido
2015 C conf
An Equation-Based Classical Logic.
WoLLIC
Andreia Mordido, Carlos Caleiro