Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
Supervised
thesis

Supervised thesis by Luís Soares Barbosa

A framework for architectural design and simulation of hybrid systems

Degree MSc

Year 2017

Institution UM

Contracts on-demand

Author Leandro Rafael Moreira Gomes

Degree PhD

Year 2016

Institution UM

Logic foundations and computational tools for synthetic biology

Author Daniel Figueiredo

Degree PhD

Year 2016

Institution UA

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

Author Yoan David Ribeiro

Degree MSc

Year 2015

Institution UM

Architectural reconfiguration of interacting services

Author Nuno Ernesto Salgado Oliveira

Degree PhD

Year 2015

Institution UM

A calculus of architectural patterns

Author Alejandro Sanchez

Degree PhD

Year 2015

Institution UM

Foundations for Quantum Algoritmics

Author Carlos Eduardo Teixeira Tavares

Degree PhD

Year 2015

Institution UM

A Virtual Factory for Smart City Service Integration

Author Maria Guillermina Cledou

Degree PhD

Year 2015

Institution UM

Logics and Calculi for Cyber Physical Components

Author Renato Jorge Araújo Neves

Degree PhD

Year 2015

Institution UM

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

Author Sara dos Santos Fernandes

Degree PhD

Year 2015

Institution UM