Ricardo Cordeiro Corrêa

  • Endereço para acessar este CV: http://lattes.cnpq.br/8599181647215929
  • Última atualização do currículo em 20/09/2018


possui graduação em Engenharia Eletrônica pela Universidade Federal do Rio de Janeiro (1989), mestrado em Engenharia Elétrica pela Universidade Federal do Rio de Janeiro (1992) e doutorado em Informática - Institut National Polytechnique de Grenoble (1997). Realizou estágios de pós-doutorado sênior no Programa de Engenharia de Sistemas e Computação da UFRJ (2006), no Institut National de Recherche en Informatique et Automatique de Sophia-Antipolis, França (2007) e na Universidad de General Sarmiento (2013), além de ter sido professor visitante na Université d'Avignon et du Pays de Vaucluse, França (2009). Foi um dos líderes do grupo de pesquisa ParGO - Paralelismo, Grafos e Otimização (http://www.lia.ufc.br/~pargo) e docente efetivo e orientador credenciado do Programa de Mestrado e Doutorado em Ciência da Computação da Universidade Federal do Ceará. Atualmente é Professor Associado III da Universidade Federal Rural do Rio de Janeiro, Departamento de Ciência da Computação, onde é um dos líderes do grupo de pesquisa LAGOA - Laboratório de Algoritmos, Grafos, Otimização e Aplicações, e exerce a função de Coordenador de Pesquisa da Pró-Reitoria de Pesquisa e Pós-Graduação. Tem experiência na área de Ciência da Computação, com ênfase em Algoritmos, Computação de Alto Desempenho, Paralelismo e Otimização Combinatória. (https://www.researchgate.net/profile/Ricardo_Correa4) (Texto informado pelo autor)


Identificação


Nome
Ricardo Cordeiro Corrêa
Nome em citações bibliográficas
CORRÊA, R. C.;CORRÊA, R;Corrêa, Ricardo C.;CORRÊA, RICARDO;CORREA, RICARDO CORDEIRO;CORREA, RICARDO C.;Ricardo Cordeiro Corrêa;Corrêa, Ricardo Cordeiro;RICARDO CORDEIRO CORRÊA

Endereço


Endereço Profissional
Universidade Federal Rural do Rio de Janeiro, Instituto Multidisciplinar, Departamento de Ciência da Computação.
Avenida Governador Roberto Silveira S/N
Moquetá
26020740 - Nova Iguaçu, RJ - Brasil
Telefone: (21) 26695661
URL da Homepage: http://r1.ufrrj.br/im/wp/


Formação acadêmica/titulação


1992 - 1997
Doutorado em Informática.
Institut National Polytechnique de Grenoble, INPG, França.
Título: Recherche Arborescente Parallèle : de la Formulation Algorithmique aux Applications, Ano de obtenção: 1997.
Orientador: Afonso Ferreira.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Algoritmos paralelos e distribuídos; Otimização combinatória; Branch-and-bound; Escalonamento de tarefas.
Grande área: Ciências Exatas e da Terra
1990 - 1992
Mestrado em Engenharia Elétrica.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Algoritmos Iterativos Distribuídos para Solução de Sistemas de Equações em Arquiteturas Hipercúbicas,Ano de Obtenção: 1992.
Orientador: Eugenius Kaszkurewicz.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Algoritmos paralelos e distribuídos; Algoritmos iterativos; Sistemas de equações lineares; Hipercubo.
Grande área: Ciências Exatas e da Terra
1983 - 1989
Graduação em Engenharia Eletrônica.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.


Pós-doutorado


2013
Pós-Doutorado.
Universidad Nacional de General Sarmiento, UNGS, Argentina.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
2006 - 2007
Pós-Doutorado.
Centre de Recherche Inria Sophia Antipolis - Méditerranée, INRIA-ANTIPOLIS, França.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
2006 - 2006
Pós-Doutorado.
Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa em Engenharia, COPPE/UFRJ, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação.


Atuação Profissional



Université d'Avignon et des Pays de Vaucluse, UNIV-AVIGNON, França.
Vínculo institucional

2009 - 2009
Vínculo: Professor vistante, Enquadramento Funcional: Professeur, Carga horária: 40


Universidade Federal do Ceará, UFC, Brasil.
Vínculo institucional

1998 - 2015
Vínculo: , Enquadramento Funcional: Professor Associado II, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

3/1999 - 07/2015
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Algoritmos Aproximativos: 2008.2
Algoritmos Distribuídos: 1998.2, 2000.2, 2001.2, 2010.2
Algoritmos Paralelos: 1999.2, 2003.1, 2005.2, 2012.2
Computação de Alto Desempenho: 2007.2
Construção e Análise de Algoritmos: 1999.1, 2000.1, 2003.1, 2008.1, 2010.1, 2011.1
Introdução à Teoria dos Jogos: 2009.2
Programação Concorrente: 2007.1
Programação Paralela: 1999.2
Tópicos Especiais em Otimização Combinatória: 2012.2
8/1998 - 07/2015
Pesquisa e desenvolvimento , Centro de Ciências, Departamento de Computação.

8/1998 - 07/2015
Ensino, Bacharelado Em Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos Aproximativos: 2001.1, 2008.2
Algoritmos em Grafos: 2000.1, 2001.1, 2007.1, 2008.1, 2009.1, 2012.2, 2013.1, 2013.2
Algoritmos Paralelos: 2002.2, 2004.2
Construção e Análise de Algoritmos: 1998.2, 1999.1, 2002.2, 2003.2, 2004.2, 2011.1
Estruturas de Dados: 1999.2, 2000.2, 2002.1, 2003.2, 2005.2, 2007.2, 2008.2, 2009.2, 2010.2, 2011.2, 2013.1
Laboratório de Programação: 2001.2, 2002.1, 2005.1, 2007.2, 2010.1, 2011.2
Matemática Discreta 2004.1, 2005.1, 2007.1, 2009.1
Programação Computacional para Engenharia: 2013.2, 2014.1
Programação Matemática: 2001.2, 2004.1, 2013.2
2/1999 - 3/2000
Direção e administração, Centro de Ciências, Departamento de Computação.

Cargo ou função
Vice-Coordenador de Curso da Pós-Graduação.

Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

1997 - 1998
Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Professor adjunto, Carga horária: 40

Vínculo institucional

1987 - 1991
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Engenheiro de pesquisa e desenvolvimento, Carga horária: 40

Atividades

6/1989 - 3/1991
Pesquisa e desenvolvimento , Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia, Laboratório de Computação Paralela.


Centro Nacional de Processamento de Ato Desempenho no Nordeste, CENAPADNE, Brasil.
Vínculo institucional

2000 - 2003
Vínculo: Diretor, Enquadramento Funcional: Outro, Carga horária: 20

Atividades

3/2000 - 8/2003
Direção e administração, Centro Nacional de Processamento de Ato Desempenho no Nordeste, .

Cargo ou função
Diretor de Unidade.
3/2000 - 8/2003
Pesquisa e desenvolvimento , Centro Nacional de Processamento de Ato Desempenho no Nordeste, .


Universidade Federal Rural do Rio de Janeiro, UFRRJ, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: , Enquadramento Funcional: Professor Associado III, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

6/2017 - Atual
Direção e administração, Reitoria, .

Cargo ou função
Coordenador de Pesquisa da Pró-Reitoria de Pesquisa e Pós-Graduação.
6/2015 - Atual
Pesquisa e desenvolvimento , Instituto Multidisciplinar, Departamento de Ciência da Computação.

Linhas de pesquisa
Otimização Combinatória
6/2015 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta para Computação: 2015.2
Otimização Linear: 2015.2, 2016.1
Grafos e Algoritmos: 2016.2
Projeto e Análise de Algoritmos: 2016.1, 2017.1
Otimização Combinatória: 2017.1


Linhas de pesquisa


1.
Algoritmos e Otimização Combinatória

Objetivo: Elaboração de algoritmos, seqüenciais, paralelos e distribuídos, para problemas de otimização combinatória, tais como coloração de grafos, utilizando técnicas de percursos em árvores e planos de corte..
2.
Computação de alto desempenho

Objetivo: Utilização de tecnologia de componentes para implementação de algoritmos paralelos e distribuídos para aplicações científicas em sistemas heterogêneos, incluindo grades computacionais..
3.
Algoritmos paralelos e distribuídos

Objetivo: Elaboração de algoritmos distribuídos de ordenação de mensagens e eventos, com aplicações na paralelização de algoritmos do tipo branch-and-bound..
4.
Algoritmos Paralelos e Distribuídos

Objetivo: Desenvolvimento de algoritmos paralelos e distribuídos para aplicações científicas..
5.
Otimização Combinatória


Projetos de pesquisa


2017 - Atual
Problemas de Classificação e Programação Inteira
Descrição: Uma questão de notória relevância prática na sociedade da informação em que vivemos é a extração automática de informações de um conjunto de dados a partir da descoberta de padrões e relações entre estes com o objetivo de gerar modelos capazes de prever comportamentos futuros. Tratando-se de uma área do conhecimento em progressiva efervescência, há atualmente uma multitude de estratégias adotadas com sucesso, cada qual mais adptada a um contexto particular. Uma dessas estratégias é conhecida pelo termo de classificação supervisionada. Esta é uma estratégia em duas fases: na fase inicial, ou de treinamento, um conjunto de amostras é analisado. Cada amostra é constituída de um conjunto de informações caracterizando um objeto e um rótulo. Nesta primeira fase procura-se um padrão subjacente às amostras de mesmo rótulo. Na segunda fase, utiliza-se o padrão detectado na primeira fase para se realizar a atribuição de um rótulo a um conjunto objetos. O objeto de estudo neste projeto é o uso de formulações de programação linear inteira para a resolução do problema de classificação por convexidade geométrica e geodésica..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Leandro Guimarães Marques Alvim - Integrante / Fernanda Vieira Dias Couto - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2014
Algoritmos Eficientes para Redes de Telecomunicações
Descrição: Este projeto é a continuação da cooperação já existente entre o grupo de pesquisa ParGO, da UFC, e o Projeto Mascotte, do INRIA/Sophia-Antipolis, que se iniciou em 2002 e foi oficialmente reconhecida em 2009, quando o ParGO/UFC tornou-se equipe associada ao INRIA (EWIN\footnote{\tt http://www-sop.inria.fr/teams/mascotte/equipeassociee/ewin/ewin09.html}). Os objetivos científicos desta cooperação compreendem o projeto de algoritmos, exatos ou aproximativos, para resolver problemas de otimização oriundos de dimensionamento e operação das redes de telecomunicações, sobretudo as redes sem fio. Para fazer isso, nós propomos uma modelagem combinatória desses problemas, usando principalmente teoria de grafos. Alguns dos problemas estudados nos últimos anos foram apresentados no Simpósio COLIBRI Brasil/INRIA em julho de 2009..
Situação: Concluído; Natureza: Pesquisa.
2008 - 2010
Um Framework Componentes para Aplicações de Alto Desempenho em Sistemas Heterogêneos
Descrição: Artefatos computacionais para a computação de alto desempenho, envolvendo a adeqüada combinação de arquiteturas de computadores, linguagens de programação e algoritmos, são atualmente aspectos da Ciência da Computação essenciais ao avanço da ciência e da tecnologia pelo seu potencial de viabilizar simulações de grande porte de fenômenos em várias áreas do conhecimento (como a indústria do petróleo e telecomunicações, as aplicações deste projeto). O crescente desenvolvimento percebido nesses aspectos tem permitido investigar problemas que até recentemente não podiam ser estudados, seja pela grande quantidade de dados a serem manipulados, seja pela ausência de soluções analíticas ou ainda pela inviabilidade de reprodução real do fenômeno em laboratório. Temos assistido nos últimos anos ao surgimento de ambientes de computação heterogêneos, voltados a aplicações cuja demanda computacional extrapola mesmo a capacidade de oferta de recursos de um único domínio. Nesse novo contexto, em que distribuição e heterogeneidade tornam-se aspectos marcantes, a integração das técnicas algorítmicas e programas já existentes aparece como uma exigência para que todo o conhecimento e a tecnologia já acumulados possam ainda ser aproveitados no novo cenário. Este é o problema focado por este projeto, utilizando uma abordagem orientada a componentes para utilização de processamento distribuído envolvendo recursos heterogêneos e para integração de algoritmos, estruturas de dados e modelos criados por diferentes disciplinas utilizando metodologias próprias, resultante da necessidade da colaboração entre cientistas e especialistas de diferentes domínios..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Ricardo Cordeiro Corrêa - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 8 / Número de orientações: 2
2007 - 2009
Programação Baseada em Componentes para Aplicações de Alto Desempenho em Grades Computacionais
Descrição: O desenvolvimento dos artefatos computacionais para o processamento de alto desempenho, envolvendo a adeqüada combinação de arquiteturas de computadores, linguagens de programação e algoritmos, tornou-se indispensável para o avanço das ciências computacionais. A alta complexidade computacional e a integração de diversas especialidades são características comuns às aplicações de ciências computacionais atuais, na busca da viabilização do processamento de instâncias realistas. É nesse contexto que, gradativamente nos últimos quarenta anos, as arquiteturas distribuídas vêm-se tornando viáveis para prover a oferta de recursos computacionais requeridos por tais aplicações, notadamente devido ao contínuo aprimoramento das tecnologias de comunicação e do conhecimento em algoritmos paralelos e distribuídos. O percurso nessa evolução iniciou-se com o foco em soluções que têm como premissa a concentração de todos os recursos computacionais em um único domínio. Esse é o caso dos tradicionais supercomputadores, arquiteturas proprietárias, de alto custo, voltadas a aplicações que envolvem paralelismo fortemente acoplado. Também os clusters, constituídos com hardware e software de prateleira, pressupõem essa premissa. Apesar de tal limitação, os clusters têm o mérito de ter possibilitado a disseminação do processamento paralelo, hoje atingindo a maioria das instituições científicas e industriais que desta demandam, devido ao seu ótimo custo-benefício e cobertura de uma grande classe de aplicações. Na continuidade da evolução, temos assistido nos últimos anos ao surgimento de ambientes de computação em grades, voltados a aplicações cuja demanda computacional extrapola mesmo a capacidade de oferta de recursos de um único domínio. Merecem atenção especial, uma vez que estamos interessados em meios de facilitação do uso destes no que diz respeito à construção de aplicações de ciências computacionais. Nesse novo contexto, em que distribuição e heterogeneidade tornam-se aspectos marcan.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Valmir Carneiro Barbosa - Integrante / Francisco Heron de Carvalho Junior - Integrante / Joaquim Bento Cavalcante Neto - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade Federal do Rio de Janeiro - Cooperação.
Número de produções C, T & A: 10 / Número de orientações: 2
2005 - 2007
ELABORAÇÃO E IMPLEMENTAÇÃO DE UM ALGORITMO BRANCH-AND-CUT-AND-PRICE PARA O PROBLEMA DE COLORAÇÃO DE VÉRTICES
Descrição: Problemas de coloração de vértices envolvem o problema fundamental do particionamento em classes de um dado conjunto de objetos. Mais precisamente, dado um grafo G, o problema consiste em encontrar o menor número de cores necessárias para atribuir a cada vértice uma cor de tal forma que vértices adjacentes recebam cores distintas. Freqüentemente, deseja-se também obter uma atribuição que use esse número mínimo de cores, determinando-se assim uma partição do conjunto de vértices em subconjuntos disjuntos, cujos elementos não são adjacentes entre si. Esse problema aparece, por exemplo, na determinação de tabela de horários, seqüenciamento, escalonamento, atribuição de registros em compiladores, atribuição de freqüências em telefonia celular, entre outras áreas. Em razão dessa abrangência, e também pelos próprio desafio teórico de tratar-se de um problema classificado entre os mais difíceis problemas em computação, a saber, os problemas NP-Difíceis, a solução exata de problemas de coloração de vértices é um tema que tem recebido grande atenção da comunidade de teoria dos grafos, algoritmos e otimização combinatória. O objetivo deste projeto é a elaboração, e posterior implementação, de algoritmos exatos do tipo branch-and-cut-and-price para problemas de coloração de vértices. Embora essa pesquisa seja primeiramente orientada pelo interesse teórico despertado pelos problemas, o conhecimento advindo de estudos experimentais será fundamental, vindo somar-se aos resultados teóricos e contribuindo inclusive para indicar novos rumos de pesquisa. Adicionalmente, o desempenho computacional de algoritmos exatos para problemas difíceis como esses depende fortemente da eficiência das implementações realizadas. A idéia da aplicação de branch-and-price e branch-and-cut a problemas de coloração tem sua origem em trabalhos anteriores nesta linha. Historicamente, a abordagem do problema de coloração de vértices baseada em algoritmos do tipo branch-and-bound ganhou impulso com o trabal.
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Ricardo Cordeiro Corrêa - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 7 / Número de orientações: 3
2003 - 2007
Simulação e Visualização de Fraturas em Dutos e Materiais Betuminosos
Descrição: O objetivo deste projeto cooperativo é propor uma nova metodologia computacional para análise de integridade estrutural de dutos e pavimentos baseada em técnicas recentes de simulação, computação gráfica e processamento de alto desempenho..
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (4) / Doutorado: (1) .
Integrantes: Ricardo Cordeiro Corrêa - Coordenador.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro / Itau Tecnologia S/A - Auxílio financeiro / Petróleo Brasileiro - Rio de Janeiro - Matriz - Auxílio financeiro.
2000 - 2002
Aplicações de problemas de fluxo de grande porte ao setor petroleiro usando redes distribuídas e paralelismo
Descrição: A importância da otimização combinatória pode ser constatada em diversos domínios das ciências, engenharias e até mesmo da nossa vida cotidiana. Por isto, diversas são as aplicações envolvendo a produtividade industrial ou comercial, tais como roteamento de veículos, localização de facilidades, auxílio a tomada de decisões, sistemas de comunicação, de produção, planejamento de distribuição, entre muitos outros. Com o surgimento dos computadores paralelos em escala comercial, o interesse pelo emprego de algoritmos paralelos para solução de problemas de otimização combinatória tem aumentado consideravelmente. Com isso, o objetivo principal do projeto é aprimorar a qualidade ou o tempo de obtenção de soluções para o problema de fluxo em redes de grande porte. Por este ser um problema que surge em diversos campos de pesquisa, algoritmos eficientes têm sido estudados extensivamente nos últimos 50 anos. A metodologia adotada, para alcançar os objetivos propostos, será principalmente a implementação de algoritmos de fluxo e realização de vários testes, com diferentes classes de redes, nos modelos síncrono, assíncrono e parcialmente síncrono. Espera-se, além de uma fundamentação teórica, determinar um modelo eficiente para resolver o problema..
Situação: Desativado; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Valmir Carneiro Barbosa - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1


Revisor de periódico


2001 - Atual
Periódico: Parallel Computing
2002 - Atual
Periódico: Discrete Mathematics
2002 - Atual
Periódico: Discrete Applied Mathematics
2000 - Atual
Periódico: IEEE Transactions on Parallel and Distributed Systems (Print)
2008 - Atual
Periódico: Concurrency and Computation
2010 - Atual
Periódico: Computers & Operations Research
2000 - Atual
Periódico: Journal of Parallel and Distributed Computing (Print)
2011 - Atual
Periódico: Journal of Discrete Algorithms (Print)
2010 - Atual
Periódico: Discrete Optimization
2017 - Atual
Periódico: JOURNAL OF COMPUTER AND SYSTEM SCIENCES
2017 - Atual
Periódico: Mathematical Reviews


Revisor de projeto de fomento


2015 - Atual
Agência de fomento: Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ
2010 - 2015
Agência de fomento: Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico
2001 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
1999 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.


Prêmios e títulos


2012
Prêmio Roberto Diéguez Galvão de melhor artigo do SBPO, SOBRAPO - Sociedade Brasileira de Pesquisa Operacional.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:37
Total de citações:200
Fator H:7
Corrêa, Ricardo C.  Data: 20/09/2018

SCOPUS
Total de trabalhos:32
Total de citações:287

Artigos completos publicados em periódicos

1.
Corrêa, Ricardo C.2018Corrêa, Ricardo C.; HOPPEN, C. ; Sampaio, Rudini M. . Limits of -dimensional poset sequences. DISCRETE APPLIED MATHEMATICS, v. 245, p. 208-219, 2018.

2.
Corrêa, Ricardo C.2018 Corrêa, Ricardo C.; DELLE DONNE, DIEGO ; KOCH, IVO ; MARENCO, JAVIER . General cut-generating procedures for the stable set polytope. DISCRETE APPLIED MATHEMATICS, v. 245, p. 28-41, 2018.

3.
CORRÊA, R. C.2017CORRÊA, R. C.; FARIAS, P. M. S. . Linear time computation of the maximal linear and circular sums of multiple independent insertions into a sequence. Theoretical Computer Science, v. 661, p. 8-17, 2017.

4.
CAMPÊLO NETO, M. B.2015CAMPÊLO NETO, M. B. ; CAMPOS, V. A. ; Corrêa, Ricardo C. ; DONNE, D. D. ; MARENCO, J. ; MYDLARZ, M. . A polyhedral study of the maximum stable set problem with weights on vertex-subsets. Discrete Applied Mathematics, v. 210, p. 223-234, 2015.

5.
Corrêa, Ricardo C.2015Corrêa, Ricardo C.; MARENCO, J. ; DONNE, D. D. ; KOCH, I. . A Strengthened General Cut-Generating Procedure for the Stable Set Polytope. Electronic Notes in Discrete Mathematics, v. 50, p. 261-266, 2015.

6.
Campêlo, Manoel2015Campêlo, Manoel ; CORRÊA, RICARDO ; LINHARES SALES, CLAUDIA ; SAMPAIO, RUDINI . Preface - VIII Latin-american Algorithms, Graphs and Optimization Symposium. Electronic Notes in Discrete Mathematics, v. 50, p. 1-2, 2015.

7.
CAMPELO, M.2013CAMPELO, M. ; CORRÊA, R. C. ; P. F. S. Moura ; Marcio C. Santos . On optimal -fold colorings of webs and antiwebs. Discrete Applied Mathematics, v. 161, p. 60-70, 2013.

8.
CORRÊA, R. C.2013CORRÊA, R. C.; FARIAS, P. M. S. ; SOUZA, C. P. . Insertion and sorting in a sequence of numbers minimizing the maximum sum of a contiguous subsequence. JOURNAL OF DISCRETE ALGORITHMS (PRINT), v. 21, p. 1-10, 2013.

9.
FARIAS, PABLO M.S.2013FARIAS, PABLO M.S. ; Corrêa, Ricardo C. . Linear time computation of the maximal sums of insertions into all positions of a sequence. Electronic Notes in Discrete Mathematics, v. 44, p. 245-250, 2013.

10.
Bermond, Jean-Claude2009Bermond, Jean-Claude ; Corrêa, Ricardo C. ; Yu, Minli . Optimal gathering protocols on paths under interference constraints. Discrete Mathematics, v. 309, p. 5574-5587, 2009.

11.
Sereni, J.-S.2009Sereni, J.-S. ; CORRÊA, R. C. ; Havet, F. . About a Brooks-type theorem for improper colouring. The Australasian Journal of Combinatorics, v. 43, p. 219-230, 2009.

12.
CORREA, R2009CORREA, R; BARBOSA, V . Partially ordered distributed computations on asynchronous point-to-point networks?. PARALLEL COMPUTING, v. 35, p. 12-28, 2009.

13.
Campêlo, Manoel2009Campêlo, Manoel ; Campos, Victor A. ; Corrêa, Ricardo C. . Um algoritmo de planos-de-corte para o número cromático fracionário de um grafo. Pesquisa Operacional (Impresso), v. 29, p. 179-193, 2009.

14.
CORRÊA, R. C.;CORRÊA, R;Corrêa, Ricardo C.;CORRÊA, RICARDO;CORREA, RICARDO CORDEIRO;CORREA, RICARDO C.;Ricardo Cordeiro Corrêa;Corrêa, Ricardo Cordeiro;RICARDO CORDEIRO CORRÊA2008 CORRÊA, R. C.; CAMPÊLO NETO, M. B. ; CAMPOS, V. A. . On the Asymmetric Representatives Formulation for the Vertex Coloring Problem. Discrete Applied Mathematics, v. 156, p. 1097-1111, 2008.

15.
CARVALHO JUNIOR, F. H.2007CARVALHO JUNIOR, F. H. ; LINS, R. D. ; CORRÊA, R. C. ; ARAUJO, G. . Towards an architecture for component-oriented parallel programming. Concurrency and Computation. Practice & Experience, v. 19, p. 697-719, 2007.

16.
CORRÊA, R. C.;CORRÊA, R;Corrêa, Ricardo C.;CORRÊA, RICARDO;CORREA, RICARDO CORDEIRO;CORREA, RICARDO C.;Ricardo Cordeiro Corrêa;Corrêa, Ricardo Cordeiro;RICARDO CORDEIRO CORRÊA2005 CORRÊA, R. C.; Jayme L. Szwarcfiter . On Extensions, Linear Extensions, Upsets and Downsets of Ordered Sets. Discrete Mathematics, v. 295, n.1-3, p. 13-30, 2005.

17.
CAMPÊLO NETO, M. B.2004 CAMPÊLO NETO, M. B. ; CORRÊA, R. C. ; FROTA, Y. A. M. . Cliques, holes and the vertex coloring polytope. Information Processing Letters, v. 89, p. 159-164, 2004.

18.
CORRÊA, R. C.;CORRÊA, R;Corrêa, Ricardo C.;CORRÊA, RICARDO;CORREA, RICARDO CORDEIRO;CORREA, RICARDO C.;Ricardo Cordeiro Corrêa;Corrêa, Ricardo Cordeiro;RICARDO CORDEIRO CORRÊA2003CORRÊA, R. C.; GOMES, F. A. C. ; OLIVEIRA, C. A. ; PARDALOS, P. M. . Parallel Implementation of an Asynchronous Team to the Point-to-Point Connection Problem. Parallel Computing, v. 29, n.4, p. 447-466, 2003.

19.
CORRÊA, R. C.;CORRÊA, R;Corrêa, Ricardo C.;CORRÊA, RICARDO;CORREA, RICARDO CORDEIRO;CORREA, RICARDO C.;Ricardo Cordeiro Corrêa;Corrêa, Ricardo Cordeiro;RICARDO CORDEIRO CORRÊA2000CORRÊA, R. C.. A parallel approximation scheme for the multiprocessor scheduling problem. Parallel Computing, v. 26, p. 47-72, 2000.

20.
CORRÊA, R. C.;CORRÊA, R;Corrêa, Ricardo C.;CORRÊA, RICARDO;CORREA, RICARDO CORDEIRO;CORREA, RICARDO C.;Ricardo Cordeiro Corrêa;Corrêa, Ricardo Cordeiro;RICARDO CORDEIRO CORRÊA1999CORRÊA, R. C.; FERREIRA, A. ; REBREYEND, P. . Scheduling multiprocessor tasks with genetic algorithms. IEEE Transactions on Parallel and Distributed Systems, v. 10, n.8, p. 825-837, 1999.

21.
CORRÊA, R. C.;CORRÊA, R;Corrêa, Ricardo C.;CORRÊA, RICARDO;CORREA, RICARDO CORDEIRO;CORREA, RICARDO C.;Ricardo Cordeiro Corrêa;Corrêa, Ricardo Cordeiro;RICARDO CORDEIRO CORRÊA1995CORRÊA, R. C.; FERREIRA, A. . On the effectiveness of synchronous parallel branch-and-bound. Parallel Processing Letters, v. 5, n.3, p. 375-386, 1995.

Livros publicados/organizados ou edições
1.
CORRÊA, R. C.; GOMES, F. A. C. (Org.) ; Mario Fiallos (Org.) ; DUTRA, I. C. (Org.) . Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications. Boston: Kluwer, 2002. v. 1. 320p .

Capítulos de livros publicados
1.
CORRÊA, R. C.; FERREIRA, A. ; PORTO, S. C. S. . Solving hard problems using parallel computers. In: Panos Pardalos; Ding-Zhu Du. (Org.). Handbook of Combinatorial Optimization. : Kluwer, 1998, v. 3, p. 407-456.

2.
CORRÊA, R. C.; FERREIRA, A. . Parallel best-first branch-and-bound in discrete optimization: a framework. In: José Rolim. (Org.). Solving Combinatorial Problems in Parallel: Methods and Techniques (Lecture Notes in Computer Science). : Springer-Verlag, 1996, v. 1054, p. 171-200.

3.
CORRÊA, R. C.; FERREIRA, A. . Modeling parallel branch-and-bound for asynchronous implementations. In: Panos Pardalos; Mauricio Resende. (Org.). Parallel Processing of Discrete Optimization Problems (DIMACS Series in Discrete Mathematics and Theoretical Computer Science). : American Mathematical Society, 1995, v. , p. 45-55.

Trabalhos completos publicados em anais de congressos
1.
Corrêa, Ricardo C.; MARENCO, J. ; KOCH, I. . A general cut-generating procedure for the stable set polytope. In: VIII ALIO/EURO Conference on Combinatorial Optimization, 2014, Montevideo, Uruguai. Proceedings of VIII ALIO/EURO Workshop on Applied Combinatorial Optimization, 2014.

2.
PAULA NETO, E. T. ; Campêlo, Manoel ; RODRIGUES, C. D. ; CORRÊA, R. C. . Escalonamento de Tarefas com Restrições de Precedência e Custos de Execução e Comunicação Unitários. In: XLV Simpósio Brasileiro de Pesquisa Operacional, 2013, Natal. Anais do XLV Simpósio Brasileiro de Pesquisa Operacional, 2013.

3.
Campêlo, Manoel ; Corrêa, Ricardo C. ; HUIBAN, C. ; RODRIGUES, C. D. . Flow Coloring Problem. In: Congreso Latino-Iberoamericano de Investigación Operativa - Simpósio Brasileiro de Pesquisa Operacional, 2012, Rio de Janeiro. Proceedings of XVI CLAIO/XLIV SBPO, 2012.

4.
SILVA, PAULO HENRIQUE LOPES ; FREITAS, GISELE A. DE ARAUJO ; CARVALHO-JUNIOR, FCO. HERON ; CORREA, RICARDO C. . Connection Mechanisms of CCA Components for Parallel Applications. In: 2012 13th Symposium on Computer Systems XIII Simp sio de Sistemas Computacionais (WSCADSSC), 2012, Petropolis. 2012 13th Symposium on Computer Systems, 2012. p. 210-217.

5.
CORRÊA, R. C.; Hoppen, Carlos ; Kohayakawa, Yoshiharu ; Sampaio, Rudini M. . A note on random k-dimensional posets. In: VI Latin-American Algorithms, Graphs, and Optimization Symposium - LAGOS 2011, 2011. Electronic Notes in Discrete Mathematics, 2011. v. 37. p. 51-56.

6.
CAMPELO, M. ; P. F. S. Moura ; Marcio C. Santos ; CORRÊA, R. C. . The k-th chromatic number of webs and antiwebs. In: XLIII SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2011, Ubatuba. Anais do XLIII SBPO, 2011. p. 1-9.

7.
Campêlo, Manoel ; Corrêa, Ricardo C. . A Combined Parallel Lagrangian Decomposition and Cutting-Plane Generation for Maximum Stable Set Problems. In: ISCO 2010 - International Symposium on Combinatorial Optimization, 2010, Hammamet, Tunisia. Electronic Notes in Discrete Mathematics. v. 36. p. 503-510.

8.
CARVALHO-JUNIOR, FRANCISCO HERON DE ; CORREA, RICARDO CORDEIRO . The design of a CCA framework with distribution, parallelism, and recursive composition. In: 2010 11th IEEE/ACM International Conference on Grid Computing (GRID), 2010, Brussels. 2010 11th IEEE/ACM International Conference on Grid Computing. v. 3. p. 339-110.

9.
CARVALHO JUNIOR, F. H. ; CORRÊA, R. C. ; ARAUJO, G. ; SILVA, J. C. ; LINS, R. D. . High-Level Service Connectors for Component-Based High Performance Computing. In: 19th International Symposium on Computer Architecture and High Performance Computing, 2007, Gramado. 19th International Symposium on Computer Architecture and High Performance Computing, 2007. p. 237-244.

10.
CAMPELO, M. ; CAMPOS, V. A. ; CORRÊA, R. C. . Um Algoritmo de Planos-de-Corte para o Número Cromático Fracionário de um Grafo. In: XXX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. Congresso Nacional de Matemática Aplicada e Computacional, 2007.

11.
CARVALHO JUNIOR, F. H. ; CORRÊA, R. C. ; LINS, R. D. ; ARAUJO, G. . On the Design of Abstract Binding Connectors for High Performance Computing Component Models. In: HPC-GECO/CompFrame 2007, 2007, Montréal. Joint Workshop on HPC Grid Programming Environments and Components and Component and Framework Technology in High-Performance and Scientific Computing. New York: Association for Computing Machinery, 2007. p. 67-79.

12.
CARVALHO JUNIOR, F. H. ; SILVA, J. C. ; CORRÊA, R. C. ; QUEIROZ, L. P. . A High Performance Computing Platform for Component-Based Parallel Programming. In: Workshop on Languages and Tools for Parallel and Distributed Programming, 2007, Gramado. Proceedings of the Workshop on Languages and Tools for Parallel and Distributed Programming, 2007.

13.
LIMA, I. S. ; CORRÊA, R. C. ; CAMPELO, M. . LIMITES PARA A ALTURA MÍNIMA DE EXTENSÕES INDUZIDAS DE POSETS. In: XXXIX Simpósio Brasileiro de Pesquisa Operacional, 2007, Fortaleza. XXXIX Simpósio Brasileiro de Pesquisa Operacional, 2007.

14.
Bermond, J.-C. ; CORRÊA, R. C. ; YU, J. . Gathering Algorithms on Paths under Interference Constraints. In: CIAC 2006 - 6th Conference on Algorithms and Complexity, 2006, Roma. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer-Verlag, 2006. v. 3998. p. 115-126.

15.
CARVALHO JUNIOR, F. H. ; LINS, R. D. ; CORRÊA, R. C. ; ARAUJO, G. ; SANTIAGO, C. F. . Design and implementation of an environment for component-based parallel programming. In: VECPAR 2006 - 7th High Performance Computing for Computational Science, 2006, Rio de Janeiro. Lecture Notes in Computer Science Series, 2006. v. 4395. p. 184-197.

16.
CAMPELO, M. ; CAMPOS, V. A. ; CORRÊA, R. C. . Clique and hole separation with applications to the fractional chromatic. In: XIII Conferencia Latino-IberoAmericana de Investigacion Operativa - CLAIO 2006, 2006, Montevideo. Anais da CLAIO 2006, 2006. p. 1-11.

17.
CAMPÊLO NETO, M. B. ; CAMPOS, V. A. ; CORRÊA, R. C. . On the Asymmetric Representatives Formulation for the Vertex Coloring Problem. In: Brazilian Symposium on Graphs, Algorithms and Combinatorics, 2005, Angra dos Reis. Electronic Notes in Discrete Mathematics, 2005. v. 19C. p. 337-343.

18.
CAMPÊLO NETO, M. B. ; CORRÊA, R. C. ; MACULAN, N. ; PROTTI, F. . Improved Lower Bounds for Scheduling Ordered Tasks on a Bounded Number of Processors. In: XI Latin-Iberian American Congress of Operations Research (CLAIO), 2002, Concepción. Proceedings of XI Latin-Iberian American Congress of Operations Research (CLAIO), 2002.

19.
CAMPELO, M. ; CORRÊA, R. C. ; MACULAN, N. ; PROTTI, F. . ILP Formulations for Scheduling Ordered Tasks on a Bounded Number of Processors. In: Brazilian Symposium on Graphs, Algorithms and Combinatorics, 2001, Fortaleza. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier, 2001. v. 7. p. 166-169.

20.
CORRÊA, R. C.; Jayme L. Szwarcfiter . On Extensions, Linear Extensions, Upsets and Downsets of Ordered Sets. In: 6th International Conference on Graph Theory, 2000, Marselha, França. Electronic Notes in Discrete Mathematics. Paris, França: Elsevier Science, 2000. v. 5.

21.
CORRÊA, R. C.; FERREIRA, A. . A polynomial-time branching procedure for scheduling multiprocessor tasks. In: EuroPar, 1999, Toulouse. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer-Verlag, 1999. v. 1685. p. 272-279.

22.
CORRÊA, R. C.; FERREIRA, A. ; REBREYEND, P. . Integrating list heuristics into genetic algorithms for multiprocessor scheduling. In: IEEE Symposium on Parallel and Distributed Processing, 1996. IEEE SPDP´96, 1996. p. 241-248.

23.
CORRÊA, R. C.. A parallel formulation for general branch-and-bound algorithms. In: IRREGULAR, 1995, Lyon. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer-Verlag, 1995. v. 980. p. 395-409.

24.
CORRÊA, R. C.; FERREIRA, A. . A distributed implementation of asynchronous parallel branch-and-bound. In: IRREGULAR, 1994, Genebra. Parallel Algorithms for Irregular Problems: State of the Art, 1994. p. 157-176.

25.
CORRÊA, R. C.; BARÁN, B. . Gradient-like algorithms: a proposal for a partially asynchronous computer system. In: Conferencia Latinoamericana de Informatica, 1990, Assunção, 1990.

Resumos expandidos publicados em anais de congressos
1.
ARAÚJO, GISELE A. ; CARVALHO, FRANCISCO H. ; Corrêa, Ricardo C. . Implementing endogenous and exogenous connectors with the common component architecture. In: the 2009 Workshop, 2009, Portland. Proceedings of the 2009 Workshop on Component-Based High Performance Computing - CBHPC '09. p. 1.

2.
CORRÊA, R. C.. A Lagrangian Decomposition for the Maximum Stable Set Problem. In: VI ALIO/EURO Workshop on Applied Combinatorial Optimization, 2008, Buenos Aires. Proceedings of VI ALIO/EURO Workshop on Applied Combinatorial Optimization, 2008.

Resumos publicados em anais de congressos
1.
CORRÊA, R. C.. Maximum Weight of a Clique of a Graph via Enumeration and Parallel Lagrangian Relaxation. In: XLI Simpósio Brasileiro de Pesqua Operacional, 2009, Porto Seguro. Anais do XLI Simpósio Brasileiro de Pesqua Operacional, 2009. p. 3310-3310.

2.
CAMPOS, V. A. ; CAMPÊLO NETO, M. B. ; CORRÊA, R. C. ; RODRIGUES, C. D. . On Fractional and Integral Chromatic Numbers of a Graph via Cutting and Pricing. In: Fifth ALIO/EURO conference on combinatorial optimization, 2005, Paris. Abstracts of the Fifth ALIO/EURO, 2005. p. 42-42.

3.
CAMPÊLO NETO, M. B. ; CAMPOS, V. A. ; CORRÊA, R. C. . Um algoritmo branch-and-cut para coloração de vértices. In: I Encontro Norte-Nordeste de Pesquisa Operacional e Matemática Aplicada - EPOMAC, 2005. Anais do I EPOMAC.

4.
SANTOS, G. ; CAMPÊLO NETO, M. B. ; CORRÊA, R. C. . Uma abordagem do problema de escalonamento de tarefas em múltiplos processadores via programação inteira. In: I Encontro Norte-Nordeste de Pesquisa Operacional e Matemática Aplicada, 2005, Maceió. EPOMAC, 2005.

5.
CORRÊA, R. C.; CAMPÊLO NETO, M. B. ; FROTA, Y. A. M. . Cliques, Holes and Lower Bounds for the Vertex Coloring Problem. In: International Symposium on Mathematical Programming, 2003, Copenhagen. Proceedings of the 18th International Symposium on Mathematical Programming, 2003.

6.
CORRÊA, R. C.; FROTA, Y. A. M. . Computational Experiments with the Column Generation Approach for Finding the Chromatic Number of a Graph. In: Combinatorial Optimization 2002, 2002, Paris. Proceedings of Combinatorial Optimization 2002, 2002. v. 1. p. 87-87.

7.
CORRÊA, R. C.; Jayme L. Szwarcfiter . Enumerating all the Extensions of an Ordered Set. In: Tenth SIAM Conference on Discrete Mathematics, 2000, Minneapolis. Proceedings of the Tenth SIAM Conference on Discrete Methematics, 2000. p. 37-37.

8.
CORRÊA, R. C.; Jayme L. Szwarcfiter . An Algorithm for Generating all Extensions of an Ordered Set. In: Discrete Analysis and Operations Research, 2000, Novosibirsk. Proceedings of DAOR'2000, 2000. p. 72-72.

Artigos aceitos para publicação
1.
Corrêa, Ricardo C.; DONNE, D. D. ; MARENCO, J. . On the combinatorics of the 2-class classification problem. Discrete Optimization, 2018.

Apresentações de Trabalho
1.
CORRÊA, R. C.. Solving the classification problem with combinatorial optimization tools. 2016. (Apresentação de Trabalho/Conferência ou palestra).

2.
Corrêa, Ricardo C.. A General Cut-Generating Procedure for the Stable Set Polytope. 2014. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Bermond, J.-C. ; CORRÊA, R. C. ; YU, J. . Optimal Gathering Protocols on Paths under Interference Constraints 2007 (Relatório técnico).

2.
CORRÊA, R. C.; Barbosa, V. . Partially ordered distributed computations on asynchronous point-to-point networks 2006 (Relatório técnico).

3.
CORRÊA, R. C.. Problemas em Grafos e seus Algoritmos 1999 (II Escola de Informática - Regional NE).

4.
CORRÊA, R. C.. Aspectos Combinatórios de Redes de Interconexão 1998 (Encontro Regional da SBC - Região Sudeste).

5.
CORRÊA, R. C.. On the efficiency of a genetic algorithm for the multiprocessor scheduling problem. Rio de Janeiro, RJ: NCE/UFRJ, 1997 (Relatório técnico).

6.
CORRÊA, R. C.; MOUNIÉ, G. . Scheduling multiprocessor tasks with parallel best-first branch-and-bound: preliminary experiments and results. Grenoble, França: LMC/IMAG, 1996 (Relatório técnico).

Demais trabalhos
1.
CORRÊA, R. C.. Applications with a Parallel Branch-and-Bound Library. 1996 (Palestra convidada em evento científico) .

2.
CORRÊA, R. C.. A Parallel General Branch-and-Bound Library with Applications. 1995 (Palestra convidada em evento científico) .

3.
CORRÊA, R. C.. A Parallel General Branch-and-Bound Library and Applications. 1995 (Palestra convidada em evento científico) .

4.
CORRÊA, R. C.. Recherche Arborescente Parallèle: Formulation, Implantation et Application. 1995 (Palestra convidada em evento científico) .

5.
CORRÊA, R. C.. Comparing Synchronous and Asynchronous Parallel Best-First Branch-and-Bound. 1995 (Palestra convidada em evento científico) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SALES, C. L.; KLEIN, S.; Campêlo, Manoel; CORRÊA, R. C.. Participação em banca de Cláudio Soares de Carvalho. Embutimento de Árvores Orientadas em Digrafos. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

2.
CARVALHO JUNIOR, F. H.; SONG, S. W.; MURITIBA, A. E. F.; CORRÊA, R. C.. Participação em banca de ANDERSON BOETTGE PINHEIRO. Abstrações Linguísticas para Programação de Propósito Geral sobre Aceleradores Computacionais Baseados em GPU. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

3.
CARVALHO JUNIOR, F. H.; Rebello, V.; CORRÊA, R. C.. Participação em banca de Eduardo Gurgel Pinho. Uma Linguagem de Programação Paralela Orientada a Objetos para Arquiteturas de Memória Distribuída. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

4.
BARBOSA, L. S.; MAIA, P. H. M.; CORRÊA, R. C.; CARVALHO JUNIOR, F. H.. Participação em banca de Thiago Braga Marcilon. Contratos Formais para Derivação e Verificação de Componentes Paralelos. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

5.
CARVALHO JUNIOR, F. H.; SOUZA, C. T.; MENDONCA, N. C.; CORRÊA, R. C.. Participação em banca de Juliano Efson Norberto Sales. Coordenação e Reconfiguração Dinâmica de Componentes em uma Plataforma de Computação Paralela. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

6.
Lima, Ricardo M. F.; CARVALHO JUNIOR, F. H.; CAVALCANTE NETO, J. B.; CORRÊA, R. C.. Participação em banca de Cenez Araújo Rezende. Avaliação de Desempenho de uma Plataforma de Componentes Paralelos. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

7.
Souza, Cid C.; ANDRADE, R. C.; CAMPÊLO NETO, M. B.; CORRÊA, R. C.. Participação em banca de Álinson Santos Xavier. Geração de Facetas para Politopos de Conjuntos Independentes. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

8.
Ribeiro, Celso C; ANDRADE, R. C.; CAMPÊLO NETO, M. B.; CORRÊA, R. C.. Participação em banca de 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. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

9.
CARVALHO JUNIOR, F. H.; CORRÊA, R. C.; Lima, Ricardo M. F.; Paillard, Gabriel A. L.. Participação em banca de Davi Morais Ferreira. Integração de Bibliotecas Científicas de Propósito Especial em uma Plataforma de Componentes Paralelos. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

10.
SALES, C. L.; FIGUEIREDO, C.; CORRÊA, R. C.. Participação em banca de Leonardo Sampaio Rocha. b-Colorações de Grafos. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

11.
SALES, C. L.; MELLO, C. P.; MORGANA, M. A.; CORRÊA, R. C.. Participação em banca de Julio Cesar Silva Araújo. Coloração Gulosa e Coloração Ponderada. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

12.
CAMPÊLO NETO, M. B.; OCHI, L. S.; MICHELON, P.; CORRÊA, R. C.. Participação em banca de Ítalo Siqueira. Extensões induzidas de altura mínima de um conjunto parcialmente ordenado. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

13.
SALES, C. L.; KLEIN, S.; CORRÊA, R. C.. Participação em banca de Aline Alves da Silva. Decomposição e largura em árvore de grafos planares livres de ciclos pares induzidos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

14.
CAMPÊLO NETO, M. B.; CORRÊA, R. C.; MICHELON, P.; SCHEIMBERG, S.. Participação em banca de Carlos Diego Rodrigues. Limites Inferiores para o Problema de Coloração de Vértices via Geração de Cortes e Colunas. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

15.
SALES, C. L.; CORRÊA, R. C.; Jayme L. Szwarcfiter; ANDRADE, R. C.. Participação em banca de Ana Shirley Ferreira da Silva. Um Estudo Computacional sobre o Problema de Decomposição de Grafos em Árvore. 2005.

16.
FIGUEIREDO, C.; CARVALHO, L. E. X.; SALES, C. L.; GIDAS, B.; CORRÊA, R. C.. Participação em banca de Luis Eduardo Ximenes Carvalho. Decomposições em Árvores de Grafos: um Estudo Algoritmico. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

17.
CORRÊA, J. M.; CORRÊA, R. C.; MELO, A. C. M. A.; WEIGANG, L.. Participação em banca de Jan Mendonça Corrêa. Sistema Classificador para Escalonamento Dinâmico de Processadores. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

18.
SILVA, R.; CORRÊA, R. C.; BOERES, M. C. S.; DRUMMOND, L. M.; MARTINHON, C. A.. Participação em banca de Renato da Silva. Escalonamento de Tarefas e Comunicações. 2001. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

19.
OLIVEIRA, C. A. S.; CORRÊA, R. C.; GOMES, F. A. C.; SALES, C. L.. Participação em banca de Carlos Alberto de Souza Oliveira. Alocação de Freqüências paraTelefonia Celular: uma Solução através do Procedimento de Busca Guloso Adaptativo Aleatório. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Teses de doutorado
1.
PROTTI, F.; UCHOA, E.; FROTA, Y. A. M.; OCHI, L. S.; PESSOA, A.; MARTINELLI, R.; CORRÊA, R. C.. Participação em banca de TEOBALDO LEITE BULHÕES JÚNIOR. Column Generation over Set Partitioning Formulations: Theory and Practice. 2017. Tese (Doutorado em Computação) - Universidade Federal Fluminense.

2.
CORRÊA, R. C.; MAUTOR, T.; CAMPÊLO NETO, M. B.; Santos, H. G.; RODRIGUES, C. D.; SAMPAIO, R. M.; MICHELON, P.. Participação em banca de Wladimir Araújo Tavares. Algoritmos Exatos para Problema da Clique Máxima Ponderada. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

3.
MAFFRAY, F.; PAUL, C.; BERMOND, J.; GIROIRE, F.; SALES, C. L.; CORRÊA, R. C.. Participação em banca de Julio Cesar Silva Araujo. Graph Coloring and Graph Convexity. 2012. Tese (Doutorado em Ecole Doctorale STIC - Mention Informatique) - Université de Nice Sophia Antipolis.

4.
BOERES, M. C. S.; DRUMMOND, L. M.; Rebello, V.; OCHI, L. S.; CORRÊA, R. C.; De Rose, C.A.F.. Participação em banca de Idalmis Milian Sardina. Escalonamento Estático de Tarefas Bi-Objetivo e Tolerante a Falhas em SistemasDistribuídos. 2010. Tese (Doutorado em Computação) - Universidade Federal Fluminense.

5.
MACULAN, N.; OCHI, L. S.; MICHELON, P.; CAMPÊLO NETO, M. B.; CORRÊA, R. C.; Pinheiro, P. R.. Participação em banca de Carlos Diego Rodrigues. Abordagens híbridas na solução de problemas da teoria e prática. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

6.
CORRÊA, R. C.; Valois, F.; Yuan, D.; Bermond, J.-C.; Bryden, S.; CAMPÊLO NETO, M. B.; Coudert, D.; Koster, A.. Participação em banca de Napoleão Nepomuceno. Network OPtimization for Wireless Microwave Backhaul. 2010. Tese (Doutorado em Ecole Doctorale STIC - Mention Informatique) - Université de Nice Sophia Antipolis.

7.
Bermond, J.-C.; CORRÊA, R. C.; CAMINADA, A.; GALTIER, J.; GOURDIN, E.; KLASING, R.; MAHEY, P.. Participação em banca de Cristiana Maria Nascimento Gomes. Radio Mesh Networks and the Round Weighting Problem. 2009. Tese (Doutorado em Ecole Doctorale STIC - Mention Informatique) - Université de Nice Sophia Antipolis.

8.
CORRÊA, R. C.; YU, J.; AMAYA, J.; LAFOREST, C.; Bermond, J.-C.; PERENNES, S.; KLASING, R.. Participação em banca de Nelson Morales. Algorithmique des réseaux de communication radio modélisés par des graphes. 2007. Tese (Doutorado em Doutorado) - Centre de Recherche Inria Sophia Antipolis - Méditerranée.

9.
CORRÊA, R. C.; FIGUEIREDO, C.; Jayme L. Szwarcfiter; DAHAB, R.; MARKENZON, L.; OCHI, L. S.. Participação em banca de Aquiles de Braga Queiroz. Algoritmos para a Geração de Classes de Extensões de Conjuntos Parcialmente Ordenados. 2005. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

10.
Jayme L. Szwarcfiter; CORRÊA, R. C.; Cáceres, E.; Milidiu, R.; Barbosa, V.; FIGUEIREDO, C.. Participação em banca de Vania Maria Félix Dias. Geração de bibliques de um grafo. 2004. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

11.
CORRÊA, R. C.; Bermond, J.-C.. Participação em banca de Jean-François Lallande. Optimisation dans le Dimensionement des Réseaux de Communications. 2004 - Institut National de Recherche en Informatique et Automatique.

Qualificações de Doutorado
1.
PROTTI, F.; UCHOA, E.; CORRÊA, R. C.; MARTINHON, C. A.; PESSOA, A.. Participação em banca de TEOBALDO LEITE BULHÕES JÚNIOR. Column Generation over Set Partitioning Formulations: Theory and Practice. 2017. Exame de qualificação (Doutorando em Computação) - Universidade Federal Fluminense.

2.
CORRÊA, R. C.; CAVALCANTE NETO, J. B.; CARVALHO JUNIOR, F. H.. Participação em banca de Gisele Azevedo de Araújo. Um Novo Framework CCA para Aplicações Científicas usando Linked Bindings. 2007. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal do Ceará.



Participação em bancas de comissões julgadoras
Concurso público
1.
CORRÊA, R. C.; CAMPOS, C. A. V.; MARZULO, L. A. J.. Professor Adjunto do Departamento de Ciência da Computação - IM/UFRRJ. 2016. Universidade Federal Rural do Rio de Janeiro.

2.
CORRÊA, R. C.; SAMPAIO, R. M.; FIGUEIREDO, C.. Professor Adjunto do Departamento de Matemática - UFC. 2014. Universidade Federal do Ceará.

Outras participações
1.
CORRÊA, R. C.. Comitê de Iniciação Científica - PIBIC. 2017. Universidade Federal Rural do Rio de Janeiro.

2.
CORRÊA, R. C.. Concurso de Teses e Dissertações. 2007. Sociedade Brasileira de Computação.

3.
CORRÊA, R. C.. Comitê de avaliação de projetos do Edital Software-Livre da FINEP. 2004. Financiadora de Estudos e Projetos.

4.
CORRÊA, R. C.. Comitê para seleção de propostas no Edital de Software Livre do CT-INFO/CNPq. 2003. Conselho Nacional de Desenvolvimento Científico e Tecnológico.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Workshop on Languages and Tools for Parallel and Distributed Programming.A High Performance Computing Platform for Component-Based Parallel Programming. 2007. (Oficina).

2.
XXX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Um Algoritmo de Planos-de-Corte para o Número Cromático Fracionário de um Grafo. 2007. (Congresso).

3.
CIAC 2006 - 6th Conference on Algorithms and Complexity. Gathering Algorithms on Paths under Interference Constraints. 2006. (Congresso).

4.
XIII Conferencia Latino-IberoAmericana de Investigacion Operativa - CLAIO 2006. Clique and hole separation with applications to the fractional chromatic Clique and hole separation with applications to the fractional chromatic number of a graph. 2006. (Congresso).

5.
Fifth ALIO/EURO conference on combinatorial optimization. On Fractional and Integral Chromatic Numbers of a Graph via Cutting and Pricing. 2005. (Congresso).

6.
I Encontro Norte-Nordeste de Pesquisa Operacional e Matemática Aplicada - EPOMAC.Um algoritmo branch-and-cut para coloração de vértices. 2005. (Encontro).

7.
International Symposium on Mathematical Programming.Cliques, Holes and Lower Bounds for the Vertex Coloring Problem. 2003. (Simpósio).

8.
Combinatorial Optimization 2002. Computational Experiments with the Column Generation Approach for Finding the Chromatic Number of a Graph. 2002. (Congresso).

9.
Workshop Latino-Americano de Cliques em Grafos.On Extensions, Linear Extensions, Upsets and Downsets of Ordered Sets. 2002. (Oficina).

10.
Brazilian Symposium on Graphs, Algorithms and Combinatorics. ILP Formulations for Scheduling Ordered Tasks on a Bounded Number of Processors. 2001. (Congresso).

11.
6th International Conference on Graph Theory. Enumerating all the Extensions of an Ordered Set. 2000. (Congresso).

12.
EuroPar. A polynomial-time branching procedure for scheduling multiprocessor tasks. 1999. (Congresso).

13.
Eight SIAM Conference on Discrete Mathematics. Applications with a Parallel Branch-andBound Library. 1996. (Congresso).

14.
IRREGULAR. A Parallel Formulation for General Branch-and-Bound Algorithms. 1995. (Congresso).

15.
Minisymposium on the Interface of Operations Research and Artificial Intelligence.A Parallel General Branch-and-Bound Library with Applications. 1995. (Simpósio).

16.
IRREGULAR. A Distributed Implementation of Asynchronous Parallel Branch-and-Bound. 1994. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
CORRÊA, R. C.. XLVII Simpósio Brasileiro de Pesquisa Operacional (SBPO 2015). 2015. (Congresso).

2.
Campêlo, Manoel ; CORRÊA, R. C. ; SALES, C. L. ; Sampaio, Rudini M. . VIII Latin-American Algorithms, Graphs and Optimization Symposium. 2015. (Congresso).

3.
CORRÊA, R. C.. Simposio de Investigación de Operaciones e Inteligencia Artificial. 2014. (Congresso).

4.
CORRÊA, R. C.. XLVI Simpósio Brasileiro de Pesquisa Operacional (SBPO 2014). 2014. (Congresso).

5.
CORRÊA, R. C.. XLV Simpósio Brasileiro de Pesquisa Operacional (SBPO 2013). 2013. (Congresso).

6.
CORRÊA, R. C.. Simposio de Investigación de Operaciones e Inteligencia Artificial. 2013. (Congresso).

7.
CORRÊA, R. C.. Congreso Latinoamericano de Investigación Operativa (CLAIO) e XLIV Simpósio Brasileiro de Pesquisa Operacional (SBPO 2012). 2012. (Congresso).

8.
CORRÊA, R. C.. 43º Simpósio Brasileiro de Pesquisa Operacional. 2011. (Congresso).

9.
CORRÊA, R. C.. 42º Simpósio Brasileiro de Pesquisa Operacional. 2010. (Congresso).

10.
CORRÊA, R. C.. 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2008). 2008. (Congresso).

11.
CORRÊA, R. C.. Second Workshop on Languages and Tools for Parallel and Distributed Programming. 2008. (Congresso).

12.
CORRÊA, R. C.. The 19th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007). 2007. (Congresso).

13.
CORRÊA, R. C.. First Workshop on Languages and Tools for Parallel and Distributed Programming. 2007. (Congresso).

14.
CORRÊA, R. C.. Brazilian Symposium on Graphs, Algorithms and Combinatorics. 2005. (Congresso).

15.
CORRÊA, R. C.. International Parallel and Distributed Processing Symposium. 2003. (Congresso).

16.
CORRÊA, R. C.. XI Congreso Latino-Iberoamericano de Investigación de Operaciones. 2002. (Congresso).

17.
CORRÊA, R. C.; CAMPÊLO NETO, M. B. ; GOMES, F. A. C. . Brazilian Symposium on Graphs, Algorithms and Combinatorics - GRACO. 2001. (Congresso).

18.
CORRÊA, R. C.. International Parallel and Distributed Processing Symposium. 2001. (Congresso).

19.
CORRÊA, R. C.; Mario Fiallos . CIMPA School on Advanced Algorithmic Techniques in Parallel Computation with Applications. 1999. (Outro).

20.
CORRÊA, R. C.. 6th International Workshop on Solving Irregularly Structured Problems in Parallel. 1999. (Congresso).

21.
CORRÊA, R. C.. Workshop em Paralelismo e Otimização Combinatória. 1998. (Outro).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
PAULO HENRIQUE MACÊDO DE ARAÚJO. OTIMIZAÇÃO COMBINATÓRIA. Início: 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Paulo Henrique Macêdo de Araújo. Uma Heurí stica Lagrangeana com Paralelismo para o Problema de Ponderação de Rodadas. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

2.
Marcio Costa Santos. EXPERIMENTOS COMPUTACIONAIS COM IMPLEMENTAÇÕES DE CONJUNTOS POR ENDEREÇAMENTO DIRETO E O PROBLEMA DE CONJUNTO INDEPENDENTE MÁXIMO. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Ricardo Cordeiro Corrêa.

3.
Paulo Henrique Lopes Silva. Implementaçõs de Conexões de Componentes CCA Distribuídos usando Java e MPI. 2009. 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. Orientador: Ricardo Cordeiro Corrêa.

4.
Allberson Bruno de Oliveira Dantas. Uma Interface de Programação Distribuída para Aplicações em Otimização Combinatória. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Ricardo Cordeiro Corrêa.

5.
Victor Almeida Campos. Um Estudo do Politopo e dos Limites Inferiores Gerados pela Formulação de Coloração dos Representantes. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

6.
Vitor Almeida dos Santos. Uma Ferramenta para Atribuição de Relógios Lógicos a Execuções Distribuídas. 2004. 80 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Ricardo Cordeiro Corrêa.

7.
Patrícia Helaine Landim Nascimento. Métodos e Algoritmos para Resolução do Problema de Fluxo Máximo em Redes. 2002. 95 f. 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. Orientador: Ricardo Cordeiro Corrêa.

8.
Yuri Abtibol Meneses Frota. Estudo Computacional de Algoritmos Exatos para o Problema de Coloração de Grafos. 2002. 85 f. 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. Orientador: Ricardo Cordeiro Corrêa.

9.
Grégory Mounié. Recherche Arborescente Parallèle pour le Problème de l'Ordonnancement de Tâches. 1995. Dissertação (Mestrado em Informatique) - Institut de Mathématique Appliquée de Grenoble, . Coorientador: Ricardo Cordeiro Corrêa.

Tese de doutorado
1.
Pablo Mayckon Silva Farias. O Problema de Ordenação de Rodadas e Problemas de Otimização Associados. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Ricardo Cordeiro Corrêa.

2.
Gisele Azevedo de Araújo. Uma Nova Plataforma CCA para Aplicações Científicas usando Conectores. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Ricardo Cordeiro Corrêa.

Iniciação científica
1.
Gabriela da Silva Almeida. Solução Exata para Convexidade Geodésica. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

2.
Válber Oscar Laux. Algoritmos exatos para o problema de conjunto independente máximo. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Ricardo Cordeiro Corrêa.

3.
Jefferson Lourenço Gurguri. Programação por Componentes para Aplicações de Alto Desempenho. 2012. Iniciação Científica. (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

4.
Eduardo Rodrigues Duarte Neto. Algoritmos Eficientes para Problemas de Conjuntos Independentes em Grafos. 2012. Iniciação Científica. (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

5.
Paulo Henrique Macêdo de Araújo. Algoritmo para Obtenção de Coloração Fracionária de um Grafo. 2011. Iniciação Científica. (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

6.
Paulo Henrique Macêdo de Araújo. Algoritmos de separação para problemas de conjuntos independentes. 2010. Iniciação Científica. (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

7.
Marcio Costa Santos. Algoritmos exatos para o problema de coloração de cértices. 2010. Iniciação Científica. (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

8.
Paulo Victor Teixeira Eufrásio. Algoritmos Exatos para Problemas de Conjuntos Independentes em Grafos. 2009. Iniciação Científica. (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

9.
Lívia Almada Cruz. Algoritmos Exatos para o Problema de Coloração de Vértices. 2008. Iniciação Científica. (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

10.
Roberto Freitas Parente. Execuções Assíncronas Parcialmente Ordenadas em Redes Ponto-a-Ponto. 2008. Iniciação Científica. (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

11.
Victor Almeida Campos. Estruturas de dados para algoritmos branch-and-bound. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

12.
Ana Shirley. Algoritmos de fluxo máximo em redes. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

13.
Marcos Maciel de Castro. Algoritmos para orientação transitiva de grafos. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

14.
Roberto Kendy. Um Simulador para Redes de Interconexão Baseadas em Barramento. 1997. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.

15.
Alessandro Moraes. Experiências com Algoritmos de Troca Completa para Redesde Interconexão. 1997. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ricardo Cordeiro Corrêa.




Página gerada pelo Sistema Currículo Lattes em 16/11/2018 às 13:55:03