Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Supervised
thesis

Supervised thesis by José Nuno Oliveira

Towards ‘Just Good Enough’ Quantum Programming

Author Ana Isabel Carvalho Neri

Degree PhD

Year 2022

Institution UM

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

Author Pedro Faria Durães da Silva

Degree PhD

Year 2022

Institution UM

Greedy and Dynamic Programming by Calculation

Author Alexandre Mendonça Pinho

Degree MSc

Year 2022

Institution UM

Processamento Analítico com Álgebra Linear Tipada em MonetDB

Author Lucas Ribeiro Pereira

Degree MSc

Year 2022

Institution UM

On Conditional Quantum Control

Author Daniel Almeida Carvalho

Degree MSc

Year 2022

Institution UM

Scalable Detection of Security-Vulnerabilities in Source Code,

Author Artur Jorge Gomes Queiroz

Degree MSc

Year 2022

Institution UM

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

Author Afonso João Borges Cabral Cerejeira da Silva

Degree MSc

Year 2022

Institution UM

Selective Applicative Functors & Probabilistic Programming

Author Armando João Isaias Ferreira dos Santos

Degree MSc

Year 2021

Institution UM

Towards a Quantitative Alloy

Author Pedro Faria Durães da Silva

Degree MSc

Year 2021

Institution UM

Towards ‘Just Good Enough’ Quantum Programming

Author Ana Isabel Carvalho Neri

Degree MSc

Year 2021

Institution UM

Towards ‘Just Good Enough’ Quantum Programming

Author Ana Isabel Carvalho Neri

Degree PhD

Year 2020

Institution UM

Rust para Sistemas Críticos

Author André Brandão de Pinho

Degree MSc

Year 2019

Institution UM

  • 1
  • 2