Sandra Maria Mendes Alves


AuthID: R-000-G8E

Publicações Confirmadas: 49



21
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
22
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: 10
NO MEU: ORCID | DBLP
23
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
24
25
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
26
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
27
TÍTULO: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTORES: Sandra Alves ; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
28
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: 3
NO MEU: ORCID | DBLP
29
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
30
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: 4
NO MEU: ORCID | DBLP
Página 3 de 5. Total de resultados: 49.

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

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service