Sandra Maria Mendes Alves


AuthID: R-000-G8E

Publicações Confirmadas: 55



11
TÍTULO: Structural Rules and Algebraic Properties of Intersection Types
AUTORES: Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: ICTAC, VOLUME: 13572 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
12
TÍTULO: A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
AUTORES: Sandra Alves ; Jorge Iglésias;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2111.00588
INDEXADO EM: DBLP
NO MEU: ORCID
13
TÍTULO: An ML-style record calculus with extensible records  Full Text
AUTORES: Sandra Alves ; Miguel Ramos ;
PUBLICAÇÃO: 2021, FONTE: MFPS, VOLUME: 351
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
14
TÍTULO: Preface to special issue: LSFA 2017 and 2018
AUTORES: Sandra Alves ; Renata Wassermann;
PUBLICAÇÃO: 2021, FONTE: Math. Struct. Comput. Sci., VOLUME: 31, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
15
TÍTULO: EVL: A Typed Higher-order Functional Language for Events
AUTORES: Alves, S ; Fernández, M; Ramos, M ;
PUBLICAÇÃO: 2020, FONTE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
16
TÍTULO: A Quantitative Understanding of Pattern Matching
AUTORES: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLICAÇÃO: 2019, FONTE: TYPES, VOLUME: 175
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
17
TÍTULO: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTORES: Alves, S ; Broda, S ;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
18
TÍTULO: Preface
AUTORES: Sandra Alves ; Michele Pagani;
PUBLICAÇÃO: 2019, FONTE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 293
INDEXADO EM: Scopus
NO MEU: ORCID
19
20
TÍTULO: Termination of lambda-calculus linearisation methods
AUTORES: Sandra Alves ;
PUBLICAÇÃO: 2019, FONTE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
INDEXADO EM: Scopus
NO MEU: ORCID
Página 2 de 6. Total de resultados: 55.

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

Links Úteis

Ajuda

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