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 José Nuno Oliveira

Towards a typed linear algebra formal semantics for spreadsheets

Autor Rui Filipe Brito Azevedo

Grau MSc

Ano 2023

Instituição UM

Functional Programming for Explainable AI

Autor Gonçalo José Azevedo Esteves

Grau MSc

Ano 2023

Instituição UM

Towards ‘Just Good Enough’ Quantum Programming

Autor Ana Isabel Carvalho Neri

Grau MSc

Ano 2023

Instituição UM

Verificação e descoberta de modelos probabilísticos no Alloy Analyser.

Autor Pedro Faria Durães da Silva

Grau MSc

Ano 2023

Instituição UM

Towards ‘Just Good Enough’ Quantum Programming

Autor Ana Isabel Carvalho Neri

Grau MSc

Ano 2022

Instituição UM

Verificação e descoberta de modelos probabilísticos no Alloy Analyser.

Autor Pedro Faria Durães da Silva

Grau MSc

Ano 2022

Instituição UM

Greedy and Dynamic Programming by Calculation

Autor Alexandre Mendonça Pinho

Grau MSc

Ano 2022

Instituição UM

Processamento Analítico com Álgebra Linear Tipada em MonetDB

Autor Lucas Ribeiro Pereira

Grau MSc

Ano 2022

Instituição UM

On Conditional Quantum Control

Autor Daniel Almeida Carvalho

Grau MSc

Ano 2022

Instituição UM

Scalable Detection of Security-Vulnerabilities in Source Code,

Autor Artur Jorge Gomes Queiroz

Grau MSc

Ano 2022

Instituição UM

Using Machine Learning to Automatically Infer an Approximation of a Physical System

Autor Afonso João Borges Cabral Cerejeira da Silva

Grau MSc

Ano 2022

Instituição UM

Towards ‘Just Good Enough’ Quantum Programming

Autor Ana Isabel Carvalho Neri

Grau MSc

Ano 2021

Instituição UM

  • 1
  • 3