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 MSc

    Ano 2023

    Instituição UP-FCUP

    Linear Rank Quantitative Types

    Autor Fábio Daniel Martins Reis

    Grau MSc

    Ano 2022

    Instituição UP-FCUP

    Quantitative Types for Programming Languages

    Autor Jorge Miguel Soares Ramos

    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-FCUP

    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 2014

    Instituição UP-FCUP