MAP-i Thesis

Search theses by title or author name
Start Year
Conclusion Year
Theses Status

Total Results: 212

# Name / Author Supervisor / Affiliation Status
196 Integrated enterprise messaging architecture
Author: José Pedro Garcia de Oliveira
UM - DI / HASLab - INESC TEC In progress
2007 - ...
197 Self-managing service platform
Author: Nuno Alexandre Abreu de Carvalho
UM - DI / HASLab - INESC TEC In progress
2007 - ...
198 Automatic Trading in Purely Speculative Markets
Author: Rui Jorge Pereira Gonçalves
UP - FEUP - DEI In progress
2007 - ...
199 Leveraging Diversity and Spatial Connectivity in Multi-hop Vehicular Networks
Author: Rui Manuel Pacheco Meireles
Supervisor: João Francisco Cordeiro de Oliveira Barros
Cosupervisor: Peter Steenkiste
Cosupervisor: Michel Celestino Paiva Ferreira
UP - FEUP - DEI / IT - Porto branch
Concluded
2007 - 2015
200 Civil protection applications in a grid supported environment
Author: Vítor Serafim Pereira de Oliveira
UM - DI / CCTC In progress
2007 - ...
201 From Information Systems Requirements to Service-Oriented Logical Architectures
Author: Nuno Alexandre Castro Ferreira
Cosupervisor: Dragan Gaševi?
Supervisor: Ricardo Jorge Silverio de Magalhaes Machado
UM - DSI / ALGORITMI
Concluded
2007 - 2014
202 Tailoring CMMI-DEV and RUP Frameworks for ML2/3-Compliance Analysis
Author: Paula Alexandra Fernandes Monteiro
Cosupervisor: Rick Kazman
Supervisor: Ricardo Jorge Silverio de Magalhaes Machado
UM - DSI / ALGORITMI
Concluded
2007 - 2014
203 Electronic Health Records for Mobile Citizens: A Secure and Collaborative Architecture
Author: Tiago Miguel Ferreira Guimarães Pedrosa
Cosupervisor: Rui Pedro Lopes
Supervisor: José Luís Guimarães Oliveira
UA - DETI / IEETA
Concluded
2007 - 2013
204 Rapid Prototyping of Ubiquitous Computing Environments
Author: José Luís Cardoso da Silva
Cosupervisor: Rui Luís Andrade Aguiar
Supervisor: José Francisco Creissac Freitas de Campos
UM - DI / HASLab - INESC TEC
Concluded
2007 - 2012
205 Time Series Motif Discovery
Author: Nuno José Constantino Castro
Supervisor: Paulo Jorge de Sousa Azevedo
UM - DI / HASLab - INESC TEC
Concluded
2007 - 2012
206 Matrices as arrows: why categories of matrices matter
Author: Hugo Daniel dos Santos Macedo
Supervisor: José Nuno Oliveira
UM - DI / HASLab - INESC TEC
Concluded
2007 - 2012
207 Bidirectional data transformation by calculation
Author: Hugo José Pereira Pacheco
Supervisor: Manuel Alcino Pereira Cunha
Cosupervisor: José Nuno Oliveira
UM - DI / HASLab - INESC TEC
Concluded
2007 - 2012
208 Formal Verification of Cryptographic Software Implementations
Author: Bárbara Isabel de Sousa Vieira
Supervisor: Manuel Bernardo Martins Barbosa
UM - DI / CCTC
Concluded
2007 - 2012
209 Robust Distributed Data Aggregation
Author: Paulo César de Oliveira Jesus
Supervisor: Carlos Miguel Ferraz Baquero Moreno
Cosupervisor: Paulo Sérgio Soares de Almeida
UM - DI / HASLab - INESC TEC
Concluded
2007 - 2012
210 Verification, Slicing, and Visualization of Programs with Contracts
Author: Daniela Carneiro da Cruz
Supervisor: Pedro Manuel Rangel Henriques
UM - DI / CCTC
Concluded
2007 - 2011
Showing 15 thesis from 212 total.

Events

Check incoming events

Incoming events

Follow the link below for information on upcoming and past MAP-i events.

Check it

FAQ

For incoming Students

Incoming Students

Check FAQ's for incoming students for answers to commonly asked questions.

Check it

FAQ

For current Students

Current Students

Check FAQ's for current students for answers to commonly asked questions.

Check it

Mailing List

Subscription

Mailing List

Find out how to subscribe to MAP-i mailing list.

Check it