CRASC Theses

1. Diogo André Teixeira - "A Computational Platform for Gene Expression Analysis"
MSc in Informatics and Computing Engineering (MIEC) , CRACS & INESC Porto
Superivisor: Rui Camacho (LIAAD/FEUP) / Co-superivisor: Nuno Fonseca (EBI / INESC TEC) M.Sc. Theses Completed

2. Rodrigo José Lopes Emiliano - "Gerador automático de configuração de equipamentos de rede em ambientes virtualizados"
MSc in Computer Engineering - Mobile Computing (MEI-CM)
Superivisor: Mário Antunes (CRACS & INESC-Porto TEC / I.P.Leiria) M.Sc. Theses Completed

3. João Nobre Francisco - "All-in-one log analyzer"
MSc in Computer Engineering - Mobile Computing (MEI-CM)
Superivisor: Mário Antunes (CRACS & INESC-Porto TEC / I.P.Leiria) / Co-superivisor: Catarina Silva M.Sc. Theses Ongoing

4. Sílvia Cristina Dias de Almeida - "Aplicação Web para Cálculo de Métricas de Avaliação da Verdura de Reações Químicas em Laboratório"
MSc in Physics and Chemistry for School Teachers
Superivisor: Maria Gabriela Ribeiro (DQB/FCUP) / Co-superivisor: José Paulo Leal (FCUP) M.Sc. Theses Completed

5. Rui Manuel Silva de Sousa Rocha - "Ambiente Web Extensível para Pós-Processamento de Regras de Associação"
MSc in Informatics
Superivisor: Alípio Jorge (LIAAD) / Co-superivisor: José Paulo Leal (FCUP) M.Sc. Theses Completed

6. Andreia Sofia Teixeira - "Complexidade de Comunicação. Relação com o Tamanho dos Rectângulos e com a Complexidade das Instâncias."
MSc in Informatics , CRACS / INESC TEC
Superivisor: Luís Antunes (DCC-FCUP) / Co-superivisor: Armando Matos M.Sc. Theses Completed

7. Francisco Abreu Faro Mota - "A Monotone Modal Logic for Algorithmic Statistics"
MSc in Computer Science
Superivisor: Luís Antunes (DCC-FCUP) / Co-superivisor: André Souto M.Sc. Theses Completed

8. Liliana da Conceição Monteiro Salvador - "Segurança Absoluta em Sistemas de Cifra de Chave Simétrica"
MSc in Informatics
Superivisor: Luís Antunes (DCC-FCUP) M.Sc. Theses Completed

9. Manuel António de Pinho Alves Ferreira - "Aplicações da Complexidade de Kolmogorov à Análise de Protocolos Criptográficos Interactivos"
MSc in Informatics
Superivisor: Armando Matos / Co-superivisor: Luís Antunes (DCC-FCUP) M.Sc. Theses Completed

10. Mara Elisa de Paiva Fernandes Matias - "Open Source Software para Computador Pessoal"
MSc in Computer Science
Superivisor: Luís Antunes (DCC-FCUP) M.Sc. Theses Completed

11. Teresa Sarmento Henriques - "Assessing Complexity of Physiological Interactions"
PhD in Clinical and Health Services Research , CRACS / INESC TEC
Superivisor: Luís Antunes (DCC-FCUP) / Co-superivisor: Cristina Santos (FMUP) Ph.D. Theses Completed

12. Ângela Isabel Cunha Carvalho Santos - "PIRCE - Plataforma Interactiva para o Registo Clínico e comunicação em Epilepsia"
MSc in Medical Informatics (MIM)
Superivisor: Luís Antunes (DCC-FCUP) / Co-superivisor: Ricardo J. P. E. Rego M.Sc. Theses Completed

13. Diogo Mululo Sato - "EEG Analysis by Compression"
MSc in Medical Informatics (MIM)
Superivisor: Luís Antunes (DCC-FCUP) M.Sc. Theses Completed

14. Marlene Alves Pereira Brandão - "Vantagens na utilização de um Sistema de Arquivo e Distribuição de Imagem para Teleradiologia"
MSc in Medical Informatics (MIM)
Superivisor: António Duarte Bica / Co-superivisor: Luís Antunes (DCC-FCUP) M.Sc. Theses Completed

15. Pedro Ferreira Farinha Silva - "Controlo de Acesso à Informação de Saúde - Da legislação à prática: Um caso de estudo do Break-The-Glass"
MSc in Medical Informatics (MIM)
Superivisor: Luís Antunes (DCC-FCUP) / Co-superivisor: Ana Ferreira (FMUP) M.Sc. Theses Completed

16. Rui Jorge Meireles de Macedo Correia Gomes - "Uma abordagem relacional e planeada para aplicação de modelos de gestão da segurança na Saúde"
MSc in Medical Informatics (MIM)
Superivisor: Luís Velez Lapão (FMUP) / Co-superivisor: Luís Antunes (DCC-FCUP) M.Sc. Theses Completed

17. Davide Barbosa Miranda - "Large scale secure automatic provisioning of X509 certificates via web services"
MSc in Network and Information Systems Engineering (MIERSI) , CRACS & FCUP
Superivisor: Manuel Eduardo Correia (FCUP) M.Sc. Theses Completed

18. Gil Castro Ferro - "Towards Out-of-the-Box Wireless Sensor Networks"
MSc in Network and Information Systems Engineering (MIERSI)
Superivisor: Luís Lopes (FCUP) M.Sc. Theses Completed

19. João Lima Poço - "Java cryptographic module provider for cryptographic devices"
Integrated Master in Networks and Informatics Systems Engineering, CS Department, Faculty of Science, University of Porto , CRACS & INESC TEC
Superivisor: Manuel Eduardo Correia (FCUP) M.Sc. Theses Suspended

20. Joaquim Magalhães Silva - "Simulation of Algorithms for Mobile Ad-Hoc Networks"
MSc in Computer Science , FCUP & CRACS / INESC TEC
Superivisor: Fernando Silva (FCUP) / Co-superivisor: Luís Lopes (FCUP) M.Sc. Theses Completed