Teses - INESC TEC

Teses
supervisionadas

A calculus of architectural patterns

Autor Alejandro Sanchez

Grau MSc

Instituição UM

Elastic Enterprise Applications

Autor Ana Luísa Parreira Nunes Alonso

Grau MSc

Instituição UM

Dynamic contracts for verification and enforcement of real-time systems properties

Autor André Matos Pedro

Grau MSc

Instituição UM

Dynamic contracts for verification and enforcement of real-time systems properties

Autor André Matos Pedro

Grau MSc

Instituição IPP-ISEP

Audiovisual perception in a Virtual World

Autor Carlos César Loureiro Silva

Grau MSc

Instituição UM

Foundations for Quantum Algoritmics

Autor Carlos Eduardo Teixeira Tavares

Grau MSc

Instituição UM

Pointfree Program Calculation — Theory and Applications

Autor Claudia Monica Necco

Grau MSc

Instituição UM

Software Verification and Defect Analysis

Autor Claudio Filipe Belo Silva Lourenço

Grau MSc

Instituição UM

SiclopDB - Um Framework Orientado a SLA para Processamento Eficiente de Consultas em Bancos de Dados Disponibilizados em Ambiente de Nuvem

Autor Clayton Maciel Costa

Grau MSc

Instituição UM

Towards a transactional and analytical data management system for Big Data

Autor Fábio André Castanheira Luís Coelho

Grau MSc

Instituição UM

Fault Tolerant Service Integration

Autor Filipe José de Oliveira Campos

Grau MSc

Instituição UM

A Highly Scalable Transactional Query Engine for Cloud Computing

Autor Francisco Miguel da Cruz

Grau MSc

Instituição UM