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

Author Afonso Miguel Fernandes Rodrigues

Degree MSc

Year 2018

Institution UM

A calculus of architectural patterns

Author Alejandro Sanchez

Degree MSc

Year 2017

Institution UM

Foundations for Quantum Algoritmics

Author Carlos Eduardo Teixeira Tavares

Degree MSc

Year 2017

Institution UM

Contracts on-demand

Author Leandro Rafael Moreira Gomes

Degree MSc

Year 2017

Institution UM

A Virtual Factory for Smart City Service Integration

Author Maria Guillermina Cledou

Degree MSc

Year 2017

Institution UM

Logics and Calculi for Cyber Physical Components

Author Renato Neves

Degree MSc

Year 2017

Institution UM

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

Author Sara Fernandes

Degree MSc

Year 2017

Institution UM

A framework for architectural design and simulation of hybrid systems

Degree MSc

Year 2017

Institution UM

A calculus of architectural patterns

Author Alejandro Sanchez

Degree MSc

Year 2016

Institution UM

Foundations for Quantum Algoritmics

Author Carlos Eduardo Teixeira Tavares

Degree MSc

Year 2016

Institution UM

Contracts on-demand

Author Leandro Rafael Moreira Gomes

Degree MSc

Year 2016

Institution UM

A Virtual Factory for Smart City Service Integration

Author María Guillermina Cledou

Degree MSc

Year 2016

Institution UM