Renato José da Silva Carmo

possui graduação em Bacharelado em Ciência da Computacao pela Universidade de São Paulo (1986), mestrado em Ciência da Computação pela Universidade de São Paulo (1994) e doutorado em Ciência da Computação pela Universidade de São Paulo (2005). Atualmente é professor associado da Universidade Federal do Paraná. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente na área de Algoritmos

Informações coletadas do Lattes em 24/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciências da Computação

2000 - 2005

Universidade de São Paulo
Título: Dois Problemas de Busca
Orientador: em Pontifícia Universidade Católica do Rio de Janeiro ( Eduardo Laber)
com Yoshiharu Kohayakawa. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Searching; Random partial orders; Online Algorithms; Competitive Analisys.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação. Grande Área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística.

Mestrado em Ciências da Comunicação

1987 - 1994

Universidade de São Paulo
Título: O Problema do Subgrafo Planar Ótimo,Ano de Obtenção: 1994
Yoshiko Wakabayashi.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Greedy Algorithm; Planarity Testing; Approximation Algorithms.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação. 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.

Graduação em Bacharelado em Ciencias da Computacao

1983 - 1986

Universidade de São Paulo

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Italiano

Compreende Bem, Fala Pouco, Lê Bem.

Bandeira representando o idioma Francês

Compreende Pouco, Lê Bem.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.

Seção coletada automaticamente pelo Escavador

Organização de eventos

CARMO, R. . III Workshop de Pesquisa em Computação dos Campos Gerais. 2019. (Congresso).

Carmo, Renato . II Workshop de Pesquisa em Computação dos Campos Gerais. 2017. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

20th Haifa Workshop on Interdisciplinary Applications of Graphs, Combinatorics and Algorithms. 2020. (Oficina).

Global Virtual SageDays 109. 2020. (Congresso).

SCIP Online Workshop 2020. 2020. (Oficina).

São Paulo School of Advanced Science on Algorithms, Combinatorics and Optimization. 2016. (Outra).

Latin American Workshop on Cliques in Graphs. Maximum Clique via MaxSat and Back Again. 2014. (Congresso).

Latin American Workshop on Cliques in Graphs. An Experimental Analysis of Exact Algorithms for the Maximum Clique Problem. 2014. (Congresso).

Latin American Workshop on Cliques.Branch and Bound Algorithms for the Maximum Clique Problem. 2010. (Oficina).

Workshop em Fundamentos da Ciência da Computação: Algoritmos Combinatórios e Estruturas Discretas. 2007. (Oficina).

Congresso da Sociedade Brasileira de Computação. Dois Problemas de Busca. 2006. (Congresso).

Brazilian Symposium on Graphs, Algorithms and Combinatorics. 2005. (Simpósio).

Latin American Conference on Combinatorics, Graphs and Applications. 2004. (Congresso).

Latin American Theoretical Informatics (LATIN). Querying Priced Information in Databases: The Conjunctive Case. 2004. (Congresso).

Workshop on Combinatorics, Probability and Algorithms. 2003. (Encontro).

Fórum Internacional de Software Livre 2002. 2002. (Congresso).

Latin American Theoretical INformatics (LATIN). Searching in Partially Ordered Sets. 2002. (Congresso).

Workshop on Combinatorics, Random Structures, and Algorithms. 2002. (Oficina).

Brazilian Symposium on Graphs, Algorithms and Combinatorics. 2001. (Simpósio).

CIMPA School on Combinatorics and Algorithms. 2001. (Outra).

Col?quio Brasileiro de Matematica. 2001. (Encontro).

Forum Internacional Software Livre 2001. 2001. (Outra).

Workshop de Software Livre.Um Modelo de Gestão Eficiente de Recursos Computacionais. 2001. (Oficina).

Escola de Computacao. 2000. (Outra).

Workshop em Algoritmos de Aproximacao. 2000. (Oficina).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: João Pedro Winckler Bernardi

SILVA, M. V. G.; ZATESKO, L. M.;CARMO, R.; Almeida, S. M.. HOMOMORFISMOS PARA COLORAÇÃO DE GRAFOS. 2020. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Edmilson Pereira da Cruz

GUEDES, A. L. P.; GROSSHAUS, M. E.;Carmo, Renato; Almeida, S. M.. Grafos Biclique de Grafos de Bi-Intervalos e Bi-Arco-Circulares. 2018. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Mayara Midori Omai

Almeida, S. M.; BREGA, D. S. N.; MACHADO, R.;GUEDES, A. L. P.Carmo, Renato. Colorações Distintas nos Vértices Adjacentes em Potências de Caminho. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Tecnológica Federal do Paraná.

Aluno: Henrique Hepp

DUARTE JUNIOR, E. P.;Cohen, J.Carmo, Renato; Groshaus, M.. Alocação de Recursos com Máxima Conectividade em Redes com Topologia Arbitrária. 2018. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Arthur Emilio Garcete Ferreira

LIMA, M. N.; ROCHA, M. N.;Carmo, Renato. Um Estudo sobre a Identificação de Botnets Geradoras de Ataques DDoS pelo Processo de Grafos Causais. 2018. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Nicollas Mocelin Sdroievski

SILVA, M. V. G.; VIGNATTI, A. L.;Carmo, Renato; SANTOS, V. F.. Conhecimento Zero Estatístico e Reduções Eficientes para o Problema MKTP. 2018. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Jonilso Novecoski

Carmo, RenatoGUEDES, A. L. P.; SILVA, M. V. G.. Uma Introdução à Complexidade Computacional Parametrizada. 2013. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Ricardo Tavares de Oliveira

SILVA, F.Carmo, Renato; SA, C. C.. Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT Não Clausal para as Instâncias Obtidas. 2012. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Alexandre Luiz Junqueira Hadura Albano

LAGO, A. P.; FERREIRA, C. E.;Carmo, Renato. Reticulados de Conceitos. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Thiago Garrett

Duarte, Elias P.Carmo, RenatoBona, Luis C. E.; MARINHO, M.. Seleção de Nodos para a Execução de Experimentos no PlanetLab Baseada no Monitoramento de Estabilidade das Interações Fim-a-Fim. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Bruno César Ribas

SILVA, F.Carmo, Renato; FINGER, M.;CASTILHO, M. A.. Satisfatibilidade Não-Clausal Restrita às Variáveis de Entrada. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Eleandro Maschio Krynski

Direne, A. I.;CARMO, R.. UMA ABORDAGEM METACOGNITIVA ATRAVES DE MÚLTIPLAS REPRESENTACOES EXTERNAS PARA O ENSINO DE PROGRAMAC AO DE COMPUTADORES. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Regina de Cássia Nandi

GUEDES, A. L. P.CARMO, R.. Isomorfismo de Grafos Aplicado à Comparação de Impressões Digitais. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Zeno Stivanin

GUEDES, A. L. P.CARMO, R.. Traçado Automático de Hipergrafos Direcionados. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Eduardo Costa

Pozo, A. T. R.;CARMO, R.. Um algoritmto de Pg baseado em ES. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: José Augusto Soares Prado

DONADELLI JR., J.CARMO, R.. Análise experimental do quicksort probabilístico com gerador de números pseudo-aleatórios penta-independente. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Flávio Rogério Uber

HARA, C. S.; ALVES, M. H.; FABRO, M. D.;CARMO, R; GOMES JUNIOR, L. C.; LOSCIO, B. F.. Garantia de Integridade em Bases RDF. 2019. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Guilherme Alex Derenievicz

SILVA, F.CASTILHO, M. A.CARMO, R; Grapiglia, G.; QUEIROZ, T. A.. Uma condição suficiente para otimização global sem retrocesso. 2018. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Santiago Viertel

VIGNATTI, A. L.;GUEDES, A. L. P.CARMO, R.; Almeida, S. M.; SA, C. C.. Small World Models and a Compact Routing Scheme. 2018. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Ricardo Tavares de Oliveira

SILVA, F.CASTILHO, M. A.CARMO, R.; LUGO, G. A. G.; FARIA, L.. Arco Consistência Generalizada em Codificações SAT Relativas. 2017. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Jaime Cohen

Duarte, Elias P.Carmo, RenatoGUEDES, A. L. P.; SILVA, M. V. G.; SONG, S. W.. Algoritmos Paralelos para Árvores de Cortes e Medidas de Centralidade em Grafos. 2013. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Eleandro Maschio Krynski

DIRENE, A. I.;Carmo, Renato; Fabro, J. A.; NORONHA, R. V.; SILVA, W.. Modelagem do Processo de Aquisição do Conhecimento apoiado por Ambientes Inteligentes. 2013. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Guilherme Alex Derenievicz

SILVA, F.CARMO, R.; WEINGAERTNER, D.; SILVA, M. V. G.. Análise intervalar aplicada à programação não linear. 2016. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Santiago Viertel

VIGNATTI, A. L.;GUEDES, A. L. P.CARMO, R.. Esquemas de Roteamento Compactos em Grafos de Mundo Pequeno. 2016. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: Jaime Cohen

Duarte, Elias P.Carmo, RenatoGUEDES, A. L. P.; SILVA, M. V. G.. Criterios de Conectividade em Grafos. 2011. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: João Pedro Winckler Bernardi

SILVA, M. V. G.; ZATESKO, L. M.;CARMO, R; GROSSHAUS, M. E.. O PROBLEMA DE COLORAÇÃO DE ARESTAS EM GRAFOS ARCO-CIRCULARES E EM GRAFOS CORDAIS. 2019. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Aleffer Rocha

Almeida, S. M.; GROSSHAUS, M. E.;CARMO, R.. COLORAÇÃO ARCO-ÍRIS EM ALGUMAS CLASSES DE GRAFOS. 2019. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Tecnológica Federal do Paraná.

Aluno: David Reksidler Junior

SILVA, M. V. G.;CARMO, R.GUEDES, A. L. P.. Algoritmos gulosos em grafos lei de potência. 2019. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Nicollas Mocelin Sdroievski

SILVA, M. V. G.;Carmo, RenatoCohen, J.. Conhecimento Zero Estatístico e Reduções Eficientes para o Problema MKTP. 2018. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Arthur Emilio Garcete Ferreira

LIMA, M. N.;CARMO, R.; ROCHA, M. N.. Um Método para Detecção de Botnets Geradoras de DDoS baseado em Processamento de Sinais em Grafos. 2017. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Edmilson Pereira da Cruz

GUEDES, A. L. P.; GROSSHAUS, M. E.;CARMO, R.SILVA, F.. Grafos Biclique de Grafos de Bi-Intervalos e Bi-Arco-Circulares. 2017. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Henrique Hepp

DUARTE JUNIOR, E. P.;Cohen, J.CARMO, R.. Avaliação experimental das medidas de conectividade baseadas em cortes de vértices e sua aplicação no problema da k-mediana. 2017. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Gabriel Augusto Gonçalves Sobral

GUEDES, A. L. P.; GROSSHAUS, M. E.;CARMO, R.; VIGNATTI, A. L.. Biclique aresta-coloração por listas. 2016. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Santiago Viertel

GUEDES, A. L. P.; VIGNATTI, A. L.;Carmo, RenatoCohen, J.. Algoritmos de Aproximação aplicados em Problemas de Cortes em Grafos. 2013. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Thiago Henrique de Araújo Lemos

GUEDES, A. L. P.; GROSSHAUS, M. E.;Carmo, Renato. Grafos de Fullereno. 2013. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Ricardo Tavares de Oliveira

SILVA, F.Carmo, RenatoCASTILHO, M. A.. Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT Não Clausal para as Instâncias Obtidas. 2012. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Grazielle Vernize

ALBINI, L. C. P.;Carmo, Renato; HEXSEL, R. A.. Confiança em Redes Ad Hoc Móveis. 2012. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Bruna Vello Colnago

GUEDES, A. L. P.Carmo, RenatoSILVA, F.. Uma proposta para a formalização do problema de clusterização em grafos. 2011. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Eleandro Maschio Krynski

DIRENE, A. I.;Carmo, Renato; Urban, A. E.. UMA ABORDAGEM METACOGNITIVA ATRAVES DE MÚLTIPLAS REPRESENTACOES EXTERNAS PARA OENSINO DE PROGRAMACAO DE COMPUTADORES. 2005. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Matheus Costacurta

ZATESKO, L. M.; Almeida, S. M.;CARMO, R; Maciel, D. R.. ALINHAMENTOS GLOBAIS DE DUAS SEQUÊNCIAS GENÉTICAS: RESULTADOS ÓTIMOS EM ESPAÇO LINEAR. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Tecnológica Federal do Paraná.

Aluno: Rafael Sanfelice Castilho, Luan Varaschim Welter

SILVA, F.Carmo, Renato; DERENIEVICZ, G. A.. Um estudo sobre Nonogramas. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: João Paulo Kubaszewski Castilho

WUERGES, E.;CARMO, R.GUEDES, A. L. P.. UM ALGORITMO DE RECOLORAÇÃO DE ARESTAS DE GRAFOS. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.

Aluno: Lucas Ferreira Glir

GUEDES, A. L. P.CARMO, R.; ZATESKO, L. M.. Quadrado do grafo linha de bipartidos de permutação. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: João Pedro Winckler Bernardi

ZATESKO, L. M.; Almeida, S. M.;Carmo, Renato; WUERGES, E.. O PROBLEMA DA COLORAÇÃO DE ARESTAS NOS GRAFOS ARCO-CIRCULARES. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.

Aluno: Stephan Barros Sumi

MULLER JUNIOR, B.; DELGADO, A. L. N.;Carmo, Renato. UMA ABORDAGEM DE TESTES DE UNIDADE AUTOMATIZADOS PARA APLICAÇÕES WEB LEGADO. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Lior Spach

SPINOSA, E. J.;Carmo, Renato; TODT, E.. NOVEL WAY TO COMPUTE COST AND SELECT PROTOTYPES IN OPTIMUM PATH FOREST CLASSIFIERS. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Marco Antonio Pio Mendes

GUEDES, A. L. P.CARMO, R.; OLIVEIRA, R. T.. Alianças em Grafos. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Alesom Zorzi

ZATESKO, L. M.; Almeida, S. M.;Carmo, Renato. CLASSIFICAÇÃO DE GRAFOS-JUNÇÃO QUANTO AO ÍNDICE CROMÁTICO. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Fronteira Sul.

Aluno: Henrique Hepp

DUARTE JUNIOR, E. P.;Cohen, J.CARMO, R.. UTILIZAÇÃO DA ÁRVORE SPQR PARA MELHORAR A EFICIÊNCIA DO CÁLCULO DAS MEDIDAS DE CONECTIVIDADE BASEADAS EM CORTES DE VÉRTICES. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: William Sussumo Komura

VIGNATTI, A. L.;Carmo, RenatoGUEDES, A. L. P.. Estudo sobre a estrutura de árvore Van Emde Boas. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Fernando Seiti Yamamoto

GUEDES, A. L. P.Carmo, Renato; VIGNATTI, A. L.. Algoritmo Exato para a Árvore de Steiner Euclidiano no Plano. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Edmilson Pereira da Cruz

GUEDES, A. L. P.Carmo, Renato; VIGNATTI, A. L.. Árvores geradoras independentes. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Fabrício Schiavon Kolberg

Carmo, RenatoGUEDES, A. L. P.; KUNZLE, L. A.. Uma Introdução à Lógica Aplicada à Programação. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná.

Aluno: José Cláudio Moretti Junior

GUEDES, A. L. P.Carmo, Renato; VIGNATTI, A. L.. Um algoritmo não exato para coloração de grafos. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná.

Aluno: Rafael Veiga Pocai

Carmo, RenatoGUEDES, A. L. P.Zuge, Alexandre P.. Classes Combinatórias, Funções Geradoras e Aproximações Assintóticas. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná.

Aluno: Cássio Jandir Pagnoncelli

Carmo, RenatoGUEDES, A. L. P.Cohen, J.. Somas hipergeométricas definidas e indefinidas. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná.

Aluno: Aramis Stach Haiduski Fernandes

Carmo, RenatoGUEDES, A. L. P.; OLIVEIRA, R.. Um algoritmo parametrizado para calcular o Conjunto Independente de peso Máximo de um Grafo. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná.

Aluno: Gabriel Augusto Gonçalves Sobral

GUEDES, A. L. P.Carmo, Renato; VIGNATTI, A. L.. Aplicando o Problema do Caixeiro Viajante num Método de Construção de Árvores Filogenéticas. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Everaldo Gomes

GUEDES, A. L. P.CARMO, R.; HEXSEL, R. A.. Transformação de Grafo de Fluxo de Controle para Grafo de Fluxo de Dados e Exploração de Paralelismo. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná.

Aluno: JEAN F

GUEDES, A. L. P.CARMO, R.. de Souza, Marcelo K. L. Carneiro e Clayton A. Luiz.Intersecção de Poliédros. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná.

Aluno: Tiago Vignatti

DONADELLI JR., J.CARMO, R.. Sistemas de Prova Interativa com conhecimento zero. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná.

Aluno: Felipe Velloso Alves

DONADELLI JR., J.CARMO, R.. Algoritmos distribuídos probabilísticos. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná.

Aluno: Ricardo Samila

DONADELLI JR., J.CARMO, R.. Modelos de grafos aleatórios e aplicações. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná.

KIKUTI, D.; SILVA, A. F.;Carmo, Renato. Magistério Superior. 2014. Universidade Estadual de Maringá.

TACLA, C.; DELGADO, M.; WEHRMEISTER, M. A.;Carmo, Renato. Magistério Superior. 2014. Universidade Tecnológica Federal do Paraná.

KIKUTI, D.; COSTA, Y.;Carmo, Renato. Magistério Superior. 2014. Universidade Estadual de Maringá.

DELGADO, M. R. B. S.;CARMO, R.; TACLA, C. A.; PEDRONI, V. A.. Magistério Superior. 2012. Universidade Tecnológica Federal do Paraná.

SETTI, M. O. G.;Carmo, Renato; ALBINI, L. C. P.; MERKLE, L. E.; LUGO, G. A. G.. Magistério Superior. 2012. Universidade Tecnológica Federal do Paraná.

CARMO, R.. Magistério Superior. 2002. Universidade Federal do Paraná.

CARMO, R.. Magistério Superior. 2002. Universidade Federal do Paraná.

CARMO, R.. Programa de Iniciação Científica - PUC-PR. 1998. Conselho Nacional de Desenvolvimento Científico e Tecnológico.

CARMO, R; DELGADO, A. L. N.; Menotti, D.. Teste Seletivo para Professor Substituto. 2018. Universidade Federal do Paraná.

Carmo, Renato; HEXSEL, R. A.; SANCHES, L.. Seleção de Programa de Pós-Graduação. 2012. Universidade Federal do Paraná.

CARMO, R.; SUGA, N.; Ferreira Jr., S.. Evento de Iniciação Científica (EVINCI). 2007. Universidade Federal do Paraná.

CARMO, R.GUEDES, A. L. P.Cohen, J.. ACM International Programming Contest. 2007. Association for Computer Machinery.

CARMO, R.. Seleção de Professor Substituto. 2006. Universidade Federal do Paraná.

CARMO, R.. Seleção de Professor Substituto. 2006. Universidade Federal do Paraná.

CARMO, R.. Estágio Probatório de Servidor Público. 2006. Universidade Federal do Paraná.

CARMO, R.. Seleção de Professor Substituto. 2005. Universidade Federal do Paraná.

GUEDES, A. L. P.CARMO, R.. Traçado Automático de Hipergrafos Direcionados. 2005. Universidade Federal do Paraná.

CARMO, R.. Evento de Iniciação Científica (EVINCI). 1998. Universidade Federal do Paraná.

Seção coletada automaticamente pelo Escavador

Orientou

Paulo Guilherme Inça

Algoritmos para o Problema do Clique Máximo; Início: 2018; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Matheus Vinicius Correa

Decomposição Modular de Grafos; Início: 2018; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná; (Orientador);

André Luis da Silva Machado

A definir; Início: 2017; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná; (Orientador);

Guilherme Manteuffel Bettu

Busca em Tempo Linear em Vizinhanças de Tamanho Exponencial; Início: 2014; Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; (Orientador);

Odair Mario Ditkun Junior

Otimização Combinatória; Início: 2018; Iniciação científica (Graduando em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; (Orientador);

Gerhard Besser Neto

Estágio; Início: 2019; Orientação de outra natureza; Universidade Federal do Paraná; (Orientador);

Helds de Medeiros Souza

Classificação de Lançamentos Contábeis; 2020; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Renato José da Silva Carmo;

Alane Marie de Lima

Algoritmos exatos para o problema da coloração de grafos; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato José da Silva Carmo;

Fabrício Schiavon Kolberg

Grafos Bi-Arco Circulares; 2016; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato José da Silva Carmo;

Cleverson Sebastião dos Anjos

Análise Experimental de Algoritmos; 2015; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Renato José da Silva Carmo;

Jonilso Vianei Novacoski

Uma Introdução à Complexidade Computacional Parametrizada; 2013; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato José da Silva Carmo;

Alexandre P

Züge; Solução Exata do Problema da Clique Máxima; 2011; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Renato José da Silva Carmo;

Leandro Miranda Zatesko

Novel Procedures for Graph Edge-colouring; 2018; Tese (Doutorado em Informática) - Universidade Federal do Paraná,; Orientador: Renato José da Silva Carmo;

Alexandre Prusch Züge

Algoritmos para o Problema da Clique Máxima: análise e comparação experimental; 2017; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Renato José da Silva Carmo;

Gabrielle Rodrigues Brancalhão

Insatisfazibilidade Minimal: Complexidade e Algoritmos; 2019; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Gustavo Aschwanden Soviersovski

Insatisfazibilidade Minimal: Complexidade e Algoritmos; 2019; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Jedian Marcos Brambilla

Classes limítrofes para os problemas de Satisfazibilidade; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Guilherme Bastos de Oliveira

Aceleração de Algoritmos Para o Problema da Clique Máxima; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Mateus Ravedutti Lucio Machado

Algoritmos parametrizados para o problema de Cobertura por Vértices em Grafos; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Fernando Rodrigo Bilinski

Otimização de código através do uso de interfaces entre Python e C; 2017; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Rodrigo Camargo dos Reis

Estimativa on-line de tempo de execução para algoritmos de branch-and-bound; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Paulo Guilherme Inça

Estimativa on-line de tempo de execução para algoritmos de branch-and-bound; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Gustavo Higuchi Gaspareto

Melhoria de Limitante para o Problema do Clique Máximo Baseada em Coloração; 2016; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Felix Yowtang Liu

Um Algoritmo de Teste de Propriedades Aplicado ao Problema da Clique; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Manuela Lais Puhl

Aplicações do Problema do Clique Máximo; 2014; Trabalho de Conclusão de Curso; (Graduação em Matemática Industrial) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Fabrício Schiavon Kolberg

Uma Introdução à Lógica Aplicada à Programação; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Cássio Jandir Pagnoncelli

Somas Hipergeométricas Definidas e Indefinidas; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Aramis Stach Haiduski Fernandes

Um algoritmo parametrizado para calcular o Conjunto Independente de peso Máximo de um Grafo; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Rafael Veiga Pocai

Classes Combinatórias, Funções Geradoras e Aproximações Assintóticas; 2013; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Viviane Neves Batata

Correlação Vestibular x Desempenho Acadêmico; 1994; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Clevan Ricardo da Costa, Jorge Sucaria Leonel

Pascal Feito na Hora; 1992; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Pedro

Lambda-cálculo e LISP; 1989; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Jedian Marcos Brambilla

Combinatória Analítica; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Ermelindo Paulo Brevighlieri Schultz

Construções com Régua e Compasso; 2015; Iniciação Científica; (Graduando em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Rafael Veiga Pocai

Combinatória Analítica; 2013; Iniciação Científica; (Graduando em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Paulo Guilherme Inça

Estimativa de Tempo de Conclusão de Algoritmos de Branch and Bound; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Fabrício Schiavon Kolberg

O Algoritmo de McKay; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Cássio Jandir Pagnoncelli

Somas Hipergeométricas; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Rafael Veiga Pocai

Combinatória Analítica; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Cássio Jandir Pagnoncelli

Grafos Extremais Quanto ao Número de Cliques; 2011; Iniciação Científica; (Graduando em Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Fabrício Schiavon Kolberg

O Problema de Isomorfismo de Grafos; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Rafael Veiga Pocai

Funções Geradoras Multivariadas; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Allam Marcos Campanini Matsubara

Criptografia; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

[Nome removido após solicitação do usuário]

Matemática Discreta; 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná, Pro Reitoria de Graduação da UFPR; Orientador: Renato José da Silva Carmo;

Guilherme Manteuffel Bettu

Algoritmos e Teoria dos Grafos; 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná, Pro Reitoria de Graduação da UFPR; Orientador: Renato José da Silva Carmo;

Gabriel Salomon Aniceto

Matemática Discreta; 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná, Pro Reitoria de Graduação da UFPR; Orientador: Renato José da Silva Carmo;

Guilherme Manteuffel Bettu

Algoritmos e Teoria dos Grafos; 2016; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

André Luis da Silva Machado

Matemática Discreta; 2015; Orientação de outra natureza; (Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

João Denis Rodrigues Cabral

Matemática Discreta; 2015; Orientação de outra natureza; (Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Guilherme Manteuffel Bettu

Algoritmos e Teoria dos Grafos; 2015; Orientação de outra natureza; (Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná, Pró-Reitoria de Graduação da UFPR; Orientador: Renato José da Silva Carmo;

Arthur Pechebea da Costa

Estágio Supervisionado; 2015; Orientação de outra natureza; (Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná, Companhia Paranaense de Energia Elétrica; Orientador: Renato José da Silva Carmo;

Henrique Chaves Pacheco

Matemática Discreta; 2014; Orientação de outra natureza; (Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Felipe do Nascimento

Estágio Supervisionado; 2014; Orientação de outra natureza; (Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Reginaldo Santos Jr

; Estágio Supervisionado; 2014; Orientação de outra natureza; (Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná, Companhia Paranaense de Energia Elétrica; Orientador: Renato José da Silva Carmo;

Leopoldo Orich Janz Neto

Estágio Supervisionado; 2014; Orientação de outra natureza; (Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Bruno Fantin da Costa

Estágio Supervisionado; 2013; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Victor Tarabola Cortiano

Matemática Discreta; 2013; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Bruno Henrique Prybecz

Matemática Discreta; 2013; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Alexandre Prusch Züge

Tópicos em Algoritmos; 2013; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Cássio Jandir Pagnoncelli

Estágio Supervisionado; 2012; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Rafael Veiga Pocai

Matemática Discreta; 2012; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Cássio Jandir Pagnoncelli

Matemática Discreta; 2012; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Cássio Jandir Pagnoncelli

Matemática Discreta; 2011; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Cássio Jandir Pagnoncelli

Matemática Discreta; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Murilo Wellington Soares de Lima

Matemática Discreta; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Leandro Miranda Zatesko

Matemática Discreta; 2007; Orientação de outra natureza; (Bacharelado Em Ciencias da Computacao) - Universidade Federal do Paraná; Orientador: Renato José da Silva Carmo;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Yoshiko Wakabayashi

O Problema do Subgrafo Planar Ótimo; 1994; Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo,; Orientador: Yoshiko Wakabayashi;

YOSHIHARU KOHAYAKAWA

Dois Problemas de Busca; 2005; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Yoshiharu Kohayakawa;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • ZATESKO, L.M. ; ZORZI, A. ; CARMO, R. ; GUEDES, A.L.P. . Edge-colouring graphs with bounded local degree sums. DISCRETE APPLIED MATHEMATICS , v. 281, p. 268-283, 2020.

  • ZATESKO, L. M. ; BERNARDI, J. P. W. ; Almeida, S. M. ; CARMO, R. ; GUEDES, A. L. P. . A Connectivity-based Decomposition for Graph Edge-colouring. Matemática Contemporânea , v. 46, p. 156-164, 2019.

  • ZÜGE, ALEXANDRE PRUSCH ; Carmo, Renato . On comparing algorithms for the maximum clique problem. DISCRETE APPLIED MATHEMATICS , v. 247, p. 1-13, 2018.

  • LIMA, A. M. ; Carmo, Renato . Exact Algorithms for the Graph Coloring Problem. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 25, p. 57-73, 2018.

  • Züge, A. P. ; CARMO, R. . Maximum Clique via MaxSat and Back Again. MATEMATICA CONTEMPORANEA , v. 44, p. 1-10, 2015.

  • ANJOS, C. S. ; Züge, A. P. ; CARMO, R. . An Experimental Analysis of Exact Algorithms for the Maximum Clique Problem. MATEMATICA CONTEMPORANEA , v. 44, p. 10-30, 2015.

  • Carmo, Renato ; Züge, Alexandre . Branch and bound algorithms for the maximum clique problem under a unified framework. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE) , v. 18, p. 137-151, 2012.

  • CARMO, R. ; FEDER, T. ; KOHAYAKAWA, Y. ; LABER, E. S. ; MOTWANI, R. ; OCALLAGHAN, L. ; PANIGRAHY, R. ; THOMAS, D. . Querying priced information in databases. ACM Transactions on Algorithms , v. 3, p. 9, 2007.

  • CARMO, R. ; DONADELLI JR., J. ; KOHAYAKAWA, Y. ; LABER, E. S. . Searching in random partially ordered sets. Theoretical Computer Science , v. 321, p. 41-57, 2004.

Seção coletada automaticamente pelo Escavador

Outras produções

CARMO, R. ; Züge, A. P. ; ANJOS, C. S. . maxcliquebb. 2020.

CARMO, R. ; GUEDES, A. L. P. . Sistema de Acompanhamento Acadêmico. 2006.

GUEDES, A. L. P. ; CARMO, R. . Matriculeitor. 2006.

CARMO, R. ; FEDER, T. ; KOHAYAKAWA, Y. ; LABER, E. S. ; MOTWANI, R. ; OCALLAGHAN, L. ; PANIGRAHY, R. ; THOMAS, D. . A Two--Player Game on Graph Factors. 2004.

LABER, E. S. ; CARMO, R. ; KOHAYAKAWA, Y. . Querying Priced Information in Databases: The Conjunctive Case. 2003.

CARMO, R. . Análise de Algoritmos. 2007. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

CARMO, R. . Complexidade Computacional. 2007. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

CARMO, R. . Introdução à Programação de Computadores. 2005. (Desenvolvimento de material didático ou instrucional - Manual do Professor).

CARMO, R. . Matemática Discreta. 2005. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

CARMO, R. . Introdução à Programação. 2005. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2017 - Atual

    Teoria de Grafos: Otimização Combinatória, Complexidade Computacional, Algoritmos e Classes, Projeto certificado pelo(a) coordenador(a) André Luiz Pires Guedes em 19/10/2017., Descrição: CNPq Proc. 428941/2016-8 Problemas de teoria dos grafos, alguns considerados difíceis (NP-difíceis), serão estudados e classes de grafos em que tais problemas admitem soluções eficientes serão pesquisados. Estudaremos suas complexidades computacionais, seus algoritmos e buscaremos por classes de grafos nas quais o comportamento do ponto de vista de complexidade possa ser determinado. Propomos o estudo de: soluções exatas para problemas NP-difíceis; dois problemas de coloração de arestas, restringindo a classes específicas e buscando determinar sua complexidade; problemas relacionados com o grafo biclique; um problema relacionado com conectividade, e técnicas espectrais para algoritmos em grafos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (4) / Doutorado: (5) . , Integrantes: Renato José da Silva Carmo - Integrante / André Luiz Pires Guedes - Coordenador / Jaime Cohen - Integrante / Andre Luís Vignatti - Integrante / Cleverson Sebastião dos Anjos - Integrante / Leandro Miranda Zatesko - Integrante / Murilo Vicente Gomes da Silva - Integrante / Jair Donadelli Jr - Integrante / Alexandre Prusch Züge - Integrante / Marina Groshaus - Integrante / Silvio Luiz Bragatto Boss - Integrante / Mario Leston Rey - Integrante / Sheila Morais de Almeida - Integrante / Francisco Soulignac - Integrante., Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2009 - 2013

    Avanço Global e Integrado da Matemática Brasileira e Contribuições à Região, Descrição: http://milenio.impa.br/ http://inctmat.impa.br/opencms/opencms/pt/areas/combinatoria.html. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renato José da Silva Carmo - Integrante / Jacob Palis - Coordenador.

  • 2005 - 2007

    Pseudo-Aleatoriedade em Estruturas Discretas e Algoritmos, Descrição: Estudo de objetos pseudo-aleatórios, considerando tanto os problemas teóricos fundamentais da área como também os problemas práticos. Do lado teórico, enfatiza-se os problemas extremais tipo Turán para grafos e hipergrafos, teoria de Ramsey, e lema de regularidade de Szemerédi. Do lado aplicado, a influência dos geradores de números pseudo-aleatórios no desempenho de algoritmos probabilísticos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (3) . , Integrantes: Renato José da Silva Carmo - Integrante / Jair Donadelli Jr. - Integrante / Yoshiharu Kohayakawa - Coordenador / André Luiz Pires Guedes - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1

  • 2005 - Atual

    Pesquisa em Algoritmos, Descrição: Pesquisa em Algoritmos. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (10) / Doutorado: (3) . , Integrantes: Renato José da Silva Carmo - Coordenador / Jair Donadelli Jr. - Integrante / André Luiz Pires Guedes - Integrante / Jaime Cohen - Integrante / Murilo Vicente Gonçalves da Silva - Integrante / Andre Luís Vignatti - Integrante.

  • 2003 - 2008

    Foundations of Computer Science: Combinatorial Algorithms and Discrete Structures, Descrição: Development of efficient combinatorial algorithms and on the investigation of discrete structures of intrinsic interest, with the global aim of giving support of fundamental nature to computer science.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (38) Doutorado: (21) . , Integrantes: Renato José da Silva Carmo - Integrante / Jair Donadelli Jr. - Integrante / Yoshiharu Kohayakawa - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 6

  • 2000 - 2003

    Problems on Random Graphs (Structures) and Set Systems, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renato José da Silva Carmo - Coordenador., Financiador(es): National Science Foundation - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 1990 - 2001

    Asymptotic and Algorithmic Graph Theory, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Renato José da Silva Carmo - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Deutscher Akademischer Austauschdienst - Auxílio financeiro.

Seção coletada automaticamente pelo Escavador

Prêmios

2019

Concurso de Teses e Dissertações (orientado finalista: Leandro M. Zatesko - doutorado), Sociedade Brasileira de Computação.

2019

Prêmio de Tese de Doutorado (orientado Leandro M. Zatesko - doutorado - primeiro lugar), Sociedade Brasileira de Pesquisa Operacional (SOBRAPO).

2019

Prêmio Curta Ciencia - Three Minute Thesis (orientado Leandro Zatesko), Universidade Federal do Paraná.

2019

Prêmio CAPES de Teses (orientado representante do Programa de Pós-Graduação em Informática da UFPR: Leandro M. Zatesko), CAPES.

2012

Concurso de Teses e Dissertações (orientado finalista: Alexandre P. Züge - mestrado), Sociedade Brasileira de Computação.

2006

Concurso de Teses e Dissertações (segundo lugar), Sociedade Brasileira de Computação.

1995

Concurso de Teses e Dissertacoes (primeiro lugar), Sociedade Brasileira de Computacao.

1995

Concurso de Teses e Dissertacoes (primeiro lugar), CLEI-UNESCO.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal do Paraná, Departamento de Informática. , Centro Politecnico da UFPR, Departamento de Informatica, Jardim das Americas, 81531-990 - Curitiba, PR - Brasil - Caixa-postal: 19081, Telefone: (0041) 33613409, Fax: (0041) 33613031, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2005 - Atual

Universidade Federal do Paraná

Vínculo: Servidor Público, Enquadramento Funcional: Prof. Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

1995 - 2005

Universidade Federal do Paraná

Vínculo: Servidor Público, Enquadramento Funcional: PROF. ASSISTENTE (TEC/NV-SUPERIOR), Carga horária: 40, Regime: Dedicação exclusiva.

1990 - 1995

Universidade Federal do Paraná

Vínculo: Servidor Público, Enquadramento Funcional: Professor Auxiliar, Carga horária: 40, Regime: Dedicação exclusiva.

1989 - 1989

Universidade Federal do Paraná

Vínculo: Servidor Público, Enquadramento Funcional: Professor Auxiliar, Carga horária: 20

Atividades

  • 12/2007

    Direção e administração, Coordenação do Bacharelado em Ciência da Computação, .,Cargo ou função, Vice Coordenador.

  • 07/2007

    Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Especiais III (CI-853), Tópicos Especiais II (CI852): Complexidade Computacional

  • 07/2007

    Ensino, Bacharelado Em Ciencias da Computacao, Nível: Graduação,Disciplinas ministradas, Tópicos em Teoria da Computação (CI-089): Complexidade Computacional, Matemática Discreta (CI-237)

  • 06/2007

    Conselhos, Comissões e Consultoria, Coordenação do Bacharelado em Ciência da Computação, .,Cargo ou função, Coordenador da Câmara de Algoritmos.

  • 08/2006

    Conselhos, Comissões e Consultoria, Coordenação do Bacharelado em Ciência da Computação, .,Cargo ou função, Membro Suplente do Colegiado.

  • 08/2006

    Conselhos, Comissões e Consultoria, Coordenação do Curso de Matemática, .,Cargo ou função, Membro Suplente do Colegiado.

  • 06/2006

    Conselhos, Comissões e Consultoria, Coordenação do Bacharelado em Ciência da Computação, .,Cargo ou função, Comissão Acadêmica do Bacharelado em Ciência da Computação - UFPR.

  • 03/2005

    Pesquisa e desenvolvimento , Departamento de Informática, .,Linhas de pesquisa

  • 02/2007 - 07/2007

    Ensino, Matemática Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Análise de Algoritmos (CI-709)

  • 02/2007 - 07/2007

    Ensino, Bacharelado Em Ciencias da Computacao, Nível: Graduação,Disciplinas ministradas, Tópicos em Teoria da Computação (CI-089): Análise de Algoritmos, Matemática Discreta (CI-237)

  • 08/2006 - 08/2006

    Conselhos, Comissões e Consultoria, Setor de Ciências Exatas, .,Cargo ou função, Membro de Mesa Receptora de Votos.

  • 06/2006 - 06/2006

    Conselhos, Comissões e Consultoria, Coordenação do Programa de Pós-Graduação em Informática, .,Cargo ou função, Presidente da Comissão Eleitoral.

  • 03/1998 - 03/2000

    Direção e administração, Setor de Ciências Exatas, Departamento de Informática.,Cargo ou função, Coordenador do Laboratorio de Computadores.

  • 03/1998 - 03/2000

    Serviços técnicos especializados , Setor de Ciências Exatas, Departamento de Informática.,Serviço realizado, Administrador da Rede do Departamento de Informatica.

  • 05/1989 - 03/2000

    Ensino, Bacharelado Em Ciencias da Computacao, Nível: Graduação,Disciplinas ministradas, Fundamentos de Software, Software Basico, Metodos Numericos, Estruturas de Dados, Programacao de Computadores, Construcao de Compiladores, Algoritmos e Teoria dos Grafos, Laboratorio de Computacao

  • 08/1999 - 12/1999

    Conselhos, Comissões e Consultoria, Setor de Ciências Exatas, Departamento de Informática.,Cargo ou função, Presidente da Comissao de Elaboracao do Plano Departamental.

  • 12/1995 - 12/1997

    Direção e administração, Setor de Ciências Exatas, Departamento de Informática.,Cargo ou função, Vice-Coordenador de Curso.

  • 01/1990 - 03/1992

    Direção e administração, Setor de Ciências Exatas, Departamento de Informática.,Cargo ou função, Chefe do Laboratorio de Computadores.

  • 08/1991 - 12/1991

    Ensino, Especializacao em Informatica, Nível: Especialização,Disciplinas ministradas, Linguagem de Programacao C

1988 - 1989

Fundação Getúlio Vargas - SP

Vínculo: Celetista, Enquadramento Funcional: Professor Auxiliar, Carga horária: 20

Atividades

  • 08/1988 - 12/1988

    Ensino, Administracao de Empresas, Nível: Graduação,Disciplinas ministradas, Matematica II