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 Luís Soares Barbosa

A calculus of architectural patterns

Author Alejandro Sanchez

Degree PhD

Year 2017

Institution UM

Foundations for Quantum Algoritmics

Author Carlos Eduardo Teixeira Tavares

Degree PhD

Year 2017

Institution UM

Contracts on-demand

Author Leandro Rafael Moreira Gomes

Degree PhD

Year 2017

Institution UM

A Virtual Factory for Smart City Service Integration

Author Maria Guillermina Cledou

Degree PhD

Year 2017

Institution UM

Logic foundations and computational tools for synthetic biology

Author Daniel Figueiredo

Degree PhD

Year 2016

Institution UA

A calculus of architectural patterns

Author Alejandro Sanchez

Degree PhD

Year 2016

Institution UM

Foundations for Quantum Algoritmics

Author Carlos Eduardo Teixeira Tavares

Degree PhD

Year 2016

Institution UM

Analysis of OECD Countries Well-being through Statis Methodology

Author Fabricio Javier Rivadeneira Zambrano

Degree MSc

Year 2016

Institution UP-FEP

A Virtual Factory for Smart City Service Integration

Author María Guillermina Cledou

Degree PhD

Year 2016

Institution UM

Logics and Calculi for Cyber Physical Components

Author Renato Jorge Araújo Neves

Degree PhD

Year 2016

Institution UM

Contracts on-demand

Author Leandro Rafael Moreira Gomes

Degree PhD

Year 2016

Institution UM

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

Author Yoan David Ribeiro

Degree MSc

Year 2015

Institution UM

  • 4
  • 5