Sandra Maria Mendes Alves


AuthID: R-000-G8E

Publicações Confirmadas: 49



11
TÍTULO: EVL: a typed functional language for event processing
AUTORES: Sandra Alves ; Maribel Fernández; Miguel Ramos ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2109.08960
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
12
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: DBLP CrossRef
NO MEU: ORCID | DBLP
13
TÍTULO: EVL: A Typed Higher-order Functional Language for Events
AUTORES: Alves, S ; Fernandez, 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 | DBLP
14
TÍTULO: A Quantitative Understanding of Pattern Matching
AUTORES: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on Types for Proofs and Programs, TYPES 2019 in 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway., VOLUME: 175
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
15
TÍTULO: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTORES: Sandra Alves ; Sabine Broda ;
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 | DBLP
16
17
TÍTULO: 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017
AUTORES: Sandra Alves ; Renata Wasserman;
PUBLICAÇÃO: 2018, FONTE: LSFA, VOLUME: 338
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
18
TÍTULO: A Unifying Framework for Type Inhabitation
AUTORES: Sandra Alves ; Sabine Broda ;
PUBLICAÇÃO: 2018, FONTE: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, VOLUME: 108
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
19
TÍTULO: Pattern-based calculi with finitary matching
AUTORES: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2018, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
20
TÍTULO: Preface
AUTORES: Sandra Alves ; Renata Wasserman;
PUBLICAÇÃO: 2018, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 338
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 2 de 5. Total de resultados: 49.

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

Links Úteis

Ajuda

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