Ana Almeida Matos

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Non-disclosure for distributed mobile code Mathematical Structures in Computer Science	2011-12-08	Paper
Flow Policy Awareness for Distributed Mobile Code CONCUR 2009 - Concurrency Theory	2009-10-22	Paper
Typing noninterference for reactive programs The Journal of Logic and Algebraic Programming	2007-08-10	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2006-11-14	Paper

Research outcomes over time

This page was built for person: Ana Almeida Matos