Dissertações de mestrado concluídas
Número total de itens: 83
2023
| 1. | EMANUEL ELIAS SILVA CASTELO. Contributions to the k-Color Shortest Path. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2023. Orientador: Rafael Castro de Andrade. |
| 2. | Felipe Albuquerque Brito da Silva. Problema de Formação de Equipes com Caminhos Positivos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023. Orientador: Manoel Bezerra Campêlo Neto. |
| 3. | Francisco Antonio Ferreira de Almeida. Teoria Algoritmica de Matroides. Dissertação (Mestrado em Ciência da Informação) – Universidade Federal do Ceará, . 2023. Orientador: Victor Almeida Campos. |
2022
| 1. | Marília Cristina do Carmo Viana. Problema da Precificação Livre de Inveja: uma proposta de modelos matemáticos para a variante de consumidores decididos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022. Orientador: Manoel Bezerra Campêlo Neto. |
2021
| 1. | Camila Sena Araújo. Colorações backbone em grafos com galáxias backbone. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021. Orientador: Júlio César Silva Araújo. |
| 2. | Gabriel Hellen de Sousa. Problema da Árvore t-Spanner de Custo Mínimo. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021. Orientador: Manoel Bezerra Campêlo Neto. |
| 3. | George Edson Albuquerque Pinto. Otimalidade Dinâmica – Um Survey. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, . 2021. Orientador: Victor Almeida Campos. |
| 4. | Judecir Cavalcante Aguiar Júnior. Modelo de arranjo linear e desigualdades válidas para o problema do job shop com minimização do makespan. Dissertação (Mestrado em Modelagem e Métodos Quantitativos) – Universidade Federal do Ceará, . 2021. Orientador: Rafael Castro de Andrade. |
| 5. | RUBENS CAINAN SABÓIA MONTEIRO. Um limiar para a quantidade de 3-colorações de Gallai em G(n;p). Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, . 2021. Orientador: Fabricio Siqueira Benevides. |
2020
| 1. | ARTHUR CARVALHO WALRAVEN DA CUNHA. Vértice-particionamentos e problemas de densidade em grafos aresta-coloridos infinitos.. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020. Orientador: Fabricio Siqueira Benevides. |
| 2. | EFRAIM NAASSOM HELEM DANTAS RODRIGUES. Heurísticas para coloração k-imprópria. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, . 2020. Orientador: Claudia Linhares Sales. |
| 3. | Isnard Lopes Costa. Coloração acíclica de digrafos: produtos e grafos com largura em árvore limitada. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020. Orientador: Ana Shirley Ferreira da Silva. |
| 4. | Letícia Leite Pavanello. Heurísticas para ofloorplanning de circuitos VLSI como um problema de empacotamento de retângulos flexíveis. Dissertação (Mestrado em Engenharia de Produção) – Universidade Estadual Paulista Júlio de Mesquita Filho, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020. Supervisor: Carlos Diego Rodrigues. |
| 5. | Pedro Jorge de Abreu Figueredo. O problema da floresta geradora k-rotulada. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2020. Orientador: Manoel Bezerra Campêlo Neto. |
| 6. | Pedro Santos Mota e Arraes. Números de envoltória e geodético em classes de grafos orientados. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2020. Orientador: Júlio César Silva Araújo. |
2019
| 1. | Allen Roossim Passos Ibiapina. b-colorações e colorações de Nash em grafos com cintura alta. Dissertação (Mestrado em Pósgraduação em Matemática) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Ana Shirley Ferreira da Silva. |
| 2. | FRANCISCO SERGIO DE FREITAS FILHO. O problema da K-floresta com máximo número de folhas. Dissertação (Mestrado 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. |
| 3. | Hugo Victor Silva. Manipulação ótima de preferências no modelo de grafo para resolução de conflitos. Dissertação (Mestrado em Modelagem e Métodos Quantitativos) – Universidade Federal do Ceará, . 2019. Supervisor: Carlos Diego Rodrigues. |
| 4. | Jhonata Adam Silva Matias. Métodos para Solução do Problema de Coloração de fluxo. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2019. Orientador: Manoel Bezerra Campêlo Neto. |
| 5. | Jonas Costa Ferreira da Silva. Um estudo de redes com fluxos ramificados arco-disjuntos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientadores: Ana Karolinna Maia de Oliveira, Claudia Linhares Sales. |
| 6. | Lucio Carlos Pimentel Paiva. Complexidade do problema de k-coloração em grafos livres de H. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, . 2019. Orientador: Ana Shirley Ferreira da Silva. |
| 7. | Massimo Pinto Antonioli. Modelos e algoritmos para o problema de sequenciamento de pedidos declientes para minimizac ̧ ̃ao do atraso total. Dissertação (Mestrado em Modelagem e Métodos Quantitativos) – Universidade Federal do Ceará, . 2019. Supervisor: Carlos Diego Rodrigues. |
| 8. | Pedro Paulo de Medeiros. Coloração Acíclica. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Orientador: Júlio César Silva Araújo. |
| 9. | Victor Lage Pessoa. Estudo de Complexidade de Jogos de Coloração. Dissertação (Mestrado em Modelagem e Métodos Quantitativos) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2019. Supervisor: Rudini Menezes Sampaio. |
2018
| 1. | Daniel Pires Mitchel. Paradoxos em sistemas de votação. Dissertação (Mestrado em Mestrado em PROFMAT – Mestrado Profissional em Matemática) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Orientador: Fabricio Siqueira Benevides. |
| 2. | Francisco Alberto Cavalcante De Castro. O Método Bijetivo e a Fórmula de Cayley sobre árvores. Dissertação (Mestrado em Mestrado em PROFMAT – Mestrado Profissional em Matemática) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Orientador: Fabricio Siqueira Benevides. |
| 3. | Lucas Pinheiro Queiroz. Um Mecanismo de Proveniência para uma Nuvem de Serviços de Computação de Alto Desempenho Orientada a Componentes. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, . 2018. Orientador: Francisco Heron de Carvalho Junior. |
| 4. | Mirah Alves Ferreira. Novos desenvolvimentos para a solução do problema de partição de um grafo em árvores k-capacitadas. Dissertação (Mestrado em Modelagem e Métodos Quantitativos) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2018. Supervisor: Manoel Bezerra Campêlo Neto. |
| 5. | Ronaldo Lage Pessoa. CONTRIBUTIONS TO THE TWO-DIMENSIONAL GUILLOTINE CUTTING STOCK PROBLEM. Dissertação (Mestrado em Modelagem e Métodos Quantitativos) – Universidade Federal do Ceará, . 2018. Supervisor: Carlos Diego Rodrigues. |
2017
| 1. | Esdras Muniz Mota. Coloração Gulosa Conexa de Grafos Livres de H. Dissertação (Mestrado em Pósgraduação em Matemática) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017. Orientador: Ana Shirley Ferreira da Silva. |
| 2. | Ronaldo Lage Pessoa. Problemas de Corte na Indústria de Granito. Dissertação (Mestrado em Modelagem e Métodos Quantitativos) – Universidade Federal do Ceará, . 2017. Supervisor: Carlos Diego Rodrigues. |
2016
| 1. | Alexandre Azevedo Cezar. Circular Backbone Colouring for Graphs without cycles of size four.. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016. Orientadores: Ana Shirley Ferreira da Silva, Júlio César Silva Araújo. |
| 2. | ARTHUR LIMA QUINTINO. Vértice-Particionamentos de Grafos aresta-coloridos em caminhos e ciclos monocromáticos. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016. Orientador: Fabricio Siqueira Benevides. |
| 3. | Joel Cruz Soares. O Problema de Atribuição Conexa em Vetores. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016. Orientador: Manoel Bezerra Campêlo Neto. |
| 4. | Luiz Alberto do Carmo Viana. Árvore geradora com dependências mínima. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2016. Orientador: Manoel Bezerra Campêlo Neto. |
| 5. | MARDSON DA SILVA FERREIRA. Arranjo Linear Mínimo. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2016. Orientador: Rafael Castro de Andrade. |
| 6. | Raul Wayne Teixeira Lopes. Prova da Conjectura de Gorgol. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016. Orientador: Victor Almeida Campos. |
| 7. | Samuel Nascimento de Araújo. Número de Dominação Romana em Grafos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016. Orientador: Rudini Menezes Sampaio. |
| 8. | Walner Mendonça dos Santos. On Ramsey Property for Random Graphs. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2016. Orientador: Fabricio Siqueira Benevides. |
2015
| 1. | ALEXMAY SOARES NUNES. Sobre os lemas de Kaplansky. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, . 2015. Orientador: Fabricio Siqueira Benevides. |
| 2. | EDNARDO LINO DA SILVA. Aplicações do Método de Indução Matemática no Ensino Básico. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, . 2015. Orientador: Fabricio Siqueira Benevides. |
| 3. | Eurinardo Rodrigues Costa. Convexidade monofônica em classes de grafos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2015. Orientador: Rudini Menezes Sampaio. |
| 4. | Jefferson Lourenço Gurguri. Estudo poliédrico de decomposição em árvore. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Victor Almeida Campos. |
| 5. | JOSÉ LUCIANO NASCIMENTO. Probabilidade e Probabilidade Geométrica ? Além dos dados, moedas e cartas de baralho. Dissertação (Mestrado em Matemática) – Universidade Federal do Ceará, . 2015. Orientador: Fabricio Siqueira Benevides. |
2014
| 1. | André Castro. Complexidade e Algoritmos de Jogos de Blocos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2014. Orientador: Rudini Menezes Sampaio. |
| 2. | Cláudio Soares de Carvalho Neto. Embutimento de árvores orientadas em digrafos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2014. Orientador: Claudia Linhares Sales. |
| 3. | Eliezer Tomé de Paula Neto. Escalonamento UET-UCT de tarefas em múltiplos processadores. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014. Orientadores: Carlos Diego Rodrigues, Manoel Bezerra Campêlo Neto. |
| 4. | Rafael Teixeira de Araújo. Convexidades de Caminho e Convexidades Geométricas. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2014. Orientador: Rudini Menezes Sampaio. |
| 5. | Rennan Ferreira Dantas. Problemas de Código de Identificação em Grides. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Rudini Menezes Sampaio. |
| 6. | Tatiane Fernandes Figueiredo. O Problema de Formação de Equipes Sociotécnicas: complexidade, formulações matemáticas e resultados computacionais. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2014. Orientador: Manoel Bezerra Campêlo Neto. |
2013
| 1. | ANDERSON BOETTGE PINHEIRO. Abstrações Linguísticas para Programação de Propósito Geral sobre Aceleradores Computacionais Baseados em GPU. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Pró-Reitoria de Pesquisa e Pós-Graduação da Universidade Federal do Ceará. 2013. Orientador: Francisco Heron de Carvalho Junior. |
| 2. | Arthur Rodrigues Araruna. Problema de caminho mínimo com restrição probabilista de atraso. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013. Orientador: Rafael Castro de Andrade. |
| 3. | Carlos Vinícius Gomes Costa Lima. Sobre b-coloração de grafos com cintura pelo menos 6. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Victor Almeida Campos. |
| 4. | Nicolas Almeida Martins. Problemas de Coloração em grafos com poucos P4’s. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013. Orientador: Rudini Menezes Sampaio. |
2012
| 1. | Antonio Josefran de Oliveira Bastos. Sequências Convergentes e Testabilidade. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Rudini Menezes Sampaio. |
| 2. | Carlos Vinícius G.C. Lima. b-coloração de Grafos com Cintura pelo menos 6. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Supervisor: Ana Shirley Ferreira da Silva. |
| 3. | Eduardo Gurgel Pinho. Uma Linguagem de Programação Paralela Orientada a Objetos para Arquiteturas de Memória Distribuída. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2012. Orientador: Francisco Heron de Carvalho Junior. |
| 4. | Juliano Efson Norberto Sales. Coordenação e Reconfiguração Dinâmica de Componentes em Plataformas de Computação Paralela. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, . 2012. Orientador: Francisco Heron de Carvalho Junior. |
| 5. | Nicolas de Almeida Martins. Problemas de Coloração de grafos com poucos P4’s. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Supervisor: Ana Shirley Ferreira da Silva. |
| 6. | Tatiane Fernandes Figueiredo. Problema de formação de equipes sociotécnicas: complexidade, formulações matemáticas e resultados computacionais. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Supervisor: Ana Shirley Ferreira da Silva. |
| 7. | Thiago Braga Marcilon. Contratos Formais para Derivação e Verificação de Componentes Paralelos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Francisco Heron de Carvalho Junior. |
2011
| 1. | Adriano Tavares de Freitas. Árvore de Subgradiente com Pré-Fase VNS-Lagrangeana para a Árvore Geradora com Restrição de Grau Máximo nos Vértices. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Rafael Castro de Andrade. |
| 2. | Ana Karolinna Maia de Oliveira. Estudo de casos de complexidade de coloração gulosa de vértices e de arestas. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Claudia Linhares Sales. |
| 3. | Cenez Araújo Rezende. Avaliação de Desempenho de uma Plataforma de Componentes Paralelos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2011. Orientador: Francisco Heron de Carvalho Junior. |
| 4. | Álinson Santos Xavier. Geração de facetas para politopos de conjuntos independentes. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Manoel Bezerra Campêlo Neto. |
2010
| 1. | Davi Morais Ferreira. Integração de Bibliotecas Científicas a uma Plataforma de Componentes Paralelos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2010. Orientador: Francisco Heron de Carvalho Junior. |
| 2. | Ronan Pardo Soares. Procura em Grafos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Claudia Linhares Sales. |
2009
| 1. | Guilherme Oliveira Mota. Uma Generalização do Teorema de Hall e Suas Implicações Para a Teoria de Fatores. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Claudia Linhares Sales. |
| 2. | Júlio César Silva Araújo. Coloração Gulosa e Coloração Ponderada. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Claudia Linhares Sales. |
| 3. | Leonardo Sampaio Rocha. b-Coloração de Grafos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Claudia Linhares Sales. |
| 4. | Paulo César Linhares da Silva. Aplicações de Combinatória Analítica para a Contagem de Tipos Especiais de Árvores Banca Examinadora. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2009. Orientador: Rafael Castro de Andrade. |
2008
| 1. | Fábio Carlos Sousa Dias. Algoritmos para o Problema de Localização Simples Baseados nas Formulações clássica e Canônica. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Manoel Bezerra Campêlo Neto. |
| 2. | Jefferson de Carvalho Silva. Infra-estrutura de Componentes Paralelos para Computação de Alto Desempenho. Dissertação (Mestrado em Mestrado em Ciência da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Francisco Heron de Carvalho Junior. |
2007
| 1. | Alexsandro de Oliveira Alves. Integração de Heurísticas Lagrangeanas com Algoritms Exatos para a Otimização de Particionamento de Conjuntos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2007. Orientador: Rafael Castro de Andrade. |
| 2. | Aline Alves da Silva. Decomposicao em Arvore de Grafos Planares Livres de Buracos Pares. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, . 2007. Orientador: Claudia Linhares Sales. |
| 3. | Italo Siqueira Lima. Extensões induzidas de altura mínima de um conjunto parcialmente ordenado. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2007. Orientador: Manoel Bezerra Campêlo Neto. |
| 4. | Marie Aste. Sur le nombre chromatique glutton. Dissertação (Mestrado em Master de Mathématiques et Applications) – Aix-Marseille Université, Institut Nationale de Recherche en Informatique et Automatique. 2007. Supervisor: Claudia Linhares Sales. |
2005
| 1. | Ana Shirley Ferreira da Silva. Um Estudo Computacional sobre o Problema de Decomposição de Grafos em Árvore. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Claudia Linhares Sales. |
| 2. | Carlos Diego Rodrigues. Limites inferiores para o problema de coloração de vértices via geração de cortes e colunas. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Manoel Bezerra Campêlo Neto. |
2002
| 1. | Carlos Henrique Medeiros de Sabóia. Métodos de branch-and-bound e penalidades em programação linear em dois níveis. Dissertação (Mestrado em Engenharia de Sistemas e Computação) – Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002. Orientador: Manoel Bezerra Campêlo Neto. |
| 2. | Luis Eduardo Ximenes Carvalho. Decomposição de grafos com largura limitada em árvore limitada: um estudo algoritmico. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. 2002. Orientador: Claudia Linhares Sales. |
2001
| 1. | Adriana Bandeira de Moraes. Um Estudo Comparativo de Dois Algoritmos de Programação Linear em Dois Níveis. Dissertação (Mestrado em Engenharia de Sistemas e Computação) – Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001. Supervisor: Manoel Bezerra Campêlo Neto. |
2000
| 1. | Rudini Menezes Sampaio. Pares de Amigos em Grafos Planares Perfeitos. Dissertação (Mestrado em Ciências da Computação) – Universidade Federal do Ceará, . 2000. Orientador: Claudia Linhares Sales. |
