| 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 | 21 | 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 | 16 | 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 | 15 | 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 | 14 | 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 |
| Symbiotic associations in ascidians: relevance for functional innovation and bioactive potential A Matos, A Antunes Marine drugs 19 (7), 370, 2021 | 11 | 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 | 11 | 2014 |
| Non-disclosure for distributed mobile code AA Matos International Conference on Foundations of Software Technology and …, 2005 | 9 | 2005 |
| 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 | 7 | 2020 |
| 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 |
| 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-IDVerified email at tecnico.ulisboa.pt
