MAP-i Thesis

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

Total Results: 225

# Name / Author Supervisor / Affiliation Status
211 Automatic Trading in Purely Speculative Markets
Author: Rui Jorge Pereira Gonçalves
UP - FEUP - DEI In progress
2007 - ...
212 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
213 Civil protection applications in a grid supported environment
Author: Vítor Serafim Pereira de Oliveira
UM - DI / CCTC In progress
2007 - ...
214 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
215 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
216 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
217 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
218 Time Series Motif Discovery
Author: Nuno José Constantino Castro
Supervisor: Paulo Jorge de Sousa Azevedo
UM - DI / HASLab - INESC TEC
Concluded
2007 - 2012
219 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
220 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
221 Formal Verification of Cryptographic Software Implementations
Author: Bárbara Isabel de Sousa Vieira
Supervisor: Manuel Bernardo Martins Barbosa
UM - DI / CCTC
Concluded
2007 - 2012
222 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
223 Verification, Slicing, and Visualization of Programs with Contracts
Author: Daniela Carneiro da Cruz
Supervisor: Pedro Manuel Rangel Henriques
UM - DI / CCTC
Concluded
2007 - 2011
224 Adaptive Object-Modeling: Patterns, Tools and Applications
Author: Hugo José Sereno Lopes Ferreira
Supervisor: Ademar Manuel Teixeira de Aguiar
UP - FEUP - DEI / CSIG - INESC TEC
Concluded
2007 - 2010
225 Computacional Tools for Data Integration and Regulatory Network
Author: José Pedro Basto Gouveia Pereira Pinto
Supervisor: Miguel Francisco de Almeida Pereira da Rocha
UM - DI / CCTC
Concluded
2007 - 2012
Showing 15 thesis from 225 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