Sandra Maria Mendes Alves


AuthID: R-000-G8E

Confirmed Publications: 49



21
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 | CIÊNCIAVITAE
22
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 | CIÊNCIAVITAE
23
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 | CIÊNCIAVITAE
24
25
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
26
TITLE: The G-ACM Tool: using the Drools Rule Engine for Access Control Management PDF
AUTHORS: João Sá; Sandra Alves ; Sabine Broda ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1611.08547
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
27
TITLE: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP | CIÊNCIAVITAE
28
TITLE: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
29
TITLE: A Typed Language for Events
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
30
TITLE: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTHORS: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 3 of 5. Total results: 49.

footer slogan

Useful Links

Get Help

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