Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Sandra Alves

Quantitative Types for Programming Languages

Autor Jorge Miguel Soares Ramos

Grau PhD

Ano 2022

Instituição UP-FCNAUP

Linear Rank Quantitative Types

Autor Fábio Daniel Martins Reis

Grau MSc

Ano 2022

Instituição UP-FCUP

Typed Languages for Events and their Applications

Autor Jorge Miguel Soares Ramos

Grau MSc

Ano 2021

Instituição UP-FCNAUP

Typed Port-Graphs for Access Control Verification

Autor Jorge Paulino Iglésias

Grau MSc

Ano 2021

Instituição UP-FCUP

PortGraphs for Access Control Verification

Autor Jorge Paulino Iglésias

Grau MSc

Ano 2021

Instituição UP-FCUP

Synthesis of Programs from Linear Types

Autor Maria Inês Melo e Sousa

Grau MSc

Ano 2021

Instituição UP-FCUP

Formula-Tree Method Tool

Autor Joana Filipa Fernandes Martins

Grau MSc

Ano 2016

Instituição UP-FCUP

View and Verify Access Control Policies

Autor João Pedro de Almeida e Sá

Grau MSc

Ano 2015

Instituição UP-FCUP