| mestrando | título | ano | curso | ficheiro |
|---|---|---|---|---|
| Sampaio, Ana Isabel Anjos | Responsive Web Design | 2013 | Mestrado em Engenharia Informática | |
| Silva, André António dos Santos da | Directed Evolution of Model-Driven Spreadsheets | 2013 | Mestrado em Engenharia Informática | |
| Silva, Nuno Miguel Milhases da | : Interoperability support between Automation Studio and SCADA Systems: Translating synoptics from XAML to SVG | 2013 | Mestrado em Informática | |
| Cruz, Paulo Filipe de Jesus | Development of an environment for generation and execution of test cases | 2013 | Mestrado em Engenharia Informática | |
| Fonseca, Ricardo Gomes da | Test Automation Framework | 2013 | Mestrado em Engenharia Informática | |
| Gomes, Tiago Emanuel Oliveira | 3D Virtual Environment Generation | 2013 | Mestrado em Engenharia Informática | |
| Silva, Tiago Fontes Carvalho Duque da | Remote Management for Access Points in Wireless Networks | 2013 | Mestrado em Engenharia Informática | |
| Amaral, Vasco Manuel de Frias | SIP Application for mobile devices and MEO users | 2013 | Mestrado em Engenharia Informática | |
| Novais, Cláudio Campinho | An Alternative Approach to Formalizing Multi-Dimensional Spaces in OLAP Systems | 2013 | Mestrado em Engenharia Informática | |
| Silva, Dário Almeno Matos da | Including MapReduce Functionalities in Data Warehousing Systems | 2013 | Mestrado em Engenharia Informática | |
| Rodrigues, Paulo Renato Dias | Cloud Based Data Warehouses | 2013 | Mestrado em Engenharia Informática | |
| Barros, Rui Miguel Pereira da Costa | Dashboarding - Design and Implementation of Analytical Panels | 2013 | Mestrado em Engenharia Informática | |
| Morgado, André Correia | Spatial Data Warehouse | 2013 | Mestrado em Engenharia Informática | |
| Silva, André Couto da | Design and development of a Windows 8 application on a service-oriented architecture. | 2013 | Mestrado em Engenharia Informática | |
| Coelho, Fábio André Castanheira Luís | Implementation and test of transactional primitives over Cassandra | 2013 | Mestrado em Engenharia Informática | |
| Oliveira, Luís Filipe Silva de | Web security analysis - An approach to HTML5 risks and pitfalls | 2013 | Mestrado em Engenharia Informática | |
| Dias, Miguel Gonçalves | Real-Time Data Capture in Data Warehousing Systems | 2013 | Mestrado em Engenharia Informática | |
| Costa, Vitor Nuno Rodrigues | Design and development of HTML5 applications - the case study Primavera BSS | 2013 | Mestrado em Engenharia Informática | |
| Rodrigues, Adão Carlos Fernandes | Analysis of User Profiles | 2013 | Mestrado em Engenharia Informática | |
| Portela, Bernardo Luís Fernandes | Cryptography's Feasibility on the Cloud Model | 2013 | Mestrado em Engenharia Informática | |
| Liu, Filipe Alexandre Wang | Computational tools for pathway optimization towards metabolic engineering applications | 2013 | Mestrado em Engenharia Informática | |
| Carneiro, Marco Pereira | Web technologies for scheduling and presentation of multimedia contents in public displays | 2013 | Mestrado em Engenharia Informática | |
| Almeida, Paulo Adelino Dias | An Open Source Virtual Globe for Android | 2013 | Mestrado em Engenharia Informática | |
| Araujo, Luís Andre Mota | Preference-Based Recommender System | 2013 | Mestrado em Engenharia Informática | |
| Ribeiro, Raquel Gouveia | Column-Oriented Database Systems | 2013 | Mestrado em Engenharia Informática | |
| Carvalhal, Carlos André Machado | Computer assisted management of multidimensional structures - an healthcare application | 2013 | Mestrado em Engenharia Informática | |
| Oliveira, Rui Emanuel Barros | Mobile Application to support pediatric medical practice | 2013 | Mestrado em Engenharia Informática | |
| Lourenço, Cláudio Filipe Belo da Silva | A Bounded Model Checker for SPARK Programs | 2013 | Mestrado em Engenharia Informática | |
| Felgueiras, Gilberto Martins | Social Simulation of human behaviors in virtual agents for sustainability management platforms | 2013 | Mestrado em Engenharia Informática | |
| Rosa, Luís Miguel Ferreira | Sensing, sensor fusion and mobile devices: contributions for sustainability of ambient intelligence | 2013 | Mestrado em Engenharia Informática | |
| Boas, Tiago Campelo Vilas | Creation and Implementation of Automatized Medical Guidelines | 2013 | Mestrado em Engenharia Informática | |
| Oliveira, Nuno Miguel Carvalho | W3DS service open source implementation | 2013 | Mestrado em Engenharia Informática | |
| Ferreira, Tiago Mendes | Discovering Electrical Energy Consumption Patterns | 2013 | Mestrado em Engenharia Informática | |
| Pereira, Rui Alexandre Afonso | Querying for Model-Driven Spreadsheets | 2013 | Mestrado em Engenharia Informática | |
| Ferreira, João Manuel Rodrigues | Ambient Intelligence for Monitoring Weight and Physical Activity | 2013 | Mestrado em Engenharia Informática | |
| Fernandes, João Pedro Araújo | SPeculative Computation in Ambient Intelligence | 2013 | Mestrado em Engenharia Informática | |
| Alves, João Miguel Pereira | Knowledge Extraction from the Behaviour of Players in a Web Browser Game | 2013 | Mestrado em Engenharia Informática | |
| Matos, Marta Raquel Almeida | Network Inference: extension of a linear programming model for time series data | 2013 | Mestrado em Engenharia Informática | |
| Azevedo, Bruno Miguel Correia | A Toolkit for Music Processing and Analysis | 2013 | Mestrado em Engenharia Informática | |
| Neves, Renato Jorge Araújo | Proof support for hybridised logics | 2013 | Mestrado em Engenharia Informática | |
| Macedo, Ricardo Joaquim Pereira de | Enhancing privacy by controlling the digital footprint. | 2013 | Mestrado em Engenharia Informática | |
| Fernandes, Tiago Miguel Soares | An Evaluation of Key-Agreement Protocols Based on Weak-Secrets | 2013 | Mestrado em Engenharia Informática | |
| Pereira, André Martins | Efficient processing of ATLAS events analysis in homogeneous and heterogeneous platforms with accelerator devices | 2013 | Mestrado em Engenharia Informática | |
| Palhas, Miguel Branco | An evaluation of the GAMA/StarPU frameworks for heterogeneous platforms: the progressive photon mapping algorithm | 2013 | Mestrado em Engenharia Informática | |
| Costa, Pedro Filipe Araújo | Efficient Computation of the Matrix Square Root in Heterogeneous Platforms | 2013 | Mestrado em Engenharia Informática | |
| Quinta, Daniel Ribeiro | Application of Formal Methods in the ITASAT Project | 2013 | Mestrado em Engenharia Informática | |
| Reis, Pedro Miguel Pinho | Human Resources Software Integration | 2013 | Mestrado em Engenharia Informática | |
| Cunha, João Mário Quintas | Fault Injection for the Evaluation of Critical Systems | 2013 | Mestrado em Engenharia Informática | |
| Gomes, João Miguel Barbosa | Modelo de simulação de discos | 2013 | Mestrado em Engenharia Informática | |
| Rebelo, António José Almeida | Sleep Stage Classification Based on Cardiorespiratory Signals | 2013 | Mestrado em Engenharia Informática | |
| Torre, Carlos Miguel Janeiro Regedor Dias da | The Role of Best Practices in Assessing Software Quality | 2013 | Mestrado em Engenharia Informática | |
| Brandão, João Pedro Almeida | Plataforma integradora de serviços em tempo real baseada em tecnologia OSGi | 2013 | Mestrado em Engenharia Informática | |
| Silva, André Manuel Rodrigues da | Using WebRTC technology to create a web-based SIP client | 2013 | Mestrado em Informática | |
| Martins, Henrique Fontão | Biometrical and behavioural identification of users in a scenario of intrusion | 2013 | Mestrado em Engenharia Informática | |
| Pereira, Pedro Vasco Neto | Temporal Web Crawling | 2013 | Mestrado em Engenharia Informática | |
| Valente, Samuel de Meneses | Obstetric support on mobile platforms | 2013 | Mestrado em Engenharia Informática | |
| Santos, Bruno Miguel Almeida | Revisão e Reestruturação da Arquitetura da Plataforma Vortal Next | 2013 | Mestrado em Engenharia Informática | |
| Silva, Fábio Samuel Coelho da | Improving the usability of web applications: more results with less effort | 2013 | Mestrado em Engenharia Informática | |
| Ribeiro, André Pimenta | Monitoring fatigue in Ambient Assisted Living | 2013 | Mestrado em Engenharia Informática | |
| Pimenta, Cedric Fernandes | Gamification in social environments to promote behaviours regarding energetic sustainability | 2013 | Mestrado em Engenharia Informática | |
| Catalão, Fábio Alexandre Marques | Analysis of the influence of stress on the interaction with the computer | 2013 | Mestrado em Engenharia Informática | |
| Gonçalves, Sérgio Manuel de Carvalho | Assessment as learning moment - Stress Analysis in an environment of e-learning | 2013 | Mestrado em Engenharia Informática | |
| Cruz, Eduardo José Tanque de Pádua | Parallel Interactive Ray Tracing and Exploiting Spatial Coherence | 2013 | Mestrado em Informática | |
| Silva, Fernando Guilherme Gonçalves Pequeno de Oliveira e | O impacto da computação quântica na criptografia moderna | 2013 | Mestrado em Engenharia Informática | |
| Faria, Pedro Vasconcelos Castro Lopes | Remote Electronic Voting Studying and Improving Helios | 2013 | Mestrado em Engenharia Informática | |
| Silva, Diogo Manuel Rodrigues dos Santos | ETL Systems Modelling with coloured Petri Nets | 2013 | Mestrado em Engenharia Informática | |
| Gonçalves, Nelson Manuel Almeida | Large Scale Privacy Preserving Bluetooth Sensig | 2013 | Mestrado em Engenharia Informática | |
| Monsanto, Paulo Alexandre Ricardo | Web Profiling Based on Signatures | 2013 | Mestrado em Engenharia Informática | |
| Moreira, Samuel da Silva | Simulating Ubiquitous Computing Environments | 2013 | Mestrado em Engenharia Informática | |
| Silva, José Augusto Fernandes da | Work Report | 2013 | Mestrado em Engenharia Informática | |
| Sequeira, Ana Isabel Gonçalves | Mineração de Dados em Sistemas OLAP | 2013 | Mestrado em Engenharia Informática | |
| Ribeiro, Daniel José Silva | Support Vector Machines on the Prediction of a WWTP Performance | 2013 | Mestrado em Engenharia Informática | |
| Costa, Eduardo Jorge Araújo da | Uma Ontologia para Expressão de Preferências de Utilizadores em Sistemas OLAP | 2013 | Mestrado em Informática | |
| Veloso, Fernando Jorge Machado | Um Modelo para Previsão de Churn na Área do Retalho | 2013 | Mestrado em Engenharia Informática | |
| Gonçalves, Maria Madalena Pacheco | Guidelines for Analysis and Modelling of Reactive Software Systems | 2013 | Mestrado em Engenharia Informática | |
| Mota, Ricardo Agostinho Miranda | Techniques for Place Aware Advertising | 2013 | Mestrado em Engenharia Informática | |
| Oliveira, Ricardo Manuel Ferreira Moreira de Magalhães | Relatório de Atividade Profissional | 2013 | Mestrado em Engenharia Informática | |
| Borges, André Paulo Renato Pereira | Uma experiência Educativa com Robótica Inteligente | 2012 | Mestrado em Informática | |
| Costa, André Vilas Boas da | RetScan: Efficient Fovea and Optic Disc Detection in Retinographies | 2012 | Mestrado em Informática | |
| Alves, Ricardo Daniel Queirós | Distributed Shared Memory on Heterogeneous CPUs+GPUs Platforms | 2012 | Mestrado em Engenharia Informática | |
| Sá, Tiago Silva e | Easy management and user interconnection across Grid sites | 2012 | Mestrado em Engenharia Informática | |
| Fernandes, João Paulo da Fonseca | Localização em Redes Wi-Fi | 2012 | Mestrado em Engenharia Informática | |
| Braga, Leonel João Fernandes | Web Browser Access to Cryptographic Hardware | 2012 | Mestrado em Engenharia Informática | |
| Ferreira, Luís António Araújo | Simulation of large scale Pervasive Display Networks | 2012 | Mestrado em Engenharia Informática | |
| Vieira, Pedro Jorge Alves Barbosa | Towards Social-Aware Opportunistic Network Datasets | 2012 | Mestrado em Engenharia Informática | |
| Sousa, Manuel António Freitas de | Safety Critical Interactive Computing Systems' Modelling | 2012 | Mestrado em Informática | |
| Esteves, Miguel dos Santos | CazDataProvider: A solution to the object-relational mismatch | 2012 | Mestrado em Engenharia Informática | |
| Sousa, Nuno Miguel Eira de | WildAniMAL - MAL Interactors Model Animator | 2012 | Mestrado em Engenharia Informática | |
| Soares, Abel Jorge Ferreira Barbosa | Integração do Facebook em ecrãs públicos | 2012 | Mestrado em Informática | |
| Coelho, André Feliciano Quintas da Silva | A web-based tool for user experience studies | 2012 | Mestrado em Informática | |
| Ferreira, Ricardo Miguel Pinto | Context aware mobile application for public transit | 2012 | Mestrado em Engenharia Informática | |
| Duarte, Ana Filipa de Sampaio Calçada | Using Reinforcement Learning in the tuning of Central Pattern Generators | 2012 | Mestrado em Engenharia Informática | |
| Barbosa, André Lopes | Patern based user interface generation | 2012 | Mestrado em Engenharia Informática | |
| Costa, Bruno Gustavo Rego Amaral | OL3 - Javascript library for 3D scenes | 2012 | Mestrado em Informática | |
| Sá, Igor Gonçalo Gomes de | Análise e Conceção de uma Framework de Reporting genérica e parametrizável | 2012 | Mestrado em Engenharia Informática | |
| Ferreira, Luís Pedro Zamith de Passos Machado | Bridging the Gap Between SQL and NoSQL | 2012 | Mestrado em Engenharia Informática | |
| Costa, Rogério Araújo | MDA SMART: Uma Ferramenta Multiplataforma Baseada em Modelos | 2012 | Mestrado em Engenharia Informática | |
| Silva, José Pedro Vieira Costa e | Semantic Good Morning: News Collection, Management and Presentation | 2012 | Mestrado em Engenharia Informática | |
| Marques, Nuno Antunes | Deposit management in archives | 2012 | Mestrado em Informática | |
| Gregório, Carla Alexandra Marques | Análise de Dados de Desnaturação Proteica Obtida por Simulações de Dinâmica Molecular | 2012 | Mestrado em Engenharia Informática | |
| Lopes, Eduardo Luís da Silva | Deteção de Anomalias em Modelos de Publicidade Pay-Per-Click | 2012 | Mestrado em Engenharia Informática | |
| Festa, Paulo Sérgio de Almeida | Deteção e validação de comportamento desviante no combate à fraude em modelos de publicidade pay-per-click | 2012 | Mestrado em Engenharia Informática | |
| Magalhães, André Filipe Gonçalves | Data Mining methods to detect discrimination patterns along temporal databases | 2012 | Mestrado em Engenharia Informática | |
| Cuevas, David José Farinha | Intelligent Systems for Energetic Sustainability | 2012 | Mestrado em Engenharia Informática | |
| Mariano, Artur Miguel Matos | Scheduling (ir)regular applications on heterogeneous platforms | 2012 | Mestrado em Engenharia Informática | |
| Vilas, Hélio Manuel | Jogos de Computador para a Formação em Engenharia Informática | 2012 | Mestrado em Informática | |
| Mendes, Jorge Cunha | Evolution of Model-Driven Spreadsheets | 2012 | Mestrado em Engenharia Informática | |
| Anacleto, Joaquim Alberto da Costa | Desenvolvimento de uma aplicação web para dispositivos móveis - Monitorização e controlo de uma rede digital signage | 2012 | Mestrado em Engenharia Informática | |
| Ribeiro, Tiago José Fernandes de Sá de Araújo | Sistema de Monitorização Inteligente em Dispositivos Móveis | 2012 | Mestrado em Engenharia Informática | |
| Marques, Vitor Manuel Freitas | iLeisure: an Intelligent Free Time Scheduler based on User Profiling | 2012 | Mestrado em Engenharia Informática | |
| Gonçalves, João Pedro da Cunha | Análise e Desenvolvimento de Extensões de Controlo para o ambiente Scratch | 2012 | Mestrado em Engenharia Informática | |
| Silva, Rui Filipe Veiga Rebelo da | Implementação de grafos no ambiente de programação visual Scratch | 2012 | Mestrado em Engenharia Informática | |
| Couto, Luís Diogo Monteiro Duarte | Análise a grafos de invocação para avaliação de qualidade de arquitetura de software | 2012 | Mestrado em Engenharia Informática | |
| Veiga, Nuno Gil Correia Veloso da | Geração Automática de Test Cases Baseada em Modelos | 2012 | Mestrado em Engenharia Informática | |
| Lemos, Pedro Manuel Pereira de | Validação de software altamente configurável | 2012 | Mestrado em Engenharia Informática | |
| Azevedo, Rui Filipe Pereira de | Métodos Sistemáticos de transformação e refinamento de modelos UML: desenvolvimento e verificação em Alloy | 2012 | Mestrado em Engenharia Informática | |
| Santos, Pedro Miguel da Silva | Holografia Gerada por Computador e Reconstrução do Sinal Original: um estudo exploratório | 2012 | Mestrado em Informática | |
| Miranda, Luís Paulo Ferreira | Linguagens de domínio específico para software criptográfico | 2012 | Mestrado em Engenharia Informática | |
| Sousa, Ricardo Jorge Gomes Maia de | Marca Do Dia Electrónica em Smartphones | 2012 | Mestrado em Engenharia Informática | |
| Cadete, Daniel Nascimento | De requisitos em linguagem natural para descrições formais em Alloy, passando por Boilerplates | 2012 | Mestrado em Engenharia Informática | |
| Moreira, Diogo Araújo Carvalho Vilaça | Distribuições finitas de probabilidades em Coq | 2012 | Mestrado em Engenharia Informática | |
| Oliveira, Tiago Filipe Azevedo | Verificação de Software Criptográfico de Elevado Desempenho | 2012 | Mestrado em Engenharia Informática | |
| Martins, Tiago Filipe Maia de Campos | CAP protocol for smartphones | 2012 | Mestrado em Engenharia Informática | |
| Peixoto, Christophe Campos | Quality model for spreadsheets: design and implementation | 2011 | Mestrado em Informática | |
| Ribeiro, Hugo Manuel Sousa | Metrics to assess quality of spreadsheets | 2011 | Mestrado em Informática | |
| Silva, Hélder de Jesus Almeida da | SCEUR: serviço centralizado de estatística de utilização de repositórios | 2011 | Mestrado em Engenharia Informática | |
| Gomes, Bruno Miguel Viana | Previsão de Churn em Companhias de Seguros | 2011 | Mestrado em Informática | |
| Dias, Manuel Fernando Fortuna Ribeiro | Classificação automática de logs | 2011 | Mestrado em Engenharia Informática | |
| Carvalho, Mariana Reimão Queiroga Valério de | Descoberta de padrões num sistema de certificação de empresas | 2011 | Mestrado em Engenharia Informática | |
| Castro, Mauro Nuno Barbosa de | Development of an RFID-based localization system | 2011 | Mestrado em Informática | |
| Novais, José Pedro Vilaça | Um Sistema de Controlo de Acessos baseado no modelo cargo-organização | 2011 | Mestrado em Engenharia Informática | |
| Azevedo, Nuno Filipe Solinho de | Framework de serviços e auto-configuração para ambientes ad-hoc seguros em Android e Linux | 2011 | Mestrado em Engenharia Informática | |
| Lopes, Carlos Manuel Fereira | iiD: Utilização de molduras fotográficas digitais como ecrãs interativos para acesso a serviços genéricos de informação | 2011 | Mestrado em Informática | |
| Lemos, Flávio Miguel Alves | Um sistema de Resolução de Conflitos Online para Organizações Virtuais | 2011 | Mestrado em Engenharia Informática | |
| Barbosa, Guilherme Reis | Sensorização e Perceção num Ambiente de Monitorização | 2011 | Mestrado em Engenharia Informática | |
| Almeida, Miguel Craveiro Martins de | Bluetooth Hotspots for Smart Spaces Interaction | 2011 | Mestrado em Engenharia Informática | |
| Lopes, Paulo Alexandre da Silva | Métricas para aspetos e programas MATLAB | 2011 | Mestrado em Informática | |
| Silva, Pedro André Moreira da | Locomoção adaptativa num quadrúpede: aprender a detetar e evitar obstáculos | 2011 | Mestrado em Engenharia Informática | |
| Ribeiro, Pedro do Rego | Voodoo: um sistema para crianças que permite a criação de filmes de animação através de figuras de ação como interface | 2011 | Mestrado em Informática | |
| Soares, Pedro Emanuel Pereira | Componente de Visão por computador para rastreamento de ambientes | 2011 | Mestrado em Engenharia Informática | |
| Branco, Pedro Miguel Pereira Tomé | Digital Signage - aplicação baseada em eventos usando API Google Calendar | 2011 | Mestrado em Engenharia Informática | |
| Ribeiro, Francisco André Guimarães | Deteção de intrusões em redes informáticas utilizando redes neuronais artificiais | 2011 | Mestrado em Engenharia Informática | |
| Freitas, José Luis Figueiredo de | Análise de Comentários na compreensão de programas | 2011 | Mestrado em Engenharia Informática | |
| Coelho, Márcio João Carvalho | GamaBoogie: a contract-based slicer for Boogie programs | 2011 | Mestrado em Engenharia Informática | |
| Miranda, Pedro Miguel Linhares | Computação eficiente do software CPW2000 em plataformas heterogêneas CPU-GPU | 2011 | Mestrado em Informática | |
| Ribeiro, Roberto Carlos Sá | Portabilidade e Desempenho em Sistemas Paralelos Heterogéneos | 2011 | Mestrado em Informática | |
| Costa, Rui Sérgio Magalhães da | Algoritmos Escaláveis para docking molecular em plataformas heterogéneas | 2011 | Mestrado em Engenharia Informática | |
| Pedro, André de Matos | Aprendizagem e teste de sistemas de eventos discretos estocásticos | 2011 | Mestrado em Engenharia Informática | |
| Carvalho, André Ribeiro de | Extração Automática de Modelos de Sistemas de Tempo Real | 2011 | Mestrado em Informática | |
| Prada, Inês Isabel Russo | Ferramentas de Verificação Formal de Protocolos Criptográficos | 2011 | Mestrado em Engenharia Informática | |
| Martins, João Pedro Marques da Silva | Verificação Formal de Programas Ada | 2011 | Mestrado em Informática | |
| Eiras, Mário André Barbosa | Formalizando Alloy com uma tradução para Isabelle/HOL | 2011 | Mestrado em Engenharia Informática | |
| Romano, Ricardo Jorge Cantador | Desenvolvimento formal de sistemas críticos: caso de estudo usando SPARK | 2011 | Mestrado em Engenharia Informática | |
| Machado, Roberto Manuel Dias | Validação de documentos commom criteria com Alloy | 2011 | Mestrado em Engenharia Informática | |
| Martins, André Batista | Protótipo de componentes com o cálculo de QoS | 2011 | Mestrado em Informática | |
| Veloso, Tiago Alves | Raikon - Deteção de Invariantes cruza-se com Geração Aleatória de Testes | 2011 | Mestrado em Engenharia Informática | |
| Guimarães, Pedro Jorge Barros Vasconcelos | Rede automatizada de spamtraps | 2011 | Mestrado em Engenharia Informática | |
| Santos, André Fernandes dos | Construção de um Sistema de Corpora-Flow | 2011 | Mestrado em Engenharia Informática | |
| Simão, Elísio Maciel | Classificação de Metodologias de Desenvolvimento de Software através do Swebok | 2011 | Mestrado em Informática | |
| Moderno, Dave Lage | Shadow Mapping e Ray-Tracing | 2011 | Mestrado em Informática | |
| Bordalo, João Paulo da Silva | Minha: Avalição realista de aplicações distribuídas num ambiente centralizado | 2011 | Mestrado em Informática | |
| Beernaert, Leander Edward Bessa | Motores de Renderização 3D Multi-Plataforma e Dispositivos Móveis/Smartphones | 2011 | Mestrado em Engenharia Informática | |
| Moreira, Rui Manuel Ferreira de Carvalho Azevedo | Rui Manuel Ferreira de Carvalho Azevedo Moreira | 2011 | Mestrado em Engenharia Informática | |
| Neto, Jaime Emanuel Vieira dos Santos Moura | Geração automática de código para padrões de conceção | 2011 | Mestrado em Engenharia Informática | |
| Faria, Nuno Filipe Monteiro | Otimizações de localidade em algoritmos e estruturas de dados irregulares | 2011 | Mestrado em Engenharia Informática | |
| Couto, Rui Miguel Silva | Inferência de PSM/PIM e Padrões de conceção a partir de código Java | 2011 | Mestrado em Engenharia Informática | |
| Silva, Miguel Ângelo Borges da | Estimativa de funções de probabilidade cumulativa em redes de larga escala | 2011 | Mestrado em Engenharia Informática | |
| Duarte, Ana Sofia da Silva | Materialização à medida de vistas multidimensionais de dados | 2011 | Mestrado em Informática | |
| Rocha, Daniel Carvalho da | Selecção de Hiper-Cubos com base em padrões de exploração OLAP | 2011 | Mestrado em Engenharia Informática | |
| Abreu, Nuno Miguel da Costa | Entrega de conteúdos a pedido em redes em malha sem fios | 2011 | Mestrado em Engenharia Informática | |
| Quelhas, Rui Filipe Pedro | Benefícios do contexto social nas comunicações oportunistas | 2011 | Mestrado em Engenharia Informática | |
| Silva, Fábio André Souto da | Classificação de crédito como ativo na tomada de decisão em sistemas inteligentes de suporte à decisão | 2011 | Mestrado em Engenharia Informática | |
| Ribeiro, João Pedro Pinto Vasques | Resolução de Conflitos em Linha: OntoLab uma aplicação ao Direito Laboral | 2011 | Mestrado em Informática | |
| Santos, Luís Fernando Rodrigues Loureiro dos | Modularidade em Java - O impacto do projeto Jigsaw | 2011 | Mestrado em Informática | |
| Barbosa, André Filipe Ferreira Araújo | Integração do Protocolo SIP na Media Framework da plataforma Android | 2011 | Mestrado em Informática | |
| Gonçalves, Ricardo Jorge Tomé | Logical Clocks inCloud Databases | 2011 | Mestrado em Informática | |
| Medeiros, Bruno Silvestre | Técnicas de Ponto de Controlo e Adaptação em Grelhas Computacionais | 2011 | Mestrado em Engenharia Informática | |
| Sá, João Nuno Araújo | Science Data Vaults in MonetDB: A case study | 2011 | Mestrado em Engenharia Informática | |
| Gomes, Pedro Filipe Linhares | Migração de aplicações legads para bases de dados NOSQL | 2011 | Mestrado em Informática | |
| Arriaga, Afonso Delerue | Efficiency and Security Gains via Randomness Reuse Across Different Cryptographic Primitives | 2011 | Mestrado em Engenharia Informática | |
| Marques, Pedro Carvalho | Manutenção de Caches para sistemas OLAP | 2011 | Mestrado em Informática | |
| Macedo, Helder Nuno Ribeiro | A Strategic-Based weaver for Aspect-MatLab | 2010 | Mestrado em Informática | |
| Lopes, João Batista da Costa | Utilização de técnicas de profiling na detecção de fraude em sistemas de telecomunicações | 2010 | Mestrado em Informática | |
| Gomes, Alberto Manuel da Silva | Gestão e Manutenção de Múltiplos Terminais em Redes de Próxima Geração | 2010 | Mestrado em Engenharia Informática | |
| Rodrigues, Carlos Eduardo da Costa | Caracterização e Modelação Semãntica de Serviços em Redes Multiserviço | 2010 | Mestrado em Informática | |
| Brito, Eduardo Augusto Peixoto da Silva | A Formal Approach for a Subset of the SPARK Programming Language Semantics and Program Verificatiton | 2010 | Mestrado em Informática | |
| Ribeiro, Eduardo Jorge da Costa | Etelvina - Um gerador de personagens para Instant Messaging | 2010 | Mestrado em Informática | |
| Braga, Emanuel José Oliveira | Integração de Informação de contexto em Redes Sociais Online | 2010 | Mestrado em Engenharia Informática | |
| Claro, Luís Miguel Chaves | Arquitectura Orientada a Eventos | 2010 | Mestrado em Engenharia Informática | |
| Alves, Manuel da Silva | Modelos de Língua - Língua::srilm | 2010 | Mestrado em Informática | |
| Correia, Tiago Mendonça Coutinho | Abstract Map Representation for Web Publishing | 2010 | Mestrado em Engenharia Informática | |
| Fernandes, Vicente Machado | Extensões de Alto Nível para uma Linguagem de Programação Criptográfica | 2010 | Mestrado em Informática | |
| Costa, Bruno Luís da Silva e | Dependable Cloud Computing Management Services | 2010 | Mestrado em Informática | |
| Fernandes, José Avelino Rodrigues | Interoperabilidade nos Sistemas de Informação da Leoni Portugal | 2010 | Mestrado em Informática | |
| Abreu, Paulo Bruno Lima de | Coordenação de RESTfull Web Services | 2010 | Mestrado em Informática | |
| Coelho, Ricardo Jorge Oliveira Tching de Magalhães | Confiabilidade e Escalabilidade de Sistemas de Voz sobre IP | 2010 | Mestrado em Engenharia Informática | |
| Fernandes, Vitor Hugo Correia | Transposição de aplicações Desktop para plataformas móveis - Um caso de estudo | 2010 | Mestrado em Informática | |
| Martins, Pedro Miguel Ribeiro | A Domain Specific Aspect Language for Matlab | 2010 | Mestrado em Informática | |
| Paz, João António Cardoso da Mata Oliveira da | Verificação de consultas .QL usando Alloy | 2010 | Mestrado em Engenharia Informática | |
| Fernandes, Marta de Jesus Rodrigues | Model-checking in Alloy of a Fragment of the UBIFS File System for Flash Momory | 2010 | Mestrado em Engenharia Informática | |
| Areias, Sérgio André dos Santos | Contracts and Slicing for Safety Reuse | 2010 | Mestrado em Engenharia Informática | |
| Gomes, César Carlos Martins | Ray Tracing Interactivo Híbrido: GPU + CPU | 2010 | Mestrado em Informática | |
| Maçães, Gustavo dos Santos | Augmented and Virtual Reality Activity Representation and Visualization | 2010 | Mestrado em Informática | |
| Maia, Joaquim André Moreira | Preprocessing Non Organic Objects in Computer Tomography Images | 2010 | Mestrado em Informática | |
| Ferreira, Vânio Miguel Rodrigues | Mapping local thickness from CAD models to finite element meshes | 2010 | Mestrado em Informática | |
| Lima, Waldir Spencer Pimenta | Face recognition using 3D structural geometry of rigid featrures extrated from 2D images | 2010 | Mestrado em Informática | |
| Veiga, João Miguel Rodrigues Quintas | Quality Assessment of Java Source Code | 2010 | Mestrado em Informática | |
| Almeida, Matheus Barros | Separation of Concerns in Parallel Programming using Feature-Oriented Programming | 2010 | Mestrado em Informática | |
| Silva, Rui António Sabino Castiço da | Algoritmos paralelos para simulação de dinâmica molecular | 2010 | Mestrado em Engenharia Informática | |
| Café, Ana Cláudia Matias | Sistema de Resolução de Conflitos no Contexto da Partilha de Bens | 2010 | Mestrado em Engenharia Informática | |
| Machado, Luís Pedro Martins dos Santos | Jogos de Papéis e Reconhecimento de Emoções em Ambientes Inteligentes | 2010 | Mestrado em Engenharia Informática | |
| Costa, Nuno Miguel Gomes da | Resolução de Conflitos de Consumo em Linha | 2010 | Mestrado em Informática | |
| Carvalho, Sérgio Miguel da Silva | MonetDB in the Cloud: Data Distribution and Replication for a Cloud Environment | 2010 | Mestrado em Engenharia Informática | |
| Matos, João Miguel da Costa | Integração da Aplicação Microsoft Project num Sistema ERP | 2010 | Mestrado em Informática | |
| Godinho, Ricardo Miguel da Silva Neto | Availability, Reliability and Scalability in Database Architecture | 2010 | Mestrado em Informática | |
| Gonçalves, Luís Filipe Pereira | Photorealistic modelling and rendering of 3D human anatomy for medical training | 2010 | Mestrado em Engenharia Informática | |
| Castro, Henrique Manuel Fernandes de | Formal verification of security proofs | 2010 | Mestrado em Engenharia Informática | |
| Silva, Carlos Eduardo Bastos e Marques da | Reverse engineering of rich internet applications | 2010 | Mestrado em Engenharia Informática | |
| Macedo, Nuno Filipe Moreira | Translating alloy specification to the point-free style | 2010 | Mestrado em Informática | |
| Silva, João Gonçalo Botica Ribeiro da | Real-Time Structural Mech, Simulation for Tetrahedral Meshes | 2010 | Mestrado em Informática | |
| Araújo, Pedro Miguel da Silva | Development of Naturalness Improvements of Avatar Appearance | 2010 | Mestrado em Informática | |
| Neves, Tiago António da Silva | An OpenCL Ray-Tracer development and camparison over CUDA | 2010 | Mestrado em Informática | |
| Pinto, Anabela Carvalho | AMA: portal de comércio electrónico de venda de artesanato | 2009 | Mestrado em Informática | |
| Cunha, Manuel José Torres Sousa da | Metodologias para abstracção de stored procedures em aplicações Web orientadas à acção | 2009 | Mestrado em Informática | |
| Fernandes, Sara dos Santos | Modelação de Sistemas de Informação na Era da Globalização | 2009 | Mestrado em Informática | |
| Ferreira, André Filipe dos Santos | Controlo de Admissão Adaptativo em Sistemas de Tempo Real | 2009 | Mestrado em Informática | |
| Machado, Artur Jorge Paiva Correia | Filtragem colaborativa de correio electrónico não solicitado | 2009 | Mestrado em Informática | |
| Leitão, Filipe Alexandre Rodrigues de Moura | Cenários de convivência de serviços de mensagens entre redes tradicionais e redes de próxima ger | 2009 | Mestrado em Informática | |
| Maia, Francisco António Ferraz Martins Almeida | Bolt Cloud - A Working Set Dissemination Service | 2009 | Mestrado em Informática | |
| Cruz, Francisco Miguel Carvalho Barros da | SocialSeer | 2009 | Mestrado em Informática | |
| Magalhães, Hugo Miguel Mota | SAT on the Linear and differential cryptanalysis for AES | 2009 | Mestrado em Informática | |
| Cadinha, João Pedro Domingues | Interpretador SMIL de Alta Performance para Controlo de Apresentações Multimédia num Servidor Str | 2009 | Mestrado em Informática | |
| Paulo, João Tiago Medeiros | Efficient storage of data in cloud computing | 2009 | Mestrado em Informática | |
| Rodrigues, José Miguel Crespo Garcia | O uso de técnicas espectrais e SAT na criptoanálise do AES | 2009 | Mestrado em Informática | |
| Brito, Paulo Miguel Franco Correia de | Acessibilidade: emulação do rato através de movimentos | 2009 | Mestrado em Informática | |
| Mendes, Sandrine Alves | FlexiXML: um animador de modelos de interfaces com o utilizador | 2009 | Mestrado em Informática | |
| Marques, Alice Monteiro | Identificação de perfis de utilização Web baseada em Clickst | 2009 | Mestrado em Informática | |
| Martins, Diogo Barbosa | Reliable software development in a vital signs monitoring system | 2009 | Mestrado em Informática | |
| Sousa, Edgar Manuel Fernandes da Mota | Incrementally gridifying scientific application | 2009 | Mestrado em Informática | |
| Abreu, Jorge Filipe Fernandes | A Influência de índices bitmap no desempenho de SDW | 2009 | Mestrado em Informática | |
| Pinhal, Mário Filipe de Melo Medeiros Fernandes | An integrated environment for software assessments | 2009 | Mestrado em Informática | |
| Guimarães, Nelio Martins | Qualidade de serviço em sistemas de Data Warehousing | 2009 | Mestrado em Informática | |
| Oliveira, Nuno Ernesto Salgado | Improving program comprehension tools for DSLs | 2009 | Mestrado em Informática | |
| Almeida, Paulo Manuel Gonçalves de | Student Assessment System - Diagnosing Student Models | 2009 | Mestrado em Informática | |
| Tarrinho, Pedro Miguel de Andrade | A Confiança como factor de segurança num ambiente de vida assistido | 2009 | Mestrado em Informática | |
| Freitas, Rui Mário da Silva e | Formal Software development techniques in a continuous vital signs control system | 2009 | Mestrado em Informática | |
| Sousa, Sónia Marlene Pereira de | PlayScrum: um jogo para a aprendizagem do método Ágil Scrum | 2009 | Mestrado em Informática | |
| Ribeiro, André Gentil Lopes | Desenvolvimento de Serviços de Redes Inteligentes na Plataforma NGIN | 2009 | Mestrado em Informática | |
| Pereira, Carlos Eduardo da Silva | Middleware genérico para aplicações web | 2009 | Mestrado em Informática | |
| Freitas, Emanuel José da Silva | Solução de controlo para redes WLAN em convivência com redes 3GPP | 2009 | Mestrado em Informática | |
| Rosas, Eugénio Mendes | Network associations: prevenção de fraude nas telecomunicações | 2009 | Mestrado em Informática | |
| Pereira, Hélder Marco da Mota | Aplicações de políticas em redes 3GPP | 2009 | Mestrado em Informática | |
| Fernandes, Joana Pinto | Descoberta de padrões em sistemas de dados | 2009 | Mestrado em Informática | |
| Granja, João Pedro Rodrigues Dias | Sistemas de configuração de ambientes de deployment de aplicações web | 2009 | Mestrado em Informática | |
| Ferreira, Mariana Isabel da Silva Pinto | Detecção e prevenção de fraude | 2009 | Mestrado em Informática | |
| Rodrigues, Susana de Jesus Prozil | Prioritização de Requisitos de Software utilizando AHP e ELECTRE I | 2009 | Mestrado em Informática | |
| Oliveira, João Abrantes de | Analysis and Proposal of a Shadow Mapping Remix Approach | 2009 | Mestrado em Informática | |
| Nunes, Miguel Dias Coelho da Cruz | Interactive Ray Tracing | 2009 | Mestrado em Informática | |
| Marques, Ricardo Jorge Rodrigues Sepúlveda | Interactive GPU ray casting for biomedical imaging | 2009 | Mestrado em Informática | |
| Carneiro, Davide Rua | Simulating and Monitoring Ambient Assisted Living | 2009 | Mestrado em Informática | |
| Matos, Miguel Ângelo Marques de | Network-Aware Epidemic Broadcast | 2009 | Mestrado em Informática | |
| Silva, Alvaro Jose de Castro Moreira da | Optimização da Cadeia de Abastecimento de um Hipermercado através da Utilização de Mineração | 2009 | Mestrado em Informática | |
| Nunes, Ana Luisa Parreira | P2P content-push for the Internet | 2009 | Mestrado em Informática | |
| Ribeiro, António André Marques | RFID - Middleware Portável, Genérico, Autónomo e Escalável | 2009 | Mestrado em Informática | |
| Samico, Dario do Chão | Sistema de Recomendação em Ambiente de Vida Assistida | 2009 | Mestrado em Informática | |
| Duarte, Eva Margarida Correia | Técnicas de Mineração de Dados para Suporte à Decisão no Planeamento de Horários em Empresas d | 2009 | Mestrado em Informática | |
| Pontes, Gil Fernando Ferreira da Costa | R-Trees, sua influência no desempenho dos sistemas de processamento analítico | 2009 | Mestrado em Informática | |
| Miranda, Jorge Alberto Faria | Manutenção de índices multidimensionais recorrendo a Quadtrees como Estruturas de Indexação | 2009 | Mestrado em Informática | |
| Silva, José António da Cunha e | Desempenho de tarefas nun cenário virtual dotado de características emocionais | 2009 | Mestrado em Informática | |
| Almeida, Mauro Jorge Pereira | Classificação e Comparação de Métodos Ágeis de Desenvolvimento de Software | 2009 | Mestrado em Informática | |
| Ferreira, Miguel Alexandre Lopes Oliveira da Costa | Verifying intel flash File System Core | 2009 | Mestrado em Informática | |
| Marques, Miguel Ângelo Pinto | An Extension to the Eclipse IDE for Cryptographic Software Development | 2009 | Mestrado em Informática | |
| Vale, Monica Patrícia Freire do | Determinação de frequência de recolhas aplicando técnicas de mineração de dados | 2009 | Mestrado em Informática | |
| Carvalho, Nuno Alexandre Ramos de | OML - Ontology Manipulation Language | 2009 | Mestrado em Informática | |
| Guerreiro, Nuno Miguel Domingues | Previsão de disponibilidade em ambientes Grid | 2009 | Mestrado em Informática | |
| Matos, Nuno Ramos | Mineração de Dados para suporte à decisão no processo da Recolha Selectiva - Optimização de Ro | 2009 | Mestrado em Informática | |
| Abreu, Ricardo Manuel da Silva | Técnicas de Mineração de Dados para Suporte à Decisão na Optimização da Qualidade de Serviço | 2009 | Mestrado em Informática | |
| Abreu, Rui Miguel da Silva | On the Implementation of Cryptographic Algorithms in Java | 2009 | Mestrado em Informática | |
| Silva, Samuel Soares da | Contribuição para a manipulação de conteúdo em Music XML | 2009 | Mestrado em Informática | |
| Ribeiro, Tiago Leandro de Castro | Web 2.0: User Interaction in Web Applications | 2009 | Mestrado em Informática | |
| Pinheiro, Vitor da Costa | Metodologia de Integração Orientada a Serviços para a Descoberta de Conhecimento em Relatórios M | 2009 | Mestrado em Informática | |
| Rodrigues, Raúl Graciano Oliveira | Controlo de Tráfego Baseado em Políticas | 2009 | Mestrado em Informática |
»
