MAP-i Thesis

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

Total Results: 213

# Name / Author Supervisor / Affiliation Status
211 Verification, Slicing, and Visualization of Programs with Contracts
Author: Daniela Carneiro da Cruz
Supervisor: Pedro Manuel Rangel Henriques
UM - DI / CCTC
Concluded
2007 - 2011
212 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
213 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 3 thesis from 213 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