Luísa Lourenço

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 2

Top Topics

Gaussian Mixture Model

Reactive Systems

Information Flow

Top Venues

Publications

Miguel Loureiro, Luísa Lourenço, Lúcio Ferrão, Carla Ferreira
Análise de Segurança Baseada em Roles para Fábricas de Software. CoRR (2019)
Luísa Lourenço, Luís Caires
Dependent Information Flow Types. POPL (2015)
Luísa Lourenço, Luís Caires
Information Flow Analysis for Valued-Indexed Data Security Compartments. TGC (2013)