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