Validação de simulações quânticas

Autor Afonso Miguel Fernandes Rodrigues

Grau MSc

Ano 2018

Instituição UM

A calculus of architectural patterns

Autor Alejandro Sanchez

Grau MSc

Ano 2017

Instituição UM

Foundations for Quantum Algoritmics

Autor Carlos Eduardo Teixeira Tavares

Grau MSc

Ano 2017

Instituição UM

Contracts on-demand

Autor Leandro Rafael Moreira Gomes

Grau MSc

Ano 2017

Instituição UM

A Virtual Factory for Smart City Service Integration

Autor Maria Guillermina Cledou

Grau MSc

Ano 2017

Instituição UM

Logics and Calculi for Cyber Physical Components

Autor Renato Neves

Grau MSc

Ano 2017

Instituição UM

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

Autor Sara Fernandes

Grau MSc

Ano 2017

Instituição UM

A framework for architectural design and simulation of hybrid systems

Grau MSc

Ano 2017

Instituição UM

A calculus of architectural patterns

Autor Alejandro Sanchez

Grau MSc

Ano 2016

Instituição UM

Foundations for Quantum Algoritmics

Autor Carlos Eduardo Teixeira Tavares

Grau MSc

Ano 2016

Instituição UM

Contracts on-demand

Autor Leandro Rafael Moreira Gomes

Grau MSc

Ano 2016

Instituição UM

A Virtual Factory for Smart City Service Integration

Autor María Guillermina Cledou

Grau MSc

Ano 2016

Instituição UM