Sandra Maria Mendes Alves


AuthID: R-000-G8E

Confirmed Publications: 47



11
TITLE: A Quantitative Understanding of Pattern Matching
AUTHORS: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
12
TITLE: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
13
14
TITLE: 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: LSFA, VOLUME: 338
INDEXED IN: DBLP
IN MY: ORCID | DBLP
15
TITLE: A Unifying Framework for Type Inhabitation
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, VOLUME: 108
INDEXED IN: DBLP
IN MY: ORCID | DBLP
16
TITLE: Pattern-based calculi with finitary matching
AUTHORS: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
17
TITLE: Preface
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 338
INDEXED IN: DBLP
IN MY: ORCID | DBLP
18
TITLE: Preface to special issue: LINEARITY 2014
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
19
TITLE: A graph-based framework for the analysis of access control policies  Full Text
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | DBLP
20
TITLE: Inhabitation machines: determinism and principality
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017.
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Página 2 de 5. Total de resultados: 47.

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service