On declassification and the non-disclosure policy AA Matos, G Boudol
18th IEEE Computer Security Foundations Workshop (CSFW'05), 226-240, 2005
89 2005 On declassification and the non-disclosure policy A Almeida Matos, G Boudol
Journal of Computer Security 17 (5), 549-597, 2009
35 2009 Typing noninterference for reactive programs AA Matos, G Boudol, I Castellani
The Journal of Logic and Algebraic Programming 72 (2), 124-156, 2007
35 2007 Medusozoans reported in Portugal and its ecological and economical relevance T Rodrigues, D Domínguez-Pérez, D Almeida, A Matos, A Antunes
Regional studies in marine science 35, 101230, 2020
20 2020 Typing secure information flow: declassification and mobility AA Matos
École Nationale Supérieure des Mines de Paris, 2006
20 2006 Shotgun Proteomics of Ascidians Tunic Gives New Insights on Host–Microbe Interactions by Revealing Diverse Antimicrobial Peptides A Matos, D Domínguez-Pérez, D Almeida, G Agüero-Chapin, A Campos, ...
Marine Drugs 18 (7), 362, 2020
14 2020 Putative Antimicrobial Peptides of the Posterior Salivary Glands from the Cephalopod Octopus vulgaris Revealed by Exploring a Composite Protein Database D Almeida, D Domínguez-Pérez, A Matos, G Agüero-Chapin, H Osório, ...
Antibiotics 9 (11), 757, 2020
13 2020 From atomic variables to data-centric concurrency control H Paulino, D Parreira, N Delgado, A Ravara, A Matos
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1806-1811, 2016
13 2016 An information flow monitor for a core of DOM: Introducing references and live primitives AA Matos, JF Santos, T Rezk
< bound method Organization. get_name_with_acronym of< Organization: Inria …, 2014
13 2014 An Information Flow Monitor for a Core of DOM: Introducing References and Live Primitives A Almeida-Matos, J Fragoso Santos, T Rezk
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
11 2014 Symbiotic associations in ascidians: relevance for functional innovation and bioactive potential A Matos, A Antunes
Marine drugs 19 (7), 370, 2021
10 2021 Non-disclosure for distributed mobile code AA Matos
International Conference on Foundations of Software Technology and …, 2005
9 2005 Flow policy awareness for distributed mobile code A Almeida Matos
International Conference on Concurrency Theory, 53-68, 2009
7 2009 A Lexically Scoped Distributed A Ravara, A Matos, VT Vasconcelos, L Lopes
Department of Informatics, University of Lisbon, 2002
7 2002 Data employed in the construction of a composite protein database for proteogenomic analyses of cephalopods salivary apparatus D Almeida, D Domínguez-Pérez, A Matos, G Agüero-Chapin, Y Castaño, ...
Data 5 (4), 110, 2020
6 2020 Typing illegal information flows as program effects AA Matos, JF Santos
Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012
6 2012 Omics advances in the study of zooplankton: Big data for small drifting organisms A Matos, JB Ledoux, D Domínguez-Pérez, D Almeida, A Antunes
Zooplankton ecology, 264-277, 2020
5 2020 Non-disclosure for distributed mobile code AA Matos, J Cederquist
Mathematical Structures in Computer Science 21 (6), 1111-1181, 2011
5 2011 Informative types and effects for hybrid migration control A Almeida Matos, J Cederquist
International Conference on Runtime Verification, 21-39, 2013
4 2013 Plant cyanotoxins: molecular methods and current applications C Moreira, A Matos, R Mendes, A Antunes
Plant Toxins. Dordrecht: Springer Netherlands, 339-360, 2017
3 2017 
José Fragoso SantosInstituto Superior Técnico, INESC-IDDirección de correo verificada de tecnico.ulisboa.pt
