Sandra Maria Mendes Alves


AuthID: R-000-G8E

Publicações Confirmadas: 55



21
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 | CIÊNCIAVITAE
22
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: Scopus DBLP
NO MEU: ORCID
23
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: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
24
TÍTULO: Preface
AUTORES: Sandra Alves ; Renata Wasserman;
PUBLICAÇÃO: 2018, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 338
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
25
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 | CIÊNCIAVITAE
26
TÍTULO: Preface to special issue: LINEARITY 2014
AUTORES: Sandra Alves ; Iliano Cervesato;
PUBLICAÇÃO: 2018, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
27
TÍTULO: A graph-based framework for the analysis of access control policies  Full Text
AUTORES: Sandra Alves ; Maribel Fernandez;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
28
TÍTULO: Inhabitation machines: determinism and principality
AUTORES: Sandra Alves ; Sabine Broda ;
PUBLICAÇÃO: 2017, FONTE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017.
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
29
30
TÍTULO: Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
AUTORES: Sandra Alves ;
PUBLICAÇÃO: 2016, FONTE: SIGLOG News, VOLUME: 3, NÚMERO: 4
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 3 de 6. Total de resultados: 55.

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