Ana Gualdina Almeida Matos

Ana Almeida Matos

	2009
5		Ana Almeida Matos: Flow Policy Awareness for Distributed Mobile Code. CONCUR 2009: 53-68
	2007
4		Ana Almeida Matos, Gérard Boudol, Ilaria Castellani: Typing noninterference for reactive programs. J. Log. Algebr. Program. 72(2): 124-156 (2007)
	2005
3		Ana Almeida Matos, Gérard Boudol: On Declassification and the Non-Disclosure Policy. CSFW 2005: 226-240
2		Ana Almeida Matos: Non-disclosure for Distributed Mobile Code. FSTTCS 2005: 177-188
	2003
1		Antó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

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

Colors in the list of coauthors