Ana Gualdina Almeida Matos


AuthID: R-000-HT3

Confirmed Publications: 16



11
TITLE: Flow Policy Awareness for Distributed Mobile Code
AUTHORS: Ana Almeida Matos ;
PUBLISHED: 2009, SOURCE: 30th International Conference on Concurrency Theory in CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 5710
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
12
TITLE: On declassification and the non-disclosure policy  Full Text
AUTHORS: Ana Almeida Matos ; Gérard Boudol;
PUBLISHED: 2009, SOURCE: J. Comput. Secur., VOLUME: 17, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef: 14
IN MY: ORCID
13
TITLE: Typing noninterference for reactive programs  Full Text
AUTHORS: Matos, AA ; Boudol, G; Castellani, I;
PUBLISHED: 2007, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 72, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID
14
TITLE: Non-disclosure for Distributed Mobile Code
AUTHORS: Ana Almeida Matos ;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
15
TITLE: On declassification and the non-disclosure policy
AUTHORS: Matos, AA ; Boudol, G;
PUBLISHED: 2005, SOURCE: 18th IEEE Computer Security Foundations Workshop in 18TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 24
IN MY: ORCID
16
TITLE: Lexically scoped distribution: what you see is what you get
AUTHORS: António Ravara ; Ana Gualdina Almeida Matos ; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2003, SOURCE: FGC, VOLUME: 85, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
Page 2 of 2. Total results: 16.

footer slogan

Useful Links

Get Help

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