Ana Gualdina Almeida Matos


AuthID: R-000-HT3

Publicações Confirmadas: 15



11
TÍTULO: On declassification and the non-disclosure policy  Full Text
AUTORES: Ana Almeida Matos ; Gérard Boudol;
PUBLICAÇÃO: 2009, FONTE: Journal of Computer Security, VOLUME: 17, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
12
TÍTULO: Typing noninterference for reactive programs  Full Text
AUTORES: Ana Almeida Matos ; Gerard Boudol; Ilaria Castellani;
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 72, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
13
TÍTULO: Non-disclosure for Distributed Mobile Code
AUTORES: Ana Almeida Matos ;
PUBLICAÇÃO: 2005, FONTE: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2005 in FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, VOLUME: 3821
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
14
TÍTULO: On declassification and the non-disclosure policy
AUTORES: Matos, AA ; Boudol, G;
PUBLICAÇÃO: 2005, FONTE: 18th IEEE Computer Security Foundations Workshop in 18th IEEE Computer Security Foundations Workshop, Proceedings
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
15
TÍTULO: Lexically scoped distribution: What you see is what you get
AUTORES: Ravara, A ; Matos, AG ; Vasconcelos, VT ; Lopes, L ;
PUBLICAÇÃO: 2003, FONTE: FGC, Foundations of Global Computing , 2nd EATCS Workshop (Satellite Event of ICALP 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 85, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
Página 2 de 2. Total de resultados: 15.

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