Sandra Maria Mendes Alves


AuthID: R-000-G8E

Confirmed Publications: 55



21
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 | CIÊNCIAVITAE
22
TITLE: A Unifying Framework for Type Inhabitation
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: FSCD, VOLUME: 108
INDEXED IN: Scopus DBLP
IN MY: ORCID
23
TITLE: Pattern-based calculi with finitary matching  Full Text
AUTHORS: Alves, S ; Dundua, B ; Florido, M ; Kutsia, T;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
24
TITLE: Preface
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 338
INDEXED IN: Scopus CrossRef
IN MY: ORCID
25
TITLE: Preface to special issue: LINEARITY 2014
AUTHORS: Alves, S ; Cervesato, I;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
26
TITLE: A graph-based framework for the analysis of access control policies  Full Text
AUTHORS: Alves, S ; Fernández, M;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID
27
TITLE: Inhabitation machines: determinism and principality
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: NCMA
INDEXED IN: DBLP
IN MY: ORCID
28
TITLE: Preface
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2017, SOURCE: LSFA
INDEXED IN: DBLP
IN MY: ORCID
29
30
TITLE: Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
AUTHORS: Sandra Alves ;
PUBLISHED: 2016, SOURCE: SIGLOG News, VOLUME: 3, ISSUE: 4
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 3 of 6. Total results: 55.

footer slogan

Useful Links

Get Help

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