MAP-i Thesis

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

Total Results: 205

# Name / Author Supervisor / Affiliation Status
196 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
197 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
198 Time Series Motif Discovery
Author: Nuno José Constantino Castro
Supervisor: Paulo Jorge de Sousa Azevedo
UM - DI / HASLab - INESC TEC
Concluded
2007 - 2012
199 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
200 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
201 Formal Verification of Cryptographic Software Implementations
Author: Bárbara Isabel de Sousa Vieira
Supervisor: Manuel Bernardo Martins Barbosa
UM - DI / CCTC
Concluded
2007 - 2012
202 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
203 Verification, Slicing, and Visualization of Programs with Contracts
Author: Daniela Carneiro da Cruz
Supervisor: Pedro Manuel Rangel Henriques
UM - DI / CCTC
Concluded
2007 - 2011
204 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
205 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 10 thesis from 205 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