Safety Verification for ROS Applications

Author André Santos

Degree PhD

Year 2017

Institution UM

Framework for Planing the Aesthetic Result after Breast Surgery

Author Sílvia da Conceição Neto Bessa

Degree MSc

Year 2016

Institution UP-FEUP

planning of automatic naval minehunting operations

Author Nuno Miguel Neves de Abreu

Degree PhD

Year 2015

Institution UP-FEUP

sistema de apoio à escolha de algoritmos para problemas de optimização

Author Pedro Manuel Correia de Abreu

Degree PhD

Year 2015

Institution UP-FEUP

Teste Baseado em Modelos

Author Raphael Julien Rodrigues

Degree MSc

Year 2015

Institution UM

Automatic Rewrite Proofs by Reflection in Agda

Author Victor Cacciari Miraldo

Degree MSc

Year 2015

Institution UM

Migration and Adaptation of User Interfaces

Author Carlos Eduardo Silva

Degree PhD

Year 2015

Institution UM

Audiovisual perception in a Virtual World

Author Carlos César Loureiro Silva

Degree PhD

Year 2015

Institution UM

Automatic Lung Nodule Classification in Chest Computerized Tomography Images

Author Luís do Couto Gonçalves

Degree MSc

Year 2015

Institution UP-FEUP

Análisis de Mercados Eléctricos Oligopolistas con Restricciones de Red

Author Cristian Andrés Diaz Durán

Degree PhD

Year 2013