Andreia Mordido


AuthID: R-00M-0C7

Publicações Confirmadas: 29



11
TÍTULO: Nested Session Types  Full Text
AUTORES: Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLICAÇÃO: 2022, FONTE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
NO MEU: DBLP
12
TÍTULO: Polarized Subtyping
AUTORES: Zeeshan Lakhani; Ankush Das; Henry DeYoung; Andreia Mordido ; Frank Pfenning;
PUBLICAÇÃO: 2022, FONTE: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, VOLUME: 13240
INDEXADO EM: DBLP
NO MEU: DBLP
13
TÍTULO: Polarized Subtyping
AUTORES: Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLICAÇÃO: 2022, FONTE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
14
TÍTULO: Polymorphic lambda calculus with context-free session types
AUTORES: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Inf. Comput., VOLUME: 289, NÚMERO: Part
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
15
TÍTULO: Protocol-Based Smart Contract Generation
AUTORES: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: 26th International Conference on Financial Cryptography and Data Security, FC 2022 in Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers, VOLUME: 13412
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
16
TÍTULO: Nested Session Types
AUTORES: Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLICAÇÃO: 2021, FONTE: 30th European Symposium on Programming (ESOP) Held as Part of the 24th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, VOLUME: 12648
INDEXADO EM: Scopus WOS DBLP CrossRef: 7 Unpaywall
NO MEU: DBLP
17
TÍTULO: Nested Session Types
AUTORES: Ankush Das; Henry DeYoung; Andreia Mordido ; Frank Pfenning;
PUBLICAÇÃO: 2021, FONTE: Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, VOLUME: 12648
INDEXADO EM: DBLP
NO MEU: DBLP
18
TÍTULO: Polymorphic Context-free Session Types
AUTORES: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2106.06658
INDEXADO EM: DBLP
NO MEU: DBLP
19
TÍTULO: Protocol-based Smart Contract Generation
AUTORES: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.02672
INDEXADO EM: DBLP
NO MEU: DBLP
20
TÍTULO: Subtyping on Nested Polymorphic Session Types
AUTORES: Ankush Das; Henry DeYoung; Andreia Mordido ; Frank Pfenning;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2103.15193
INDEXADO EM: DBLP
NO MEU: DBLP
Página 2 de 3. Total de resultados: 29.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service