Uéverton dos Santos Souza

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

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


Uéverton dos Santos Souza é um dos contemplados em 2017 como Jovem Cientista do Estado do Rio de Janeiro. É Professor Adjunto do Instituto de Computação da UFF, doutor em Ciência da Computação (UFF 2014), mestre em Informática (UFRJ 2010) e graduado em Tecnologia em Sistemas de Computação (UFF/CEDERJ 2008). Realizou doutorado sanduíche na Universität Ulm (Alemanha) entre 2013 e 2014. Sua tese de doutorado recebeu menção honrosa no prêmio CAPES de tese de doutorado, foi premiada no XXVIII Concurso de Teses e Dissertações da SBC, e também foi laureada no I Concurso Latinoamericano de Tesis de Doctorado (CLTD/CLEI). Coautor de celebres pesquisadores internacionais como Michael Fellows e Frances Rosamond, suas pesquisas em Ciência da Computação, com ênfase em Algoritmos, Grafos e Complexidade Computacional, tem feito Uéverton se destacar como um dos principais pesquisadores brasileiros da área de Complexidade Parametrizada - um dos ramos mais promissores da Teoria da Computação. (Texto informado pelo autor)


Identificação


Nome
Uéverton dos Santos Souza
Nome em citações bibliográficas
SOUZA, U. dos S.;SOUZA, U. S.;SOUZA, U.;DOS SANTOS SOUZA, UÉVERTON;SOUZA, UÉVERTON DOS SANTOS;dos Santos Souza, Uéverton;Souza, Uéverton S.;SOUZA, UÉVERTON

Endereço


Endereço Profissional
Universidade Federal Fluminense, Instituto de Computação.
Av. Gal. Milton Tavares de Souza, s/nº
São Domingos
24210346 - Niterói, RJ - Brasil
Telefone: (21) 26295665
URL da Homepage: http://www.ic.uff.br/~ueverton


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


2011 - 2014
Doutorado em Computação.
Universidade Federal Fluminense, UFF, Brasil.
com período sanduíche em Ulm University (Orientador: Dieter Rautenbach).
Título: Multivariate Investigation of NP-Hard Problems: Boundaries Between Parameterized Tractability and Intractability, Ano de obtenção: 2014.
Orientador: Fábio Protti.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Complexidade Parametrizada.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Teoria dos Grafos.
2009 - 2010
Mestrado em Informática.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Uma Abordagem Parametrizada para Grafos E/Ou e Grafos X-de-Y,Ano de Obtenção: 2010.
Orientador: Fábio Protti.
Coorientador: Maise Dantas da Silva.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Complexidade Parametrizada.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Teoria dos Grafos.
2006 - 2008
Graduação em Tecnologia em Sistemas de Computação.
Universidade Federal Fluminense, UFF, Brasil.
Título: Algoritmos Paralelos de Ordenação.
Orientador: Maise Dantas da Silva.




Formação Complementar


2017 - 2017
Parameterized Complexity Summer School. (Carga horária: 40h).
Vienna University of Technology, TUWien, Austria.
2012 - 2012
Escuela de Verano en Matemáticas Discretas. (Carga horária: 40h).
Universidad de Chile - Centro de Mod. Matematico, CMM, Chile.
2012 - 2012
XVI ELAVIO - Escuela LA. de Ivestigación Operativa. (Carga horária: 40h).
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
2006 - 2007
Técnico Sequencial em Informática.
Fundação de Apoio à Escola Técnica do Estado do Rio de Janeiro, FAETEC, Brasil.


Atuação Profissional



Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor do Magistério Superior, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2015 - Atual
Pesquisa e desenvolvimento , Instituto de Computação, .


Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, CEFET/RJ, Brasil.
Vínculo institucional

2014 - 2015
Vínculo: , Enquadramento Funcional: Professor Ensino Básico Técnico e Tecnológico, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

02/2014 - 07/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estatística e Probabilidade
Linguagens de Programação
Matemática Discreta
Teoria da Computação

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

2010 - 2014
Vínculo: Servidor Público, Enquadramento Funcional: Analista de Tecnologia em Informação, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

06/2011 - 02/2014
Direção e administração, Comitê da Tecnologia da Informação e Comunicações, .

Cargo ou função
Membro Titular do Comitê de Tecnologia da Informação e Comunicações da UFRRJ.

Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ, CECIERJ, Brasil.
Vínculo institucional

2011 - 2014
Vínculo: Colaborador, Enquadramento Funcional: Tutor à Distância, Carga horária: 30

Vínculo institucional

2009 - 2010
Vínculo: Contrato temporário, Enquadramento Funcional: Tutor Presencial, Carga horária: 8

Atividades

01/2009 - 12/2014
Ensino, Tecnologia em Sistemas de Computação, Nível: Graduação

Disciplinas ministradas
Arquitetura e Projeto de Sistemas II
Banco de Dados
Estrutura de Dados
Fundamentos de Algoritmos para Computação
Fundamentos de Programação
Introdução à Informática
Projeto e Análise de Algoritmos


Linhas de pesquisa


1.
Algoritmos e Teoria dos Grafos
2.
Complexidade Parametrizada
3.
Otimização Combinatória


Projetos de pesquisa


2017 - Atual
Algoritmos e Complexidade Parametrizada: Contribuições Teóricas e Aplicações em Pesquisa Operacional
Descrição: Edital FAPERJ 03/2017 - Programa Jovem Cientista do Nosso Estado.
Situação: Em andamento; Natureza: Pesquisa.
2017 - Atual
FOPESQ - Algoritmos Parametrizados
Descrição: A Chamada do Programa de Fomento à Pesquisa, FOPESQ, tem como principal meta auxiliar as atividades de pesquisa desenvolvidas na UFF por seus pesquisadores. Para o ano de 2017, a chamada está direcionada á docentes recém-doutores, com até cinco anos de doutoramento, que caracterizam a modalidade Jovem Pesquisador..
Situação: Em andamento; Natureza: Pesquisa.
2016 - Atual
Projeto FAPERJ/PRONEM 04/2016 - Resolução de Problemas Críticos da Indústria de Software através da Teoria dos Grafos e seus Algoritmos
Descrição: A indústria de software enfrenta diversos problemas críticos que tem levado projetos de software ao fracasso. Pesquisas da área de Engenharia de Software investigam métodos, técnicas e ferramentas para tratar estes problemas. As áreas de Otimização Combinatória e Teoria dos Grafos, por sua vez, têm fornecido diversas soluções para problemas que podem ser representados através de grafos. Este projeto possui como premissa utilizar os recursos da otimização combinatória e da teoria dos grafos para obtenção de soluções inovadoras, jamais aplicadas no contexto da engenharia de software. Para tal, aplica-se transformações de problemas concretos e críticos de ES para problemas em grafos. Como ponto de partida serão tratados três problemas específicos e relevantes da àrea: (i) prevenção de problemas da engenharia de requisitos através da análise de suas causas e consequências; (ii) a combinação de métodos de verificação e validação de software com base em características de qualidade do produto; e (iii) o alinhamento de variabilidades em linhas de produto de software às necessidades de clientes..
Situação: Em andamento; Natureza: Pesquisa.
2014 - Atual
Projeto CNPq Universal - Aplicações da Teoria da Complexidade Parametrizada em Pesquisa Operacional
Descrição: Esse projeto foca no estudo de algumas aplicações da Teoria da Complexidade Parametrizada em Pesquisa Operacional. Muitos problemas reais podem ser modelados por modelos matemáticos discretos e de natureza combinatória. A solução destes problemas frequentemente exige uma abordagem algorítmica, com a posterior implementação destes algoritmos em algum sistema computacional. É importante ressaltar a necessidade de obter algoritmos eficientes (em geral de complexidade polinomial), pois tipicamente tanto o volume de dados como a frequência de acessos ao sistema computacional são grandes. Se o problema em questão possui complexidade intrinsecamente alta, uma possibilidade é recorrer a um algoritmo aproximativo ou heurístico em vez de um algoritmo exato. Uma recente e promissora alternativa para a tratabilidade da complexidade desses problemas (a qual foca este projeto), é recorrer a uma análise sobe o ponto de vista da Teoria da Complexidade Parametrizada.Projeto CNPq Universal - Aplicações da Teoria da Complexidade Parametrizada em Pesquisa Operacional..
Situação: Em andamento; Natureza: Pesquisa.
2010 - 2014
Projeto PRONEX CNPq/FAPERJ - Otimização Combinatória: Fundamentos, Algoritmos e Aplicações em Problemas de Planejamento e Decisão
Situação: Concluído; Natureza: Pesquisa.
2010 - 2013
Projeto PROBRAL CAPES-DAAD Brasil/Alemanha - Cycles, Convexity, and Searching in Graphs
Situação: Concluído; Natureza: Pesquisa.


Revisor de periódico


2014 - Atual
Periódico: RAIRO - Theoretical Informatics and Applications
2014 - Atual
Periódico: Theoretical Computer Science
2014 - Atual
Periódico: Electronic Notes in Discrete Mathematics
2015 - Atual
Periódico: Matematica Contemporanea
2015 - Atual
Periódico: Discrete Mathematics and Theoretical Computer Science (Online)
2015 - Atual
Periódico: Discrete Mathematics
2015 - Atual
Periódico: International Transactions in Operational Research
2017 - Atual
Periódico: Optimization Letters


Á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.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Teoria dos Grafos.
3.
Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Pesquisa Operacional.


Idiomas


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


Prêmios e títulos


2018
Orientador de dissertação classificada entre as 9 melhores dissertações de mestrado do Brasil no ano de 2017 - CTD/CSBC 2018, SBC.
2017
Jovem Cientista do Estado do Rio de Janeiro - JCNE, FAPERJ.
2016
Artigo classificado entre os três melhores do I Encontro de Teoria da Computação (ETC), Sociedade Brasileira de Computação.
2015
Menção Honrosa no Prêmio CAPES de Tese de Doutorado, CAPES.
2015
(3ª Melhor Tese / CLTD) - I Concurso Latinoamericano de Tesis de Doctorado, Centro Latinoamericano de Estudios en Informática - CLEI.
2015
(3ª Melhor Tese / CTD) - XXVIII Concurso de Teses e Dissertações do CSBC, Sociedade Brasileira de Computação.
2015
Professor Adjunto do Instituto de Computação - (Aprovação em concurso público), Universidade Federal Fluminense.
2014
Primeiro egresso do Curso de Tecnologia de Sistemas de Computação da UFF (consórcio CEDERJ) a obter o título de doutor, Instituto de Computação - Universidade Federal Fluminense.
2014
Paraninfo da Turma de Formandos do Curso de Tecnologia em Sistemas de Computação - 2014-1, UFF - CEDERJ.
2014
Paraninfo da Turma de Formandos do Curso de Tecnologia em Sistemas de Computação - 2014-2, UFF - CEDERJ.
2013
Professor Federal do Ensino Técnico e Tecnológico - (Aprovação em concurso público), CEFET/RJ - campus maracanã.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
BUENO, LETÍCIA R.2018BUENO, LETÍCIA R. ; PENSO, LUCIA D. ; PROTTI, FÁBIO ; RAMOS, VICTOR R. ; Rautenbach, Dieter ; Souza, Uéverton S. . On the Hardness of Finding the Geodetic Number of a Subcubic Graph. INFORMATION PROCESSING LETTERS, v. 135, p. 22-27, 2018.

2.
CARNEIRO, ALAN DIÊGO AURÉLIO2018CARNEIRO, ALAN DIÊGO AURÉLIO ; PROTTI, FÁBIO ; Souza, Uéverton S. . Deadlock resolution in wait-for graphs by vertex/arc deletion. JOURNAL OF COMBINATORIAL OPTIMIZATION (DORDRECHT. ONLINE), v. press, p. 1-17, 2018.

3.
LIMA, CARLOS V. G. C.2018LIMA, CARLOS V. G. C. ; PROTTI, FÁBIO ; Rautenbach, Dieter ; Souza, Uéverton S. ; SZWARCFITER, JAYME L. . And/or-convexity: a graph convexity based on processes and deadlock models. Annals of Operations Research, v. 264, p. 267-286, 2018.

4.
FELLOWS, MICHAEL2018FELLOWS, MICHAEL ; PROTTI, FÁBIO ; ROSAMOND, FRANCES ; DA SILVA, MAISE DANTAS ; Souza, Uéverton S. . Algorithms, kernels and lower bounds for the Flood-It game parameterized by the vertex cover number. DISCRETE APPLIED MATHEMATICS, v. 245, p. 94-100, 2018.

5.
PENSO, LUCIA DRAQUE2018 PENSO, LUCIA DRAQUE ; Rautenbach, Dieter ; dos Santos Souza, Uéverton . Graphs in which some and every maximum matching is uniquely restricted. JOURNAL OF GRAPH THEORY, v. 89, p. 55-63, 2018.

6.
OLIVEIRA, ALESSANDREIA2018OLIVEIRA, ALESSANDREIA ; TESSAROLLI, GABRIEL ; GHIOTTO, GLEIPH ; PINTO, BRUNO ; CAMPELLO, FERNANDO ; MARQUES, MATHEUS ; OLIVEIRA, CARLOS ; RODRIGUES, IGOR ; KALINOWSKI, MARCOS ; SOUZA, UÉVERTON ; MURTA, LEONARDO ; BRAGANHOLO, VANESSA . An efficient similarity-based approach for comparing XML documents. INFORMATION SYSTEMS, v. 78, p. 40-57, 2018.

7.
ALVES, SANCREY RODRIGUES2018ALVES, SANCREY RODRIGUES ; DABROWSKI, KONRAD K. ; FARIA, LUERBIO ; KLEIN, SULAMITA ; SAU, IGNASI ; Souza, Uéverton S. . On the (parameterized) complexity of recognizing well-covered ( r , - )-graph. THEORETICAL COMPUTER SCIENCE, v. 746, p. 36-48, 2018.

8.
PROTTI, F.2018PROTTI, F. ; SOUZA, U. dos S. . Decycling a graph by the removal of a matching: New algorithmic and structural aspects in some classes of graphs. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE (ONLINE), v. 20, p. 19pp, 2018.

9.
DUARTE, MARCIO ANTÔNIO2017DUARTE, MARCIO ANTÔNIO ; PENSO, LUCIA ; Rautenbach, Dieter ; dos Santos Souza, Uéverton . Complexity properties of complementary prisms. Journal of Combinatorial Optimization (Dordrecht. Online), v. 33, p. 365-372, 2017.

10.
LIMA, C. V. G. C.2017LIMA, C. V. G. C. ; RAUTENBACH, D. ; Souza, Uéverton S. ; SZWARCFITER, J. L. . Decycling with a Matching. INFORMATION PROCESSING LETTERS, p. 26-29, 2017.

11.
LIMA, CARLOS V.G.C.2017LIMA, CARLOS V.G.C. ; Rautenbach, Dieter ; Souza, Uéverton S. ; SZWARCFITER, JAYME L. . Generalized threshold processes on graphs. THEORETICAL COMPUTER SCIENCE, v. 689, p. 27-35, 2017.

12.
SOUZA, UÉVERTON DOS SANTOS2017 SOUZA, UÉVERTON DOS SANTOS; PROTTI, FÁBIO . Tractability, hardness, and kernelization lower bound for and/or graph solution. DISCRETE APPLIED MATHEMATICS, v. 232, p. 125-133, 2017.

13.
SUCUPIRA, RUBENS2017SUCUPIRA, RUBENS ; FARIA, LUERBIO ; KLEIN, SULAMITA ; SAU, IGNASI ; Souza, Uéverton S. . Maximum Cuts in Edge-colored Graphs. ELECTRONIC NOTES IN DISCRETE MATHEMATICS, v. 62, p. 87-92, 2017.

14.
MELO, ALEXSANDER A.2017MELO, ALEXSANDER A. ; FIGUEIREDO, CELINA M.H. ; Souza, Uéverton S. . Simple Undirected Two-Commodity Integral Flow with a Unitary Demand. ELECTRONIC NOTES IN DISCRETE MATHEMATICS, v. 62, p. 279-284, 2017.

15.
PENSO, LUCIA DRAQUE2017PENSO, LUCIA DRAQUE ; PROTTI, FÁBIO ; Rautenbach, Dieter ; SOUZA, UÉVERTON DOS SANTOS . Corrigendum to -Complexity analysis of P 3 -convexity problems on bounded-degree and planar graphs- [Theoret. Comput. Sci. 607 Part 1 (2015) 83-95]. THEORETICAL COMPUTER SCIENCE, v. 704, p. 92-93, 2017.

16.
GENTNER, MICHAEL2016 GENTNER, MICHAEL ; PENSO, LUCIA D. ; Rautenbach, Dieter ; Souza, Uéverton S. . Extremal values and bounds for the zero forcing number. DISCRETE APPLIED MATHEMATICS, v. 214, p. 196-200, 2016.

17.
SOUZA, U. S.2015SOUZA, U. S.; ROSAMOND, F. ; FELLOWS, M. R. ; PROTTI, F. ; DANTAS DA SILVA, MAISE . The Flood-It game parameterized by the vertex cover number. Electronic Notes in Discrete Mathematics, v. 50, p. 35-40, 2015.

18.
SOUZA, U. S.2015SOUZA, U. S.; RAUTENBACH, D. ; PENSO, L. D. ; JOOS, F. ; DUARTE, M. A. . On Graphs with Induced Matching Number Almost Equal to Matching Number. Electronic Notes in Discrete Mathematics, v. 50, p. 9-14, 2015.

19.
DUARTE, MÁRCIO A.2015 DUARTE, MÁRCIO A. ; JOOS, FELIX ; PENSO, LUCIA D. ; Rautenbach, Dieter ; Souza, Uéverton S. . Maximum induced matchings close to maximum matchings. Theoretical Computer Science, v. 588, p. 131-137, 2015.

20.
FELLOWS, MICHAEL R.2015 FELLOWS, MICHAEL R. ; SOUZA, UÉVERTON DOS SANTOS ; PROTTI, FÁBIO ; DANTAS DA SILVA, MAISE . Tractability and hardness of flood-filling games on trees. Theoretical Computer Science, v. 576, p. 102-116, 2015.

21.
PENSO, LUCIA DRAQUE2015PENSO, LUCIA DRAQUE ; PROTTI, FÁBIO ; Rautenbach, Dieter ; dos Santos Souza, Uéverton . Complexity analysis of. THEORETICAL COMPUTER SCIENCE, v. 607, p. 83-95, 2015.

22.
SOUZA, U. S.2014SOUZA, U. S.; PROTTI, F. ; DANTAS DA SILVA, M. . An algorithmic analysis of Flood-it and Free-Flood-it on graph powers. Discrete Mathematics and Theoretical Computer Science (Online), v. 16, p. 279-290, 2014.

23.
SOUZA, U. dos S.2013SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Revisiting the complexity of and/or graph solution. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, v. 79, p. 1156-1163, 2013.

24.
DOURADO, M. C.2012DOURADO, M. C. ; OLIVEIRA, R. A. ; PROTTI, F. ; SOUZA, U. dos S. . Design of connection networks with bounded number of non-terminal vertices. Matematica Contemporanea, v. 42, p. 39-47, 2012.

25.
SOUZA, U. dos S.2012SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Complexidade Parametrizada para Problemas em Grafos E/OU. Pesquisa Operacional para o Desenvolvimento, v. 4, p. 160-174, 2012.

Capítulos de livros publicados
1.
SANTOS, V. F. ; SOUZA, U. S. . Uma Introdução à Complexidade Parametrizada. In: XXXV Congresso da Sociedade Brasileira de Computação. (Org.). Anais da 34º Jornada de Atualização em Informática. 1ed.: , 2015, v. , p. 232-273.

Trabalhos completos publicados em anais de congressos
1.
SOUZA, U. S.; PROTTI, F. ; CARNEIRO, ALAN DIÊGO AURÉLIO . Fine-Grained Parameterized Complexity Analysis of Knot-Free Vertex Deletion ? A Deadlock Resolution Graph Problem. In: International Computing and Combinatorics Conference, 2018, Qingdao. The 24th International Computing and Combinatorics Conference (COCOON) - Lecture Notes in Computer Science, 2018. v. 10976. p. 84-95.

2.
SZWARCFITER, J. L. ; BORNSTEIN, C. ; SANTOS, T. ; SOUZA, U. S. . A Complexidade do Reconhecimento de Grafos B1-EPG-Helly. In: Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro. 50º Simpósio Brasileiro de Pesquisa Operacional, 2018.

3.
OLIVEIRA, R. A. ; BRAVO, R. ; S. JUNIOR, F. ; SOUZA, U. S. . Aspectos Da Quase-Bipartição em Grafos Cordais e Grafos de Distância-hereditária. In: Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro. 50º Simpósio Brasileiro de Pesquisa Operacional, 2018.

4.
CAMARGO, P. ; CARNEIRO, A. ; SOUZA, U. S. . Cliques e Conjuntos Independentes em Grafos Prismas Complementares: Complexidade e Tratabilidade Parametrizada. In: Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro. 50º Simpósio Brasileiro de Pesquisa Operacional, 2018.

5.
BRAVO, R. ; OLIVEIRA, R. A. ; S. JUNIOR, F. ; SOUZA, U. S. . Caracterização por Subgrafos Proibidos da Partição (S,T) dos Grafos P_4- Esparsos. In: Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro. 50º Simpósio Brasileiro de Pesquisa Operacional, 2018.

6.
PERAZZINI, L. ; GONZALEZ, P. H. ; SOUZA, U. S. . Um Algoritmo Pseudo-Polinomial para o Problema do Corte Bidimensional Guilhotinado. In: Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro. 50º Simpósio Brasileiro de Pesquisa Operacional, 2018.

7.
CARNEIRO, A. ; PROTTI, F. ; SOUZA, U. S. . Deletion graph problems based on deadlock resolution. In: International Computing and Combinatorics Conference, 2017, Hong Kong. The 23rd International Computing and Combinatorics Conference (COCOON) - Lecture Notes in Computer Science, 2017. v. 10392.

8.
MUNHOZ, P. L. A. ; GONZALEZ, P. H. ; SOUZA, U. S. ; OCHI, L. S. ; MICHELON, P. ; DRUMMOND, L. M. A. . General Variable Neighborhood Search for the Data Mule Scheduling Problem. In: International Conference on Variable Neighborhood Search, 2017, Ouro Preto. 5th International Conference on Variable Neighborhood Search - Electronic Notes in Discrete Mathematics, 2017.

9.
SUCUPIRA, R. ; FARIA, L. ; KLEIN, S. ; SAU, I. ; SOUZA, U. S. . Maximum Cuts in Edge-colored Graphs. In: Latin-American Algorithms, Graphs and Optimization Symposium, 2017, Marseille. IX Latin-American Algorithms, Graphs and Optimization Symposium - Electronic Notes in Discrete Mathematics, 2017.

10.
MELO, A. A. ; FIGUEIREDO, C. M. H. ; SOUZA, U. S. . Simple Undirected Two-Commodity Integral Flow with a Unitary Demand. In: Latin-American Algorithms, Graphs and Optimization Symposium, 2017, Marseille. IX Latin-American Algorithms, Graphs and Optimization Symposium - Electronic Notes in Discrete Mathematics, 2017.

11.
SILVA, A. R. V. ; PINHEIRO, R. ; BARROS, B. ; OCHI, L. S. ; SOUZA, U. S. . Algoritmos heurísticos e exatos para o Problema de Inundação livre em grafos. In: Simpósio Brasileiro de Pesquisa Operacional, 2017, Blumenau. XLIX Simpósio Brasileiro de Pesquisa Operacional, 2017.

12.
CARNEIRO, A. ; PROTTI, F. ; SOUZA, U. S. . Resolução de Deadlocks: Complexidade e Tratabilidade Parametrizada. In: Simpósio Brasileiro de Pesquisa Operacional, 2017. XLIX Simpósio Brasileiro de Pesquisa Operacional, 2017.

13.
CARNEIRO, A. ; PROTTI, F. ; SOUZA, U. S. . Algoritmos para Resolução de Deadlocks em Grafos Subcúbicos. In: Simpósio Brasileiro de Pesquisa Operacional, 2016, Vitória. XLVIII Simpósio Brasileiro de Pesquisa Operacional, 2016.

14.
SOUZA, U. S.; TITO, L. ; ALVES, M. D. ; BRAVO, R. . Geração de Obstruções Minimais de Grafos-(2,1). In: Simpósio Brasileiro de Pesquisa Operacional, 2016, Vitória. XLVIII Simpósio Brasileiro de Pesquisa Operacional, 2016.

15.
FARIA, L. ; KLEIN, S. ; SUCUPIRA, R. ; SOUZA, U. dos S. ; SAU, I. . Sobre Cortes em Grafos Aresta-Coloridos. In: Simpósio Brasileiro de Pesquisa Operacional, 2016. XLVIII Simpósio Brasileiro de Pesquisa Operacional, 2016.

16.
ALVES, S. R. ; DABROWSKI, K. K. ; FARIA, L. ; KLEIN, S. ; SAU, I. ; SOUZA, U. S. . On the (Parameterized) Complexity of Recognizing Well-Covered (r,ℓ) -graphs. In: 10th Annual International Conference on Combinatorial Optimization and Applications, 2016, Hong Kong. International Conference on Combinatorial Optimization and Applications, 2016. v. 10043. p. 423-436.

17.
BARBOSA, V. ; CARNEIRO, A. ; PROTTI, F. ; SOUZA, U. S. . Deadlock Models in Distributed Computation: Foundations, Design, and Computational Complexity. In: ACM Symposium on Applied Computing, 2016, Pisa. The 31st ACM/SIGAPP Symposium on Applied Computing, 2016. p. 538-541.

18.
CRUZ, A. B. ; SERIQUE, S. ; PREUSS, L. ; OGASAWARA, A. ; QUADROS, J. ; BEZERRA, E. ; SOUZA, U. S. ; OGASAWARA, E. . Amê: An Environment to Learn and Analyze Adversarial Search Algorithms Using Stochastic Card Games. In: ACM Symposium On Applied Computing, 2015, Salamanca. The 30th ACM/SIGAPP Symposium On Applied Computing, 2015. p. 208-213.

19.
MESQUITA, F. C. ; BUENO, L. R. ; HAUSEN, R. A. ; SOUZA, U. S. . On Hamiltonian Cycles in Kneser Graphs. In: Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2015, Istambul. 13th Cologne-Twente Workshop on Graphs & Combinatorial Optimization, 2015. p. 121-124.

20.
SOUZA, U. S.; BUENO, L. R. ; PENSO, L. D. ; RAUTENBACH, D. ; PROTTI, F. . Complexity of Geodetic Number Problem in Graphs with Maximum Degree 4. In: Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2015, Istambul. 13th Cologne-Twente Workshop on Graphs & Combinatorial Optimization, 2015. p. 197-200.

21.
DUARTE, M. A. ; PENSO, L. D. ; RAUTENBACH, D. ; SOUZA, U. S. ; SZWARCFITER, J. L. . The P3-Convexity in the Complementary Prism of a Graph. In: Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2015, Istambul. 13th Cologne-Twente Workshop on Graphs & Combinatorial Optimization, 2015. p. 225-228.

22.
DUARTE, M. A. ; JOOS, F. ; PENSO, L. D. ; RAUTENBACH, D. ; SOUZA, U. S. . On Graphs with Induced Matching Number Almost Equal to Matching Number. In: Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS), 2015, Beberibe - CE. Electronic Notes in Discrete Mathematics, 2015. p. 9-14.

23.
SOUZA, U. S.; ROSAMOND, F. ; FELLOWS, MICHAEL R. ; PROTTI, FÁBIO ; DANTAS DA SILVA, M. . The Flood-It game parameterized by the vertex cover number. In: Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS), 2015, Beberibe - CE. Electronic Notes in Discrete Mathematics, 2015. p. 35-40.

24.
BARROS, B. ; PINHEIRO, R. ; SOUZA, U. S. . Métodos Heurísticos e Exatos para o Problema de Inundação em Grafos. In: Simpósio Brasileiro de Pesquisa Operacional, 2015, Porto de Galinhas. XLVII Simpósio Brasileiro de Pesquisa Operacional, 2015. p. 2482-2491.

25.
CARNEIRO, A. ; PROTTI, F. ; SOUZA, U. S. . Complexidade de Resolução de Deadlocks em Grafos de Espera de Sistemas Distribuídos. In: Simpósio Brasileiro de Pesquisa Operacional, 2015, Porto de Galinhas. XLVII Simpósio Brasileiro de Pesquisa Operacional, 2015. p. 3316-3326.

26.
SOUZA, U. S.; PROTTI, F. ; RAUTENBACH, D. ; PENSO, L. D. . On P3-convexity of Graphs with Bounded Degree. In: Algorithmic Applications in Management, 2014, Vancouver. 10th International Conference on Algorithmic Aspects of Information and Management - LNCS 8546, 2014. v. 8546. p. 263-274.

27.
EPIFANIO, F. S. ; SOUZA, U. dos S. ; AMORIM, M. ; OGASAWARA, E. ; SOARES, J. . O Problema de Alocação de Tutores em Aplicações de Provas. In: Simpósio Brasileiro de Pesquisa Operacional, 2014, Salvador. XLVI Simpósio Brasileiro de Pesquisa Operacional, 2014.

28.
SOUZA, U. dos S.; PROTTI, F. ; DOURADO, M. C. ; OLIVEIRA, R. A. . Conexão de Terminais com Número Restrito de Roteadores e Elos. In: Simpósio Brasileiro de Pesquisa Operacional, 2014, Salvador. XLVI Simpósio Brasileiro de Pesquisa Operacional, 2014.

29.
SOUZA, U. dos S.; PINHEIRO, R. ; MARTINS, I. . Métodos Heurísticos e Exatos para Busca de um Subgrafo-Solução Ótimo de um Grafo X-Y. In: Simpósio Brasileiro de Pesquisa Operacional, 2014, Salvador. XLVI Simpósio Brasileiro de Pesquisa Operacional, 2014.

30.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Parameterized Complexity of Flood-Filling Games on Trees. In: International Computing and Combinatorics Conference, 2013, Hangzhou, China. 19th COCOON - Lecture Notes in Computer Science - LNCS 7936, 2013. v. 7936. p. 531-542.

31.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Parameterized And/Or Graph Solution. In: Cologne Twente Workshop on graphs and combinatorial optimization, 2013, Enschede - The Netherlands. 12th Cologne Twente Workshop on graphs and combinatorial optimization, 2013.

32.
MEDEIROS, R. P. ; SOUZA, U. dos S. ; PROTTI, F. ; MURTA, L. G. P. . Optimal Variability Selection in Product Line Engineering. In: International Conference on Software Engineering and Knowledge Engineering, 2012, Redwood City. The 24th International Conference on Software Engineering and Knowledge Engineering, 2012.

33.
SOUZA, U. dos S.; DANTAS DA SILVA, M. ; PROTTI, F. . Inundação em Grafos. In: Congreso Latino Iberoamericano de Investigación Operativa, 2012, Rio de Janeiro. Congreso Latino-Iberoamericano de Investigación Operativa, 2012.

34.
SOUZA, U. dos S.; Malajovich, B. ; Souza, C. S. ; Boaventura-Netto, P. O. ; JURKIEWICZ, S. . Roteamento Ótimo das Linhas de Ônibus Internas do Campus UFRJ/Fundão. In: Simpósio Brasileiro de Pesquisa Operacional, 2010, Bento Gonçalves. XLII Simpósio Brasileiro de Pesquisa Operacional, 2010.

Resumos expandidos publicados em anais de congressos
1.
ALVES, S. R. ; COUTO, F. ; FARIA, L. ; GRAVIER, S. ; KLEIN, S. ; SOUZA, U. S. . Structural characterizations for polynomially-time recognizable (r, l)-well covered graphs. In: International Colloquium on Graph Theory and combinatorics, 2018, Lyon. 10th International Colloquium on Graph Theory and Combinatorics, 2018.

2.
S. JUNIOR, F. ; BRAVO, R. ; OLIVEIRA, R. A. ; Souza, Uéverton S. . Problema de partição em conjunto independente e árvore quando restrito à classe dos grafos-P4-tidy. In: Encontro de Teoria da Computação, 2018, Natal. III Encontro de Teoria da computação - Congresso da Sociedade Brasileira de Computação, 2018.

3.
SANTOS, T. ; BORNSTEIN, C. ; Souza, Uéverton S. ; SZWARCFITER, J. L. . Sobre a Dificuldade de Reconhecimento de Grafos B1-EPG-Helly. In: Encontro de Teoria da Computação, 2018, Natal. III Encontro de Teoria da computação - Congresso da Sociedade Brasileira de Computação, 2018.

4.
ALVES, S. R. ; COUTO, F. ; FARIA, L. ; KLEIN, S. ; Souza, Uéverton S. . O problema probe particionado split bem-coberto é polinomial. In: Encontro de Teoria da Computação, 2018, Natal. III Encontro de Teoria da computação - Congresso da Sociedade Brasileira de Computação, 2018.

5.
CARNEIRO, A. ; PROTTI, F. ; SOUZA, U. . A Parameterized complexity Analysis of the Knot-free Vertex Deletion Problem. In: Encontro de Teoria da Computação, 2018, Natal. III Encontro de Teoria da computação - Congresso da Sociedade Brasileira de Computação, 2018.

6.
CAMARGO, P. ; CARNEIRO, A. ; SOUZA, U. S. . Complexidade Parametrizada de Clique e conjunto Independente em Grafos Prismas Complementares. In: Encontro de Teoria da Computação, 2018, Natal. III Encontro de Teoria da computação - Congresso da Sociedade Brasileira de Computação, 2018.

7.
CARNEIRO, A. ; PROTTI, F. ; SOUZA, U. S. . Deletion graph problems based on deadlock resolution. In: Encontro de Teoria da Computação, 2017, São Paulo. II Encontro de Teoria da Computação - Congresso da Sociedade Brasileira de Computação, 2017.

8.
SANTOS, E. ; CANDIA-VEJAR, A. ; OCHI, L. S. ; SIMONETTI, L. ; SOUZA, U. S. . New Insights on Prize Collecting Path Problem. In: Encontro de Teoria da Computação, 2017, São Paulo. II Encontro de Teoria da Computação - Congresso da Sociedade Brasileira de Computação, 2017.

9.
SOUZA, U. S.; KLEIN, S. ; FARIA, L. ; SUCUPIRA, R. ; SAU, I. . On Colored Edge Cuts in Graphs. In: Encontro de Teoria da Computação, 2016, Porto Alegre. I Encontro de Teoria da Computação, XXXVI Congresso da Sociedade Brasileira de Computação, 2016.

10.
SOUZA, U. S.. Multivariate Investigation of NP-Hard Problems: Boundaries Between Parameterized Tractability and Intractability. In: Congresso da Sociedade Brasileira de Computação - Concurso de Teses e Dissertações, 2015, Recife. XXVIII Concurso de Teses e Dissertações do Congresso da Sociedade Brasileira de Computação, 2015. p. 1-6.

11.
SOUZA, U. S.. Multivariate Investigation of NP-Hard Problems: Boundaries Between Parameterized Tractability and Intractability. In: Conferencia Latinoamericana en Informática, 2015, Arequipa. XLI Conferencia Latinoamericana en Informática - I Concurso Latinoamericano de Tesis de Doctorado, 2015.

12.
LOURENCO, V. ; SOUZA, U. S. ; OGASAWARA, E. . Utilização de Algoritmos Genéticos para a Elaboração do Quadro de Horários do Ensino Médio-Técnico Integrado do CEFET/RJ. In: Congresso da Sociedade Brasileira de Computação - ENCompIF 2014, 2014, Brasília. II Encontro Nacional de Computação dos Institutos Federais, 2014. p. 1-4.

13.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Aplicações de Grafos E/Ou. In: Encontro Regional de Pesquisa Operacional, 2011, Manaus. I Encontro Regional de pesquisa Operacional, 2011.

Resumos publicados em anais de congressos
1.
SANTOS, T. ; SZWARCFITER, J. L. ; BORNSTEIN, C. ; SOUZA, U. S. . B1-EPG-Helly Graph Recognition. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

2.
CARNEIRO, A. ; PROTTI, FÁBIO ; SOUZA, U. S. . Knot-Free Vertex Deletion Problem: Parameterized Complexity of a Deadlock Resolution Graph Problem. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

3.
CAMARGO, P. ; CARNEIRO, A. ; SOUZA, U. . A Parameterized Complexity Analysis of Clique and Independent Set in Complementary Prisms. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

4.
BRAVO, R. ; S. JUNIOR, F. ; OLIVEIRA, R. A. ; SOUZA, U. S. . Characterization by forbidden subgraphs of near-bipartite P4-tidy graphs. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

5.
PERAZZINI, L. ; GONZALEZ, P. H. ; SOUZA, U. S. . A pseudo-polynomial algorithm for the two-dimensional guillotine cutting stock. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

6.
ALVES, M. D. ; SOUZA, U. S. . The Colourability problem on Graphs(r,l) and a few parametrized solutions. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

7.
MELO, A. A. ; FIGUEIREDO, C. M. H. ; SOUZA, U. S. . The Terminal connection problem on strongly chordal graphs and cographs. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

8.
SOUZA, U. S.; ALVES, M. R. . Complexity Analisys of the And/Or graph Solution Problem on Planar Graphs. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

9.
SOUZA, U. S.; STOCKINGER, M. B. . A kernelization algorithm for Closest String parameterized by the number of input strings. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

10.
SOUZA, U. S.; CARMO, F. P. ; MARTHINON, C. A. J. ; CARVALHO JUNIOR, M. T. . Sobre o número de Sierksma de um grafo. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

11.
OLIVEIRA, R. A. ; S. JUNIOR, F. ; BRAVO, R. ; SOUZA, U. S. . Some forbidden structures for the near-bipartition problem on distance-hereditary graphs. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

12.
ALVES, S. R. ; KLEIN, S. ; FARIA, L. ; SOUZA, U. S. ; COUTO, F. ; GRAVIER, S. . Caracterização estrutural de grafos-(1, 2) bem-cobertos. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.

13.
SOUZA, U. S.; BRAVO, R. ; OLIVEIRA, R. A. ; S. JUNIOR, F. . Caracterização por subgrafos proibidos dos grafos P4-tidy quase-bipartidos. In: Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017.

14.
ALVES, M. D. ; SOUZA, U. S. . Coloração de grafos(r,l). In: Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017.

15.
CAMARGO, P. ; SOUZA, U. S. . Cliques e Conjuntos Independentes em Grafos Prisma~Complementares: Complexidade e Tratabilidade Parametrizada. In: Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017.

16.
RAMOS, V. R. ; MARTINS, S. ; SOUZA, U. S. . Alocação de professores em quadro de horários através de algoritmos de fluxo em redes. In: Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017.

17.
CAMARGO, P. ; SOUZA, U. S. . Cliques e Conjuntos Independentes em Grafos Prisma Complementares: Complexidade e Tratabilidade Parametrizada. In: Simpósio Brasileiro de Pesquisa Operacional, 2017, Blumenau. XLIX Simpósio Brasileiro de Pesquisa Operacional, 2017.

18.
RAMOS, V. R. ; MARTINS, S. ; SOUZA, U. S. . Alocação de professores em quadro de horários através de algoritmos de fluxo em redes. In: Simpósio Brasileiro de Pesquisa Operacional, 2017. XLIX Simpósio Brasileiro de Pesquisa Operacional.

19.
SOUZA, U. S.; PROTTI, FÁBIO . Tractability, Hardness, and Kernelization Lower Bound for And/Or Graph Solution. In: Workshop Franco-brasileiro de Grafos e Otimização Combinatória, 2016, Icapuí - Praia da Redonda. II Workshop Franco-brasileiro de Grafos e Otimização Combinatória, 2016.

20.
LIMA, C. V. G. C. ; SOUZA, U. S. ; SZWARCFITER, J. L. ; RAUTENBACH, D. . Decycling with a Matching. In: Workshop Franco-brasileiro de Grafos e Otimização Combinatória, 2016, Icapuí - Praia da Redonda. II Workshop Franco-brasileiro de Grafos e Otimização Combinatória, 2016.

21.
CORREA, R. ; PROTTI, F. ; SOUZA, U. S. ; ALVIM, L. ; POGGI, M. ; SILVA, T. . Solving the classification problem with combinatorial optimization tools. In: Workshop Franco-brasileiro de Grafos e Otimização Combinatória, 2016, Icapuí - Praia da Redonda. II Workshop Franco-brasileiro de Grafos e Otimização Combinatória, 2016.

22.
SOUZA, U. S.; Rautenbach, Dieter ; PROTTI, FÁBIO ; SZWARCFITER, J. L. ; LIMA, C. V. G. C. . And/Or-Convexity: a Graph Convexity Based on Processes and Deadlock Models. In: LATIN AMERICAN WORKSHOP ON CLIQUES IN GRAPHS, 2016, La Plata. VII LATIN AMERICAN WORKSHOP ON CLIQUES IN GRAPHS, 2016.

23.
SOUZA, U. S.; FREITAS, R. ; GAMA, S. . Parameterized complexity in list coloring problems. In: LATIN AMERICAN WORKSHOP ON CLIQUES IN GRAPHS, 2016, La Plata. VII LATIN AMERICAN WORKSHOP ON CLIQUES IN GRAPHS, 2016.

24.
SOUZA, U. S.; PROTTI, FÁBIO ; CARNEIRO, A. . Algorithms for Deadlock Resolution in Subcubic Graphs. In: LATIN AMERICAN WORKSHOP ON CLIQUES IN GRAPHS, 2016, La Plata. VII LATIN AMERICAN WORKSHOP ON CLIQUES IN GRAPHS, 2016.

25.
SOUZA, U. S.; KLEIN, S. ; FARIA, L. ; SAU, I. ; SUCUPIRA, R. . On Maximum Colored Cuts in Edge Colored Graphs. In: LATIN AMERICAN WORKSHOP ON CLIQUES IN GRAPHS, 2016, La Plata. VII LATIN AMERICAN WORKSHOP ON CLIQUES IN GRAPHS, 2016.

26.
SOUZA, U. S.; FIGUEIREDO, C. M. H. ; MELO, A. A. . The strict terminal connection problem with a bounded number of routers. In: LATIN AMERICAN WORKSHOP ON CLIQUES IN GRAPHS, 2016, La Plata. VII LATIN AMERICAN WORKSHOP ON CLIQUES IN GRAPHS, 2016.

27.
SOUZA, U. S.; RAUTENBACH, D. ; PENSO, L. D. ; DUARTE, M. A. . Remarks on Complementary Prims. In: Latin American Workshop on Cliques in Graphs, 2014, Pirenópolis. 6th Latin American Workshop on Cliques in Graphs, 2014.

28.
SOUZA, U. dos S.; PROTTI, F. ; DOURADO, M. C. ; OLIVEIRA, R. A. . Complexidade de Problemas de Conexão de Terminais. In: Latin American Workshop on Cliques in Graphs, 2012, 2012, Buenos Aires. 5th Latin American Workshop on Cliques in Graphs, 2012.

29.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Complexidade Parametrizada e a Pesquisa Operacional. In: ELAVIO - Escola Latino-Americana de Verão de Pesquisa Operacional, 2012, Bento Gonçalves. XVI ELAVIO - Escola Latino-Americana de Verão de Pesquisa Operacional, 2012.

30.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Parameterized Tractability of Cost Problems for X-of-Y Graphs. In: Latin American Workshop on Cliques in Graphs, 2010, Petrópolis - Itaipava. 4th Latin American Workshop on Cliques in Graphs, 2010.

Artigos aceitos para publicação
1.
MELO, A. A. ; FIGUEIREDO, C. M. H. ; SOUZA, U. S. . Connecting terminals using at most one router. MATEMATICA CONTEMPORANEA, 2017.

2.
ALVES, M. D. ; SOUZA, U. S. ; BRAVO, R. ; TITO, L. . Geração de obstruções minimais de grafos-(2,1). MATEMATICA CONTEMPORANEA, 2017.

Apresentações de Trabalho
1.
SOUZA, U. S.; RAUTENBACH, D. ; PROTTI, F. ; PENSO, L. D. . On P3-Convexity of Graphs with Bounded Degree. 2014. (Apresentação de Trabalho/Congresso).

2.
SOUZA, U. dos S.; OLIVEIRA, R. A. ; PROTTI, F. ; DOURADO, M. C. . Conexão de Terminais com Número Restrito de Roteadores e Elos. 2014. (Apresentação de Trabalho/Simpósio).

3.
SOUZA, U. S.. O maior problema em aberto da computação (UFRRJ). 2014. (Apresentação de Trabalho/Conferência ou palestra).

4.
SOUZA, U. S.. O maior problema em aberto da computação (CEDERJ). 2014. (Apresentação de Trabalho/Conferência ou palestra).

5.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Parameterized And/Or Graph Solution. 2013. (Apresentação de Trabalho/Congresso).

6.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Parameterized Complexity of Flood-Filling Games on Trees. 2013. (Apresentação de Trabalho/Congresso).

7.
SOUZA, U. dos S.. Complexidade Parametrizada para problemas NP-difíceis. 2013. (Apresentação de Trabalho/Conferência ou palestra).

8.
DANTAS DA SILVA, M. ; PROTTI, F. ; SOUZA, U. dos S. . Complexidade Parametrizada e a Pesquisa Operacional. 2012. (Apresentação de Trabalho/Conferência ou palestra).

9.
SOUZA, U. dos S.; MURTA, L. G. P. ; PROTTI, F. ; MEDEIROS, R. P. . Optimal Variability Selection in Product Line Engineering. 2012. (Apresentação de Trabalho/Congresso).

10.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Inundação em Grafos. 2012. (Apresentação de Trabalho/Congresso).

11.
DOURADO, M. C. ; OLIVEIRA, R. A. ; SOUZA, U. dos S. ; PROTTI, F. . Complexidade de Problemas de Conexão de Terminais. 2012. (Apresentação de Trabalho/Congresso).

12.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Aplicações de Grafos E/Ou. 2011. (Apresentação de Trabalho/Congresso).

13.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Parameterized Tractability of Cost Problems for X-of-Y Graphs. 2010. (Apresentação de Trabalho/Congresso).

14.
SOUZA, U. dos S.; PROTTI, F. ; DANTAS DA SILVA, M. . Roteamento Ótimo das Linhas de Ônibus Internas do Campus UFRJ/Fundão. 2010. (Apresentação de Trabalho/Simpósio).


Demais tipos de produção técnica
1.
PEDROSA, L. L. C. ; SOUZA, U. S. . Uma apresentação a Algoritmos e Complexidade Parametrizada. 2017. (Curso de curta duração ministrado/Especialização).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
KOWADA, L. A. B.; MARQUEZINO, F. L.; PORTUGAL, R.; MAGALHAES, K. M.; SOUZA, U. S.. Participação em banca de João Miguel Barbosa Brandão. Algoritmo Quântico para Encontrar a Moda Estatística. 2018. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

2.
FROTA, Y. A. M.; OCHI, L. S.; MARTINS, S.; SILVA, W. G.; COELHO, I. M.; Souza, Uéverton S.. Participação em banca de Marcos Raylan Sousa Matos. Problema de Roteamento de Veículos voltado para redução de emissões de carbono. 2018. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

3.
PEDROSA, L. L. C.; SOUZA, U. S.; XAVIER, E. C.. Participação em banca de Lucas Prado Melo. k-Level Stochastic Facility Location Problems. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Teses de doutorado
1.
SAMPAIO, R. M.; Souza, Uéverton S.; SZWARCFITER, J. L.. Participação em banca de Thiago Braga Marcilon. Resultados no Tempo Máximo e no Número de Envoltória nas Convexidades P3 e Geodésica. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

2.
Souza, Uéverton S.; KLEIN, S.; FARIA, L.; SZWARCFITER, J. L.; SAU, I.. Participação em banca de Rubens André Sucupira. Problemas de Cortes de Arestas Máximos e Mínimos em Grafos. 2017. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Qualificações de Doutorado
1.
SOUZA, U. S.; PROTTI, F.; MARTINHON, C. A. J.; SA, V. G. P.. Participação em banca de Alan Diêgo Aurélio Carneiro. Complexity Analysis of Deadlock Resolution Graph Problems. 2018. Exame de qualificação (Doutorando em Computação) - Universidade Federal Fluminense.

2.
PROTTI, F.; SOUZA, U. S.; BRAVO, R.; DOURADO, M. C.. Participação em banca de JOÃO VINICIUS CORRÊA THOMPSON. A unified framework for path convexities. 2016. Exame de qualificação (Doutorando em Computação) - Universidade Federal Fluminense.

3.
SOUZA, U. S.; FARIA, L.; KLEIN, S.; COUTO, F. V. D.; BARBOSA, R. M.; SZWARCFITER, J. L.. Participação em banca de SANCREY RODRIGUES ALVES. A Complexidade do Reconhecimento de Grafos-(r,l) Bem Cobertos. 2016. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

4.
CONCI, A.; VITERBO FILHO, J.; SOUZA, U. S.; ZADROZNY, B.; GARCIA, S. H.. Participação em banca de Érick Oliveira Rodrigues. Morphological Classifiers: A Novel Approach to Supervised Learning. 2016. Exame de qualificação (Doutorando em Computação) - Universidade Federal Fluminense.

5.
KLEIN, S.; FARIA, L.; SZWARCFITER, J. L.; SOUZA, U. S.. Participação em banca de Rubens André Sucupira. O Problema do Corte Máximo Simples Para Grafos Cordais. 2015. Exame de qualificação (Doutorando em PESC - Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Monografias de cursos de aperfeiçoamento/especialização
1.
COUTO, A. A. G.; SOUZA, U. S.; SILVA, A. R.. Participação em banca de Isabel Hortencia Garnica Perez Barros. Novas Formas de Aprendizado da Matemática em Ambientes Virtuais Fechados r Ferramentas Web 2.0, a partir do Consórcio Cederj - Polo Três Rios. 2015. Monografia (Aperfeiçoamento/Especialização em Educação Tecnológica) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca.

Trabalhos de conclusão de curso de graduação
1.
ALMEIDA, S. M.; ALVES, G. V.; SOUZA, U. S.. Participação em banca de Mayara Midori Omai.O Problema da Inundação em Grafos Função-Circular. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Tecnológica Federal do Paraná.

2.
MAURO, R. C.; SOUZA, U. S.; PEREIRA, F. R. S.. Participação em banca de Paulo Fernando S. Costa Jr..Sistema de Gerenciamento de Relatórios de Turno de Centro de Controle Operacional. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas Para Internet) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca.

3.
MAURO, R. C.; SOUZA, U. S.; PEREIRA, F. R. S.. Participação em banca de Rodrigo Vidal.Algoritmo de Autorização de Serviços Baseados em Autômatos Finitos. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas Para Internet) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
Cologne-Twente Workshop on Graphs and Combinatorial Optimization. Complexity of Geodetic Number Problem in Graphs with Maximum Degree 4. 2015. (Congresso).

2.
Conferencia Latinoamericana en Informática. Multivariate Investigation of NP-Hard Problems: Boundaries Between Parameterized Tractability and Intractability. 2015. (Congresso).

3.
Congresso da Sociedade Brasileira de Computação - JAI & CTD. Multivariate Investigation of NP-Hard Problems: Boundaries Between Parameterized Tractability and Intractability. 2015. (Congresso).

4.
Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS). The Flood-It game parameterized by the vertex cover number. 2015. (Congresso).

5.
6th Latin American Workshop on Cliques in Graphs. 2014. (Congresso).

6.
International Conference on Algorithmic Aspects of Information and Management. On P3-Convexity of Graphs with Bounded Degree. 2014. (Congresso).

7.
Simpósio Brasileiro de Pesquisa Operacional.Conexão de Terminais com Número Restrito de Roteadores e Elos. 2014. (Simpósio).

8.
12th Cologne-Twente Workshop on Graphs & Combinatorial Optimization. Parameterized And/Or Graph Solution. 2013. (Congresso).

9.
19th Annual International Computing and Combinatorics Conference. Parameterized Complexity of Flood-Filling Games on Trees. 2013. (Congresso).

10.
5th Latin American Workshop on Cliques in Graphs. Complexidade de Problemas de Conexão de Terminais. 2012. (Congresso).

11.
Congreso Latino-Iberoamericano de Investigación Operativa & Simpósio Brasileiro de Pesquisa Operacioinal. Inundação em Grafos. 2012. (Congresso).

12.
The 24th International Conference on Software Engineering and Knowledge Engineering. Optimal Variability Selection in Product Line Engineering. 2012. (Congresso).

13.
VII Escuela de Verano en Matemáticas Discretas. 2012. (Outra).

14.
Workshop Franco-brasileiro de Grafos e Otimização Combinatória. 2012. (Oficina).

15.
XVI Escuela Latinoamericana de Verano en Investigación Operativa.Complexidade Parametrizada e a Pesquisa Operacional. 2012. (Outra).

16.
Encontro Regional de Pesquisa Operacional. Aplicações de Grafos E/Ou. 2011. (Congresso).

17.
LAGOS - VI Latin-American Graphs, Algorithms and Optimization Symposium. 2011. (Simpósio).

18.
4th Latin American Workshop on Cliques in Graphs. Parameterized Tractability of Cost Problems for X-of-Y Graphs. 2010. (Congresso).

19.
Simpósio Brasileiro de Pesquisa Operacional.Roteamento ´otimo das linhas de ?onibus internas do campus UFRJ-Fundão. 2010. (Simpósio).

20.
LAGOS - V Latin-American Graphs, Algorithms and Optimization Symposium.. 2009. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
LOPES, B. ; BRAGA, C. ; SOUZA, U. S. . I Workshop Escola de Inverno em Teoria da Computação. 2017. (Congresso).

2.
SOUZA, U. S.; QUADROS, J. . XVI Olimpíada Brasileira de Informática (OBI2014). 2014. .

3.
FREITAS, R. ; SOUZA, U. S. . I Encontro Regional de Pesquisa Operacional do Norte. 2011. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Mateus Rodrigues Alves. Planar And/Or Graph Solution. Início: 2018. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense. (Orientador).

2.
Maurício da Silva Pires. Lógica e Algoritmos Parametrizados. Início: 2018. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense. (Orientador).

3.
Gabriel Lagoa Duarte. Treewidth e variações. Início: 2018. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense. (Orientador).

4.
Danilo Prado Lemes. Reconhecimento de Grafos (r,l). Início: 2018. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense. (Coorientador).

5.
Raphael Viana Corujo de Oliveira Moura. Knot-free vertex deletion. Início: 2018. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

6.
Matheus Souza D'Andrea Alves. Coloração de Grafos(r,l). Início: 2018. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense. (Orientador).

7.
Victor Rangel Ramos. Cliquewidth. Início: 2017. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense. (Orientador).

Tese de doutorado
1.
Janio Carlos Nascimento Silva. Multi-improvement. Início: 2018. Tese (Doutorado em Computação) - Universidade Federal Fluminense. (Orientador).

2.
Felipe Pereira do Carmo. Trilhas eulerianas propriamente coloridas. Início: 2017. Tese (Doutorado em Computação) - Universidade Federal Fluminense. (Orientador).

3.
Alexsander Andrade de Melo. Algoritmos Parametrizados sobre Conexão de Terminais. Início: 2017. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Coorientador).

4.
Anne Rose Alves Federice Marinho. Grafos (k,l). Início: 2017. Tese (Doutorado em Computação) - Universidade Federal Fluminense. (Orientador).

5.
Tanilson Dias dos Santos. Grafos de intersecção de caminhos em grades. Início: 2017. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro. (Coorientador).

6.
Alan Diego Aurélio Carneiro. Algoritmos Parametrizados para Resolução de Deadlock. Início: 2016. Tese (Doutorado em Computação) - Universidade Federal Fluminense, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Isela Mendoza del Castillo. A Framework for Combining Verification and Validation Methods of Software. 2018. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Uéverton dos Santos Souza.

2.
Priscila Pereira de Camargo. Sobre Cliques, Conjuntos Independentes e 2-Contaminação em Grafos Prismas Complementares. 2018. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, . Orientador: Uéverton dos Santos Souza.

3.
Alexsander Andrade de Melo. Conexão de Terminais com Limitação de Roteadores: Complexidade e Relação com Fluxos e Caminhos Disjuntos. 2017. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Uéverton dos Santos Souza.

4.
Alan Diêgo Aurélio Carneiro. Sobre Deadlocks e sua Resolução: Dos Modelos de Grafos de Espera à Complexidade Computacional. 2016. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Uéverton dos Santos Souza.

Tese de doutorado
1.
Carlos Vinícius Gomes Costa Lima. Complexity and Algorithms Related to Two Classes of Graph Problems. 2017. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Uéverton dos Santos Souza.

Trabalho de conclusão de curso de graduação
1.
Mateus Rodrigues Alves. Análise de complexidade do problema de encontrar o subgrafo solução para grafos E/OU planares. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Uéverton dos Santos Souza.

2.
Matheus Souza D'Andrea Alves. Coloração de Grafos(r,l). 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Uéverton dos Santos Souza.

3.
Leonardo Rocha Perazzini. Um algoritmo pseudo-polinomial para o problema de cortes guilhotinados em placas. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Uéverton dos Santos Souza.

4.
Victor Rangel Ramos. Modelagem do Problema de Alocação em Quadro de Horários Utilizando Algoritmo de Fluxo Máximo. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Uéverton dos Santos Souza.

5.
Leonardo de Souza Preuss. Cut-ExpectiMinimax(d): Análise e desenvolvimento de um jogador-máquina aprimorado para o jogo Hanafuda. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas Para Internet) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca. Orientador: Uéverton dos Santos Souza.

6.
Fredrico de Sousa Epifânio. Análise e Formulação do Problema de Alocação de Tutores em Aplicações de Provas. 2012. Trabalho de Conclusão de Curso. (Graduação em Tecnologia em Sistemas de Computação) - Universidade Federal Fluminense. Orientador: Uéverton dos Santos Souza.

7.
Rafael Pinto Medeiros. Versionamento de Software Utilizando Grafos E/Ou. 2010. Trabalho de Conclusão de Curso. (Graduação em Tecnologia em Sistemas de Computação) - Universidade Federal Fluminense. Orientador: Uéverton dos Santos Souza.

8.
Juscilei Carlos Henrique. Uma Introdução à Teoria dos Jogos e suas Aplicações. 2010. Trabalho de Conclusão de Curso. (Graduação em Tecnologia em Sistemas de Computação) - Universidade Federal Fluminense. Orientador: Uéverton dos Santos Souza.

Iniciação científica
1.
Leonardo Rocha Perazzini. Um algoritmo pseudo-polinomial para o problema de cortes guilhotinados em placas. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Uéverton dos Santos Souza.

2.
Orlando Gabriel Ramos da Costa. Algoritmos Combinatórios para a Resolução de Problemas Matemáticos. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Uéverton dos Santos Souza.

3.
Matheus Souza D'Andrea Alves. Obstruções de Grafos (2,1). 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Uéverton dos Santos Souza.

4.
Rian Tavares. Algoritmos e Complexidade para o Problema de Escalonamento em Redes de Atividades com Modelo de Dependência X-Y. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Uéverton dos Santos Souza.

5.
Pedro Ramos. Análise e Complexidade de Algoritmos para o Problema do Mínimo Subgrafo Equivalente.. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Uéverton dos Santos Souza.

6.
Gabriel Guimarães Garcia. Inundação em Grafos. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Uéverton dos Santos Souza.

7.
Luiz Antonio Junior. Jogos Combinatórios e complexidade. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Centro Federal de Educação Tecnológica Celso Suckow da Fonseca. Orientador: Uéverton dos Santos Souza.



Inovação



Projetos de pesquisa


Educação e Popularização de C & T



Livros e capítulos
1.
SANTOS, V. F. ; SOUZA, U. S. . Uma Introdução à Complexidade Parametrizada. In: XXXV Congresso da Sociedade Brasileira de Computação. (Org.). Anais da 34º Jornada de Atualização em Informática. 1ed.: , 2015, v. , p. 232-273.


Cursos de curta duração ministrados
1.
PEDROSA, L. L. C. ; SOUZA, U. S. . Uma apresentação a Algoritmos e Complexidade Parametrizada. 2017. (Curso de curta duração ministrado/Especialização).




Página gerada pelo Sistema Currículo Lattes em 11/12/2018 às 16:30:50