| |
Ana Almeida Matos
List of publications from the DBLP Bibliography Server - FAQ
| 2007 | ||
|---|---|---|
| 4 | EE | Ana Almeida Matos, Gérard Boudol, Ilaria Castellani: Typing noninterference for reactive programs. J. Log. Algebr. Program. 72(2): 124-156 (2007) |
| 2005 | ||
| 3 | EE | Ana Almeida Matos, Gérard Boudol: On Declassification and the Non-Disclosure Policy. CSFW 2005: 226-240 |
| 2 | EE | Ana Almeida Matos: Non-disclosure for Distributed Mobile Code. FSTTCS 2005: 177-188 |
| 2003 | ||
| 1 | EE | 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) |
| 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] |