Teses - INESC TEC

Teses
supervisionadas

Teses supervisionadas por José Bacelar Almeida

Weighted Computations: semantics and program logics

Autor Leandro Rafael Moreira Gomes

Grau PhD

Ano 2022

Instituição UP-FCUP

Data Preprocessing Strategies in Cancer Stage Prediction

Autor Ana Maria Mendes Moreira

Grau MSc

Ano 2022

Instituição UP-FEUP

Implementação e verificação de código criptográfico com segurança pós-quântica

Autor Henrique José Carvalho Faria

Grau PhD

Ano 2022

Instituição UM

Rastreabilidade e compromissos de segurança em veículos modernos

Autor Mariana Pereira Fernandes

Grau MSc

Ano 2022

Instituição UM

Estratégia de Cibersegurança

Autor Nelson Correia Faria

Grau MSc

Ano 2022

Instituição UM

Aplicação móvel ludificada para Introdução Criativa à Programação

Autor Artur Sousa Ferreira

Grau MSc

Ano 2021

Instituição UP-FEUP

eIDAS Qualified Trust Services - Serviço de preservação

Autor João Manuel da Silva Fernandes

Grau MSc

Ano 2021

Instituição UM

Gestão de Segurança de Informação para Sistemas de Confiança Seguros

Autor Joana Fernandes Cunha

Grau MSc

Ano 2021

Instituição UM

Designing User Interaction with Linked Data in Historical Archives

Autor Cláudia Raquel Amaral Conde Guedes

Grau MSc

Ano 2020

Instituição UP-FEUP

Live Acceptance Testing using Behavior Driven Development

Autor José Pedro da Silva e Sousa Borges

Grau MSc

Ano 2020

Instituição UP-FEUP

Conveniência e Segurança com SCMD

Autor Nuno Cabral Vieira

Grau MSc

Ano 2019

Instituição UM

O Impacto da Geração Eólica no Preço de Mercado Intradiário: A Perspetiva Ibérica

Autor João Vasco Geraldes Araújo Vieira da Costa

Grau MSc

Ano 2018

Instituição UP-FEUP