Teses de doutorado concluídas
Número total de itens: 27
2023
| 1. | Allen Roossim Passos Ibiapina. Menger’s Theorem and Related Problems on Temporal Graphs. Tese (Doutorado em Matemática) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023. Orientador: Ana Shirley Ferreira da Silva. |
| 2. | Jonas Costa Ferreira da Silva. STRUCTURAL AND COMPLEXITY STUDIES IN INVERSIONS AND COLOURING HEURISTICS OF (ORIENTED) GRAPHS. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023. Orientador: Ana Karolinna Maia de Oliveira. |
2022
| 1. | Alexsander Andrade de Melo. On the (in)tractability of connection and cut problems. Tese (Doutorado em Engenharia de Sistemas e Computação) – Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022. Supervisor: Ana Shirley Ferreira da Silva. |
| 2. | Eurinardo Rodrigues Costa. Resultados em Jogos de Coloração e Perseguição em Grafos. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, . 2022. Orientador: Rudini Menezes Sampaio. |
2021
| 1. | Raul Wayne Teixeira Lopes. Disjoint path and the Grid Theorem in digraphs. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021. Orientador: Victor Almeida Campos. |
| 2. | Tatiane Fernandes Figueiredo. Team Formation Problems: an integer linear optimization approach. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2021. Orientador: Manoel Bezerra Campêlo Neto. |
2020
| 1. | Isnard Lopes Costa. Complexidade parametrizada em grafos temporais. Tese (Doutorado em Matemática) – Universidade Federal do Ceará, . 2020. Orientador: Ana Shirley Ferreira da Silva. |
2019
| 1. | Ernando Gomes de Sousa. MULTIGRAPH, DECOMPOSITION AND BRKGA SOLUTION APPROACHES FOR THE GENERALIZED MINIMUM SPANNING TREE PROBLEM. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Rafael Castro de Andrade. |
| 2. | Paulo Henrique Macêdo de Araújo. The Geodesic Classiifcation Problem on Graphs. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, . 2019. Orientador: Manoel Bezerra Campêlo Neto. |
| 3. | Rennan Ferreira Dantas. Densidade mínima de Códigos de Identificação em grades. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019. Orientador: Rudini Menezes Sampaio. |
| 4. | ROMMEL DIAS SARAIVA. Mathematical programming approaches for NP-Hard constrained shortest path problems. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Rafael Castro de Andrade. |
| 5. | Wagner Guimarães Al-Alam. A Abstração de Contratos Contextuais para Alocação de Recursos de Sistemas de Computação Paralela Orientados a Componentes em Nuvens. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Francisco Heron de Carvalho Junior. |
2018
| 1. | Nicolas Almeida Martins. Jogos de Perseguição em Grafos e Coloração Localmente Identificável. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018. Orientador: Rudini Menezes Sampaio. |
| 2. | Pablo Luiz Braga Soares. Problemas quadráticos binários: abordagem teórica e computacional. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Orientador: Manoel Bezerra Campêlo Neto. |
2017
| 1. | Allberson Bruno de Oliveira Dantas. Certificação de Componentes em uma Plataforma de Nuvens Computacionais para Serviços de Computação de Alto Desempenho. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) – Universidade Federal do Ceará, . 2017. Orientador: Francisco Heron de Carvalho Junior. |
| 2. | Cenez Araújo Rezende. Um Arcabouço baseado em Componentes para Computação Paralela de Larga Escala sobre Grafos. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017. Orientador: Francisco Heron de Carvalho Junior. |
| 3. | João Marcelo Uchoa de Alencar. Reconfiguração Elástica de Componentes Paralelos sobre Nuvens de Serviços de Computação de Alto Desempenho. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, . 2017. Orientador: Francisco Heron de Carvalho Junior. |
| 4. | Thiago Braga Marcilon. Resultados no Tempo Máximo e no Número de Envoltória nas Convexidades P3 e Geodésica. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017. Orientador: Rudini Menezes Sampaio. |
| 5. | Tiago Carneiro Pessoa. GPU-Based Backtracking Strategies for Solving Permutation Combinatorial Problems. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017. Orientador: Francisco Heron de Carvalho Junior. |
2016
| 1. | JEFFERSON CARVALHO SILVA. Um Arcabouço para a Construção de Aplicações Baseadas em Componentes sobre uma Plataforma de Nuvem Computacional para Serviços de Computação de Alto Desempenho. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, . 2016. Orientador: Francisco Heron de Carvalho Junior. |
| 2. | Wladimir Araujo Tavares. Algoritmos Exatos para o Problema da Clique Máxima Ponderada. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, . 2016. Orientadores: Carlos Diego Rodrigues, Manoel Bezerra Campêlo Neto. |
2014
| 1. | Fábio Carlos Sousa Dias. Problema de árvore geradora mínima com restrição de grau mínimo e centrais e terminais fixos. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, . 2014. Orientador: Manoel Bezerra Campêlo Neto. |
2013
| 1. | Ronan Pardo Soares. Pursuit-Evasion, Decompositions and Convexity on Graphs. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013. Orientador: Claudia Linhares Sales. |
2012
| 1. | Júlio Cesár Silva Araújo. Coloração e Convexividade em Grafos. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, . 2012. Orientador: Claudia Linhares Sales. |
2011
| 1. | Victor Almeida Campos. Parâmetros de Coloração de Vértices baseados em Algoritmos de Coloração. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, . 2011. Orientador: Claudia Linhares Sales. |
2010
| 1. | Carlos Diego Rodrigues. Abordagens híbridas para problemas de programação inteira da teoria e da prática. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Manoel Bezerra Campêlo Neto. |
| 2. | Napoleão Vieira Nepomuceno. Otimização de Redes de Backhaul sem Fio. Tese (Doutorado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Manoel Bezerra Campêlo Neto. |
