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
36 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 Typing secure information flow: declassification and mobility AA Matos
École Nationale Supérieure des Mines de Paris, 2006
20 2006 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
16 2020 An Information Flow Monitor for a Core of DOM-Introducing References and Live Primitives. AGA Matos, JF Santos, T Rezk
TGC, 1-16, 2014
13 2014 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
12 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
12 2016 Symbiotic associations in ascidians: relevance for functional innovation and bioactive potential A Matos, A Antunes
Marine drugs 19 (7), 370, 2021
10 2021 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
10 2014 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
9 2020 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 -Calculus A Ravara, A Matos, VT Vasconcelos, L Lopes
Department of Informatics, University of Lisbon, 2002
7 2002 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 Non-disclosure for distributed mobile code AA Matos, J Cederquist
Mathematical Structures in Computer Science 21 (6), 1111-1181, 2011
5 2011 Plant cyanotoxins: molecular methods and current applications C Moreira, A Matos, R Mendes, A Antunes
Plant Toxins. Dordrecht: Springer Netherlands, 339-360, 2017
4 2017 Informative types and effects for hybrid migration control A Almeida Matos, J Cederquist
International Conference on Runtime Verification, 21-39, 2013
4 2013 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
3 2020 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
3 2020