Ana Gualdina Almeida Matos


AuthID: R-000-HT3

Publicações Confirmadas: 16



11
TÍTULO: Flow Policy Awareness for Distributed Mobile Code
AUTORES: Ana Almeida Matos ;
PUBLICAÇÃO: 2009, FONTE: 30th International Conference on Concurrency Theory in CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 5710
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
12
TÍTULO: On declassification and the non-disclosure policy  Full Text
AUTORES: Ana Almeida Matos ; Gérard Boudol;
PUBLICAÇÃO: 2009, FONTE: J. Comput. Secur., VOLUME: 17, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef: 14
NO MEU: ORCID
13
TÍTULO: Typing noninterference for reactive programs  Full Text
AUTORES: Matos, AA ; Boudol, G; Castellani, I;
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 72, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID
14
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 | CIÊNCIAVITAE
15
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: 24
NO MEU: ORCID
16
TÍTULO: Lexically scoped distribution: what you see is what you get
AUTORES: António Ravara ; Ana Gualdina Almeida Matos ; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLICAÇÃO: 2003, FONTE: FGC, VOLUME: 85, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
Página 2 de 2. Total de resultados: 16.

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

Links Úteis

Ajuda

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