Fabio Henrique Viduani Martinez
Possui graduação em Ciência da Computação pela Universidade Federal de Mato Grosso do Sul (1991), mestrado em Matemática Aplicada pela Universidade de São Paulo (1996), doutorado em Ciência da Computação pela Universidade de São Paulo (2004) e dois pós-doutorados em Bioinformática pela Universität Bielefeld (2013-2014 e 2018-2019). Atualmente é professor titular da Universidade Federal de Mato Grosso do Sul. Tem experiência na área de Ciência da Computação, com ênfase em algoritmos.
Informações coletadas do Lattes em 30/04/2022
Acadêmico
Formação acadêmica
Doutorado em Ciências da Computação
1999 - 2004
Universidade de São Paulo
Título: Aproximações para restrições do problema de Steiner em grafos
José Augusto Ramos Soares. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Algoritmos de aproximação; Teoria dos Grafos; Complexidade Computacional.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. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Informática.
Mestrado em Matemática Aplicada
1993 - 1996
Universidade de São Paulo
Título: Algoritmos Paralelos para Construção da Árvore dos Sufixos e suas Aplicações,Ano de Obtenção: 1996
Siang Wun Song.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Árvore dos Sufixos; Computação Paralela.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Graduação em Bacharelado Em Ciência da Computação
1988 - 1991
Pós-doutorado
2018 - 2019
Pós-Doutorado. , Bielefeld University, U.B., Alemanha. , Bolsista do(a): Deutscher Akademischer Austauschdienst, DAAD, Alemanha. , Grande área: Ciências Exatas e da Terra
2013 - 2014
Pós-Doutorado. , Bielefeld University, U.B., Alemanha. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra
Idiomas
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Alemão
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Áreas de atuaçã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.
Organização de eventos
Fábio Martinez . Concurso de Trabalhos de Iniciação Científica (CTIC) do Congresso da SBC. 2006. (Concurso).
Fábio Martinez . Maratona de Programação. 2005. (Concurso).
Fábio Martinez . VI Semana de Computação. 1998. (Congresso).
Fábio Martinez . V Semana de Computação. 1996. (Congresso).
Participação em eventos
17th RECOMB Comparative Genomics Satellite Conference. Analysis of local genome rearrangement improves resolution of ancestral genomic maps in plants. 2019. (Congresso).
16th Workshop on Algorithms in Bioinformatics - WABI 2016. A Linear Time Approximation Algorithm for the DCJ Distance for Genomes with Bounded Number of Duplicates. 2016. (Congresso).
14th Workshop on Algorithms in Bioinformatics (WABI 2014). On the family-free DCJ distance. 2014. (Congresso).
9th Brazilian Symposium on Bioinformatics (BSB 2014). On the multichromosomal Hultman number. 2014. (Congresso).
Summer School in Mathematics. 2014. (Outra).
RECOMB Comparative Genomics 2013. 2013. (Simpósio).
Enumeration Algorithms & Exact Methods For Exponential Problems in Computational Biology. 2012. (Oficina).
RECOMB Comparative Genomics 2012. 2012. (Simpósio).
VII Brazilian Symposium in Bioinformatics. 2012. (Simpósio).
Workshop in Bioinformatics and Algorithms. 2012. (Oficina).
Workshop in Bioinformatics and Algorithms. 2010. (Encontro).
Workshop do Projeto STIC-AmSud. 2009. (Encontro).
Workshop on Discrete Structures, Complexity and Algorithms. 2009. (Encontro).
Workshop of Genetic Regulatory and Metabolic Networks. 2008. (Encontro).
Workshop on Foundations of Computer Science: Combinatorial Algorithms and Discrete Structures. 2007. (Encontro).
15th International Conference on Computing. Steiner Trees with a Terminal Order. 2006. (Congresso).
The Eleventh International Computing and Combinatorics Conference (COCOON 2005). The Eleventh International Computing and Combinatorics Conference (COCOON 2005). 2005. (Congresso).
XXV Congresso da Sociedade Brasileira de Computação. Algoritmos e heurísticas para comparações exata e aproximada de seqüências. 2005. (Congresso).
Semana de Computação.Problema de Steiner em Grafos. 2004. (Encontro).
Workshop on Combinatorics, Algorithms, and Applications. 2003. (Oficina).
11a. Escola de Computação. 1998. (Congresso).
21o. Colóquio Brasileiro de Matemática. 1997. (Congresso).
10a. Escola de Computação. 1996. (Congresso).
8a. Escola de Computação. 1992. (Congresso).
IX Congressso da Sociedade Brasileira de Computação. 1989. (Congresso).
Participação em bancas
RUBERT, D. P.; ARAUJO, F. E. S.;Martinez, Fábio Viduani. Similaridade DCJ Livre de Famílias. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
HOSHINO, E. A.; USBERTI, F. L.; MONGELLI, H.;Fábio V. Martinez. Problema do Roteamento em Anéis de Dois Níveis. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
STEFANES, M. A.; PINA JR., J. C.;Fábio V. Martinez. Problema do Fluxo Máximo em Redes Utilizando OpenMP e CUDA. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Fábio Viduani MartinezJosé Soares; DE ARAÚJO, F. E. S.. Algoritmos para Alinhamentos de Redes Metabólicas. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
José Coelho de Pina; FEOFILOFF, P.;Fábio Viduani Martinez. Algoritmos para o Problema da Árvore de Steiner com Coleta de Prêmios. 2012. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo.
José Coelho de Pina; WAKABAYASHI, Y.;Fábio Viduani Martinez. k-árvores de Custo Mínimo. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
Marcelo Carvalho; LUCCHESI, C. L.; Luciano Lacerda Silveira;Fábio Viduani Martinez. Decomposição em Circuitos de Grafos Cobertos por Junções. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
ADI, S. S.; FERREIRA, C. E.;Fábio Viduani Martinez. Identificação de Genes por Comparação de DNAs. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Marco Stefanes; SONG, S. W.;Fábio Martinez. Algoritmos Paralelos Realísticos para a Maior Subseqüência Comum. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
José SoaresJosé Coelho de PinaFábio Martinez. Filtros para a Busca e Extração de Padrões Aproximados em Cadeias Biológicas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
Maria Emília Machado Telles Walter; ADI, S. S.;Fábio Martinez. Análise de Nutrientes Utilizando Redes Metabólicas. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
LEE, O.;Fábio Martinez; Marcelo Carvalho. O Problema da Orientação Pfaffiana de Grafos. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Delair Osvaldo Martinelli Júnior; Marcelo Carvalho; LEE, O.;Fábio Martinez. O Método de Distribuição de Cargas. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Fábio Martinez. ETW: Um Núcleo para Simulação Distribuída Otimista. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Fábio Martinez. Decomposição em Orelhas de Grafos Cobertos por Emparelhamentos. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Fábio Martinez. 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á.
Marcelo Carvalho; Alberto Miranda;José Coelho de Pina; ARAUJO, F. E. S.;Fábio Viduani Martinez. Braces Minimais e suas Propriedades. 2021. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul.
STOYE, J.; KOWADA, L. A.; MEIDANIS, J.; ARAUJO, F. E. S.;Fábio Viduani Martinez. Distance and Similarity Measures in Comparative Genomics. 2019. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul.
CASTONGUAY, D.; CENTENO, C.; ALVARES, E. R.; LONGO, H. J.;Fábio Viduani Martinez. Definitividade de Formas Quadráticas - Uma Abordagem Polinomial. 2016. Tese (Doutorado em CIÊNCIAS EXATAS E TECNOLÓGICAS) - Universidade Federal de Goiás.
CACERES, E. N.; SONG, S. W.; NAVAUX, P. O. A.; PISTORI, H.; Nalvo F. Almeida;Fábio V. Martinez. Soluções para os Problemas da Soma Máxima e do k-ésimo Menor Elemento de uma Sequência usando o Modelo BSP/CGM. 2015. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul.
José Soares; FERREIRA, C. E.;Fábio Viduani Martinez; ROZANTE, L. C. da S.; DIAS, Z.. Alinhamentos e Comparação de Sequências. 2012. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
Marcelo Carvalho; ARAUJO, F. E. S.;Fábio Viduani Martinez. Braces Minimais e suas Propriedades. 2021. Exame de qualificação (Doutorando em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul.
ARAUJO, F. E. S.; STOYE, J.;Fábio V. Martinez. Distance and Similarity Measures in Comparative Genomics. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Fábio Viduani Martinez; Guilherme P. Telles; MEIDANIS, J.. Extensions of the Rank-Indel Distance. 2021. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Campinas.
HOSHINO, E. A.;Fábio Viduani Martinez; MONGELLI, H.. Problema da Coloração de Vértices com Pesos Dissonantes e Restrições de Cores. 2020. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
HOSHINO, E. A.;Fábio Viduani Martinez; MONGELLI, H.. Problema de Roteamento em Anéis de Dois Níveis. 2020. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
HIGA, C. H. A.; DE ARAÚJO, F. E. S.;Martinez, Fábio V.. Rearranjo de Genomas por Reversões com Pesos. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
HOSHINO, E. A.; SOUZA, C. C.;Fábio V. Martinez. Problema da Pseudo-arborescência Capacitada com Localização de Facilidades. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
HOSHINO, E. A.; Marcelo Carvalho;Fábio Viduani Martinez. Um Algoritmo Exato para o Problema da Cobertura Mínima por Cortes. 2013. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Fábio Viduani Martinez; CHEUNG, L. M.; ADI, S. S.. Métodos para Construção de Árvores Filogenéticas a partir de Redes Metabólicas. 2012. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Marco Stefanes;Fábio Viduani Martinez; ISHII, R. P.. Algoritmos Paralelos para o Alinhamento de Sequências Genômicas. 2012. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Marcelo Carvalho; LUCCHESI, C. L.;Fábio Viduani Martinez. Um Método para Detecção de Fraudes em Redes de Informações. 2010. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
LEE, O.;Fábio Martinez; Marcelo Carvalho. Grafos Cobertos por Junções. 2008. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Maria Emília Machado Telles Walter; ADI, S. S.;Fábio Martinez. Análise de Nutrientes Utilizando Redes Metabólicas. 2007. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Marco Stefanes; MONGELLI, H.;Fábio Martinez. Algoritmos Paralelos Realísticos para a Maior Subseqüência Comum. 2006. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Marcelo Carvalho; LITTLE, C. H. C.;Fábio Martinez. O Problema da Orientação Pfaffiana de Grafos. 2006. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
PAGLIOSA, P. A.;Fábio Martinez. Higa, Paulo R. S. de Sousa.Um Traçador de Raios Primários em CUDA. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Marcelo Carvalho;Fábio Martinez. Álvarez, Carlos O. Bitencourt, Francisco S. Neto.O Problema do Transporte Aplicado à Distribuição de Professores e Disciplinas. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Fábio Martinez; MONGELLI, H.. Programação Estocástica. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Fábio Martinez; Marcelo Carvalho. P. Castelano, Eduardo R. Félix e Fábio A. Santos.Uma Implementação Eficiente do Algoritmo de Edmonds. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.
Fábio Martinez. A. Zucareli, Max P. Brites e Patrick A. Gonçalves.Criptografia Utilizando o Sistema RSA. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul.
Fábio Martinez. Concurso Público para Provimento do Cargo de Analista de Tecnologia da Informação no NIn/UFMS. 2008. Universidade Federal de Mato Grosso do Sul.
Fábio Martinez; Nalvo F. Almeida; CACERES, E. N.. Concurso Público para Provimento do Cargo de Professor Adjunto no DCT/UFMS. 2006. Universidade Federal de Mato Grosso do Sul.
Fábio Martinez; Marcelo Carvalho; MOREANO, N. B.. Concurso Público para Provimento do Cargo de Professor Assistente no CPXO/UFMS. 2006. Universidade Federal de Mato Grosso do Sul.
Comissão julgadora das bancas
CARVALHO, M. H.; SOARES, José Augusto R.; FERREIRA, Carlos Eduardo; MIYAZAWA, Flávio K.; GUIMARÃES, Katia Silva. Aproximações para restrições do problema de Steiner em grafos. 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
SONG, S. W.. Algoritmos paralelos para construção da árvore dos sufixos e suas aplicaçõe. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
J. A. R. SoaresC. E. FerreiraF. K. MiyazawaK. S. GuimarãesM. H. Carvalho. O Problema da árvore de Steiner com Restrições. 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
FERREIRA, C. E.; SOARES, José Augusto Ramos; MIAZAWA, F. K.; GUIMARÃES, K. S.; CARVALHO, M. H.. Aproximações para restrições do problema de Steiner em grafos. 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
FERREIRA, C. E.. Algoritmos para rearranjos de genoma. 2002. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade de São Paulo.
Orientou
Problema da mediana em genômica comparativa; Início: 2020; Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; (Orientador);
Discriminação de raça em sistemas computacionais: Estudo de casos no contexto brasileiro; Início: 2021; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Pró-reitoria de Pesquisa e Pós-graduação - UFMS; (Orientador);
Discriminação algorítmica de gênero: Estudo de casos e análise no contexto brasileiro; Início: 2021; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Pró-reitoria de Pesquisa e Pós-graduação - UFMS; (Orientador);
Fundamentos teóricos computacionais com aplicações na detecção de discriminação algorítmica; Início: 2021; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Pró-reitoria de Pesquisa e Pós-graduação - UFMS; (Orientador);
Similaridade DCJ livre de famílias; 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;
Métodos para construção de árvores filogenéticas baseadas em redes metabólicas; 2013; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;
Algoritmos para Alinhamentos de Redes Metabólicas; 2012; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;
Análise de Nutrientes Utilizando Redes Metabólicas; 2008; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Fábio Henrique Viduani Martinez;
Distance and Similarity Measures in Comparative Genomics; 2019; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Deutscher Akademischer Austauschdienst; Orientador: Fábio Henrique Viduani Martinez;
Método da Parcimônia para Contrução de Árvores Filogenéticas; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
Árvores Filogenéticas de Redes Metabólicas usando Distâncias e Similaridades; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
Algoritmos Probabilísticos para o Problema do Circuito Hamiltoniano; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
Experimentos sobre Algoritmos para o Problema do Casamento de Cadeias; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
da Silva Jr; , Diego P; Rubert e Felipe V; Rigo; Algoritmos para o Problema do Caminho Mínimo entre todos os Pares de Vértices de um Grafo; 2006; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
Júnior; , Paulo S; Zilio, Wellington G; do Amaral; Métodos para Construção de Árvores Filogenéticas; 2006; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
Gregório, Marcelo N; Alencar, Markus S; Rebmann; Um Algoritmo Pseudo-polinomial para o Problema da Cobertura por Telhas; 2005; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
Introdução às Cifras de Seqüências; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
O Problema do Casamento de Padrões: Duas Abordagens; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
IDEA: um Estudo sobre um Novo Padrão de Criptografia de Dados; 1997; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
Introdução aos Sistemas Criptográficos Assimétricos e ao RSA; 1997; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
Um Estudo sobre o PES: Uma tentativa de Modificação do Padrão de Criptografia de Dados (DES); 1996; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Fábio Henrique Viduani Martinez;
Detecção de estruturas conservadas em genômica comparativa; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Pró-reitoria de Pesquisa e Pós-graduação - UFMS; Orientador: Fábio Henrique Viduani Martinez;
Árvores Filogenéticas de Redes Metabólicas baseadas em Análise de Similaridade; 2010; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;
Algoritmos Probabilísticos para Problemas de Otimização Combinatória; 2008; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;
Laboratórios de Computadores de Baixo Custo: Projeto Multiterminal e Projeto LTSP; 2008; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;
Experimentos sobre o Problema da Árvore de Steiner dos Terminais Folhas; 2005; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Fundação de Apoio ao Desenvolvimento do Ensino, Ciência e Tecnologia de MS; Orientador: Fábio Henrique Viduani Martinez;
Alinhamento de Múltiplas Seqüências de DNA em Biologia Molecular Computacional; 1999; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;
Mapeamento Físico do DNA em Biologia Molecular Computacional; 1999; 0 f; Iniciação Científica; (Graduando em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;
Alinhamentos de Duas Seqüências de DNA em Biologia Molecular Computacional; 1999; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Fábio Henrique Viduani Martinez;
Laboratórios de Computadores de Baixo Custo: Projeto Multiterminal e Projeto LTSP; 2007; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Bolsa do Programa de Extensão, UFMS; Orientador: Fábio Henrique Viduani Martinez;
Laboratórios de Computadores de Baixo Custo: Projeto Multiterminal e Projeto LTSP; 2007; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Bolsa do Programa de Extensão, UFMS; Orientador: Fábio Henrique Viduani Martinez;
Foi orientado por
Aproximações para restrições do problema de Steiner em grafos; 2004; 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: Jose Augusto Ramos Soares;
Algoritmos Paralelos Para Construção da Árvore dos Sufixos e Suas Aplicações; 1996; Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Siang Wun Song;
Produções bibliográficas
-
Rubert, Diego P. ; Martinez, Fábio V. ; Braga, Marília D. V. . Natural family-free genomic distance. Algorithms for Molecular Biology , v. 16, p. 4, 2021.
-
Rubert, Diego P. ; Fábio V. Martinez ; STOYE, J. ; DOERR, D. . Analysis of local genome rearrangement improves resolution of ancestral genomic maps in plants. BMC GENOMICS , v. 21, p. (Suppl 2):273, 2020.
-
Rubert, Diego P. ; ARAUJO, F. E. S. ; STEFANES, M. A. ; STOYE, J. ; Fábio Viduani Martinez . Searching and inferring colorful topological motifs in vertex-colored graphs. JOURNAL OF COMBINATORIAL OPTIMIZATION , v. 40, p. 379-411, 2020.
-
RUBERT, D. P. ; HOSHINO, E. A. ; BRAGA, M. D. V. ; STOYE, J. ; Fábio Viduani Martinez . Computing the family-free DCJ similarity. BMC BIOINFORMATICS , v. 19, p. (Suppl 6):152, 2018.
-
Rubert, Diego P. ; FEIJÃO, PEDRO ; BRAGA, MARÍLIA DIAS VIEIRA ; Stoye, Jens ; MARTINEZ, FÁBIO HENRIQUE VIDUANI . Approximating the DCJ distance of balanced genomes in linear time. Algorithms for Molecular Biology , v. 12, p. 3, 2017.
-
Martinez, F. V. ; FEIJAO, P. ; BRAGA, M. D. V. ; STOYE, J. . On the family-free DCJ distance and similarity. Algorithms for Molecular Biology , v. 10, p. 13, 2015.
-
FEIJÃO, PEDRO ; MARTINEZ, FÁBIO ; THÉVENIN, ANNELYSE . On the distribution of cycles and paths in multichromosomal breakpoint graphs and the expected value of rearrangement distance. BMC Bioinformatics , v. 16, p. S1, 2015.
-
Adi, Said S. ; Braga, Marília D.V. ; Fernandes, Cristina G. ; Ferreira, Carlos E. ; Martinez, Fábio Viduani ; Sagot, Marie-France ; Stefanes, Marco A. ; Tjandraatmadja, Christian ; Wakabayashi, Yoshiko . Repetition-free longest common subsequence. Discrete Applied Mathematics , v. 158, p. 1315-1324, 2010.
-
KISHI, R. M. ; Fábio Martinez . Experimentos para o problema da árvore de Steiner dos terminais folhas. Revista Eletrônica de Iniciação Científica , v. VIII, p. 44-77, 2008.
-
Fábio Martinez ; José Coelho de Pina ; José Soares . Algorithms for terminal Steiner trees. Theoretical Computer Science , v. 389, p. 133-142, 2007.
-
Fábio Martinez ; Guilherme P. Telles ; Nalvo F. Almeida . Algoritmos e heurísticas para comparação exata e aproximada de seqüências. In: Marinho P. Barcelos; Antônio A. F. Loureiro. (Org.). XXIV Jornadas de Atualização em Informática / XXV Congresso da Sociedade Brasileira de Computação. 1ed.: Editora da SBC, 2005, v. 24, p. 1545-1586.
-
ARAUJO, F. E. S. ; ROZANTE, L. C. da S. ; RUBERT, D. P. ; Fábio Viduani Martinez . Algorithms for Normalized Multiple Sequence Alignments. In: 32nd International Symposium on Algorithms and Computation (ISAAC 2021), 2021, Fukuoka. Proceedings of the 32nd International Symposium on Algorithms and Computation. Dagstuhl, Germany: LIPIcs?Leibniz International Proceedings in Informatics, 2021. v. 212. p. 40:1-40:16.
-
RUBERT, D. P. ; Fábio V. Martinez ; Braga, Marília D.V. . Natural Family-Free Genomic Distance. In: Workshop on Algorithms in Bioinformatics, 2020, Pisa. 20th International Workshop on Algorithms in Bioinformatics (WABI 2020), 2020. v. 172. p. 3:1-3:23.
-
Rubert, Diego P. ; Stoye, Jens ; MARTINEZ, FÁBIO H. V. . Distance and Similarity Measures in Comparative Genomics. In: Concurso de Teses e Dissertações da SBC, 2020, Brasil. Anais do Concurso de Teses e Dissertações da SBC (CTD-SBC 2020). p. 7-12.
-
RUBERT, D. P. ; MEDEIROS, G. L. ; HOSHINO, E. A. ; BRAGA, M. D. V. ; STOYE, J. ; Martinez, Fabio V. . Algorithms for Computing the Family-Free Genomic Similarity under DCJ. In: 15th RECOMB Comparative Genomics Satellite Conference, 2017, Barcelona. Proceedings of the 15th RECOMB Comparative Genomics Satellite Conference, 2017.
-
Rubert, Diego P. ; FEIJAO, P. ; Braga, Marília D. V. ; Stoye, Jens ; Martinez, Fábio V. . A Linear Time Approximation Algorithm for the DCJ Distance for Genomes with Bounded Number of Duplicates. In: 16th Workshop on Algorithms in Bioinformatics (WABI),, 2016, Aarhus, Denmark. Lecture Notes in Bioinformatics, 2016. v. 9838. p. 293-306.
-
Fábio Viduani Martinez ; FEIJAO, P. ; Braga, Marília D.V. ; STOYE, J. . On the family-free DCJ distance. In: 14th Workshop on Algorithms in Bioinformatics (WABI 2014), 2014, Wrocaw. Lecture Notes in Bioinformatics, 2014. v. 8701. p. 174-186.
-
FEIJAO, P. ; Fábio Viduani Martinez ; THEVENIN, A. . On the multichromosomal Hultman number. In: 9th Brazilian Symposium on Bioinformatics (BSB 2014), 2014, Belo Horizonte. Lecture Notes in Bioinformatics, 2014. v. 8826. p. 9-16.
-
Ludovic Cottret ; MILREU, P. V. ; ACUA, V. ; MARCHETTI-SPACCAMELA, A. ; Fábio Martinez ; SAGOT, M. ; STOUGIE, L. . Enumerating precursor sets of target metabolites in a metabolic network. In: 8th Workshop on Algorithms in Bioinformatics (WABI), 2008, Karlsruhe. Lecture Notes in Computer Science, 2008. v. 5251. p. 233-244.
-
Fábio Martinez ; José Soares . Steiner Trees with a Terminal Order. In: 15th International Conference on Computing, 2006, Cidade do México. Proceedings of the 15th International Conference on Computing. Los Alamitos, California, USA: IEEE Publishing, 2006. p. 254-259.
-
Fábio Martinez ; José Coelho de Pina ; José Soares . Algorithms for terminal Steiner trees. In: The Eleventh Annual International Computing and Combinatorics Conference (COCOON 2005), 2005, Kunming. Lecture Notes in Computer Science, 2005. v. 3595. p. 369-379.
-
ADI, S. S. ; BRAGA, M. D. V. ; FERNANDES, C. G. ; FERREIRA, C. E. ; Fábio Martinez ; SAGOT, M. ; Marco Stefanes ; Christian Tjandraatmadja ; WAKABAYASHI, Y. . Repetition-free longest common subsequence. In: IV Latin-American Algorithms, Graphs and Optimization Symposium, 2007, Puerto Varas. Eletronic Notes in Discrete Mathematics, 2007. v. 30. p. 243-248.
-
Fábio Viduani Martinez . A Linear Time Approximation Algorithm for the DCJ Distance for Genomes with Bounded Number of Duplicates. 2016. (Apresentação de Trabalho/Conferência ou palestra).
-
Fábio Viduani Martinez . On the family-free DCJ distance. 2014. (Apresentação de Trabalho/Conferência ou palestra).
-
Fábio Martinez ; José Soares . Steiner Trees with a Terminal Order. 2006. (Apresentação de Trabalho/Congresso).
-
Fábio Martinez ; José Coelho de Pina ; José Soares . Algorithms for Terminal Steiner Trees. 2005. (Apresentação de Trabalho/Congresso).
-
Fábio Viduani Martinez . Algoritmos e heursticas para comparações exata e aproximada de sequências. 2005. (Apresentação de Trabalho/Conferência ou palestra).
Outras produções
Fábio Martinez . Plano Institucional de Bolsas de Iniciação Científica, UEMS (Avaliador, Ciências Exatas). 2008.
Fábio V. Martinez . IEEE/ACM Transactions on Computational Biology and Bioinformatics. 2020.
Fábio V. Martinez . International Journal of Sensors, Wireless Communications and Control (Reviewer). 2019.
Fábio V. Martinez . 17th RECOMB Comparative Genomics (Program Committee). 2019.
Fábio V. Martinez . Algorithms for Molecular Biology (Reviewer). 2019.
Fábio V. Martinez . IEEE/ACM Transactions on Computational Biology and Bioinformatics (Reviewer). 2019.
Fábio V. Martinez . Proceedings of the 11th Brazilian Symposium in Bioinformatics (Reviewer). 2018.
Fábio V. Martinez . Proceedings of the 17th Asia Pacific Bioinformatics Conference (Reviewer). 2018.
Fábio V. Martinez . 16th RECOMB Comparative Genomics (Program Committee). 2018.
Fábio V. Martinez . Frontiers in Genetics (Reviewer). 2017.
Fábio V. Martinez . 15th International Workshop RECOMB Comparative Genomics (Reviewer). 2017.
Fábio V. Martinez . Proceedings of the 21st Annual International Conference on Research in Computational Molecular Biology (Reviewer). 2017.
Fábio V. Martinez . Proceedings of the 28th International Symposium on Algorithms and Computation (Reviewer). 2017.
Fábio V. Martinez . Journal of Universal Computer Science (Reviewer). 2017.
Fábio V. Martinez . Networks (Reviewer). 2016.
Fábio V. Martinez . Journal of Discrete Algorithms (Reviewer). 2015.
Fábio V. Martinez . Proceedings of the 14th Workshop on Algorithms in Bioinformatics (Reviewer). 2014.
Fábio V. Martinez . Proceedings of the Brazilian Symposium on Bioinformatics (Reviewer). 2014.
Fábio Viduani Martinez . 7th Brazilian Symposium on Bioinformatics (Reviewer). 2012.
Fábio V. Martinez . Information Processing Letters (Reviewer). 2010.
Fábio Martinez . Processo de Seleção de Projetos e Bolsistas de Iniciação Científica da Universidade do Estado da Bahia. 2009.
Fábio Martinez . 32o Congresso Nacional de Matemática Aplicada e Computacional (Reviewer). 2009.
Fábio Martinez . INFOCOMP Journal of Computer Science (Reviewer). 2008.
Fábio Martinez . Conferencia Latinoamericana de Informática -- CLEI 2008 (Reviewer). 2008.
Fábio Martinez . Operations Research Letters (Reviewer). 2008.
Fábio Martinez . Concurso de Teses e Dissertações -- CTD 2007 (Avaliador). 2007.
Fábio Martinez . Latin American Theoretical Informatics (Reviewer). 2007.
Fábio Martinez . INFOCOMP Journal of Computer Science (Reviewer). 2007.
Fábio Martinez . Latin American Theoretical Informatics (Reviewer). 2006.
Fábio Martinez . INFOCOMP Journal of Computer Science (Editor Associado). 2006.
Fábio Martinez . Concurso de Teses e Dissertações -- CTD 2006 (Avaliador). 2006.
Fábio Martinez . Concurso de Trabalhos de Iniciação Científica -- CTIC 2006 (Avaliador). 2006.
Fábio Martinez . 1st International Conference of the Brazilian Association for Bioinformatics and Computational Biology (Reviewer). 2005.
Fábio Martinez . 2nd Brazilian Symposium on Graphs, Algorithms, and Combinatorics (Reviewer). 2005.
Fábio Viduani Martinez . Algoritmos e Programação II. 2010. (Desenvolvimento de material didático ou instrucional - Material didático).
Fábio Viduani Martinez . Algoritmos e Programação I. 2010. (Desenvolvimento de material didático ou instrucional - Material didático).
Fábio Martinez ; GARCIA, R. E. . Autorização de funcionamento curso de graduação. 2008. (Avaliação).
Fábio Martinez ; ASCENCIO, A. F. G. . Autorização de funcionamento curso de graduação. 2007. (Avaliação).
Fábio Martinez ; SAGOT, M. . Visita técnica ao Laboratoire de Biométrie et Biologie Évolutive, Université Claude Bernard, Lyon I, Inria Rhône-Alpes. 2006. (Visita técnica).
Projetos de pesquisa
-
2017 - Atual
Otimização em Genômica Comparativa, Descrição: Genômica comparativa é uma área de pesquisa da Biologia Molecular Computacional em que características genômicas de diferentes organismos são comparadas. As características genômicas podem incluir sequências de DNA, genes, ordem dos genes, sequências regulatórias e outros marcos estruturais genômicos. Neste ramo de pesquisa, genomas inteiros ou grandes partes dos genomas resultantes de projetos genoma são comparados para estudar semelhanças biológicas básicas e diferenças, bem como as relações evolutivas entre os organismos. O princípio fundamental da genômica comparativa é que as características comuns dos dois organismos, muitas vezes, são codificadas dentro do DNA, e essas informações são evolutivamente conservadas entre eles. Este projeto prevê o estudo de problemas de detecção de estruturas conservadas, rearranjo de genomas e de reconstrução da ordem ancestral de genes em genômica comparativa, com uso de técnicas de otimização para o desenvolvimento de algoritmos eficientes como proposta de solução dos problemas computacionais relacionados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (2) . , Integrantes: Fábio Henrique Viduani Martinez - Coordenador / Francisco Elói Soares de Araújo - Integrante / Jens Stoye - Integrante / Diego Padilha Rubert - Integrante., Número de produções C, T & A: 2
-
2009 - 2011
Continuidade na Consolidação das Linhas de Pesquisa do Mestrado em Ciência da Computação do DCT--UFMS, Descrição: Apesar do evidente progresso do Programa de Mestrado em Ciência da Computação do DCT, o programa ainda apresenta pontos a serem melhorados. Em todas as avaliações anuais e trienais da CAPES, o programa tem se esforçado para minimizar e corrigir os problemas apontados. A participação de orientadores do Programa em comitês de programa ou atividades similares, nacionais ou internacionais, não é significativa. Isto é, de certa forma, uma conseqüência do reduzido número de docentes do grupo de pesquisa do DCT no momento da avaliação da CAPES e da pouca visibilidade do grupo nos cenários científicos nacional e internacional. Esta questão não é mais tão grave como em 2001, 2002, 2003 e 2004, os anos em que a CAPES avaliou o Programa. Acredita-se que isto seja corrigido como uma conseqüência natural do aumento da produção científica do grupo de pesquisa do DCT e do esforço de seus docentes para se inserir no cenário científico nacional. Um exemplo disso é o fato do DCT ter organizado em Campo Grande o Congresso da SBC de 2006, o XXI Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2008) e o 20th International Symposium on Computer Architecture and High Performance Computing (SBAC--PAD 2008). O tempo de titulação dos alunos ainda é alto e é decorrente da escassez de bolsas de mestrado para financiar os estudos dos alunos do programa, o que os obriga a trabalhar e se tornarem alunos em tempo parcial. A produção intelectual não está uniformemente distribuída entre os orientadores do programa, com participação dos estudantes de mestrado, pois alguns docentes ainda têm baixa produtividade. Nesta proposta, recursos financeiros foram solicitados para implementar um conjunto de ações que visem tratar as questões levantadas. Estas ações envolvem a participação dos grupos de pesquisa do DI da PUC--Rio, IME--USP, ICMC--USP, IC--UNICAMP e CIC--UnB. O foco dessas ações é a consolidação das várias linhas de pesquisa do Programa de Mestrado em Ciência da. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (50) / Mestrado profissional: (0) / Doutorado: (10) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Marcelo Henriques de Carvalho - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2008 - 2010
Algoritmos para Análise Pós-genômica, Descrição: Dentre os objetivos de um projeto genoma está a determinação das funções de cada um dos genes do organismo de interesse. Isso permite um melhor conhecimento dos mecanismos celulares responsáveis pelo desenvolvimento desse organismo. O conhecimento pode então ser usado no controle de pragas, prevenção de doenças, tratamento de endemias, etc. Uma forma de se determinar as funções dos genes de um organismo é por meio da análise dos produtos derivados dessas regiões funcionais: proteínas, no caso de genes codificadores, e RNAs, no caso de genes não codificadores. Nesse último caso, analisa-se a seqüência dos RNAs pertencentes ao transcriptoma do organismo. Essa análise tem por objetivo identificar os {\RNA}s não-mensageiros e definir o tipo desse RNA. O problema da análise de proteínas consiste na análise das redes metabólicas de um organismo na busca por informações úteis sobre o papel desempenhado pelas suas proteínas. Apesar de haver um número considerável de ferramentas de identificação de genes não-codificadores dentro do genoma, poucos são os trabalhos que tratam da identificação de RNAs não-codificadores dentro do transcriptoma. Sobre o problema da análise de redes metabólicas, considerando que os dados relativos a essas redes constituem informações relativamente novas, não são muitos os trabalhos que tratam da análise dessas estruturas. Essas considerações e a relevância associada à tarefa de determinação das funções dos genes justificam pesquisas adicionais nesses campos, com o desenvolvimento de formulações mais adequadas, novas metodologias e programas para análise de RNAs e de redes metabólicas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Fábio Henrique Viduani Martinez - Coordenador., Financiador(es): Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro., Número de produções C, T & A: 3
-
2007 - 2009
Modelos e Algoritmos para Biologia Integrativa (Projeto STIC/AMSUD/CAPES), Descrição: Historicamente, a área de Biologia Computacional, ao menos sob o ponto de vista algorítmico, originou-se com a análise de seqüências. Durante vários anos, apenas seqüências isoladas eram analisadas. Com avanços dos projetos de seqüenciamento, genomas completos passaram então a serem analisados. De início, outros tópicos de interesse da área tratavam ou de questões relacionadas a seqüências (filogenia molecular, por exemplo) ou relacionadas com a análise de outros elementos biológicos elementares (tais como proteina ou RNA). Recentemente, o interesse em um entendimento mais profundo de como tais objetos biológicos elementares interagem entre si no contexto geral de um genoma, célula ou organismo levou ao desenvolvimento de toda uma nova área de invostigação. O estudo de relações, apesar de não completamente novo, ganhou um grande destaque nos últimos anos. Tais relações dizem respeito a todos os elementos de uma célula ou organismo. Eles podem até mesmo envolver elementos extra-celulares, ou elementos que pertencem ao ambiente de um organismo, já que alguns deles pode ter influência direta no funcionamento de um sistema vivo. Investigar essas relações requer o estudo do que se chama Biologia Integrativa. Este é o objetivo geral deste projeto. Para alcançar este objetivo, o projeto se utilizará das experiências de pesquisadores de áreas diferentes e complementares (modelagem matemática e análise formal, análise de dados, algoritmos estocáticos e discretos, combinatória, e biologia evolucionária e computacional) pertencentes aos vários grupos envolvidos, alguns deles com longa história de colaborações (o coordenador francês é ex-aluno da Universidade de São Paulo) enquanto outras colaborações são mais recentes (entre UFMS e França) ou totalmente novas (entre Chile e Brasil, e Chile e França).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (5) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Said Sadique Adi - Integrante / Marco Aurélio Stefanes - Integrante / Carlos Eduardo Ferreira - Integrante / Cristina Gomes Fernandes - Integrante / Yoshiko Wakabayashi - Integrante / Marie-France Sagot - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Instituto de Matemática e Estatística - Cooperação / Universidade Adolfo Ibaez - Cooperação / Universidade Federal de Mato Grosso do Sul - Cooperação / Institut National de Recherche en Informatique et en Automatique - Siège - Cooperação., Número de produções C, T & A: 2
-
2007 - 2009
Consolidação das Linhas de Pesquisa do Mestrado em Ciência da Computação do DCT-UFMS, Descrição: Prposta de consolidação de novos grupos de pesquisa do programa de mestrado em Ciência da Computação do Departamento de Computação e Estatística (DCT) da Universidade Federal de Mato Grosso do Sul, com participação do DI-PUC-Rio, DCC-IME-USP, ICMC-USP-São Carlos e IC-UNICAMP (Projeto CNPq Processo Número 620171/2006-5).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (50) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Said Sadique Adi - Integrante / Nalvo Franco de Almeida Jr. - Integrante / Marcelo Henriques de Carvalho - Integrante / Marco Aurélio Stefanes - Integrante / Henrique Mongelli - Coordenador / Edson Norberto Cáceres - Integrante / Marcelo Augusto Santos Turine - Integrante / Marcelo Ferreira Siqueira - Integrante., Financiador(es): Instituto de Ciências Matemáticas e de Computação - Cooperação / Instituto de Matemática e Estatística - Cooperação / Pontifícia Universidade Católica do Rio de Janeiro - Cooperação / Universidade Estadual de Campinas - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1
-
2005 - 2007
Restrições do Problema de Steiner em Grafos, Descrição: O problema de Steiner em grafos é um problema amplamente estudado devido às suas aplicações em diversas áreas. Esse problema é computacionalmente difícil e algoritmos de aproximação têmsido propostos para solucioná-lo desde 1968. Um problema correlato, chamado problema da árvore de Steiner de terminais folhas surge em outras aplicações tais como em roteamento de placas VLSI, transporte, telecomunicações, construção de árvores filogenéticas, entre outros. Esse problema é uma restrição do problema de Steiner em grafos, é computacionalmente difícil e algoritmos de aproximação também têm surgido. Esse projeto tem como objetivo desenvolver algoritmos de aproximação para problemas difíceis motivados por restrições do problema de Steiner em grafos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (0) . , Integrantes: Fábio Henrique Viduani Martinez - Coordenador / José Coelho de Pina Júnior - Integrante / José Augusto Ramos Soares - Integrante / Marcelo Henriques de Carvalho - Integrante., Financiador(es): Fundação de Apoio ao Desenvolvimento do Ensino, Ciência e Tecnologia de MS - Auxílio financeiro / Universidade de São Paulo - Cooperação., Número de produções C, T & A: 3
-
2005 - 2007
Transporte do Sistema Linux para Estações de Jogos Baseadas na Arquitetura MIPS, Descrição: A construção de máquinas paralelas, nos primórdios, sempre envolveu vultuosos recursos para alcançar máquinas de alto desempenho. O atual estado da arte da computação paralela apresenta perspectivas promissoras na produção de máquina paralelas de alto desempenho a baixo custo. Para isto, faz-se o uso de PC?s agrupados, processos chamados de clustering, através de uma rede de alta velocidade. O nosso estudo tem por objetivo transportar o sistema operacional GNU/Linux para a plataforma MIPS do console de estação de jogos da Sony, o Playstation 2, com o intuito de transformá-la em uma máquina computacional de propósito geral em uma arquitetura paralela.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Marco Aurélio Stefanes - Coordenador., Financiador(es): Fundação de Apoio ao Desenvolvimento do Ensino, Ciência e Tecnologia de MS - Auxílio financeiro.
-
2005 - 2007
Otimização Combinatória: Teoria, Projeto de Algoritmos e Aplicações (CNPq Projeto Universal 478329/2004-0), Descrição: O objetivo desse projeto é o estudo de problemas de otimização combinatória. Temos particular interesse em projeto de algoritmos de aproximação e em resultados de inaproximabilidade para tais problemas. Consideraremos em nossas pesquisas problemas clássicos da teoria dos grafos, problemas de empacotamento e problemas em biologia computacional.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (5) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Said Sadique Adi - Integrante / José Coelho de Pina Júnior - Integrante / José Augusto Ramos Soares - Integrante / Carlos Eduardo Ferreira - Coordenador / Cristina Gomes Fernandes - Integrante / Márcia Rosana Cerioli - Integrante / Paulo Feofiloff - Integrante / Yoshiko Wakabayashi - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade de São Paulo - Cooperação / Universidade Federal do Rio de Janeiro - Cooperação / Universidade Federal de Mato Grosso do Sul - Cooperação., Número de produções C, T & A: 3
-
2005 - 2007
Algoritmos Paralelos com Programação Dinâmica para Problemas de Otimização Combinatória, Descrição: A técnica de programação dinâmica tem produzido soluções eficientes para muitos problemas de otimização com diversas aplicações práticas. Dentre eles, podemos citar os mais famosos como o problema da maior subseqüência comum com aplicações em processamento de textos e em biologia molecular computacional, problema da construção dos caminhos de custo mínimo entre todos os pares de vértices em um grafo, com aplicações em roteamento de placas VLSI, redes de computadores, transporte de cargas, telecomunicações e geoprocessamento, problema da tringularização ótima de um polígono convexo, com aplicações em geometria computacional, computação gráfica e visão computacional. Por outro lado, a computação paralela consiste de um conjunto de processadores interligados que juntos resolvem um determinado problema, de forma mais rápida que a computação seqüencial, a qual utiliza somente um processador. Em áreas que trabalham com um grande quantidade de informações, como por exemplo, biologia computacional, processamento de imagens, modelagem e simulação de grandes sistemas, entre outras o uso de paralelismo tem conseguido acelerações de tempo significativas. Neste projeto propomos o desenvovimento de algoritmos paralelos realísticos para solucionar problemas de otimização através da técnica de programação dinâmica com economia de tempo e espaço. Implementações desses algoritmos serão projetadas para solucionar esses problemas e aplicá-las a casos reais em biologia molecular computacional, geoprocessamento, computação gráfica, entre outros.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / Said Sadique Adi - Integrante / José Augusto Ramos Soares - Integrante / Marco Aurélio Stefanes - Coordenador / Edson Norberto Cáceres - Integrante., Financiador(es): Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro.
-
2004 - 2008
Foundations of Computer Science: Combinatorial Algorithms and Discrete Structures -- Thematic/ProNEx Project (FAPESP/CNPq) Proc. FAPESP 2003/09925-5, Descrição: The research proposed under this project focuses on the 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 (CS). This project's approach is of a classical nature. Of the multiple fronts of CS that try to give support to computationally intense research projects of modern science, this project falls into the mathematical category, attacking algorithmic problems rigorously. The algorithms that are developed are analysed for correctness and computational complexity, and, when, relevant, they are implemented.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (10) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / José Coelho de Pina Júnior - Integrante / José Augusto Ramos Soares - Integrante / Marcelo Henriques de Carvalho - Integrante / Marco Aurélio Stefanes - Integrante / Carlos Eduardo Ferreira - Integrante / Cristina Gomes Fernandes - Integrante / Paulo Feofiloff - Integrante / Yoshiko Wakabayashi - Integrante / Alair Pereira do Lago - Integrante / Yoshiharu Kohayakawa - Coordenador / Renato José da Silva Carmo - Integrante / Ricardo Dahab - Integrante / Jair Donadelli Jr. - Integrante / André Luiz Pires Guedes - Integrante / Orlando Lee - Integrante / Manoel Lemos - Integrante / Sóstenes Lins - Integrante / Cláudio Leonerdo Lucchesi - Integrante / Flávio Keidi Miyazawa - Integrante / Cid Carvalho de Souza - Integrante., 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 / Universidade de São Paulo - Cooperação / Universidade Estadual de Campinas - Cooperação / Universidade Federal do Paraná - Cooperação / Universidade Federal de Mato Grosso do Sul - Cooperação / Universidade Federal de Pernambuco - Cooperação., Número de produções C, T & A: 7
-
1997 - 2004
Complexity of Discrete Structures (Projeto ProNEx 107/97 - MCT/CNPq Proc. CNPq 664107/1997-4), Descrição: Investigação dos problemas relacionados a estruturas discretas, algoritmos e complexidades.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (20) / Mestrado acadêmico: (30) / Doutorado: (10) . , Integrantes: Fábio Henrique Viduani Martinez - Integrante / José Coelho de Pina Júnior - Integrante / José Augusto Ramos Soares - Integrante / Nalvo Franco de Almeida Jr. - Integrante / Marcelo Henriques de Carvalho - Integrante / Carlos Eduardo Ferreira - Integrante / Cristina Gomes Fernandes - Integrante / Márcia Rosana Cerioli - Integrante / Paulo Feofiloff - Integrante / Yoshiko Wakabayashi - Integrante / Yoshiharu Kohayakawa - Coordenador / Ricardo Dahab - Integrante / Manoel Lemos - Integrante / Sóstenes Lins - Integrante / Cláudio Leonerdo Lucchesi - Integrante / Flávio Keidi Miyazawa - Integrante / Cid Carvalho de Souza - Integrante / Celina M. H. Figueiredo - Integrante / Cleide S. Martins Gomes - Integrante / Katia Silva Guimarães - Integrante / Sulamita Klein - Integrante / Arnaldo Mandel - Integrante / João Meidanis - Integrante / Célia Picinin de Mello - Integrante / João Carlos Setubal - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade de São Paulo - Cooperação / Universidade Estadual de Campinas - Cooperação / Universidade Federal do Rio de Janeiro - Cooperação / Universidade Federal de Pernambuco - Cooperação / Universidade Federal de Mato Grosso do Sul - Cooperação., Número de produções C, T & A: 5
Prêmios
2020
33o. Concurso de Teses e Dissertações (2o. lugar), orientador, XL Congresso da Sociedade Brasiliera de Computação.
2014
Patrono da Turma de Graduação em Análise de Sistemas, UFMS.
2007
Patrono da Turma de Graduação em Ciência da Computação, UFMS.
2006
Paraninfo da Turma de Graduação em Ciência da Computação, UFMS.
1999
Professor Homenageado da Turma de Graduação em Ciência da Computação, UFMS.
1998
Paraninfo da Turma de Graduação em Ciência da Computação, UFMS.
1997
Paraninfo da Turma de Graduação em Ciência da Computação, UFMS.
1996
Paraninfo da Turma de Graduação em Ciência da Computação, UFMS.
1996
Professor Homenageado da Turma de Graduação em Análise de Sistemas, UFMS.
Histórico profissional
Endereço profissional
-
Universidade Federal de Mato Grosso do Sul, Conselho de Ensino de Graduação da UFMS, Faculdade de Computação (FACOM). , Av Costa e Silva, S/N, Cidade Universitária, 79070900 - Campo Grande, MS - Brasil - Caixa-postal: 549, Telefone: (67) 33457854, URL da Homepage:
Experiência profissional
2020 - Atual
Universidade Federal de Mato Grosso do SulVínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
2012 - 2020
Universidade Federal de Mato Grosso do SulVínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 8, Regime: Dedicação exclusiva.
2004 - 2012
Universidade Federal de Mato Grosso do SulVínculo: , Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.
1996 - 2004
Universidade Federal de Mato Grosso do SulVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 0, Regime: Dedicação exclusiva.
Atividades
-
03/2021
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I
-
03/2021
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos e seus Algoritmos
-
07/2020 - 12/2020
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I
-
07/2020 - 12/2020
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Análise de Algoritmos
-
02/2020 - 06/2020
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estruturas de Dados
-
02/2020 - 06/2020
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I
-
03/2018 - 06/2018
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Análise de Algoritmos
-
02/2018 - 06/2018
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I
-
08/2017 - 12/2017
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I
-
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I
-
04/2017 - 07/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I
-
04/2017 - 07/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos e seus Algoritmos
-
11/2016 - 04/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos
-
08/2016 - 12/2016
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Análise de Algoritmos
-
05/2016 - 09/2016
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação
-
05/2016 - 09/2016
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos e seus Algoritmos
-
09/2015 - 04/2016
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação
-
09/2015 - 04/2016
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos e seus Algoritmos
-
03/2015 - 06/2015
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos I
-
03/2015 - 06/2015
Ensino, Engenharia Ambiental, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação
-
08/2014 - 12/2014
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Análise de algoritmos
-
08/2014 - 12/2014
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I
-
08/2013 - 12/2013
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Análise de Algoritmos
-
02/2012 - 07/2013
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I
-
02/2011 - 02/2013
Direção e administração, Conselho de Ensino de Graduação da UFMS, Faculdade de Computação (FACOM).,Cargo ou função, Coordenador de Curso.
-
12/2010 - 02/2013
Outras atividades técnico-científicas , Conselho de Ensino de Graduação da UFMS, Conselho de Ensino de Graduação da UFMS.,Atividade realizada, Tutor do Programa de Educação Tutorial PET-Sistemas (Bacharelado em Análise de Sistemas, Tecnologia em Análise e Desenvolvimento de Sistemas e Tecnologia em Redes de Computadores).
-
07/2011 - 12/2011
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I
-
02/2011 - 07/2011
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I
-
08/2010 - 12/2010
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação II
-
02/2010 - 07/2010
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I
-
02/2009 - 12/2009
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I
-
05/2006 - 06/2009
Direção e administração, Conselho de Ensino de Graduação da UFMS, Departamento de Computação e Estatística.,Cargo ou função, Chefe de Departamento.
-
02/2008 - 12/2008
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I
-
04/2007 - 12/2007
Extensão universitária , Conselho de Extensão, Cultura e Assuntos Estudantis.,Atividade de extensão realizada, Desenvolvimento do projeto de laboratórios de computadores de baixo custo: Projeto Multiterminal e Projeto LTSP.
-
02/2007 - 12/2007
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I
-
07/2006 - 12/2006
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria dos Grafos
-
02/2006 - 12/2006
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados I
-
09/2004 - 08/2006
Pesquisa e desenvolvimento, Conselho de Pesquisa e Pós-Graduação da UFMS, Departamento de Computação e Estatística.,Linhas de pesquisa
-
02/2006 - 07/2006
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Teoria dos Grafos
-
01/2005 - 06/2006
Conselhos, Comissões e Consultoria, Conselho de Ensino de Graduação da UFMS.,Cargo ou função, Presidente da Comissão de Estágio dos Cursos de Bacharelado em Análise de Sistemas e Bacharelado em Ciência da Computação.
-
06/2004 - 06/2006
Conselhos, Comissões e Consultoria, Conselho de Ensino de Graduação da UFMS.,Cargo ou função, Representante do CCET na Comissão de Avaliação de Projetos de Ensino.
-
02/2005 - 12/2005
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados II
-
02/2005 - 07/2005
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Teoria dos Grafos
-
08/2004 - 12/2004
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados II
-
08/2004 - 12/2004
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Fundamentos de Teoria da Computação
-
04/1996 - 07/1999
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados I, Algoritmos e Estruturas de Dados II, Laboratório de Computação, Linguagens de Programação
-
04/1996 - 07/1999
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados I, Algoritmos e Estruturas de Dados II, Análise de Algoritmos, Introdução à Teoria dos Grafos, Linguagens Formais e Autômatos
-
04/1996 - 06/1996
Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.,Atividade de extensão realizada, UNIX para iniciantes.
Você é Fabio Henrique Viduani Martinez?
Que tal assumir essas informações?
Basta criar uma conta no Escavador e enviar uma forma de comprovante. São três passos:
Escolha uma dentre três formas de verificação: Facebook, CPF ou Documento com Foto.
O Escavador irá analisar a sua solicitação.
As informações presentes nessa página serão transferidas para a sua página do perfil.
Depois do processo concluído, quem acessar essa página será redirecionado para seu cantinho no Escavador, seunome.escavador.com. Onde você poderá fazer a sua reputação, conhecer gente antenada, se informar e até mesmo ganhar clientes. Tudo isso de graça!
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Fabio Henrique Viduani Martinez e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?