Ana Almeida Matos
Ana Almeida Matos
Instituto Superior Técnico, Universidade de Lisboa
Verified email at - Homepage
Cited by
Cited by
On declassification and the non-disclosure policy
AA Matos, G Boudol
18th IEEE Computer Security Foundations Workshop (CSFW'05), 226-240, 2005
On declassification and the non-disclosure policy
A Almeida Matos, G Boudol
Journal of Computer Security 17 (5), 549-597, 2009
Typing noninterference for reactive programs
AA Matos, G Boudol, I Castellani
The Journal of Logic and Algebraic Programming 72 (2), 124-156, 2007
Typing secure information flow: declassification and mobility
AA Matos
École Nationale Supérieure des Mines de Paris, 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
An Information Flow Monitor for a Core of DOM-Introducing References and Live Primitives.
AGA Matos, JF Santos, T Rezk
TGC, 1-16, 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
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
Symbiotic associations in ascidians: relevance for functional innovation and bioactive potential
A Matos, A Antunes
Marine drugs 19 (7), 370, 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
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
Non-disclosure for distributed mobile code
AA Matos
International Conference on Foundations of Software Technology and …, 2005
Flow policy awareness for distributed mobile code
A Almeida Matos
International Conference on Concurrency Theory, 53-68, 2009
A Lexically Scoped Distributed -Calculus
A Ravara, A Matos, VT Vasconcelos, L Lopes
Department of Informatics, University of Lisbon, 2002
Typing illegal information flows as program effects
AA Matos, JF Santos
Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012
Non-disclosure for distributed mobile code
AA Matos, J Cederquist
Mathematical Structures in Computer Science 21 (6), 1111-1181, 2011
Plant cyanotoxins: molecular methods and current applications
C Moreira, A Matos, R Mendes, A Antunes
Plant Toxins. Dordrecht: Springer Netherlands, 339-360, 2017
Informative types and effects for hybrid migration control
A Almeida Matos, J Cederquist
International Conference on Runtime Verification, 21-39, 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
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
The system can't perform the operation now. Try again later.
Articles 1–20