BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for afmordido
(26)
2024
Towards a SQL Injection Vulnerability Detector Based on Session Types
(2024)
António Silvestre
Ibéria Medeiros
Andreia Mordido
Conference papers
2023
Subtyping Context-free Session Types
(2023)
Gil Silva
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2023
Parameterized Algebraic Protocols
(2023)
Andreia Mordido
Janek Spaderna
Peter Thiemann
Vasco T. Vasconcelos
Conference papers
2023
System $F^\\mu _\\omega$ with Context-free Session Types
(2023)
Diogo Poças
Diana Costa
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2023
Kind Inference for the FreeST Programming Language
(2023)
Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2023
SmartScribble, a protocol language for Plutus smart contracts
(2023)
Monteiro, Alexandre de Alegria Junceiro Mascarenhas
Mordido, Andreia Filipa Torcato
Vasconcelos, Vasco Thudichum
Academic documents
2023
Shared Channels on Context-free Session Types
(2023)
Barros, Diogo Filipe da Paz de
Vasconcelos, Vasco Thudichum
Mordido, Andreia
Academic documents
2022
Polymorphic lambda calculus with context-free session types
(2022)
Bernardo Almeida
Andreia Mordido
Peter Thiemann
Vasco T. Vasconcelos
Journal articles
2022
Nested Session Types
(2022)
Ankush Das
Henry Deyoung
Andreia Mordido
Frank Pfenning
Journal articles
2022
Higher-order Context-free Session Types in System F
(2022)
Diana Costa
Andreia Mordido
Diogo Poças
Vasco T. Vasconcelos
Conference papers
2022
Mixed sessions
(2022)
Filipe Casal
Andreia Mordido
Vasco T. Vasconcelos
Journal articles
2022
Protocol-based Smart Contract Generation
(2022)
Afonso Falcão
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2022
Polarized Subtyping
(2022)
Zeeshan Lakhani
Ankush Das
Henry DeYoung
Andreia Mordido
Frank Pfenning
Conference papers
2021
A protocol language for smart contracts
(2021)
Afonso Neves Ribeiro Freire Falcão
Andreia Filipa Torcato Mordido
Vasco Manuel Thudichum de Serpa Vasconcelos
Academic documents
2021
Nested Session Types
(2021)
Ankush Das
Henry DeYoung
Andreia Mordido
Frank Pfenning
Conference papers
2020
Mixed Sessions: the Other Side of the Tape
(2020)
Filipe Casal
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2020
Deciding the Bisimilarity of Context-Free Session Types
(2020)
Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2020
Gestão de acesso a dados no back-end: controlo de acesso baseado em funções e geração automática de relatórios
(2020)
Rui Filipe Vilaça Oliveira Peixoto
Andreia Filipa Torcato Mordido
Academic documents
2020
Mixed Sessions
(2020)
Vasco T. Vasconcelos
Filipe Casal
Bernardo Almeida
Andreia Mordido
Conference papers
2019
FreeST: Context-free Session Types in a Functional Language
(2019)
Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
Other
2019
Probabilistic logic over equations and domain restrictions
(2019)
Andreia Mordido
Carlos Caleiro
Journal articles
2019
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
(2019)
Carlos Caleiro
Filipe Casal
Andreia Mordido
Journal articles
2019
O turismo inteligente: validação e análise da deslocação de turistas
(2019)
Silva, Bruno Henrique Batista Cruz da
Mordido, Andreia Filipa Torcato
Academic documents
2017
Classical Generalized Probabilistic Satisfiability
(2017)
Carlos Caleiro
Filipe Casal
Andreia Mordido
Conference papers
2017
Generalized Probabilistic Satisfiability
(2017)
Carlos Caleiro
Filipe Casal
Andreia Mordido
Journal articles
2015
An Equation-Based Classical Logic
(2015)
Andreia Mordido
Carlos Caleiro
Journal articles