Takip et
Luísa Lourenço
Luísa Lourenço
Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
campus.fct.unl.pt üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Dependent Information Flow Types
L Lourenço, L Caires
POPL'15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on …, 2015
792015
Information flow analysis for valued-indexed data security compartments
L Lourenço, L Caires
International Symposium on Trustworthy Global Computing, 180-198, 2013
212013
Segurança de dados em aplicações centradas em dados por análise de fluxo de informação
L Lourenço, L Caires
Proc. of INForum, 2012
12012
A Core Language for Data-Centric Processes
L Lourenço
12011
Inference of Conversation Types for Distributed Multiparty Systems
L Lourenço, L Caires
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–5