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
Fechar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Luís Soares Barbosa

A framework for architectural design and simulation of hybrid systems

Grau MSc

Ano 2017

Instituição UM

Contracts on-demand

Autor Leandro Rafael Moreira Gomes

Grau PhD

Ano 2016

Instituição UM

Logic foundations and computational tools for synthetic biology

Autor Daniel Figueiredo

Grau PhD

Ano 2016

Instituição UA

Validação do IEC 61131-3 Programmable Logical Controllers em KeyMaera

Autor Yoan David Ribeiro

Grau MSc

Ano 2015

Instituição UM

Architectural reconfiguration of interacting services

Autor Nuno Ernesto Salgado Oliveira

Grau PhD

Ano 2015

Instituição UM

A calculus of architectural patterns

Autor Alejandro Sanchez

Grau PhD

Ano 2015

Instituição UM

Foundations for Quantum Algoritmics

Autor Carlos Eduardo Teixeira Tavares

Grau PhD

Ano 2015

Instituição UM

A Virtual Factory for Smart City Service Integration

Autor Maria Guillermina Cledou

Grau PhD

Ano 2015

Instituição UM

Logics and Calculi for Cyber Physical Components

Autor Renato Jorge Araújo Neves

Grau PhD

Ano 2015

Instituição UM

Peer-Production and Technology-Enhanced Collaborative Teaching and Learning (Models, Methods and Frameworks)

Autor Sara dos Santos Fernandes

Grau PhD

Ano 2015

Instituição UM