| On declassification and the non-disclosure policy AA Matos, G Boudol 18th IEEE Computer Security Foundations Workshop (CSFW'05), 226-240, 2005 | 91 | 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 | 34 | 2007 |
| Typing secure information flow: declassification and mobility AA Matos École Nationale Supérieure des Mines de Paris, 2006 | 20 | 2006 |
| An Information Flow Monitor for a Core of DOM-Introducing References and Live Primitives. AGA Matos, JF Santos, T Rezk TGC, 1-16, 2014 | 11 | 2014 |
| 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 | 10 | 2020 |
| 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 |
| Non-disclosure for distributed mobile code AA Matos FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005 | 9 | 2005 |
| 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 | 8 | 2020 |
| 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 | 8 | 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 | 7 | 2016 |
| Flow policy awareness for distributed mobile code A Almeida Matos CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 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 |
| Symbiotic associations in ascidians: relevance for functional innovation and bioactive potential A Matos, A Antunes Marine Drugs 19 (7), 370, 2021 | 4 | 2021 |
| Informative types and effects for hybrid migration control A Almeida Matos, J Cederquist Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 4 | 2013 |
| Distributed noninterference AA Matos, J Cederquist 2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014 | 3 | 2014 |
| 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 | 2 | 2020 |
| Information flow in a distributed security setting AA Matos, J Cederquist arXiv preprint arXiv:1901.01111, 2019 | 2 | 2019 |
José Fragoso SantosInstituto Superior Técnico, INESC-IDVerified email at tecnico.ulisboa.pt
