Título: Uma Abordagem para Aquisição de Serviços em Nuvens,Baseada nos Requisitos do Usuário,Criação Dinâmica dos Serviços e Definição de Atributos de Qualidades.

Banca Examinadora:

Prof. Dr. José Neuman de Souza (MDCC/UFC - Orientador)
Prof. Dr. Javam de Castro Machadol (MDCC/UFC)
Prof. Dr. Antonio Roberto Mury (LNCC)
Prof. Dr. Bruno Richard Schulze (LNCC)
Prof. Dr. Stênio Flávio de Lacerda Fernandes (UFPE)

Data: 04 de março de 2013

Título: RepliC: Replicação Elástica de Banco de Dados Multi-Inquilino em Nuvem com Qualidade de Serviço
Banca Examinadora:
Teses de Doutorado

Prof. Dr. Javam de Castro Machado (MDCC/UFC - Orientador)
Prof. Dr José Antonio Fernandes de Macedo (MDCC/UFC)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Profª. Drª. Marta Lima de Queirós Mattoso (UFRJ)
Profª. Drª. Carmem Satie Hara (UFPR) (PUC/RJ)

Data: 15/01/2013

Titulo: Expressividade e Complexidade em Lógicas Preferenciais, Híbridas e de Grau Limitado
Banca Examinadora:

Profª. Drª. Ana Teresa de Martins (MDCC/UFC - Orientadora)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC)
Prof. Dr. Erich Grädel (RWTH Aachen/Alemanha)
Prof. Dr. Edward Hermann Hausler (PUC/RJ)
Prof. Dr. Mario Roberto Folhadela Benevides (UFRJ)

Data: 07 de dezembro de 2012

Título: Coloração e Convexidade em Grafos
Banca Examinadora:

Profª. Drª. Cláudia Linhares Sales (MDCC/UFC - Orientadora)
Prof. Dr. Jean-Claude Bermond (INRIA/França)
Prof. Dr. Frédéric Giroire (INRIA/França)
Prof. Dr. Cristophe Paul (INRIA/França)
Prof. Dr. Frédéric Maffray (INRIA/França)
Prof. Dr. Ricardo Cordeiro Corrêa (DC/UFC)

Data: 13 de setembro de 2012

Título: PRECISE - Um Processo de Verificação Formal para Modelos de CaracterístIcas de aplicações Móveis e Sensíveis ao Contexto
Banca Examinhadora:

Profª. Drª. Rossana Maria de Castro Andrade (MDCC/UFC - Orientadora)
Profª. Drª. Cláudia Maria Lima Werner (UFRJ)
Prof. Dr. Eduardo Santana de Almeida (UFBA)
Prof. Dr. Francisco Heron de Carvalho Junior (MDCC/UFC)
Profa. Dra. Vânia Maria Ponte Vidal (MDCC/UFC)

Data: 27 de agosto de 2012