Ana Gualdina Almeida Matos

Ana Almeida Matos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

4EEAna Almeida Matos, Gérard Boudol, Ilaria Castellani: Typing noninterference for reactive programs. J. Log. Algebr. Program. 72(2): 124-156 (2007)
3EEAna Almeida Matos, Gérard Boudol: On Declassification and the Non-Disclosure Policy. CSFW 2005: 226-240
2EEAna Almeida Matos: Non-disclosure for Distributed Mobile Code. FSTTCS 2005: 177-188
1EEAntónio Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes: Lexically scoped distribution: what you see is what you get. Electr. Notes Theor. Comput. Sci. 85(1): (2003)

Coauthor Index

1Gérard Boudol [3] [4]
2Ilaria Castellani [4]
3Luís M. B. Lopes [1]
4António Ravara [1]
5Vasco Thudichum Vasconcelos [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)