Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Luís Soares Barbosa

A calculus of architectural patterns

Autor Alejandro Sanchez

Grau PhD

Ano 2017

Instituição UM

Foundations for Quantum Algoritmics

Autor Carlos Eduardo Teixeira Tavares

Grau PhD

Ano 2017

Instituição UM

Contracts on-demand

Autor Leandro Rafael Moreira Gomes

Grau PhD

Ano 2017

Instituição UM

A Virtual Factory for Smart City Service Integration

Autor Maria Guillermina Cledou

Grau PhD

Ano 2017

Instituição UM

Logic foundations and computational tools for synthetic biology

Autor Daniel Figueiredo

Grau PhD

Ano 2016

Instituição UA

A calculus of architectural patterns

Autor Alejandro Sanchez

Grau PhD

Ano 2016

Instituição UM

Foundations for Quantum Algoritmics

Autor Carlos Eduardo Teixeira Tavares

Grau PhD

Ano 2016

Instituição UM

Analysis of OECD Countries Well-being through Statis Methodology

Autor Fabricio Javier Rivadeneira Zambrano

Grau MSc

Ano 2016

Instituição UP-FEP

A Virtual Factory for Smart City Service Integration

Autor María Guillermina Cledou

Grau PhD

Ano 2016

Instituição UM

Logics and Calculi for Cyber Physical Components

Autor Renato Jorge Araújo Neves

Grau PhD

Ano 2016

Instituição UM

Contracts on-demand

Autor Leandro Rafael Moreira Gomes

Grau PhD

Ano 2016

Instituição UM

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

Autor Yoan David Ribeiro

Grau MSc

Ano 2015

Instituição UM

  • 4
  • 5