Sandra Maria Mendes Alves


AuthID: R-000-G8E

Publicações Confirmadas: 55



31
TÍTULO: The G-ACM Tool: using the Drools Rule Engine for Access Control Management PDF
AUTORES: João Sá; Sandra Alves ; Sabine Broda ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1611.08547
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
32
TÍTULO: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTORES: Alves, S ; Fernandez, M;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
33
TÍTULO: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTORES: Alves, S ; Broda, S ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 115, NÚMERO: 11
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
TÍTULO: A Typed Language for Events
AUTORES: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
TÍTULO: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTORES: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: Liquid Intersection Types PDF  Full Text
AUTORES: Pereira, M; Alves, S ; Florido, M ;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 177, NÚMERO: 177
INDEXADO EM: WOS DBLP arXiv CrossRef: 2
NO MEU: ORCID | DBLP
37
TÍTULO: Preface
AUTORES: Alves, S ; Cervesato, I; Chaudhuri, K; Fernández, M; Florido, M ; Gay, S; Martini, S; Paolini, L; Della Rocca, SR; Schürmann, C; Simmons, R; Vasconcelos, V;
PUBLICAÇÃO: 2015, FONTE: 3rd International Workshop on Linearity, LINEARITY 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 176
INDEXADO EM: Scopus
NO MEU: ORCID
38
39
TÍTULO: Linearity: A Roadmap
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
40
TÍTULO: Proceedings 2nd International Workshop on Linearity. Preface  Full Text
AUTORES: Sandra Alves ; Ian Mackie;
PUBLICAÇÃO: 2012, FONTE: Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS, VOLUME: 101
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 4 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