Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por José Nuno Oliveira

Rust para Sistemas Críticos

Autor André Brandão de Pinho

Grau MSc

Ano 2019

Instituição UM

Towards Quantum Program Calculation

Autor Ana Isabel Carvalho Neri

Grau MSc

Ano 2018

Instituição UM

Pointfree Program Calculation — Theory and Applications

Autor Claudia Monica Necco

Grau PhD

Ano 2017

Instituição UM

Pointfree Program Calculation — Theory and Applications

Autor Claudia Mónica Necco

Grau PhD

Ano 2016

Instituição UM

Automatic Rewrite Proofs by Reflection in Agda

Autor Victor Cacciari Miraldo

Grau MSc

Ano 2015

Instituição UM

Benchmarking de uma abordagem em álgebra linear a sistemas OLAP

Autor Rogério António da Costa Pontes

Grau MSc

Ano 2015

Instituição UM

Pointfree Program Calculation — Theory and Applications

Autor Claudia Monica Necco

Grau PhD

Ano 2015

Instituição UM