Teses - INESC TEC

Teses
supervisionadas

Teses supervisionadas por Luís Soares Barbosa

Peer-production and Technology-enhanced Collaborative Teaching and Learning (Models, Methods and Framework)

Autor sara dos Santos Fernandes

Grau MSc

Ano 2020

Instituição UM

Timing Constraints in Quantum Programming Languages

Autor Vítor Emanuel Gonçalves Fernandes

Grau MSc

Ano 2020

Instituição UM

Foundations for quantum algorithms and complexity

Autor Carlos Eduardo Teixeira Tavares

Grau MSc

Ano 2019

Instituição UM

Weighted Computations: semantics and program logics

Autor Leandro Rafael Moreira Gomes

Grau MSc

Ano 2019

Instituição UM

Peer-production and Technology-enhanced Collaborative Teaching and Learning (Models, Methods and Framework)

Autor sara dos Santos Fernandes

Grau MSc

Ano 2019

Instituição UM

On Quantum Bayesian Networks

Autor Michael de Oliveira

Grau MSc

Ano 2019

Instituição UM

Integration of Time in a Quantum Process Algebra

Autor Vítor Emanuel Gonçalves Fernandes

Grau MSc

Ano 2019

Instituição UM

A Virtual Factory for Smart city Service Integration

Autor María Guillermina Cledou

Grau MSc

Ano 2018

Instituição UM

Hybrid Programs

Autor Renato Jorge Araújo Neves

Grau MSc

Ano 2018

Instituição UM

Peer-production and Technology-enhanced Collaborative Teaching and Learning (Models, Methods and Framework)

Autor Sara dos Santos Fernandes

Grau MSc

Ano 2018

Instituição UM

Foundations for quantum algorithms and complexity

Autor Carlos Eduardo Teixeira Tavares

Grau MSc

Ano 2018

Instituição UM

Contracts on-demand

Autor Leandro Rafael Moreira Gomes

Grau MSc

Ano 2018

Instituição UM