Universidade Federal do Ceará
ParGO – Paralelismo, Grafos e Otimização

Trabalhos completos em anais

Número total de itens: 210

2024

1.	ARAUJO, T. G. ; ANDRADE, Rafael Castro de ; SANTOS, A. C.. A flow-based formulation for the multi-sink clustered WSN. Em: International Conference on Control, p. 1-6, 2024.
2.	CASTRO DE ANDRADE, RAFAEL. Crytsal trees. Em: International Symposium on Combinatorial Optimization (ISCO 2024), p. 1-10, 2024.

2023

1.	ARAUJO, Julio C. ; DOURADO, MITRE C. ; PROTTI, F. ; Sampaio, Rudini M.. Tempo de Iteração e Número de Posição Geral em Convexidade de Grafos. Em: Simpósio Brasileiro de Pesquisa Operacional (SBPO), v. 55, p. 160682, 2023.
2.	ARAUJO, S. N. ; BRIT0, J. M. ; FOLZ, R. ; FREITAS, R. ; SAMPAIO, R. M.. Jogos da Posição Convexa, do Intervalo e da Envoltória em Grafos. Em: Simpósio Brasileiro de Pesquisa Operacional (SBPO), v. 55, p. 160566, 2023.
3.	Campêlo, Manoel; Sousa, G.. Formulações Matemáticas para o Problema da Árvore t-Spanner de Custo Mínimo. Em: Simpósio Brasileiro de Pesquisa Operacional, 2023.
4.	CASTRO DE ANDRADE, RAFAEL; SOUSA, G. H. ; Duhamel, Christophe ; SANTOS, A. C. ; ADASME, P.. MODELO MATEMÁTICO PARA REDE CLUSTERIZADA DE SENSORES SEM FIO PARA ATIVIDADES COMPARTILHADAS DE MONITORAMENTO. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 1-12, 2023.
5.	de Carvalho Junior, Francisco Heron; Carneiro, Tiago. A Component Model for Multilevel Parallel Programming. Em: SBLP 2023: XXVII Brazilian Symposium on Programming Languages, p. 25, 2023.
6.	DE CARVALHO-JUNIOR, FRANCISCO; Dantas, A. B. O. ; Carneiro, Tiago ; MENDES, J. H. ; Sales, C. H. S. ; SALES, P. A. F.. Structured platform-aware programming. Em: XXIV Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD’2023), 2023.
7.	V. Campos; J. Costa ; LOPES, R. ; SAU, I.. New Menger-Like Dualities in Digraphs and Applications to Half-Integral Linkages. Em: 31st Annual European Symposium on Algorithms (ESA 2023), v. 274, p. 1-18, 2023.

2022

1.	Albuquerque, F. ; Campêlo, Manoel ; FIGUEIREDO, TATIANE. O problema de formação de equipes com caminhos mínimos compatíveis: uma abordagem exata. Em: Simpósio Brasileiro de Pesquisa Operacional, 2022. [ citações Google Scholar | busca Google ]
2.	Araújo, P. H. ; Campêlo, Manoel ; CORRÊA, RICARDO ; Labbé, M.. Integer Programming Models for the Geodesic Classification Problem on Graphs. Em: oint ALIO/EURO International Conference, p. 77-82, 2022.  [ citações Google Scholar | busca Google ]
3.	CASTELO, E. E. S. ; ANDRADE, Rafael Castro de ; Saraiva, R. D.. O Problema do Caminho Mínimo k-Rotulado. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 1-9, 2022.  [ citações Google Scholar | busca Google ]
4.	Dias, Fábio C. S. ; COSTA, J. R. F. ; TAVARES, WLADIMIR A.. Algoritmo Colônia de Formigas com uma Busca VND para o Problema da Máxima Interseção de k-Subconjuntos. Em: LIV Simpósio Brasileiro de Pesquisa Operacional, 2022.
5.	Dias, Fábio C. S. ; COSTA, J. R. F. ; TAVARES, WLADIMIR A.. Procedimentos de Redução para o Problema da Máxima Interseção de k-Subconjuntos. Em: LIV Simpósio Brasileiro de Pesquisa Operacional,, 2022.
6.	Figueredo, P. J. ; Campêlo, Manoel ; SANTOS, MARCIO C.. Applications of checkpoint allocation in Covid context. Em: Simpósio Brasileiro de Pesquisa Operacional, 2022. [ citações Google Scholar | busca Google ]
7.	PINHEIRO, FRANCISCO VICTOR DA S. ; LIMA, R. S. ; FERREIRA, A. K. L. ; LIMA, F. V. S. ; TAVARES, WLADIMIR A.. Programa de Educação Tutorial: Uma Análise Retrospectiva das Ações Realizadas para Auxiliar na Formação Pessoal e Profissional dos Alunos do Curso de Sistemas de Informação. Em: WORKSHOP SOBRE EDUCAÇÃO EM COMPUTAÇÃO, 2022.
8.	Sousa, G. ; Campêlo, Manoel. Nova Formulação e Desigualdades Válidas para o Problema da Árvore t-Spanner de Custo Mínimo. Em: Simpósio Brasileiro de Pesquisa Operacional, 2022. [ citações Google Scholar | busca Google ]
9.	Viana, M. ; Campêlo, Manoel. Problema da Precificação Livre de Inveja com Consumidores Decididos: uma proposta de modelos matemáticos. Em: Simpósio Brasileiro de Pesquisa Operacional, 2022. [ citações Google Scholar | busca Google ]

2021

1.	ARAÚJO, JÚLIO ; BOUGERET, MARIN ; CAMPOS, VICTOR ; SAU, IGNASI. A New Framework for Kernelization Lower Bounds: The Case of Maximum Minimal Vertex Cover. Em: 16th International Symposium on Parameterized and Exact Computation (IPEC 2021), v. 214, p. 4:1-4:19, 2021.  [ citações Google Scholar | busca Google ]
2.	Campêlo, Manoel; Figueiredo, T.. Multiple Team Formation Problem with Multi-skilled Individuals. Em: Simpósio Brasileiro de Pesquisa Operacional – SBPO, p. 1-12, 2021. [ citações Google Scholar | busca Google ]
3.	Campêlo, Manoel; Matias, J.. A linear programming approach to the minimum maximum flow degree problem. Em: Simpósio Brasileiro de Pesquisa Operacional – SBPO, p. 1-8, 2021. [ citações Google Scholar | busca Google ]
4.	Costa, E. R. ; MARTINS, NICOLAS ; SAMPAIO, R. M.. Spy game: FPT-algorithm and results on graph products. Em: International Computing and Combinatorics Conference (COCOON), v. 13025, p. 680-691, 2021. [ citações Google Scholar | busca Google ]
5.	de Carvalho Junior, Francisco Heron; Dantas, A. B. O. ; Sales, C. H. S.. Swirls, A Platform for Enabling Multicluster and Multicloud Execution of Parallel Programs. Em: XXII Simpósio em Sistemas Computacionais de Alto Desempenho, 2021.  [ citações Google Scholar | busca Google ]
6.	KEILER, L. ; LIMA, C. V. G. ; MAIA, ANA KAROLINNA ; SAMPAIO, R. M. ; SAU, I.. Target set selection with maximum activation time. Em: Latin and American Algorithms, v. 195, p. 86-96, 2021. [ citações Google Scholar | busca Google ]
7.	SILVA, MARIA ERILANE L. DA ; GAMA, ANNY ALICE L. ; PINHEIRO, FRANCISCO VICTOR DA S. ; BEZERRA, CARLA I. M. ; TAVARES, WLADIMIR A. ; OLIVEIRA, PAULO DE TARSO G.. A Experiência do Letramento Digital para Professores Municipais do Ensino Básico Durante a Pandemia COVID-19. Em: Workshop de Informática na Escola, p. 171, 2021.
8.	Sousa, G. ; Campêlo, Manoel. An Enumerative Algorithm for the minimum weight t-spanner tree problem. Em: Simpósio Brasileiro de Pesquisa Operacional – SBPO, p. 1-12, 2021. [ citações Google Scholar | busca Google ]
9.	SOUSA, P. M. E. S. ; COSTA, J. R. F. ; Silva, Gustavo Ivens O. ; Lima, Victor de Souza ; TAVARES, W. A. ; BEZERRA, C. I. M.. Preparação para Olimpıada Brasileira de Informatica Nıvel Sênior: Um Relato de Experiência. Em: Anais do XXIX Workshop sobre Educação em Computação, 2021.

2019

1.	Al-Alam, Wagner ; DE CARVALHO-JUNIOR, FRANCISCO. Contextual Contracts for Component-Based ResourceAbstraction in a Cloud of HPC Services. Em: XX Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD’2019), 2019. [ citações Google Scholar | busca Google ]
2.	ALENCAR, J. M. U. ; DE CARVALHO-JUNIOR, FRANCISCO. On the Elasticity of Parallel Components in a Cloud of High Performance Computing Services. Em: XX Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD’2019), 2019.  [ citações Google Scholar | busca Google ]
3.	Araújo, P. H. ; CAMPÊLO, M. ; CORRÊA, RICARDO ; Labbé, M.. The Geodesic Classification Problem on Graphs. Em: LAGOS – Latin-American Algorithms, v. 346, p. 65-76, 2019. [ citações Google Scholar | busca Google ]
4.	Campos, V. ; LOPES, R. ; Maia, A. K. ; Sau, I.. Adapting The Directed Grid Theorem into an FPT Algorithm. Em: X Latin and American Algorithms, v. 346, p. 229-240, 2019. [ citações Google Scholar | busca Google ]
5.	Costa, E. R. ; PESSOA, V. L. ; SAMPAIO, R. M. ; SOARES, Ronan P.. PSPACE-hardness of two graph coloring games. Em: Latin-American Algorithms, v. 346, p. 333-344, 2019. [ citações Google Scholar | busca Google ]
6.	Viana, L.A. ; CAMPÊLO, M.. The Generalized Dependency Constrained Spanning Tree Problem. Em: Latin-American Algorithms, v. 346, p. 711-723, 2019. [ citações Google Scholar | busca Google ]

2018

1.	ANDRADE, Rafael Castro de; GURGURI, J. L.. Models and cutting-plane strategies for the tree-star problem. Em: EURO/ALIO International Conference on Applied Combinatorial Optimization, p. 257-264, 2018. [ citações Google Scholar | busca Google ]
2.	ARAUJO DE REZENDE, CENEZ ; de Carvalho Junior, Francisco Heron. MapReduce with Components for Processing Big Graphs. Em: 2018 Symposium on High Performance Computing Systems (WSCAD), p. 108-115, 2018.  [ citações Google Scholar | busca Google ]
3.	ARAUJO, J. ; CAMPOS, V. ; LIMA, C. ; SANTOS, V. ; SAU, I. ; SILVA, A.. Dual parameterization of weighted coloring. Em: 13th International Symposium on Parameterized and Exact Computation, v. 115, p. 12:1-12:14, 2018.
4.	ARAUJO, J. ; Campos, V. ; Maia, A. K. ; Sau, I. ; SILVA, A.. On the Complexity of Finding Internally Vertex-Disjoint Long Directed Paths. Em: 13th Latin American Theoretical INformatics Symposium (LATIN 2018), v. 10807, 2018. [ citações Google Scholar | busca Google ]
5.	Araújo, J.C. ; CAMPÊLO, M. ; Sousa, G.. Métodos para Determinação do Número de Envoltória Geodésico de um Grafo. Em: 50º Simpósio Brasileiro de Pesquisa Operacional, p. 1-9, 2018. [ citações Google Scholar | busca Google ]
6.	Araújo, P. H. ; CAMPÊLO, M. ; CORRÊA, R. C.. Uma Heurística Lagrangiana com Paralelismo para o Número Cromático Fracionário de um Grafo. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 1-12, 2018. [ citações Google Scholar | busca Google ]
7.	CARNEIRO, T. ; HERON DE CARVALHO JUNIOR, FRANCISCO ; Melab, B. ; TUYTTENS, D.. Dynamic Configuration of CUDA Runtime Variables for CDP-based Divide-and-Conquer Algorithms. Em: 13th International Meeting on High Performance Computing for Computational Science (VECPAR’2018), 2018. [ citações Google Scholar | busca Google ]
8.	CASTRO DE ANDRADE, RAFAEL; Saraiva, R. D.. An integer linear programming model for the constrained shortest path tour problem. Em: EURO/ALIO International Conference on Applied Combinatorial Optimization, p. 137-144, 2018. [ citações Google Scholar | busca Google ]
9.	COSTA, J. R. F. ; DIAS, F. C. S. ; TAVARES, W. A.. Um Algoritmo VNS para o Problema da Máxima Interseção de k Subconjuntos. Em: 50º SBPO ? Simpósio Brasileiro de Pesquisa Operacional, 2018.
10.	Figueiredo, T. ; CAMPÊLO, M.. The multiple team formation problem. Em: Latin-Iberoamerican Conference on Operations Research – CLAIO, p. 791-798, 2018. [ citações Google Scholar | busca Google ]
11.	FREITAS FILHO, F. S. ; ANDRADE, Rafael Castro de. O Problema da k-Floresta com Máximo Número de Folhas. Em: Latin-Iberoamerican Conference on Operations Research (CLAIO), p. 1-11, 2018. [ citações Google Scholar | busca Google ]
12.	Matias, J. ; CAMPÊLO, M.. Método Exato para o Problema de Coloração de Fluxo. Em: Latin-Iberoamerican Conference on Operations Research – CLAIO, p. 775-782, 2018. [ citações Google Scholar | busca Google ]
13.	Saraiva, R. D. ; CASTRO DE ANDRADE, RAFAEL ; ADASME, PABLO. TÉCNICAS DE PROGRAMAÇÃO MATEMÁTICA APLICADAS AO PROBLEMA DA ÁRVORE GERADORA MÍNIMA ROTULADA. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 1-11, 2018. [ citações Google Scholar | busca Google ]
14.	Soares, P. ; CAMPÊLO, M.. t-Linearização Aplicada ao Problema da Clique Ponderada em Arestas. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 1-11, 2018. [ citações Google Scholar | busca Google ]
15.	Soares, P. ; CAMPÊLO, M. ; REBOUCAS, D. N.. Método exato para o problema da diversidade máxima. Em: Latin-Iberoamerican Conference on Operations Research – CLAIO, p. 668-675, 2018. [ citações Google Scholar | busca Google ]
16.	SOUSA, E. G. ; Andrade, Rafael ; SANTOS, A. C.. A Multigraph Formulation for the Generalized Minimum Spanning Tree Problem. Em: International Symposium on Combinatorial Optimization (ISCO), p. 186-187, 2018. [ citações Google Scholar | busca Google ]

2017

1.	ADASME, PABLO ; Andrade, Rafael ; LEUNG, JANNY ; Lisser, Abdel. On a Traveling Salesman based Bilevel Programming Problem. Em: 6th International Conference on Operations Research and Enterprise Systems, p. 329-336, 2017.  [ citações Google Scholar | busca Google ]
2.	Andrade, Rafael; BONATES, T. O. E. ; CAMPELO NETO, M. B. ; FERREIRA, M. S.. Minimum Linear Arrangements. Em: Latin and American Algorithms, v. 62, p. 63-68, 2017. [ citações Google Scholar | busca Google ]
3.	BRUNO DE OLIVEIRA DANTAS, ALLBERSON ; HERON DE CARVALHO JUNIOR, FRANCISCO ; SOARES BARBOSA, LUÍS. A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. Em: 7th International Conference on Cloud Computing and Services Science, p. 229-240, 2017.  [ citações Google Scholar | busca Google ]
4.	CAMPÊLO, M.; Severin, Daniel. Facets of the polytope of legal sequences. Em: Latin-american Algorithms, v. 62, p. 15-20, 2017. [ citações Google Scholar | busca Google ]
5.	Dantas, A. B. O. ; de Carvalho-Junior, Francisco Heron ; Barbosa, Luis Soares. Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. Em: Formal Aspects of Component Software (FACS’2017), v. 10487, p. 198-215, 2017. [ citações Google Scholar | busca Google ]
6.	Dantas, R. F. ; HAVET, F. ; Sampaio, Rudini Menezes. Minimum density of identifying codes of king grids (doi.org/10.1016/j.endm.2017.10.010). Em: Latin-American Algorithms, 2017. [ citações Google Scholar | busca Google ]
7.	FERREIRA, M. S. ; ANDRADE, Rafael Castro de. Problema da ordenação de departamentos em linha simples. Em: Simpósio Brasileiro de Pesquisa Operacional, 2017. [ citações Google Scholar | busca Google ]
8.	GURGURI, J. L. ; ANDRADE, Rafael Castro de. Modelos e desigualdades válidas para o Problema da Árvore-Estrela. Em: Simpósio Brasileiro de Pesquisa Operacional, 2017. [ citações Google Scholar | busca Google ]
9.	LINHARES SALES, C.; SAMPAIO, L. ; SILVA, A.S.,. The lexicographic product of some chordal graphs and of cographs preserves b- continuity. Em: Latin and American Algorithms, p. 1-7, 2017. [ citações Google Scholar | busca Google ]
10.	Silva, M. ; DIAS, Fábio Carlos Sousa ; Tavares, W. ; CAMPELO, M. Algoritmo branch-and-bound para o problema do k-plex máximo. Em: Simpósio Brasileiro de Pesquisa Operacional (SBPO), 2017. [ citações Google Scholar | busca Google ]
11.	Soares, J. ; CAMPELO, M. Heurísticas para o problema da atribuição conexa em vetores. Em: Simpósio Brasileiro de Pesquisa Operacional (SBPO), 2017. [ citações Google Scholar | busca Google ]
12.	Soares, P. ; CAMPELO, M ; Rodrigues, C. D. ; MICHELON, Philippe. t-Linearizalização de Funções Quadráticas de Variáveis Binárias. Em: Simpósio Brasileiro de Pesquisa Operacional (SBPO), 2017. [ citações Google Scholar | busca Google ]
13.	SOUSA, E. G. ; ANDRADE, Rafael Castro de ; SANTOS, A. C.. Algoritmo Genético para o Problema da Árvore Geradora Generalizada de Custo Mínimo. Em: Simpósio Brasileiro de Pesquisa Operacional, 2017. [ citações Google Scholar | busca Google ]
14.	Viana, L.A. ; CAMPELO, M. Two Dependency Constrained Spanning Tree Problems. Em: Simpósio Brasileiro de Pesquisa Operacional (SBPO), 2017. [ citações Google Scholar | busca Google ]

2016

1.	ADASME, PABLO ; Andrade, Rafael ; LEUNG, JANNY ; Lisser, Abdel. A Two-stage Stochastic Programming Approach for the Traveling Salesman Problem. Em: 5th International Conference on Operations Research and Enterprise Systems, p. 163-169, 2016.  [ citações Google Scholar | busca Google ]
2.	Almeida, L. A. ; SANTOS, A. C. ; NORONHA, T. ; Andrade, Rafael. On the Finite Optimal Convergence of Logic-Based Benders? Decomposition in Solving 0-1 Min-max Regret Optimization Problems with Interval Costs. Em: ISCO 2016 – 4th International Symposium on Combinatorial Optimization, p. 1-12, 2016. [ citações Google Scholar | busca Google ]
3.	ANDRADE, Rafael Castro de; BONATES, T. O. E. ; FERREIRA, M. S. ; CAMPELO NETO, M. B.. Problema do Arranjo Linear Mínimo. Em: Simpósio Brasileiro de Pesquisa Operacional – SBPO, p. 2666-2675, 2016. [ citações Google Scholar | busca Google ]
4.	Andrade, Rafael; Saraiva, R. D.. Elementary shortest paths avoiding negative circuits. Em: Latin-Iberoamerican Conference on Operations Research, p. 30-37, 2016. [ citações Google Scholar | busca Google ]
5.	ARAUJO, P. H. M. ; ANDRADE, Rafael Castro de. Algoritmos de Branch-and-cut com Branch Combinatório para o Problema do Conjunto Dominante Mínimo Conexo. Em: Latin-Iberoamerican Conference on Operations Research, p. 53-60, 2016. [ citações Google Scholar | busca Google ]
6.	Bittencourt, Y. ; CAMPÊLO, M. ; DIAS, Fábio Carlos Sousa. Formulação MTZ para o Problema da Árvore Geradora Mínima sob Restrições de Conflito. Em: Simpósio Brasileiro de Pesquisa Operacional – SBPO, p. 2441-2448, 2016. [ citações Google Scholar | busca Google ]
7.	Carneiro, Tiago ; Gmys, J. ; Melab, B. ; CARVALHO JUNIOR, F. H. ; TUYTTENS, D.. A GPU-Based Backtraking Algorithm for Permutation Combinatorial Problem. Em: 16th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), v. 10048, p. 310-324, 2016. [ citações Google Scholar | busca Google ]
8.	Figueiredo, T. ; Campêlo, Manoel ; SILVA, A. S.. The socio-technical team formation problem: computational complexity, formulation, facets and experimental analysis. Em: CLAIO – Congresso Latino-americano em Investigacion Operativa, p. 319-326, 2016. [ citações Google Scholar | busca Google ]
9.	MARCILON, T. ; Sampaio, Rudini M.. The maximum time of 2-neighbour bootstrap percolation in grid graphs and parametrized results (doi.org/10.1007/978-3-662-53174-7_13). Em: Workshop on Graph-Theoretic Concepts in Computer Science (WG-2015), v. 9224, p. 169-185, 2016. [ citações Google Scholar | busca Google ]
10.	SILVA, J. C. ; Carvalho-Junior, Francisco Heron de. A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications. Em: Simpósio Brasileiro de Linguagens de Programação, v. 9889, p. 156-170, 2016. [ citações Google Scholar | busca Google ]
11.	TAVARES, W. ; CAMPELO, M. ; RODRIGUES, C. D. ; MICHELON, P.. Um Algoritmo de Branch and Bound para o Problema da Clique Máxima Ponderada. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 2655-2666, 2016. [ citações Google Scholar | busca Google ]
12.	Tavares, W. ; CAMPÊLO, M. ; MICHELON, Philippe ; Rodrigues, C. D.. BITCLIQUE: um algoritmo de Branch-and-Bound para o problema da clique máxima ponderada. In: Simpósio Brasileiro de Pesquisa Operacional. Em: Simpósio Brasileiro de Pesquisa Operacional – SBPO, p. 2429-2440, 2016. [ citações Google Scholar | busca Google ]

2015

1.	ADASME, PABLO ; Andrade, Rafael ; LEUNG, J. M. Y. ; LISSER, Abdel. Models for minimum cost dominating trees. Em: International Network Optimization Conference (INOC), v. n/a, p. 1-7, 2015. [ citações Google Scholar | busca Google ]
2.	ADASME, PABLO ; Andrade, Rafael ; LEUNG, JANNY ; Lisser, Abdel. A Comparative Study of Network-based Approaches for Routing in Healthcare Wireless Body Area Networks. Em: International Conference on Operations Research and Enterprise Systems, p. 125-132, 2015.  [ citações Google Scholar | busca Google ]
3.	ANDRADE, Rafael Castro de; ARAUJO, K. A. G. ; Saraiva, R. D.. UM MÉTODO PRIMAL-DUAL PARA O PROBLEMA DO CAMINHO MÍNIMO EM DIGRAFOS NA PRESENÇA DE CICLOS ABSORVENTES. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 1-8, 2015. [ citações Google Scholar | busca Google ]
4.	CAMPOS, V.; LOPES, R.. A Proof for a Conjecture of Gorgol. Em: VIII Latin-American Algorithms, v. 50, p. 367-372, 2015.
5.	César, R. L. V. ; LIMA, A. S. ; Lavor, João F. ; Feitosa, J. M. ; Fenner, G. ; TAVARES, W. A. ; Andrade, R. D.. Um estudo sobre Seleção do Portfólio de Serviços de TI com Base no valor. Em: VIII Congresso Tecnológico InfoBrasil TI e TELECOM, 2015.
6.	DIAS, Fábio Carlos Sousa ; CAMPÊLO, M. ; Souza, Criston ; ANDRADE, Rafael Castro de. Formulações para árvore geradora mínima com grau mínimo e centrais e terminais fixos. Em: Simpósio Brasileiro de Pesquisa Operacional – SBPO, p. 2394-2405, 2015. [ citações Google Scholar | busca Google ]
7.	Freitas, Emerson Fernandes de ; LIMA, A. S. ; Lavor, João F. ; Aragão, Francisco Erivelton Fernandes de ; TAVARES, W. A.. Zona-Q: Desenvolvimento de um Jogo 2D para Plataforma Android. Em: VIII Congresso Tecnológico InfoBrasil TI e TELECOM, 2015.
8.	LAGE, V. P. ; RODRIGUES, C. D.. ?Análise de eficiência dos municípios do Ceará utilizando análise envoltória de dados?. Em: CNMAI-ERMAC-SEMI, 2015. [ citações Google Scholar | busca Google ]
9.	LINHARES SALES, C.; SAMPAIO, L. ; VARGAS, R.. b-continuity and the lexicographic product of graphs. Em: Latin American Graphs and Optimization Symposium, 2015. [ citações Google Scholar | busca Google ]
10.	MARTINS, NICOLAS ; SAMPAIO, R. M.. Inapproximability of the lid-chromatic number (doi.org/10.1016/j.endm.2015.07.021). Em: Latin-American Algorithms, v. 50, p. 121-126, 2015. [ citações Google Scholar | busca Google ]
11.	Nascimento, S. ; SAMPAIO, R. M.. Roman domination in subgraphs of grids (doi.org/10.1016/j.endm.2015.07.014). Em: Latin-American Algorithms, v. 50, p. 77-82, 2015. [ citações Google Scholar | busca Google ]
12.	Tavares, W. ; CAMPÊLO, M. ; Rodrigues, C. D. ; MICHELON, Philippe. Um Algoritmo de Branch and Bound para o Problema da Clique Máxima Ponderada. Em: Simpósio Brasileiro de Pesquisa Operacional – SBPO, p. 2655-2666, 2015. [ citações Google Scholar | busca Google ]
13.	Xavier, S. L. P. ; Fenner, G. ; LIMA, A. S. ; TAVARES, W. A.. Um estudo sobre lições aprendidas em Projeto de Customização de um sistema de ERP. Em: VIII Congresso Tecnológico TI e Telecom – InfoBrasil, 2015.

2014

1.	Almeida, L. A. ; NORONHA, T. ; SANTOS, A. C. ; Andrade, Rafael. A linear programming based heuristic for robust optimization problems: a case study on solving the restricted robust shortest path problem. Em: International Workshop on Model-Based Metaheuristics, p. 1-8, 2014. [ citações Google Scholar | busca Google ]
2.	Almeida, L. A. ; SANTOS, A. C. ; NORONHA, T. ; Andrade, Rafael. Uma Heurística baseada em Programação Linear para o Problema do Caminho Mínimo Robusto Restrito. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 1-12, 2014. [ citações Google Scholar | busca Google ]
3.	Araujo, J.; NISSE, N. ; Pérennes, Stephane. Weighted Coloring in Trees. Em: 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), v. 25, p. 75-86, 2014. [ citações Google Scholar | busca Google ]
4.	BENEVIDES, F. S. ; CAMPOS, V. ; DOURADO, M. ; GRIFFITHS, S. ; MORRIS, R. ; SAMPAIO, L. ; SILVA, A. S. F.. Connected Greedy Colourings. Em: LATIN 2014, v. 8392, p. 433-441, 2014.  [ citações Google Scholar | busca Google ]
5.	CAMPELO NETO, M. B. ; CAMPOS, V. ; DONNE, D. D. ; MARENCO, J.. Polyhedral studies on vertex coloring problems: The Represenatives Formulation. Em: Simposio Argentino de Investigación Operativa, p. 1-15, 2014. [ citações Google Scholar | busca Google ]
6.	CARNEIRO, T. ; ARRUDA, N. G. P. B. ; PINHEIRO, A. B. ; de Carvalho-Junior, Francisco Heron. Um Levantamento na Literatura sobre a Resolução de Problemas de Otimização Combinatória através do Uso de Aceleradores Gráficos. Em: XXXV Ibero-Latin American Congress on Computational Methods, 2014. [ citações Google Scholar | busca Google ]
7.	CASTRO DE ANDRADE, RAFAEL. Appointments on the spanning tree polytope. Em: VIII ALIO/EURO Workshop on Applied Combinatorial Optimization, p. 1-3, 2014. [ citações Google Scholar | busca Google ]
8.	E. Coelho ; M. Dourado ; Sampaio, Rudini M.. Inapproximability results for graph convexity parameters (doi.org/10.1007/978-3-319-08001-7_9). Em: Workshop on Approximation and Online Algorithms (WAOA-2013), v. 8447, p. 97-107, 2014. [ citações Google Scholar | busca Google ]
9.	MARCILON, T. ; Nascimento, S. ; SAMPAIO, R. M.. The maximum time of 2-neighbour bootstrap percolation: complexity results (doi.org/10.1007/978-3-319-12340-0_31). Em: Workshop on Graph-Theoretic Concepts in Computer Science (WG), v. 8747, p. 372-383, 2014. [ citações Google Scholar | busca Google ]
10.	PINHEIRO, A. B. ; de Carvalho-Junior, Francisco Heron ; ARRUDA, N. G. P. B. ; Carneiro, Tiago. Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel Programming using GPUs. Em: Simpósio Brasileiro de Linguagens de Programação, v. 8771, p. 109-123, 2014. [ citações Google Scholar | busca Google ]

2013

1.	ADASME, P. ; Andrade, Rafael ; LETOURNEL, M. ; LISSER, Abdel. A polynomial formulation for the stochastic maximum weight forest problem. Em: International Network Optimization Conference, p. 170-177, 2013. [ citações Google Scholar | busca Google ]
2.	AGARWAL, D. ; ARAÚJO, J. ; CAILLOUET, C. ; CAZALS, F. ; COUDERT, D. ; PERENNES, S.. Connectivity Inference in Mass Spectrometry Based Structure Determination. Em: European Symposium on Algorithms, v. 8125, p. 289-300, 2013. [ citações Google Scholar | busca Google ]
3.	ANDRADE, Rafael Castro de; FREITAS, Adriano Tavares de. Disjunctive combinatorial branch in a subgradient tree algorithm for the DCMST problem with VNS-Lagrangian bounds. Em: International Network Optimization Conference, p. 146-153, 2013. [ citações Google Scholar | busca Google ]
4.	Araujo, Julio; GIROIRE, FREDERIC ; LIU, YANING ; Modrzejewski, Remigiusz ; MOULIERAC, JOANNA. Energy efficient content distribution. Em: ICC 2013 2013 IEEE International Conference on Communications, p. 4233-4238, 2013.  [ citações Google Scholar | busca Google ]
5.	BENEVIDES, F. ; V. Campos ; M. Dourado ; SAMPAIO, R. M. ; SILVA, A. S.. The maximum time of 2-neighbour bootstrap percolation: algorithmic aspects (doi.org/10.1007/978-88-7642-475-5_22). Em: European Conference on Combinatorics, 2013. [ citações Google Scholar | busca Google ]
6.	CAMPELO NETO, M. B. ; CAMPOS, V. ; DONNE, D. D. ; MARENCO, J.. Some preliminary polyhedral studies of the Asymmetric Representatives formulation for vertex coloring problems. Em: Congreso del Instituto Chileno de Investigación Operativa, 2013. [ citações Google Scholar | busca Google ]
7.	CAMPÊLO, M.; Huiban, Cristiana G. ; Sampaio, Rudini M. ; WAKABAYASHI, YOSHIKO. On the Complexity of Solving or Approximating Convex Recoloring Problems (doi.org/10.1007/978-3-642-38768-5_54). Em: International Computing and Combinatorics Conference (COCOON), v. 7936, p. 614-625, 2013. [ citações Google Scholar | busca Google ]
8.	CAMPÊLO, M.; DIAS, Fábio Carlos Sousa ; ANDRADE, Rafael Castro de ; Souza, Criston. Problema de Árvore Geradora Mínima com Restrição de Grau Mínimo e Centrais Fixos. Em: XLV Simpósio Brasileiro de Pesquisa Operacional, p. 2438-2449, 2013. [ citações Google Scholar | busca Google ]
9.	Paula Neto, E. ; CAMPELO, M. ; RODRIGUES, C. D. ; CORREA, R. C.. Escalonamento de Tarefas com Restrições de Precedência e Custos de Execução e Comunicação Unitários. Em: XLV Simpósio Brasileiro de Pesquisa Operacional, p. 2666-2677, 2013. [ citações Google Scholar | busca Google ]
10.	CAMPÊLO, M.; LIMA, KARLA R. ; MOURA, PHABLO F.S. ; WAKABAYASHI, YOSHIKO. Polyhedral studies on the convex recoloring problem. Em: Latin-American Algorithms, v. 44, p. 233-238, 2013. [ citações Google Scholar | busca Google ]
11.	CAMPÊLO, M.; MOURA, PHABLO F.S. ; SANTOS, MARCIO C.. On the representatives k-fold coloring polytope. Em: Latin-American Algorithms, v. 44, p. 239-244, 2013. [ citações Google Scholar | busca Google ]
12.	CASTRO DE ANDRADE, RAFAEL. Elementary shortest-paths visiting a given set of nodes. Em: XVL Simpósio Brasileiro de Pesquisa Operacional, p. 2378-2388, 2013. [ citações Google Scholar | busca Google ]
13.	de Carvalho Junior, Francisco Heron; Marcilon, T. B.. Derivation and Verification of Parallel Components for the Needs of an HPC Cloud. Em: XVI Simpósio Brasileiro de Métodos Formais (SBMF’2013), v. 8195, p. 51-66, 2013. [ citações Google Scholar | busca Google ]
14.	de Carvalho Junior, Francisco Heron; REZENDE, C. A. ; SILVA, J. C. ; MAGALHAES, F. J. L. ; JUACABA NETO, R. C.. On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines. Em: XVII Simpósio Brasileiro de Linguagens de Programação, v. 8129, p. 31-45, 2013. [ citações Google Scholar | busca Google ]
15.	de Carvalho Junior, Francisco Heron; Rezende, Cenez Araujo ; SILVA, J. C. ; Al-Alam, Wagner. Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms. Em: XVII Simpósio Brasileiro de Linguagens de Programação, v. 8129, p. 90-104, 2013. [ citações Google Scholar | busca Google ]
16.	Ramos, A. ; SAMPAIO, R. M.. Algoritmos e Complexidade para Dois Jogos de Bloco (din.uem.br/sbpo/sbpo2013/pdf/arq0241.pdf). Em: Simpósio Brasileiro de Pesquisa Operacional (SBPO), 2013. [ citações Google Scholar | busca Google ]
17.	SAMPAIO, R. M.; J. Szwarcfiter ; ARAUJO, R. T.. Convexity of induced paths of order three (doi.org/10.1016/j.endm.2013.10.017). Em: Latin-American Algorithms, v. 44, p. 109-114, 2013. [ citações Google Scholar | busca Google ]

2012

1.	CAMPÊLO, M.; CORRÊA, R. C. ; Huiban, Cristiana G. ; Rodrigues, C. D.. The Flow Coloring Problem. Em: Congresso Latino-Ibero-Americano de Investigacion Operativa/Simposio Brasileiro de Pesquisa Operacional, p. 3256-3267, 2012. [ citações Google Scholar | busca Google ]
2.	CAMPELO, M. ; RODRIGUES, C. D. ; DA SILVA, JOSE M. B. ; MACIEL, TARCISIO F. ; SILVA, YURI C. B. ; CAVALCANTI, FRANCISCO R. P.. Emparelhamento de Subportadoras de Transmissão e Alocação de Potência em Sistemas de Dois Saltos. Em: Congresso Latino-Americano de Investigación Operativa (CLAIO)/Simpósio Brasileiro de Pesquisa Operacional, p. 4154-4165, 2012. [ citações Google Scholar | busca Google ]
3.	Costa, E. R. ; Dantas, R. F. ; SAMPAIO, R. M.. Nonrepetitive, acyclic and clique colorings of graphs with few P4’s (din.uem.br/sbpo/sbpo2012/pdf/arq0514.pdf). Em: Congreso Latino-Iberoamericano de Investigación Operativa, 2012. [ citações Google Scholar | busca Google ]
4.	DA SILVA, JOSE M. B. ; SILVA, YURI C. B. ; MACIEL, TARCISIO F. ; CAVALCANTI, FRANCISCO R. P. ; RODRIGUES, CARLOS D. ; NETO, MANOEL B. CAMPELO. Power allocation schemes for multichannel two-hop relaying systems. Em: 2012 9th International Symposium on Wireless Communication Systems (ISWCS 2012), p. 356-360, 2012.  [ citações Google Scholar | busca Google ]
5.	SILVA, P. H. L. ; ARAÚJO, Gisele Azevedo ; CARVALHO JUNIOR, F. H. ; CORRÊA, Ricardo Cordeiro. Connection Mechanisms of CCA Components for Parallel Applications. Em: 13th Symposium on Computer Systems (WSCAD-SSC’2012), p. 210-217, 2012. [ citações Google Scholar | busca Google ]
6.	V. Campos ; SILVA, A. S. ; SAMPAIO, R. M. ; J. Szwarcfiter. Graphs with few P4’s under the Convexity of paths or order three. Em: Cologne-Twente Workshop on Graphs and Combinatorial Optimization (CTW), 2012. [ citações Google Scholar | busca Google ]

2011

1.	ARAÚJO, J.; GIROIRE, F. ; MONTEIRO, J.. Hybrid Approaches for Distributed Storage Systems. Em: Fourth International Conference on Data Management in Grid and P2P Systems (Globe 2011), v. 6864, p. 1-12, 2011. [ citações Google Scholar | busca Google ]
2.	BRAVO, R. ; KLEIN, S. ; ARAUJO, S. N. ; NOGUEIRA, L. ; PROTTI, F. ; SAMPAIO, R. M.. Partição dos grafos P4-laden em conjuntos independentes e cliques (din.uem.br/sbpo/sbpo2011/pdf/85763.pdf). Em: Simpósio Brasileiro de Pesquisa Operacional, 2011. [ citações Google Scholar | busca Google ]
3.	CAMPÊLO, M.; MOURA, PHABLO F.S. ; SANTOS, MARCIO C. ; CORRÊA, R. C.. The k-th Chromatic Number of Webs and Antiwebs. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 3448-3458, 2011. [ citações Google Scholar | busca Google ]
4.	CERIOLI, M. ; N. A. Martins ; POSNER, D. ; SAMPAIO, R. M.. Um Algoritmo FPT para o Problema da L(2,1)-coloração (din.uem.br/sbpo/sbpo2011/pdf/87706.pdf). Em: Simpósio Brasileiro de Pesquisa Operacional, 2011. [ citações Google Scholar | busca Google ]
5.	de Carvalho Junior, Francisco Heron; REZENDE, C. A.. Component-Based Refactoring of Parallel Numerical Simulation Programs: A Case Study on Component-Based Parallel Programming. Em: 23rd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD’2011), p. 199-206, 2011. [ citações Google Scholar | busca Google ]
6.	MAIA, A. K. ; MARTINS, N. ; SAMPAIO, R. M. ; LINHARES SALES, C.. Restricted coloring problems on graphs with few P4’s. Em: VI Latin-American Algorithms, v. 37, p. 57-62, 2011. [ citações Google Scholar | busca Google ]
7.	V. Campos ; KLEIN, S. ; SAMPAIO, R. M. ; SILVA, S.. Two fixed parameter algorithms for the Cocoloring problem. Em: ISAAC (International Symposium on Algorithms and Computation), v. 7074, p. 634-642, 2011.  [ citações Google Scholar | busca Google ]
8.	Xavier, Álinson S. ; Campêlo, Manoel. A New Facet Generating Procedure for the Stable Set Polytope. Em: Latin-American Algorithms, v. 37, p. 183-188, 2011.  [ citações Google Scholar | busca Google ]

2010

1.	ANDRADE, Rafael Castro de; ARARUNA, A. R.. Simulação e distribuição de demandas aleatórias em grupos de tráfego com limites inferior e superior de capacidade. Em: XLII SBPO, p. 1-12, 2010. [ citações Google Scholar | busca Google ]
2.	ANDRADE, Rafael Castro de; LISSER, Abdel ; MACULAN, N.. The Design of Multi-facility Backbone Networks under Uncertain Multi-classes of Traffic. Em: ALIO-INFORMS XV CLAIO, p. 1-15, 2010. [ citações Google Scholar | busca Google ]
3.	ARAÚJO, J.C., ; LINHARES SALES, C. ; Sales, Cláudia Linhares ; SAU, I.. Weighted Coloring on P4-sparse Graphs. Em: 11es Journées Doctorales en Informatique et Réseaux, v. 11, p. 33-38, 2010. [ citações Google Scholar | busca Google ]
4.	Basu, Amitabh ; CAMPÊLO, M. ; Conforti, Michele ; Cornuéjols, Gérard ; Zambelli, Giácomo. On Lifting Integer Variables in Minimal Inequalities. Em: IPCO – Integer Programming and Combinatorial Optimization, v. 6080, p. 85-95, 2010.  [ citações Google Scholar | busca Google ]
5.	CAMPOS, V. A. ; LINHARES SALES, C. ; MAIA, A. K. ; SAMPAIO, R. M.. b-coloração de grafos com poucos P_4’s. Em: XLII Simpósio Brasileiro de Pesquisa Operacional, p. 1-8, 2010. [ citações Google Scholar | busca Google ]
6.	Campêlo, Manoel; CORRÊA, R. C.. A Combined Parallel Lagrangian Decomposition and Cutting-Plane Generation for Maximum Stable Set Problems. Em: ISCO 2010 – International Symposium on Combinatorial Optimization, v. 36, p. 503-510, 2010.  [ citações Google Scholar | busca Google ]
7.	Carvalho-Junior, Francisco Heron de; Correa, Ricardo Cordeiro. The design of a CCA framework with distribution, parallelism, and recursive composition. Em: 2010 11th IEEE/ACM International Conference on Grid Computing (GRID), 2010.  [ citações Google Scholar | busca Google ]
8.	Hoppen, C. ; MOREIRA, C. G. ; Kohayakawa, Yoshiharu ; SAMPAIO, R. M.. Property testing and parameter testing for permutations (doi.org/10.1137/1.9781611973075.7). Em: ACM-SIAM Symposium on Discrete Algorithms (SODA), p. 66-75, 2010. [ citações Google Scholar | busca Google ]
9.	LINHARES SALES, C.; MARTINS, N. ; SAMPAIO, R. M.. Coloração harmônica de (q,q-4)-grafos conexos. Em: Simposio Brasileiro de Pesquisa Operacional, p. 1-8, 2010. [ citações Google Scholar | busca Google ]
10.	N. A. Martins ; SALES, C. L. ; SAMPAIO, R. M.. Coloração harmônica de (q,q-4)-grafos conexos (din.uem.br/sbpo/sbpo2010/pdf/72462.pdf). Em: Simpósio Brasileiro de Pesquisa Operacional, 2010. [ citações Google Scholar | busca Google ]
11.	PINHO, E. G. ; CARVALHO JUNIOR, F. H.. A Language for Object-Oriented Parallel Programming Targeted at Cluster Computing Architectures. Em: XIV Simpósio Brasileiro de Linguagens de Programação, v. 3, p. 97-110, 2010. [ citações Google Scholar | busca Google ]
12.	RODRIGUES, C. D.; DETIENNE, B. ; QUADRI, D. ; MICHELON, P.. Um modelo de programação inteira para o problema de busca de um alvo inteligente. Em: 42o Simposio Brasileiro de Pesquisa Operacional, 2010. [ citações Google Scholar | busca Google ]
13.	RODRIGUES, C. D.; QUADRI, D. ; MICHELON, P. ; GUEYE, S.. A t-linearization scheme to exactly solve the QKP. Em: European Workshop on Mixed Integer Nonlinear Programming, 2010. [ citações Google Scholar | busca Google ]
14.	V. Campos ; A. K. Maia ; SALES, C. L. ; SAMPAIO, R. M.. b-coloração de grafos com poucos P4’s (din.uem.br/sbpo/sbpo2010/pdf/72466.pdf). Em: Simpósio Brasileiro de Pesquisa Operacional, 2010. [ citações Google Scholar | busca Google ]

2009

1.	ANDRADE, Rafael Castro de; LINHARES, Paulo César da Silva ; MOTA, Guilherme Oliveira. Limited r-Modular and Finite k-Cayley Trees. Em: V Latin-American Algorithms, p. 1-6, 2009. [ citações Google Scholar | busca Google ]
2.	Araújo, J.C. ; CAMPÊLO, M. ; MOURA, PHABLO F.S.. Sobre a complexidade de coloração mista. Em: Encontro Regional de Pesquisa Operacional do Nordeste, p. 1-10, 2009. [ citações Google Scholar | busca Google ]
3.	Araújo, Júlio César Silva; Linhares Sales, Cláudia. Grundy number on P4P4-classes?. Em: V Latin-American Algorithms, v. 35, p. 21-27, 2009.  [ citações Google Scholar | busca Google ]
4.	Araújo, Júlio; Cohen, Nathann ; Giroire, Frédéric ; Havet, Frédéric. Good edge-labelling of graphs. Em: V Latin-American Algorithms, v. 35, p. 275-280, 2009.  [ citações Google Scholar | busca Google ]
5.	BOUSSIER, S. ; RODRIGUES, C. D. ; MICHELON, P. ; MAUTOR, T.. New Search Space Reduction Techniques For The Golomb Ruler Problem. Em: 41o Simposio Brasileiro de Pesquisa Operacional, 2009. [ citações Google Scholar | busca Google ]
6.	Campelo, Manoel; Cornuéjols, Gérard. The Chvátal closure of generalized stable sets in bidirected graphs. Em: Latin-American Algorithms, v. 35, p. 89-95, 2009.  [ citações Google Scholar | busca Google ]
7.	LINHARES SALES, C.; SAMPAIO, L.. B-coloring of m-tight graphs. Em: V Latin-American Algorithms, v. 35, p. 209-214, 2009.  [ citações Google Scholar | busca Google ]
8.	RODRIGUES, C. D.; QUADRI, D. ; MICHELON, P.. Un modèle bi-niveau pour le problème de la recherche d?une cible dynamique. Em: Manifestation des Jeunes Chercheurs en Sciences et Technologies de l’Information et de la Communication, 2009. [ citações Google Scholar | busca Google ]
9.	SILVA, A.S., ; CAMPOS, V. A. ; LINHARES SALES, C. ; MAFFRAY, F.. b-chromatic Number of Cacti. Em: V Latin-American Algorithms, v. 35, p. 281-286, 2009.  [ citações Google Scholar | busca Google ]

2008

1.	ANDRADE, Rafael Castro de; FREITAS, Adriano Tavares de. Otimização em árvore de subgradiente para a árvore geradora mínima com restrição de grau nos vértices. Em: XL Simpósium Brasileiro de Pesquisa Operacional, p. 1751-1759, 2008. [ citações Google Scholar | busca Google ]
2.	ASTÉ, M. ; HAVET, F. ; LINHARES SALES, C.. Grundy number and lexicographic products of graphs. Em: International Conference on Relations, 2008. [ citações Google Scholar | busca Google ]
3.	CAMPÊLO, M.; DIAS, Fábio Carlos Sousa ; Labbé, M.. Relaxações para a Formulação Canônica do Problema de Localização de Facilidades Não Capacitado. Em: SBPO – Simpósio Brasileiro de Pesquisa Operacional, p. 1825-1835, 2008. [ citações Google Scholar | busca Google ]
4.	Carvalho, Francisco H.; LINS, Rafael Dueire. Compositional Specification of Parallel Programs Using Circus. Em: Formal Aspects of Component Software, p. 139-153, 2008. [ citações Google Scholar | busca Google ]
5.	LINHARES, Paulo César da Silva ; MOTA, Guilherme Oliveira ; ANDRADE, Rafael Castro de. Enumeration of r-modular trees. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 2543-2550, 2008. [ citações Google Scholar | busca Google ]
6.	Rodrigues, C. D. ; MICHELON, Philippe ; CAMPÊLO, M.. Recent Hybrid Techniques for the Multi-Knapsack Problem. Em: Principles and Practices of Constraint Programming, v. 5202, p. 555-559, 2008.  [ citações Google Scholar | busca Google ]
7.	RODRIGUES, C. D.; MICHELON, P. ; CAMPELO, M.. A Cooperative Scheme for the Multi-Knapsack Problem. Em: VI ALIO/EURO Workshop on Applied Combinatorial Optimization, 2008. [ citações Google Scholar | busca Google ]

2007

1.	ANDRADE, Rafael Castro de; ALVES, Alexsandro de Oliveira. Heurísticas Lagrangeanas para a Otimização de Particionamento de Conjuntos. Em: Simpósio Brasileiro de Pesquisa Operacional, p. 1875-1885, 2007. [ citações Google Scholar | busca Google ]
2.	ARAÚJO, J.C., ; LINHARES SALES, C.. Teorema de Hajos para a Coloração Ponderada. Em: 39o. Congresso da Sociedade Brasileira de Pesquisa Operacional, p. 2631-2635, 2007. [ citações Google Scholar | busca Google ]
3.	CAMPÊLO, 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. Em: XXX Congresso Nacional de Matemática Aplicada e Computacional – CNMAC, p. 1-6, 2007. [ citações Google Scholar | busca Google ]
4.	Carvalho, Francisco H.; CORRÊA, Ricardo Cordeiro ; LINS, Rafael Dueire ; ARAÚJO, Gisele Azevedo ; SILVA, J. C.. High-Level Service Connectors for Component-Based High Performance Computing. Em: 19th International Symposium on Computer Architecture and High Performance Computing, 2007.  [ citações Google Scholar | busca Google ]
5.	Carvalho, Francisco H.; CORRÊA, Ricardo Cordeiro ; LINS, Rafael Dueire ; SILVA, J. C. ; ARAÚJO, Gisele Azevedo. On the Design of Abstract Binding Connectors for High Performance Computing Component Models. Em: Joint Workshop on HPC Grid Programming Environments, 2007. [ citações Google Scholar | busca Google ]
6.	HUC, F. ; LINHARES SALES, C. ; RIVANO, H.. The Proportional Colouring Problem: Optimizing Buffers in Radio Mesh Networks. Em: IV Latin American Conference on Combinatorics, v. 30, p. 141-146, 2007.  [ citações Google Scholar | busca Google ]
7.	LIMA, Ítalo Siqueira ; CAMPÊLO, M. ; CORRÊA, R. C.. Limites para a altura mínima de extensões induzidas de posets. Em: XXXIX Simpósio Brasileiro de Pesquisa Operacional – SBPO 2007, p. 1893-1902, 2007. [ citações Google Scholar | busca Google ]
8.	LINS, Rafael Dueire ; Carvalho, Francisco H.. Cyclic Reference Couting with Permanent Objects. Em: XI Simpósio Brasileiro de Linguagens de Programação, p. 127-134, 2007. [ citações Google Scholar | busca Google ]
9.	Pequeno ; VERAS, R. M. S. ; TAVARES, W. A.. Lógica Não Monotônica com Prioridade às Exceções. Em: VI Encontro Nacional de Inteligência Artificial (ENIA 2007), p. 1262-1271, 2007.
10.	Pequeno ; VERAS, R. M. S. ; TAVARES, W. A.. Handling Exceptions in Nonmonotonic Reasoning. Em: Third Latin American Workshop on Non-Monotonic Reasoning 2007 (LANMR07), v. 286, 2007.
11.	Aline A. da Silva ; SILVA, A. S. ; CLAUDIA Linhares Sales. Largura em Arvore de Grafos Planares Livres de Ciclos Pares Induzidos. Em: 39o. Congresso da Sociedade Brasileira de Pesquisa Operacional, p. 1-12, 2007.  [ citações Google Scholar | busca Google ]
12.	SILVA, A.A., ; SILVA, A.S., ; LINHARES SALES, C.. Even-hole-free planar graphs have bounded treewidth. Em: IV Latin American Conference on Combinatorics, v. 30, p. 129-134, 2007.  [ citações Google Scholar | busca Google ]

2005

1.	CAMPÊLO, M.; CAMPOS, V. A. ; CORRÊA, R. C.. On the asymmetric representatives formulation for the vertex coloring problem. Em: Brazilian Symposium on Graphs, v. 19, p. 337-343, 2005.  [ citações Google Scholar | busca Google ]
2.	Carvalho, Francisco H.; LINS, Rafael Dueire. A Component Model for High Level and Efficient Parallel Programming on Distributed Architectures. Em: IADIS International Conference on Applied Computing, v. 2, p. 173-178, 2005. [ citações Google Scholar | busca Google ]
3.	Carvalho, Francisco H.; LINS, Rafael Dueire. Separation of Concerns for Reconciling Modularity, Abstraction and Efficiency in Distributed Parallel Programming. Em: ACM Symposium on Applied Computing, p. 1367-1375, 2005. [ citações Google Scholar | busca Google ]
4.	Carvalho, Francisco H.; LINS, Rafael Dueire. The # Model for Parallel Programming: From Processes To Components with Insignificant Performance Overheads. Em: 2005 WORKSHOP ON COMPONENT MODELS AND FRAMEWORKS IN HIGH PERFORMANCE COMPUTING, 2005. [ citações Google Scholar | busca Google ]
5.	Carvalho, Francisco H.; LINS, Rafael Dueire. Using Aspects for Supporting Procedural Modules in # Programming. Em: Euro-Par 2005, v. 3648, p. 370-380, 2005. [ citações Google Scholar | busca Google ]
6.	Carvalho, Francisco H.; LINS, Rafael Dueire. A Categorical Characterization for the Compositional Feature of the # Programming Model. Em: Workshop on Specification and Verification of Componente Based Systems (SAVCBS’2005), 2005. [ citações Google Scholar | busca Google ]
7.	PINTO JÚNIOR, Jony Arrais ; DIAS, Fábio Carlos Sousa ; CAMPÊLO, M.. Um estudo de critérios add/drop para o problema de localização de facilidades não-capacitado. Em: XXXVII Simpósio Brasileiro de Pesquisa Operacional – SBPO, p. 1792-1805, 2005. [ citações Google Scholar | busca Google ]
8.	QUENTAL, Nivia Cruz ; Carvalho, Francisco H. ; LIMA, Ricardo Massa Ferreira. Caracterização de Desempenho de Programas SPMD Utilizando Modelos Probabilísticos. Em: VI Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD’2005), v. 1, p. 9-16, 2005. [ citações Google Scholar | busca Google ]

2004

1.	Carvalho, Francisco H.; LINS, Rafael Dueire ; QUENTAL, Nivia Cruz ; LINS, Fernando Antonio Aires ; COSTA, Marcelo Alves. O Modelo #: Uma Alternativa de Alto Nível e Eficiente à Programação Paralela Distribuída. Em: XXV IBERIAN LATIN AMERICAN CONGRESS IN COMPUTATIONAL METHODS IN ENGINEERING, p. 301-301, 2004. [ citações Google Scholar | busca Google ]
2.	LINHARES SALES, C.; PROTTI, F. ; GRAVIER, S.. On Clique-inverse graphs of Kp-free graphs. Em: Latin-American Conference on Combinatorics, v. 18, p. 139-143, 2004.  [ citações Google Scholar | busca Google ]

2001

1.	ANDRADE, Rafael Castro de; LISSER, Abdel ; MACULAN, N. ; PLATEAU, G.. Simulation on the Integer Capacity Planning under Uncertain Demand Problem in Telecommunication Networks. Em: EUROSIM, p. 1-7, 2001. [ citações Google Scholar | busca Google ]
2.	CAMPELO, M; BORNSTEIN, C. T.. ADD/DROP PROCEDURES FOR THE CAPACITATED PLANT LOCATION PROBLEM. Em: Brazilian Symposium on Graphs, v. 7, p. 102-105, 2001.  [ citações Google Scholar | busca Google ]
3.	CAMPELO, M; CORRÊA, R. C. ; MACULAN, N ; PROTTI, F. ILP Formulations for Scheduling Ordered Tasks on a Bounded Number of Processors. Em: Brazilian Symposium on Graphs, v. 7, p. 166-169, 2001.  [ citações Google Scholar | busca Google ]
4.	Carvalho, Francisco H.; LINS, Rafael Dueire ; LIMA, Ricardo Massa Ferreira. Parallelizing MCP-Haskell For Evaluating Haskell# Parallel Programming Environment. Em: 13th Brazilian Symposium on Computer Architectures and High Performance Computing, p. 195-205, 2001. [ citações Google Scholar | busca Google ]
5.	LINHARES SALES, C.; SAMPAIO, R. M.. On the complexity of finding even pairs in planar perfect graphs. Em: Brazililan Symposium on Graphs, v. 7, 2001.  [ citações Google Scholar | busca Google ]