Ana Almeida Matos
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j4 |      | Ana Almeida Matos, Jan Cederquist: Non-disclosure for distributed mobile code. Mathematical Structures in Computer Science 21(6): 1111-1181 (2011) |
| 2009 | ||
| j3 | | Ana Almeida Matos, Gérard Boudol: On declassification and the non-disclosure policy. Journal of Computer Security 17(5): 549-597 (2009) |
| c3 | | |
| 2007 | ||
| j2 | | Ana Almeida Matos, Gérard Boudol, Ilaria Castellani: Typing noninterference for reactive programs. J. Log. Algebr. Program. 72(2): 124-156 (2007) |
| 2005 | ||
| c2 | | Ana Almeida Matos, Gérard Boudol: On Declassification and the Non-Disclosure Policy. CSFW 2005: 226-240 |
| c1 | | |
| 2003 | ||
| j1 | | 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): 61-79 (2003) |
| 1 | Gérard Boudol | |
| 2 | Ilaria Castellani | |
| 3 | J. G. Cederquist (Jan Cederquist) | |
| 4 | Luís M. B. Lopes | |
| 5 | António Ravara | |
| 6 | Vasco Thudichum Vasconcelos |
Colors in the list of coauthors
Last update Wed May 22 16:12:53 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page