Henrique Mongelli

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


Possui graduação em Licenciatura Plena em Matemática pela Universidade Federal de Mato Grosso do Sul(1989), mestrado em Matemática Aplicada pela Universidade de São Paulo(1995), doutorado em Ciências da Computação pela Universidade de São Paulo(2000) e pós-doutorado pela Universidade de São Paulo(2016). 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 Teoria da Computação. Atuando principalmente nos seguintes temas:Coarse Grained Multicomputers, Busca de Padrões, Escala, Algoritmos Escaláveis, algoritmos paralelos e granularidade grossa. (Texto gerado automaticamente pela aplicação CVLattes)


Identificação


Nome
Henrique Mongelli
Nome em citações bibliográficas
MONGELLI, H.;Mongelli, H.;MONGELLI, HENRIQUE

Endereço


Endereço Profissional
Universidade Federal de Mato Grosso do Sul, Faculdade de Computação.
Cidade Universitária
Cidade Universitária
79070900 - Campo Grande, MS - Brasil - Caixa-postal: 549
Telefone: (67) 33457130
Fax: (67) 33457455
URL da Homepage: http://www.facom.ufms.br/~mongelli


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


1996 - 2000
Doutorado em Ciências da Computação.
Universidade de São Paulo, USP, Brasil.
Título: Algoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem Escala, Ano de obtenção: 2000.
Orientador: Siang Wun Song.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Coarse Grained Multicomputers; Busca de Padrões; Escala; Algoritmos Escaláveis; algoritmos paralelos; granularidade grossa.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
Setores de atividade: Informática.
1990 - 1995
Mestrado em Matemática Aplicada.
Universidade de São Paulo, USP, Brasil.
Título: Algoritmos Paralelos para Solução de Sistemas Lineares,Ano de Obtenção: 1995.
Orientador: Routo Terada.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: algoritmos paralelos; Sistemas Lineares; PRAM.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
Setores de atividade: Informática.
1986 - 1989
Graduação em Licenciatura Plena em Matemática.
Universidade Federal de Mato Grosso do Sul, UFMS, Brasil.


Pós-doutorado


2014 - 2016
Pós-Doutorado.
Universidade de São Paulo, USP, Brasil.
Grande área: Ciências Exatas e da Terra


Atuação Profissional



Conselho Estadual de Educação do Estado de Mato Grosso do Sul, CEE-MS, Brasil.
Vínculo institucional

2009 - 2014
Vínculo: Colaborador, Enquadramento Funcional: Membro do Conselho


Universidade Federal de Mato Grosso do Sul, UFMS, Brasil.
Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

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

Atividades

08/2018 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos Paralelos
11/2016 - Atual
Direção e administração, Faculdade de Computação, .

Cargo ou função
Diretor de Unidade.
5/1999 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.

08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos Paralelos
05/2017 - 08/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto e Análise de Algoritmos
11/2016 - 04/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto e Análise de Algoritmos
06/2016 - 09/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados e Programação
05/2016 - 09/2016
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Programação I
Estruturas de Dados e Programação
12/2010 - 10/2014
Conselhos, Comissões e Consultoria, Reitoria da Universidade Federal de Mato Grosso do Sul, .

Cargo ou função
Presidente da Comissão de Assuntos Didáticos-Científicos do Conselho Universitário da UFMS..
11/2010 - 10/2014
Conselhos, Comissões e Consultoria, Reitoria da Universidade Federal de Mato Grosso do Sul, .

Cargo ou função
Membro do Comitê Gestor para coordenar no âmbito da UFMS, as ações do Programa Nacional de Assistência Estudantil.
11/2010 - 10/2014
Conselhos, Comissões e Consultoria, Reitoria da Universidade Federal de Mato Grosso do Sul, .

Cargo ou função
Responsável pelo Progama de Educação Tutorial perante o Ministério da Educação no âmbito da UFMS..
11/2010 - 10/2014
Conselhos, Comissões e Consultoria, Reitoria da Universidade Federal de Mato Grosso do Sul, .

Cargo ou função
Membro do Comitê Gestor para coordenar as ações necessárias à articulação da pós-graduação com a graduação e à concessão e monitoramento das Bolsas Reuni de Assistência Estudantil..
09/2009 - 10/2014
Direção e administração, Pró-Reitoria de Ensino de Graduação, .

Cargo ou função
01/2009 - 09/2009
Direção e administração, Pró-Reitoria de Pesquisa e Pós-Graduação, .

Cargo ou função
Chefe da Coordenadoria de Pesquisa.
05/2009 - 07/2009
Conselhos, Comissões e Consultoria, Pró-Reitoria de Ensino de Graduação, .

Cargo ou função
Membro da Comissão de Concurso Público para Ingresso na Carreira do Magistério Superior nas Classes de Professor Adjunto, Professor Assistente e Professor Auxiliar da Fundação Universidade Federal de Mato Grosso do Sul..
07/2007 - 01/2009
Conselhos, Comissões e Consultoria, Pró-Reitoria de Pesquisa e Pós-Graduação, .

Cargo ou função
Membro da Comissão de Pós-Graduação da Pró-Reitoria de Pesquisa e Pós-Graduação.
03/2003 - 01/2009
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.

Cargo ou função
Coordenador de Curso de Pós-Graduação (Mestrado em Ciência da Computação).
08/2008 - 12/2008
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação Linear
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Programação Linear
05/2008 - 12/2008
Conselhos, Comissões e Consultoria, Reitoria da Universidade Federal de Mato Grosso do Sul, .

Cargo ou função
Presidente da Comissão Própria de Avaliação da UFMS.
05/2005 - 12/2008
Direção e administração, Pró-Reitoria de Pesquisa e Pós-Graduação, .

Cargo ou função
Coordenador Acadêmico do PIBIC Institucional.
05/2008 - 07/2008
Conselhos, Comissões e Consultoria, Pró-Reitoria de Ensino de Graduação, .

Cargo ou função
Presidente da Comissão de Concurso Público para ingresso na Carreira do Magistério Superior nas Classes de Professor Adjunto, Professor Assistente e Professor Auxiliar da Fundação Universidade Federal de Mato Grosso do Sul..
02/2008 - 07/2008
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados II
04/2008 - 06/2008
Conselhos, Comissões e Consultoria, Pró-Reitoria de Ensino de Graduação, .

Cargo ou função
Presidente da Comissão de Concurso Público para ingresso na Carreira do Magistério Superior nas Classes de Professor Adjunto, Professor Assistente e Professor Auxiliar da Fundação Universidade Federal de Mato Grosso do Sul..
11/2007 - 12/2007
Conselhos, Comissões e Consultoria, Pró-Reitoria de Ensino de Graduação, .

Cargo ou função
Presidente da Comissão de Concurso Público para ingresso na Carreira do Magistério Superior nas Classes de Professor Assistente e de Professor Auxiliar da Fundação Universidade Federal de Mato Grosso do Sul..
08/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Programação Linear
07/2007 - 12/2007
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação Linear
07/2007 - 08/2007
Conselhos, Comissões e Consultoria, Pró-Reitoria de Ensino de Graduação, .

Cargo ou função
Membro da Comissão de Reformulação das Normas que Regulamentam o Concurso Público para Ingresso na Carreira do Magistério Superior da UFMS.
03/2007 - 07/2007
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados I
11/2006 - 03/2007
Conselhos, Comissões e Consultoria, Pró-Reitoria de Pesquisa e Pós-Graduação, .

Cargo ou função
Membro da Comissão para apresentar minuta de normas para convênios, contratos, prestação de contas, e utilização da conta única da UFMS para arrecadações oriundas de projetos de ensino, de pesquisa, de extensão e de pós-graduação.
10/2006 - 03/2007
Conselhos, Comissões e Consultoria, Reitoria da Universidade Federal de Mato Grosso do Sul, .

Cargo ou função
Membro da comissão para adequar às normas do Tribunal de Contas da União as Resoluções dos colegiados superiores da UFMS, que tratam de projetos de cursos de pós-graduação, de pesquisa, de extensão, prestação de serviço, incluída a colaboração esporá.
03/2006 - 12/2006
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Implementação e Experimentação Algorítmica
03/2006 - 07/2006
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Algoritmos Paralelos
03/2006 - 06/2006
Conselhos, Comissões e Consultoria, Pró-Reitoria de Pesquisa e Pós-Graduação, .

Cargo ou função
Membro da Comissão de Concurso Público para ingresso na Carreira do Magistério Superior na Classe de Professor Adjunto da Fundação Universidade Federal de Mato Grosso do Sul.
10/2005 - 12/2005
Conselhos, Comissões e Consultoria, Reitoria da Universidade Federal de Mato Grosso do Sul, .

Cargo ou função
Presidente de Comissão de Sindicância.
03/2005 - 11/2005
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Implementação e Experimentação Algorítmica
03/2005 - 06/2005
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos Paralelos
3/2004 - 12/2004
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Implementação e Experimentação Algorítmica
3/2004 - 7/2004
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Algoritmos Paralelos
8/2003 - 12/2003
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Implementação e Experimentação Algorítmica
3/2003 - 7/2003
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação

Disciplinas ministradas
Programação Distribuída
08/2002 - 12/2002
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação Linear
03/2002 - 12/2002
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados I
7/2000 - 11/2002
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.

Cargo ou função
Coordenador de curso de graduação (Ciência da Computação).
7/2000 - 11/2002
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.

Cargo ou função
Membro de conselho de centro.
7/2000 - 11/2002
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.

Cargo ou função
Coordenador de curso de Graduação (Análise de Sistemas).
03/2002 - 07/2002
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos Paralelos
03/2002 - 07/2002
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Algoritmos Paralelos
7/2000 - 05/2002
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.

Cargo ou função
Membro de colegiado superior (Câmara de Ensino de Graduação).
03/2001 - 12/2001
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados I
08/2001 - 10/2001
Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.

Atividade de extensão realizada
VIII Semana de Computação.
03/2000 - 12/2000
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados I
03/2000 - 12/2000
Ensino, Bacharelado em Análise de Sistemas, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados I
3/2000 - 12/2000
Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.

Atividade de extensão realizada
Tópicos em Algoritmos Paralelos e Distribuídos.
3/2000 - 12/2000
Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Computação e Estatística.

Atividade de extensão realizada
Introdução a Programação Paralela e Distribuída usando PVM.
12/1991 - 2/1996
Ensino, Licenciatura Plena em Matemática, Nível: Graduação

Disciplinas ministradas
Cálculo Numérico
Estrutura de Dados
Informática Aplicada à Administração
Introdução à Ciência da Computação
Álgebra Linear e Aplicações


Linhas de pesquisa


1.
Algoritmos Paralelos e Distribuídos


Projetos de pesquisa


2012 - Atual
Algoritmos MultiBSP para Problemas de Programação Dinâmica e Grafos usando CUDA , OpenCL, OpenMP, MPI
Descrição: Em se tratando de arquitetura baseada em cluster de workstation (uma CPU por workstation) um modelo cujos algoritmos tem obtido bons desempenhos quando implementados em máquinas reais é o BSP/CGM (Bulk Syncronous Parallel/Coarse Grained Multicomputer). Este modelo, introduzido por Valiant e Dehne et al, é composto por um conjunto de p processadores, com suas memórias locais, que se comunicam através de uma rede de interconexão que permite comunicação ponto-a-ponto entre os processadores. Um algoritmo no modelo BSP/CGM, ou simplesmente algoritmo BSP/CGM, para um problema que tenha entrada de tamanho n e que utilize p processadores é descrito através de superpassos compostos por uma rodada de computação local e uma rodada de comunicação. Na rodada de computação são manipulados os dados armazenados localmente. Na rodada de comunicação são trocadas informações entre os processadores. Neste modelo, a cada rodada de comunicação um processador pode enviar e/ou receber no máximo O(n/p) dados. O objetivo é minimizar o número de rodadas de comunicação e a quantidade de computação local. A pesar de o modelo funcionar também para memória compartilhada, no caso do domínio da arquitetura multi/many-core temos uma situação híbrida (CPU e GPU). Neste ambiente a meta de obter uma programação de alto desempenho freqüentemente não tem obtido sucesso. A fim de solucionar este problema, Valiant propôs um modelo de transição que visa capturar os parâmetros dos elementos mais básicos de arquiteturas multi/many-core. O modelo denominado Multi-BSP proposto é um modelo de múltiplos níveis que tem parâmetros explícitos para os números de processadores, tamanhos de memória cache, custos de comunicação e custos de sincronização. Neste projeto, vamos desenvolver e implementar aplicações paralelas para problemas em grafos e programação dinâmica usando o modelo Multi-BSP. Para isso vamos utilizar um ambiente computacional híbrido (cluster de estações multi/many core). Exploraremos as potencialidades das linguagens CUDA, OpenCL, OpenMP e MPI. Para o modelo BSP/CGM obtivemos vários resultados que confirmaram a eficiência desse modelo no projeto e implementação de algoritmos para problemas em grafos e programação dinâmica. Entre os problemas tratados estão os de Á rvores Geradoras, Componentes Conexos, Cliques Máximos, Fecho e Redução Transitiva, Análise e Comparação de Sequências, Somas de Sequência e Matrizes Maximais e o Problema da Mochila 0-1. Muitos desses algoritmos têm aplicações diretas em Biologia Molecular Computacional, o problema do fecho transitivo tem várias aplicações em problemas de determinar se objetos tem relação entre si e o problema da mochila 0-1. Os resultados obtidos com o BSP/CGM motivam o estudo do modelo Multi-BSP no projeto e análise de algoritmos para os problemas em Biologia Computacional e Problemas em Grafos e também com a implementação desses algoritmos utilizando CUDA, OpenCL, OpenMP e MPI. Além do Problema da Mochila 0-1, um outro problema que pode ser solucionado com técnicas de programação dinâmica é da comparação de sequências. Comparação de sequências é uma das ferramentas fundamentais e mais importantes em Biologia Molecular Computacional, servindo como base para a solução de outros problemas mais complexos, tais como na busca de similaridades entre biosequências, maior subsequência comum e problema de emparelhamento com k erros. Utilizando o modelo BSP/CGM, vários problemas relacionados à edição e comparação de sequências foram estudados anteriormente por Alves, Cáceres, Dehne, Loureiro, Nishibe e Song. Moreano et al, obteve resultados para problemas em Biologia Computacional utilizando FPGA ́s. Os bons resultados obtidos no projeto e implementação de algoritmos usando o modelo BSP/CGM motivam o estudo do modelo Multi-BSP e o projeto e implementação de algoritmos para os problemas citados..
Situação: Em andamento; Natureza: Pesquisa.
2008 - 2012
Uma Proposta para Consolidação e Expansão do Programa de Pós-Graduação em Ciência da Computação do DCT-UFMS
Descrição: A UFMS é a IES proponente, a USP é a IES associada principal e a Unicamp é a IES associada co-principal. Cada umas dessas IES possui uma única equipe participante neste projeto. A equipe da UFMS é formada por professores e alunos do Programa de Pós-Graduação em Computação da UFMS; a equipe da USP é formada por professores do Programa de Pós-Graduação em Ciência da Computação do Instituto de Matemática e Estatística da USP, do Programa de Pós-Graduação em Ciências da Computação e Matemática Computacional do Instituto de Ciências Matemáticas e da Computação da USP, em São Carlos (SP), e do Programa de Pós-Graduação em Engenharia Elétrica da Escola Politécnica da USP; e a equipe da Unicamp é formada por professores do Programa de Pós-Graduação em Computação do Instituto de Computação. da Unicamp..
Situação: Em andamento; Natureza: Pesquisa.
2008 - 2012
BIOFOCOIII (MCT/FINEP Ação Transvesal- Rede Genoprot - 07/2007)
Descrição: O objetivo principal desse projeto é desenvolver softwares para análises genômicas, que serão executados em ambiente cooperativo e distribuído na região Centro-Oeste. Isso permite melhor distribuição, compartilhamento e alocação de recursos computacionais, o que maximiza o potencial computacional das instituições integrantes do sistema (Campo Grande, Goiânia e Brasilia) Particularmente, três áreas da Bioinformática são abordadas: genômica comparativa, identificação de RNAs não-codificantes e redes metabólicas..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2010
Desenvolvimento de Processamento Paralelo e Aplicações de Alto Desempenho em Clusters tipo Beowulf
Descrição: A computação paralela e o processamento de alto desempenho vem nos últimos anos despertando interesses de várias áreas do conhecimento, desde àquelas envolvendo aplicações clássicas envolvendo volumosas quantidades de dados como banco de dados e computação gráfica, agora novas áreas como biologia computacional tem usado constante este paradigma de computação. No entando, estas áreas fazem uma utilização empírica da computação paralela, deixando um potencial para o aprimoramento das soluções. Neste projeto propomos o desenvolvimento de forma sistemática de soluções paralela para uma série de problemas práticos nestas áreas, bem como a ánalise deste modelo de computação como uma ferramenta de uso mais amplos em áreas ainda pouco exploradas..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2009
Consolidação das Linhas de Pesquisa do Mestrado em Ciência da Computação do DCT-UFMS
Descrição: O objetivo geral deste projeto é a consolidação das linhas de pesquisa do Programa de Mestrado em Ciência da Computação do DCT-UFMS. Os grupos consolidados participantes são: DI/PUC-Rio, IC/UNICAMP, IME/USP e ICMC/USP. Com este projeto visamos: atrair novos doutores que atuem nas linhas de pesquisa em formação; fixar recémdoutores; fortalecer linhas de pesquisa existentes; aumentar a visibilidade e a participação do Programa de Mestrado do DCT e seu corpo docente nas comunidades científicas nacional e internacional; reduzir o tempo médio de titulação dos discentes do Programa; aumentar a participação discente nas publicações relevantes do Programa; aumentar a produção científica dos orientadores do Programa; e fortalecer o intercâmbio e as relações com instituições consolidadas no país. Para isso, serão implementadas as seguintes ações: melhoria das condições de trabalhos dos recém-doutores e daqueles com mais baixa produtividade; fortalecimento e formação de parcerias efetivas com pesquisadores de programas consolidados de pósgraduação em Computação. O projeto prevê recursos principalmente para a criação de laboratórios temáticos em linhas de pesquisa em formação e o fortalecimento das linhas existentes, para passagens e diárias para reuniões de trabalhos e workshops, e para a participação em eventos com apresentação de trabalhos. A combinação de todos estes fatores auxiliará na consolidação e no fortalecimento do Programa de Mestrado do DCT, de acordo com a política de interiorização e disseminação do conhecimento tecnológico e científico..
Situação: Concluído; Natureza: Pesquisa.
2005 - 2008
Tratabilidade por Parâmetros Fixos: Algoritmos e Experimentação no Modelo BSP/CGM
Descrição: O modelo BSP/CGM é um modelo realístico de computação paralela em que são considerados, além da complexidade de tempo de processamento, o número de vezes em que existe comunicação entre os processadores. As implementações em máquinas paralelas reais dos algoritmos projetados nesse modelo têm obtido tempos bastante próximos aos previstos no modelo. Por outro lado, algoritmos FPT têm sido implementados e constituem uma abordagem promissora na solução de problemas NP-completos que necessitam de soluções exatas e para os quais podemos fixar, na prática, o parâmetro responsável pela explosão combinatorial. A combinação do paralelismo e de algoritmos FPT tem se mostrado profícua na obtenção de soluções para problemas práticos. No projeto de algoritmos FPT, geralmente, utilizamos duas técnicas básicas: redução ao núcleo do problema e árvore limitada de busca. Estas estratégias podem ser combinadas na obtenção de algoritmos FPT. Ambas estratégias podem ser paralelizadas. A paralelização da técnica de árvore limitada de busca mostrou-se bastante eficiente pois multiplicam-se os pontos de busca de soluções. Os principais problemas que serão abordados neste projeto têm algoritmos FPT seqüenciais descritos que utilizam basicamente a estratégia de árvore limitada de busca e são ou têm aplicações em Biologia Computacional e em grafos. Para o problema da k-Cobertura por Vértices, implementamos o algoritmo FPT/CGM de Cheetham et al. e obtivemos tempos muito bons, comparados a outras implementações seqüenciais e paralelas. Os algoritmos desenvolvidos serão implementados utilizando-se a linguacem C/C++ e as bibliotecas MPI e BSP-Lib. Na experimentação utilizaremos clusters de PC e grades computacionais. O objetivo principal deste projeto é o desenvolvimento e implementação de algoritmos paralelos eficientes para problemas FPT, usando modelos realísticos de computação paralela, de modo a comprovar a viabilidade da utilização de algoritmos FPT e computação paralela..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Henrique Mongelli - Coordenador / Siang Wun Song - Integrante / Edson Norberto Cáceres - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro.
2005 - 2008
Tratabilidade por Parâmetros Fixos: Algoritmos e Experimentação no Modelo BSP/CGM
Descrição: O modelo BSP/CGM é um modelo realístico de computação paralela em que são considerados, além da complexidade de tempo de processamento, o número de vezes em que existe comunicação entre os processadores. As implementações em máquinas paralelas reais dos algoritmos projetados nesse modelo têm obtido tempos bastante próximos aos previstos no modelo. Por outro lado, algoritmos FPT têm sido implementados e constituem uma abordagem promissora na solução de problemas NP-completos que necessitam de soluções exatas e para os quais podemos fixar, na prática, o parâmetro responsável pela explosão combinatorial. A combinação do paralelismo e de algoritmos FPT tem se mostrado profícua na obtenção de soluções para problemas práticos. No projeto de algoritmos FTP, geralmente, utilizamos duas técnicas básicas: redução ao núcleo do problema e árvore limitada de busca que podem ser combinadas na obtenção de algoritmos FPT e paralelizada. A paralelização da técnica de árvore limitada de busca mostrou-se bastante eficiente pois multiplicam-se os pontos de busca de soluções. Os principais problemas que serão abordados neste projeto têm algoritmos FPT seqüenciais descritos que utilizam basicamente a estratégia de árvore limitada de busca e são ou têm aplicações em Biologia Computacional e em grafos. Para o problema da k-Cobertura por Vértices, implementamos o algoritmo FPT/CGM de Cheetham et al. e obtivemos tempos muito bons, comparados a outras implementações seqüenciais e paralelas. Os algoritmos desenvolvidos serão implementados utilizando-se a linguacem C/C++ e as bibliotecas MPI e BSP-Lib. Na experimentação utilizaremos clusters de PC e grades computacionais. O objetivo principal deste projeto é o desenvolvimento e implementação de algoritmos paralelos eficientes para problemas FPT, usando modelos realísticos de computação paralela, de modo a comprovar a viabilidade da utilização de algoritmos FPT e computação paralela..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Henrique Mongelli - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2005 - 2008
Projeto Integrade 2
Descrição: O projeto InteGrade visa desenvolver um middleware inovador que permita a utilização de recursos computacionais ociosos em instituições acadêmicas e empresariais para a execução de aplicações científicas, industriais e de entretenimento que demandem alto poder computacional. O middleware é baseado em tecnologias avançadas de objetos distribuídos e pretende dar suporte à execução de aplicações paralelas onde haja um nível significativo de comunicação entre os nós..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Henrique Mongelli - Integrante / Siang Wun Song - Integrante / Edson Norberto Cáceres - Integrante / Fábio Kon - Coordenador / Markus Endler - Integrante / Marcelo Finger - Integrante / Alfredo Goldman vel Lejbman - Integrante / Renato Fontoura de Gusmão Cerqueira - Integrante / Fábio Costa - Integrante / Francisco Silva e Silva - Integrante / Eduardo Sany Laber - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2004 - 2006
Bioinformática e Computação de Alto Desempenho
Descrição: O projeto consiste no desenvolvimento e implementação de um ambiente computacional distribuído, capaz de prover serviços eficientes de comparação de seqüências e que ofereça ferramentas auxiliares de anotação, recursos que seriam inviáveis se oferecidos em máquinas isoladas. Para tanto, faremos uso (até que possamos adquirir um cluster próprio e dedicado) do cluster de computadores do Instituto de Computação da Unicamp, que já vem sendo utilizado por pesquisadores deste projeto. O projeto 'Bioinformática e Computação de Alto Desempenho' consiste no desenvolvimento e implementação de um ambiente computacional distribuído, capaz de prover serviços eficientes de comparação de seqüências e que ofereça ferramentas auxiliares de anotação, recursos que seriam inviáveis se oferecidos em máquinas isoladas..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Henrique Mongelli - Integrante / Edson Norberto Cáceres - Integrante / Nalvo Franco de Almeida Junior - Coordenador / Wellington Santos Martins - Integrante.
2003 - 2006
Desenvolvimento e Implementação de Algoritmos Paralelos para Problemas de Biologia Molecular Computacional
Descrição: O projeto focaliza o desenvolvimento e implementação de algoritmos paralelos para problemas de Bioinformática, usando os modelos Bulk Synchronous Parallel Model (BSP) e Coarse-Grained Multicomputer Model (CGM). Os algoritmos serão implementados nos Beowulfs do IME-USP e IC-Unicamp, utilizando a biblioteca Message Passing Interface (MPI). No presente projeto, pretendemos tratar de problemas solucionáveis seqüencialmente por algoritmos baseados em Programação Dinâmica, em especial do problema de Alinhamento Múltiplo de Seqüências. O objetivo principal é desenvolver e implementar algoritmos paralelos eficientes para os seguintes problemas: edição de seqüências; alinhamento de seqüências; e maior subseqüência comum entre duas cadeias, e outros relacionados..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Henrique Mongelli - Coordenador.
2003 - 2005
IMPAR - Infra-estrutura de Middleware para Aproveitamento de Recursos Ociosos em Sistemas Distribuídos
Descrição: O objetivo geral é desenvolver uma infra-estrutura de middleware genérica visando o aproveitamento de recursos ociosos em sistemas distribuídos de grande e média escala, com as seguintes características: permitir a resolução de qualquer problema computacional paralelizável; permitir a carga dinâmica de componentes contendo código para a resolução de diferentes tipos de problemas; permitir que os componentes das aplicações paralelas sendo executados nos diversos nós do sistema distribuído possam também se comunicar entre si de forma a permitir a execução de um gama muito maior de problemas (sistemas existentes limitam a execução a um ponto centralizador, possivelmente replicado, formando uma topologia de estrela com um nó central e milhões de clientes ligados a ele)..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Henrique Mongelli - Integrante / Siang Wun Song - Coordenador / Edson Norberto Cáceres - Integrante / Fábio Kon - Integrante / Markus Endler - Integrante / Allfredo Goldman - Integrante / Marcelo Finger - Integrante / Renato Cerqueira - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2003 - 2005
Algoritmos CGM/BSP para Problemas de Biologia Computacional e Grafos
Descrição: O objetivo principal é o estudo de algoritmos paralelos eficientes, usando o modelo CGM/BSP, para os seguintes proble-mas: edição de strings; alinhamento de strings; maior subseqüência comum entre duas strings; fecho e redução transitiva de um grafo, árvore geradora mínima, circuitos de Euler e outros problemas básicos em grafos. O algoritmo seqüencial utiliza-do para computar a similaridade de duas seqüências utiliza a técnica de programação dinâmica. Dado o tamanho e a quantidade das seqüências envolvidas, faz sentido pensarmos na utilização de computação paralela para solucionar esse problema. Os algoritmos paralelos projetados para o modelo PRAM muitas vezes dão speedups desapontadores quando implementados em máquinas reais. O BSP e o CGM são modelos de paralelismo suficientemente próximos das máquinas paralelas com memória distribuída existentes. O impacto esperado é na área de algoritmos paralelos aplicados à Biologia Computacional e a sistemas distribuídos modelados por grafos. A ênfase na implementação dos algoritmos propostos visa a sua real utilização. O produto final principal é a obtenção de algoritmos paralelos eficientes para os problemas mencionados..
Situação: Concluído; Natureza: Pesquisa.
2002 - 2005
Algoritmos Paralelos para Processamento de Cadeias e Problemas FPT
Descrição: Este projeto visa o desenvolvimento de algoritmos paralelos, no modelo CGM, para problemas de Processamento de Cadeias e para problemas FPT. Além das etapas teóricas pretende-se, através da utilização da biblioteca MPI(Mesage-Passing Interface), a implementação dos algoritmos obtidos em máquinas paralelas. Os problemas a serem estudados têm aplicações em diversas áreas da computação, além da contribuição do ponto de vista teórico que envolvem além do próprio desenvolvimento, as estratégias e técnicas que podem ser exportadas para outros problemas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Henrique Mongelli - Coordenador.
1996 - 2001
Desenvolvimento de Programas Paralelos
Situação: Concluído; Natureza: Pesquisa.


Projetos de extensão


2001 - 2001
VIII Semana de Computação
Situação: Concluído; Natureza: Extensão.
2000 - 2000
Tópicos de Algoritmos Paralelos e Distribuídos
Situação: Concluído; Natureza: Extensão.
2000 - 2000
Introdução à Computação Paralela e Distribuída usando PVM
Situação: Concluído; Natureza: Extensão.
2000 - 2000
Ciclo de Palestras do DCT
Situação: Concluído; Natureza: Extensão.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
2.
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.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.


Idiomas


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


Produções



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

1.
FINGLER, HENRIQUE2014FINGLER, HENRIQUE ; CÁCERES, EDSON N. ; MONGELLI, HENRIQUE ; SONG, SIANG W. . A CUDA based Solution to the Multidimensional Knapsack Problem Using the Ant Colony Optimization. Procedia Computer Science, v. 29, p. 84-94, 2014.

2.
CÁCERES, E. N.2010CÁCERES, E. N. ; MONGELLI, H. ; LOUREIRO, L. V. R. ; NISHIBE, C. ; SONG, S. W. . Performance results of running parallel applications on the InteGrade. Concurrency and Computation. Concurrency and Computation. Practice & Experience, v. 22, p. 375-393, 2010.

3.
MONGELLI, H.;Mongelli, H.;MONGELLI, HENRIQUE2001 MONGELLI, H.; SONG, S. W. . Parallel Pattern Matching with Scaling. Parallel Processing Letters, v. 11, n.1, p. 125-138, 2001.

4.
MONGELLI, H.;Mongelli, H.;MONGELLI, HENRIQUE1999 MONGELLI, H.; SONG, S. W. . Parallel Range Minima for Coarse Grained Multicomputers. International Journal of Foundations of Computer Science, v. 10, n.4, p. 375-389, 1999.

Livros publicados/organizados ou edições
1.
MONGELLI, H.; SANTOS, R. R. (Org.) . Anais do IX Simpósio em Sistemas Computacionais WSCAD-SSC. Campo Grande - MS: Editora da UFMS, 2008. v. 1. 252p .

Capítulos de livros publicados
1.
MONGELLI, H.; CÁCERES, E. N. ; SONG, S. W. . Algoritmos Paralelos Usando CGM/PVM: Uma Introdução. In: Sociedade Brasileira de Computação. (Org.). As Tecnologias da Informação e a Questão Social. Jornada de Atualização em Informática.. : , 2001, v. 2, p. -.

Trabalhos completos publicados em anais de congressos
1.
Vasconcellos, J. F. A. ; CÁCERES, EDSON N. ; Mongelli, H. ; SONG, S. W. . Algoritmo Paralelo para Árvore Geradora Usando GPU. In: XVIII Simpósio em Sistemas Computacionais de Alto Desempenho, 2017, Campinas. Anais do XVIII Simpósio em Sistemas Computacionais de Alto Desempenho, 2017. p. 292-303.

2.
VASCONCELLOS, JUCELE FRANCA DE ALENCAR ; CACERES, EDSON NORBERTO ; MONGELLI, HENRIQUE ; SONG, SIANG WUN . A Parallel Algorithm for Minimum Spanning Tree on GPU. In: 2017 International Symposium on Computer Architecture and High Performance Computing Workshops (SBACPADW), 2017, Campinas. 2017 International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW), 2017. p. 67-72.

3.
FINGLER, H. ; Mongelli, H. ; CÁCERES, E. N. . A CUDA based Solution to the Multidimensional Knapsack Problem Using the Ant Colony Optimization. In: 2014 International Conference on Computational Science,, 2014, Cairns. Procedia Computer Science, 2014. p. 84-94.

4.
C'CERES, E.N. ; FINGLER, H. ; Mongelli, H. ; SONG, S.W. . Ant Colony System Based Solutions to the Quadratic Assignment Problem on GPGPU. In: 2012 41st International Conference on Parallel Processing Workshops (ICPPW), 2012, Pittsburgh. 2012 41st International Conference on Parallel Processing Workshops, 2012. p. 314-322.

5.
CÁCERES, E. N. ; MONGELLI, H. ; NISHIBE, C. ; SONG, S. W. . Experimental Results of a Coarse-Grained Parallel Algorithm for Spanning Tree and Connected Components. In: International Conference on High Performance Computing and Simulation - HPCS 2010, 2010, Caen. Proc. of the 2010 International Conference on High Performance Computing and Simulation. USA: HPCS-IEEE, 2010. v. 1. p. 631-637.

6.
CÁCERES, E. N. ; MONGELLI, H. ; NISHIBE, C. ; SONG, S. W. . Performance results of three parallel transitive closure algorithms. In: Latin American Conference on High Performance Computing (CLCAR 2010), 2010, Gramado. Proc. 3rd. Latin American Conference on High Performance Computing (CLCAR 2010). Porto Alegre: UFRGS/PUCRS/UFPel, 2010. v. 1. p. 234-241.

7.
CÁCERES, E. N. ; MONGELLI, H. ; SONG, S. W. ; NISHIBE, C. ; LOUREIRO, L. V. R. . A Parallel Chain Matrix Product Algorithm on the InteGrade Grid. In: 10th International Conference on High Performance Computing, Grid and e-Science in Asia Pacific Region HPC Asia 2009, 2009, Kaohsiung. Proceedings of 10th International Conference on High Performance Computing, Grid and e-Science in Asia Pacific Region, 2009. v. 1. p. 304-311.

8.
MONGELLI, H.; CÁCERES, E. N. ; SONG, S. W. ; AGUENA, D. S. . An Alternative Implementation for the FPT k-Vertex Cover Parallel Algorithm. In: 10th International Conference on High Performance Computing, Grid and e-Science in Asia Pacific Region HPC-Asia 2009, 2009, Kaohsiung. Proceedings of 10th International Conference on High Performance Computing, Grid and e-Science in Asia Pacific Region, 2009. v. 1. p. 148-155.

9.
CÁCERES, E. N. ; MONGELLI, H. ; NISHIBE, C. ; LOUREIRO, L. V. R. ; SONG, S. W. . Performance Results of Running Parallel Applications on the InteGrade. In: International Latin American Grid Workshop LAGrid 2008, 2008, Campo Grande. Proceedings of the 2nd. International Latin American Grid Workshop LAGrid 2008. Petrópolis: Laboratório Nacional de Computação Científica, 2008. v. 1. p. 25-30.

10.
MONGELLI, H.; SAKAMOTO, R. C. . Implementações de Algoritmos Paralelos FPT para o Problema da k-Cobertura por Vértices Utilizando Clusters e Grades Computacionais. In: VIII Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD 2007), 2007, Gramado-RS. Anais do VIII Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD 2007), 2007. v. 1. p. 155-162.

11.
MONGELLI, H.; CÁCERES, E. N. ; SANDIM, Hércules da Costa ; NISHIBE, C. . Implementações em Grades Computacionais de Algoritmos BSP/CGM para os Problemas da Mochila 0-1 e Mínimo Intervalar. In: VII Workshop em Sistemas Computacionais de Alto Desempenho - WSCAD 2006, 2006, Ouro Preto - MG. Anais do VII Workshop em Sistemas Computacionais de Alto Desempenho - WSCAD, 2006. v. 1. p. 81-88.

12.
MONGELLI, H.; GONDA, L. . Uma Implementação de Algoritmos BSP/CGM de Ordenação. In: VI Workshop em Sistemas Computacionais de Alto Desempenho, 2005, Rio de Janeiro. Anais do VI Workshop em Sistemas Computacionais de Alto Desempenho - WSCAD 2005, 2005. v. 1. p. 89-96.

13.
GOLDCHLEGER, A. ; KON, Fábio ; SONG, S. W. ; CÁCERES, E. N. ; MONGELLI, H. ; et al . The Integrade Project: Status Report. In: III Workshop on Grid Computing and Applications, 2005, Petrópolis - RJ. Proc. of III Workshop on Grid Computing and Applications, 2005. v. 1. p. 49-54.

14.
MONGELLI, H.; HANASHIRO, E. J. ; SONG, S. W. . Efficient Implementation of the BSP/CGM Parallel Vertex Cover FPT Algorithm. In: Third International Workshop on Experimental and Efficient Algorithms - WEA 2004, 2004, Angra dos Reis. Lecture Notes in Computer Science. Berlin: Springer-Verlag., 2004. v. 3059. p. 253-268.

15.
MONGELLI, H.; SZWARCFITER, J. L. ; SONG, S. W. ; CÁCERES, E. N. ; DEHNE, F. . A Coarse-Grained Parallel Algorithm for Spanning Tree and Connected Components. In: Euro-Par 2004, 2004, Pisa. Lecture Notes in Computer Science. Berlin: Springer-Verlag., 2004. v. 3149. p. 828-831.

16.
MONGELLI, H.; SONG, S. W. . Efficient Two-Dimensional Parallel Pattern Matching with Scaling. In: 13th International Conference on Parallel and Distributed Computing and Systems, 2001, Anahein. Proceedings of13th International Conference on Parallel and Distributed Computing and Systems, 2001. p. 360-364.

17.
MONGELLI, H.; SONG, S. W. . Algoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem Escala. In: XXI Congresso da Sociedade Brasileira de Computação, 2001, Fortaleza, CE. Anais do XXI Congresso da Sociedade Brasileira de Computação. XIX Concurso de Teses e Dissertações, 2001. v. 1. p. 109-109.

18.
MONGELLI, H.; SONG, S. W. . Parallel String Matching with Scaling. In: The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA'2001, 2001, Las Vegas, Nevada, USA. Proceedings of The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications, 2001. v. 2. p. 605-609.

19.
MONGELLI, H.; SONG, S. W. . A Range Minima Parallel Algorithm for Coarse Grained Multicomputers. In: Workshop on Solving Irregularly Structured Problems in Parallel, 1999, San Jose - Porto Rico. Lecture Notes in Computer Science, 1999. v. 1586. p. 1075-1084.

20.
MONGELLI, H.; TERADA, R. . Algoritmos Paralelos para Solução de Sistemas Lineares. In: XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1995, Curitiba - PR. Anais do XVIII CNMAC, 1995. v. I. p. 169-173.

Resumos expandidos publicados em anais de congressos
1.
KON, Fábio ; SONG, S. W. ; CÁCERES, E. N. ; MONGELLI, H. ; et al . The Integrade Project. In: The Seventh IEEE International Symposium on Cluster Computing and the Grid ? CCGrid 2007, 2007, Rio de Janeiro - RJ. Proc. Seventh IEEE International Symposium on Cluster Computing and the Grid - CCGrid 2007, 2007. v. 1. p. 1-5.

Apresentações de Trabalho
1.
MONGELLI, H.. A Importância da Pesquisa na Graduação. 2013. (Apresentação de Trabalho/Conferência ou palestra).

2.
MONGELLI, H.. Avaliação do Sisu. 2012. (Apresentação de Trabalho/Comunicação).

3.
MONGELLI, H.. Mesa redonda: 'Avaliação de Curso nas Instituições de Ensino Superior'. 2012. (Apresentação de Trabalho/Outra).

4.
MONGELLI, H.; QUEIROZ, M. R. ; MELLO, P. B. . Mesa Redonda: Sistema de Seleção Unificada (SiSU): avaliação e experiências das IES. 2011. (Apresentação de Trabalho/Outra).

5.
MONGELLI, H.. Experiências em Reformulações de Matrizes Curriculares. 2011. (Apresentação de Trabalho/Conferência ou palestra).

6.
MONGELLI, H.; TURINE, Marcelo Augusto Santos ; RENZO, A. M. . Mesa Redonda: Pesquisa e Extensão como Princípios Educativos na Graduação. 2011. (Apresentação de Trabalho/Outra).

7.
MONGELLI, H.; DOMINGUES, P. A. G. ; GROSSI JUNIOR, G. . Mesa Redonda: Titulação Acadêmica Oriunda de Países do Mercosul. 2011. (Apresentação de Trabalho/Outra).

8.
MONGELLI, H.. A SBC e a Regulamentação da Profissão. 2005. (Apresentação de Trabalho/Conferência ou palestra).

9.
MONGELLI, H.. A Informática e o Desenvolvimento. 2005. (Apresentação de Trabalho/Conferência ou palestra).

10.
MONGELLI, H.. Perfil e Questões Profissionais em Computação. 2005. (Apresentação de Trabalho/Conferência ou palestra).

11.
MONGELLI, H.. A Sociedade Brasileira de Computação. 2004. (Apresentação de Trabalho/Conferência ou palestra).

12.
MONGELLI, H.. Pós-graduação e Pesquisa em Computação. 2004. (Apresentação de Trabalho/Conferência ou palestra).

13.
MONGELLI, H.. Painel: 'Integração: como proceder'. 2004. (Apresentação de Trabalho/Outra).

14.
MONGELLI, H.. Pesquisa em Ciência da Computação e Desenvolvimento Tecnológico: Situação Atual e Desafios. 2003. (Apresentação de Trabalho/Conferência ou palestra).

15.
MONGELLI, H.. Computação Paralela. 2001. (Apresentação de Trabalho/Conferência ou palestra).

16.
MONGELLI, H.. Mesa redonda: 'Formação Profissional na Área de Informática'. 2001. (Apresentação de Trabalho/Outra).

Outras produções bibliográficas
1.
MONGELLI, H.; DEHNE, F. ; CÁCERES, E. N. ; SONG, S. W. ; SZWARCFITER, J. L. . A Coarse-Grained Parallel Algorithm for Spanning Tree and Connected Components. São Paulo - SP: DCC-IME-USP, 2003 (Relatório Técnico).


Produção técnica
Trabalhos técnicos
1.
MONGELLI, H.; TERADA, R. . Algoritmos Paralelos para Solução de Sistemas Lineares. 1995.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
LOBATO, R. S.; BALDASSIN, A. J.; MONGELLI, H.. Participação em banca de Gabriel Covello Furlanetto. Geração de Simuladores de Filas para Diferentes Contextos com Estudo de Casos para Redes de Computadores. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho.

2.
CÁCERES, E. N.; MONGELLI, H.; SONG, S. W.. Participação em banca de Leonardo Vinícius Rolan Loureiro. Algoritmos BSP/CGM para Programação Dinâmica. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

3.
CÁCERES, E. N.; MONGELLI, H.; PIRES, P. P.; TURINE, Marcelo Augusto Santos. Participação em banca de Quintino Izídio dos Santos Neto. Termus - Uma Plataforma para Aferição de Temperatura de Bovinos da Raça Bragus. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

4.
CÁCERES, E. N.; SONG, S. W.; MONGELLI, H.. Participação em banca de Christiane Nishibe. Implementação e Análise de Algoritmos BSP/CGM em um Beowulf e no Integrade. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

5.
CÁCERES, E. N.; PIRES, P. P.; MONGELLI, H.; TURINE, Marcelo Augusto Santos. Participação em banca de Márcio Roberto Silva. PANTANEIRO: Middleware Cerberus usando RFID para Rastreabilidade Bovina. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

6.
SONG, S. W.; OKUDA, K.; MONGELLI, H.. Participação em banca de Fábio Henrique Nishihara. Paradigma mestre-escravo em plataformas heterogêneas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

7.
PALIOSA, Paulo Aristarco; CLUA, E. W. G.; MONGELLI, H.. Participação em banca de Márcio Artacho Perez. Motor de Física de Corpos Rígidos em GPU com Arquitetura CUDA. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

8.
Melo, A. C. M. A.; RALHA, C. G.; MONGELLI, H.. Participação em banca de Glauber Scorsatto. GrAMoS: Serviço para Monitoração de Acordos em Grid. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

9.
CÁCERES, E. N.; FREITAS, E. S.; CARVALHO, M. H. de; MONGELLI, H.. Participação em banca de Anderson Corrêa de Lima. Algoritmos Paralelos para Extensão Linear em Digrafos. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

10.
MONGELLI, H.; SONG, S. W.; CÁCERES, E. N.. Participação em banca de Cristiano Costa Argemon Vieira. Algoritmos BSP/CGM para o Problema do Fecho Transitivo. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

11.
MONGELLI, H.; LOBATO, R. S.; CAVENAGUI, M. A.; MARTINEZ, F. H. V.. Participação em banca de Rodrigo Porfírio da Silva Sacchi. 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.

12.
MONGELLI, H.; LOBATO, R. S.; CAVENAGHI, M. A.; ULSON, R. S.. Participação em banca de Marta Oliveira da Silva. Protocolo Conservativo CMB para Simulação Distribuída. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

13.
MONGELLI, H.; PALIOSA, Paulo Aristarco; NONATO, Luiz Gustavo. Participação em banca de Raquel Marcia Muller. Visualização de Modelos de Sólidos Analisados pelo Método dos Elementos de Contorno. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

14.
MONGELLI, H.; CÁCERES, E. N.; SONG, S. W.. Participação em banca de Amaury Antônio de Castro Junior. Implementação e Avaliação de Algoritmos BSP/CGM para o Fecho Transitivo e Problemas Relacionados. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

15.
MONGELLI, H.; SOARES, C. O.; ALMEIDA JUNIOR, N. F. de. Participação em banca de Graziela Santos de Araújo. Filogenia de Proteomas. 2003 - Universidade Federal de Mato Grosso do Sul.

16.
MONGELLI, H.; NONATO, L. G.; PAGLIOSA, P. A.. Participação em banca de Roberto Murillo Mathias Costa Junior. Geração de Malhas Baseada em Decomposição Espacial e Triangulação de Delaunay para Modelos de Sólidos com Condições de Contorno. 2003 - Universidade Federal de Mato Grosso do Sul.

17.
MONGELLI, H.; CÁCERES, E. N.; SONG, S. W.. Participação em banca de Claudia Yoshie Nasu. Algoritmo BSP/CGM para Computação de Circuitos de Euler em Grafos. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Teses de doutorado
1.
CÁCERES, E. N.; MARTINS, S. L.; OCHI, L. S.; HOSHINO, E. A.; MONGELLI, H.. Participação em banca de Bianca de Almeida Dantas. Metaheurísticas para o Problema da Mochila Multidimensional. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

2.
NASCIMENTO, H. A. D.; MARTINS, W. S.; CAMPOGONARA, E.; CLUA, E. W. G.; COSTA, F. M.; MONGELLI, H.. Participação em banca de Walid Abdala Rfaei Jradi. Application of GPU Computing to Urban Traffic Problems. 2016. Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul.

3.
MANACERO JUNIOR, A.; OLIVEIRA, S. A.; LOBATO, R. S.; LEJBMAN, Alfredo Goldman Vel; MONGELLI, H.. Participação em banca de José Nelson Falavinha Junior. Escalonamento de Tarefas em Sistemas Distribuídos Baseado no Conceito de Propriedade Distribuída. 2009. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual Paulista Júlio de Mesquita Filho.

4.
MONGELLI, H.; SOARES, José Augusto Ramos; SONG, S. W.; SZWARCFITER, J. L.; BARBOSA, Valmir Carneiro. Participação em banca de Marco Aurélio Stefanes. Algoritmos Paralelos de Granularidade Grossa em Grafos Bipartidos Convexos. 2003. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Qualificações de Doutorado
1.
ALMEIDA JUNIOR, N. F.; WALTER, M. E. M. T.; TELLES, G. P.; Mongelli, H.. Participação em banca de Graziela Santos de Araújo. Filogenia Viva Baseada em Distância. 2017. Exame de qualificação (Doutorando em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul.

2.
ALMEIDA JUNIOR, N. F.; CÁCERES, EDSON N.; ADI, S. S.; MONGELLI, HENRIQUE. Participação em banca de Deiviston da Silva Aguena. Busca de Motifs. 2017. Exame de qualificação (Doutorando em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul.

Qualificações de Mestrado
1.
GONDA, L.; PIRES, P. P.; FERNANDES, E. L. R.; Mongelli, H.. Participação em banca de Fernando Rech. Predição de estro em bovinos Nelore utilizando séries temporais a partir da temperatura corporal. 2017. Exame de qualificação (Mestrando em Computação Aplicada) - Universidade Federal de Mato Grosso do Sul.

2.
LOBATO, R. S.; MONGELLI, H.; BALDASSIN, A.. Participação em banca de Gabriel Covello Furlanetto. Geração de simuladores de filas para diferentes contextos. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho.

3.
TURINE, Marcelo Augusto Santos; BARBOSA, E. F.; MONGELLI, H.. Participação em banca de Tânia Regina Ramires Bezerra. Um Gerador Automático de Material Didático na Web Baseado na AIM-CID. 2006. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

4.
ZANUSSO, M. B.; LINARES, K. C.; MONGELLI, H.. Participação em banca de Noiza Waltrick Trindade. Agrupamento Fuzzy Usando Rede Neural. 2006. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

5.
STEFANES, M. A.; MARTINEZ, F. H. V.; MONGELLI, H.. Participação em banca de Claudia Regina Tinós Peviani. 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.

6.
CÁCERES, E. N.; MONGELLI, H.; FREITAS, E. S.; SZWARCFITER, J. L.. Participação em banca de Anderson Corrêa de Lima. Algoritmos Paralelos para Extensão Linear em Digrafos Planares. 2005. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

7.
PAGLIOSA, P. A.; MONGELLI, H.; NONATO, L. G.. Participação em banca de Leonardo de Lima Oliveira. Um Sistema de Animação Baseado em Dinâmica de Corpos Rígidos Articulados. 2005. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

8.
MONGELLI, H.; PAGLIOSA, P. A.; SONG, S. W.; CÁCERES, E. N.. Participação em banca de Bianca de Almeida Dantas. Paralelização Orientada a Objetos do MEF e do MEC Aplicados à Análise Elastostática de Sólidos. 2004. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

9.
STEFANES, M. A.; MONGELLI, H.; CARVALHO, M. H. de. Participação em banca de Marcelo Burali Carneiro. Algoritmos BSP/CGM para Geração de uma Ordem de Eliminação Perfeita em Grafos Cordais. 2004. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Monografias de cursos de aperfeiçoamento/especialização
1.
MONGELLI, H.; LOBATO, R. S.; SILVA, K. M. F. da. Participação em banca de Alexsandro Procópio da Silva, Cláudio Zarate Sanavria. APRENDIS - Uma Aplicação Web para Aprendizado de Simulação de Sistemas. 2004. Monografia (Aperfeiçoamento/Especialização em Engenharia de Websites) - Universidade Federal de Mato Grosso do Sul.

2.
MONGELLI, H.; PAGLIOSA, P. A.; ALMEIDA JUNIOR, N. F. de. Participação em banca de Carlos E. Arakaki, Cíntia S. Ogatha, Rodrigo Marciano Pouso. Terminal de Auto-atendimento com Tecnologia Web para o TRT-MS. 2004. Monografia (Aperfeiçoamento/Especialização em Engenharia de Websites) - Universidade Federal de Mato Grosso do Sul.

Trabalhos de conclusão de curso de graduação
1.
DANTAS, B. A.; Mongelli, H.. Participação em banca de Lucas Arakaki Takemoto.Paralelização de Meraheurísticas em GPGPU para o Problema Quadrático de Alocação. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

2.
CÁCERES, E. N.; MONGELLI, H.. Participação em banca de Péricles Christian Moraes Lopes.Algoritmos BSP/CGM para Ordenação e Acces Grid. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

3.
MOREANO, N. B.; SOTOMA, I.; MONGELLI, H.. Participação em banca de André R. Akagi, Fernando S. Cruz e Lincoln T. Oshiro.Desempenho de Memórias Cache. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

4.
STEFANES, M. A.; MONGELLI, H.. Participação em banca de Adriana de O. Bueno, Joselaine C. de Assis e Roberto Aragy.Algoritmos Paralelos para Árvores Geradoras Mínimas. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul.

5.
MONGELLI, H.; CARVALHO, M. H. de; ALMEIDA JUNIOR, N. F. de. Participação em banca de Adriano G. Idalgo, Alexandre Q. Silveira, Renato C. Silva.Mapeamento Físico de DNA. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

6.
MONGELLI, H.; SACCHI, R. P. S.; DANTAS, B. A.. Participação em banca de Ed Lúcio K. Sotoma, Emídio L. G. da Silva, Emily M. Fortini.Algoritmos de Salvamento de Estados Incremental State Saving para o Time Warp. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul.

7.
MONGELLI, H.; ALMEIDA JUNIOR, N. F. de; CARVALHO, M. H. de. Participação em banca de Anderson Machado, Cíntia Passos, Ivan Cruz, Rodrigo Martins.Estratégias para Comparação de Seqüências como Auxílio para Comparação de Genomas. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

8.
MONGELLI, H.; STEFANES, M. A.. Participação em banca de Adriana O. Bueno, Joselaine C. Assis, Roberto A. Xavier Jr..Algoritmos Paralelos para Árvores Geradoras Mínimas. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul.

9.
MONGELLI, H.; HOSHINO, E. A.; STEFANES, M. A.. Participação em banca de Aniz Daher Neto, Magno Naoto Suzuki, Roil Albertini.Um Algoritmo Branch-and-Bound com Heurística Lagrangeana para o Problema da Cobertura Máxima. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

10.
MONGELLI, H.; PAGLIOSA, P. A.; DANTAS, B. A.. Participação em banca de Alexandre da Silva, Anselmo Toyota, José Maia, Márcio Peres.Um Ambiente para Especificação de Cenas Tridimensionais e Tonalização em Hardware Gráfico Usando a Linguagem Cg. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

11.
MONGELLI, H.; CARVALHO, M. H. de; ALMEIDA JUNIOR, N. F.. Participação em banca de AlessandroYamada, Ana Lúcia Marreiros, Valguima Odakura.Teoria da NP-Completude e Algoritmos de Aproximação. 2000. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.



Participação em bancas de comissões julgadoras
Concurso público
1.
MONGELLI, H.; TURINE, Marcelo Augusto Santos; SILVA, K. M. F. da. Concurso Público para ingresso na Carreira do Magistério Superior na Classe de Professor Assistente Área: Banco de Dados ou Engenharia de Software - (DCT/CCET) - Campo Grande/MS. 2006. Universidade Federal de Mato Grosso do Sul.

2.
MONGELLI, H.; CÁCERES, E. N.; PEROZI, G. T. L.. Concurso Público para ingresso na Carreira do Magistério Superior na Classe de Professor Assistente Área: Tecnologia da Informação e/ou Engenharia de Produção/Ergonomia ? (CED/RTR) - Campo Grande/MS. 2006. Universidade Federal de Mato Grosso do Sul.

3.
MONGELLI, H.; SPOLON, R.; STEFANES, M. A.. Banca Examinadora do concurso público para provimento de cargos de Pofessor de Ensino Superior da Universidade Estadual de Mato Grosso do Sul. 2003. Universidade Estadual de Mato Grosso do Sul.

4.
MONGELLI, H.; SPOLON, R.; ALMEIRA JUNIOR, N. F.. Banca de Concurso para Professor Adjunto. 2003. Universidade Federal de Mato Grosso do Sul.

5.
MONGELLI, H.; CARVALHO, M. H. de; COSTA NETO, J. C.. Banca de Concurso para Professor Adjunto. 2002. Universidade Federal de Mato Grosso do Sul.

6.
MONGELLI, H.; ALMEIDA JUNIOR, N. F. de; TURINE, Marcelo Augusto Santos. Banca de Concurso para Professor Auxiliar. 2002. Universidade Estadual de Mato Grosso do Sul.

7.
MONGELLI, H.; CÁCERES, E. N.; FREITAS, S. R.. Banca de Concurso para Professor Adjunto. 2001. Universidade Federal de Mato Grosso do Sul.

8.
MONGELLI, H.; ALMEIDA JUNIOR, N. F. de; PAULA, N. C.. Banca de Concurso para Professor Auxiliar. 2000. Universidade Estadual de Mato Grosso do Sul.

Avaliação de cursos
1.
MONGELLI, H.; PAIVA, D. M. B.. Avaliação do Curso de Sistemas de Informação. 2008. Universidade Estadual de Mato Grosso do Sul.

2.
MONGELLI, H.; PAIVA, D. M. B.. Avaliação para fins de Reconhecimento do Curso de Sistemas de Informação/UEMS. 2008. Conselho Estadual de Educação do Estado de Mato Grosso do Sul.

3.
MONGELLI, H.; TURINE, Marcelo Augusto Santos. Avaliação para fins de Reconhecimento do Curso de Ciências da Computação/UEMS. 2005. Conselho Estadual de Educação de MS.

Outras participações
1.
MONGELLI, H.. Comissão Técnica do Processo Seletivo do Programa de Estudantes-Convênio de Graduação - PEC-G 2012. 2011. Ministério das Relações Exteriores - DF.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Encontro do Fórum de Pró-Reitores de Graduação da Região Centro-Oesteotro. 2013. (Encontro).

2.
Encontro do Fórum de Pró-Reitores de Graduação da Região Nort.A Expansao do Ensino Superior. 2013. (Encontro).

3.
Encontro do Fórum de Pró-Reitores de Graduação da Região Norte. 2013. (Encontro).

4.
Encontro do Fórum de Pró-Reitores de Graduação da Região SUL. 2013. (Encontro).

5.
Forgrad Sul 2013. 2013. (Encontro).

6.
I Seminário Produção do Conhecimento na Graduação e Pós Graduação.A Importância da Pesquisa no Ensino de Graduação. 2013. (Seminário).

7.
XXVI Encontro Nacional de PRó-Reitores de Graduação. 2013. (Encontro).

8.
XXVI Fórum de Pró-Reitores de Graduação da Região Sudeste. 2013. (Encontro).

9.
Fórum de Pró-Reitores de Graduação das Universidades Brasileiras ? Encontro da Regional Centro-Oeste. 2012. (Encontro).

10.
Oficina do Fórum de Pró-Reitores de Graduação Forgrad Sul. 2012. (Oficina).

11.
Seminário Andifes sobre a Internacionalização das Universidades Brasileiras. 2012. (Seminário).

12.
X Encontro de Professores da UEMS - UEMS 18 anos: Diálogos e Reflexões.Avaliação de Curso nas Instituições de Ensino Superior. 2012. (Encontro).

13.
XXV Encontro Regional Sudeste do Fórum de Pró- Reitores de Graduduação das Universidades Brasileiras. 2012. (Encontro).

14.
XXV Fórum de Pró-Reitores de Graduação das Universidades Brasileiras - ForGRAD Nacional.Relato de Experiência - Sisu. 2012. (Encontro).

15.
Fórum de Pró-Reitores de Graduação das Universidades Brasileiras ? Encontro da Regional Centro-Oeste.Mesa Redonda: Pesquisa e Extensão como Princípios Educativos na Graduação. 2011. (Encontro).

16.
Fórum de Pró-Reitores de Graduação das Universidades Brasileiras ? Encontro da Regional Centro-Oeste. 2011. (Encontro).

17.
Fórum de Pró-Reitores de Graduação das Universidades Brasileiras ? Encontro da Regional Sul. 2011. (Encontro).

18.
Fórum de Pró-Reitores de Graduação das Universidades Brasileiras ? Encontro da Regional Sul.Coordenador da Conferência: Formação de Professores. 2011. (Encontro).

19.
I Encontro de Formação de Gestores - I EFG.Experiências em Reformulações de Matrizes Curriculares. 2011. (Encontro).

20.
Reunião plenária do Fórum Nacional dos Conselhos Estaduais de Educação - Região Centro-Oeste.Mesa Redonda: Titulação Acadêmica Oriunda de Países do Mercosul. 2011. (Encontro).

21.
Reunião plenária do Fórum Nacional dos Conselhos Estaduais de Educação - Região Centro-Oeste. 2011. (Encontro).

22.
XXIV Fórum de Pró-Reitores de Graduação das Universidades Brasileiras - ForGRAD Nacional. 2011. (Encontro).

23.
XXIII FORGRAD - Fórum de Pró-Reitores de Graduação das Universidades Brasileiras. 2010. (Encontro).

24.
10th International Conference on High Performance Computing, Grid and e-Science in Asia Pacific Region HPC-Asia 2009. An Alternative Implementation for the FPT k-Vertex Cover Parallel Algorithm. 2009. (Congresso).

25.
FORGRAD - Encontro Regional Norte-Centro-Oeste. 2009. (Encontro).

26.
XXVIII Congresso da Sociedade Brasileira de Computação. 2008. (Congresso).

27.
The 19th International Symposium on Computer Architecture and High Performance Computing. 2007. (Simpósio).

28.
VIII Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD 2007).Implementações de Algoritmos Paralelos FPT para o Problema da k-Cobertura por Vértices Utilizando Clusters e Grades Computacionais. 2007. (Simpósio).

29.
XXVII Congresso da Sociedade Brasileira de Computação. 2007. (Congresso).

30.
The 18th International Symposium on Computer Architecture and High Performance Computing. 2006. (Simpósio).

31.
VII Workshop em Sistemas Computacionais de Alto Desempenho - WSCAD 2006.Implementações em Grades Computacionais de Algoritmos BSP/CGM para os Problemas da Mochila 0-1 e Mínimo Intervalar. 2006. (Outra).

32.
XXVI Congresso da Sociedade Brasileira de Computação. 2006. (Congresso).

33.
SBAC-PAD 2005.17th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005). 2005. (Simpósio).

34.
VII Curso de Qualidade - Ensino de Computação: Melhores Práticas. 2005. (Outra).

35.
Euro-Par 2004. A Coarse-Grained Parallel Algorithm for Spanning Tree and Connected Components. 2004. (Congresso).

36.
Third International Workshop on Experimental and Efficient Algorithms - WEA 2004. Efficient Implementation of the BSP/CGM Parallel Vertex Cover FPT Algorithm. 2004. (Congresso).

37.
XXIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso).

38.
15th Symposium of Computer Architecture and High Performance Computing. 2003. (Simpósio).

39.
XVI Encontro Nacional do ForGRAD - Fórum Nacional de Pró-Reitores de Graduação das Universidades Brasileiras. 2003. (Encontro).

40.
XXIII Congresso da Sociedade Brasileira de Computação. 2003. (Congresso).

41.
14th Symposium of Computer Architecture and High Performance Computing. 2002. (Simpósio).

42.
IV Curso de Qualidade - Metodologia de Ensino para Cursos na Área de Computação e Informática. 2002. (Outra).

43.
XXII Congresso da Sociedade Brasileira de Computação. 2002. (Congresso).

44.
I Ciclo de Palestras na Área de Informática.Mesa redonda "Formação Profissional na Área de Informática". 2001. (Outra).

45.
III Curso de Qualidade - Planos Pedagógicos de Cursos na Área de Computação e Informática. 2001. (Outra).

46.
I Semana Integrada de Computação (SIC).Computação Paralela. 2001. (Outra).

47.
The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA'2001. Parallel String Matching with Scaling. 2001. (Congresso).

48.
XXI Congresso da Sociedade Brasileira de Computação. Algoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem Escala. 2001. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
Mongelli, H.. Fórum de Pró-Reitores de Graduação das Universidades Brasileiras - Encontro Regional Centro-Oeste. 2012. (Congresso).

2.
CÁCERES, E. N. ; MONGELLI, H. ; Prasanna, V. ; CIRNE, W. . 20th International Symposium on Computer Architecture and High Performance Computing. 2008. (Congresso).

3.
MONGELLI, H.; MARTINS, S. L. . Curso de Qualidade - A Construção de Projetos Pedagógicos em Cursos de Computação e Informática. 2006. (Outro).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Henrique Fingler. Otimização de colônias de formigas em CUDA: O problema da mochila e o problema quadrático de alocação. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, . Orientador: Henrique Mongelli.

2.
Rodrigo Cesar Sakamoto. Implementações de Algoritmos FPT para o Problema do 3-Hitting Set Utilizando Clusters e Grades Computacionais. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Fund. de Apoio ao Desenv. do Ensino, Ciência e Tecnologia do Estado de MS. Orientador: Henrique Mongelli.

3.
Marcos Alves Mariano. Comparação de Algoritmos Paralelos para a Extração de Regras de Associação no Modelo de Memória Distribuída. 2011. 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: Henrique Mongelli.

4.
Deiviston da Silva Aguena. Implementações Alternativas FPT BSP/CGM para o Problema k-Cobertura por Vértices. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, . Orientador: Henrique Mongelli.

5.
Rodrigo Porfírio da Silva Sacchi. ETW: Um Núcleo para Simulação Distribuída Otimista. 2005. 0 f. 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. Coorientador: Henrique Mongelli.

6.
Marta Oliveira da Silva. Protocolo Conservativo CMB para Simulação Distribuída. 2005. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, . Coorientador: Henrique Mongelli.

7.
Erik Joey Hanashiro. O Problema da k-Cobertura por Vértices: uma Implementação FPT no modelo BSP/CGM. 2004. 77 f. 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: Henrique Mongelli.

8.
Luciano Gonda. Algoritmos BSP/CGM para Ordenação. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, . Orientador: Henrique Mongelli.

9.
Bianca de Almeida Dantas. Paralelização Orientada a Objetos do MEF Aplicado à Análise Dinâmica de Sólidos Elásticos. 2004. 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. Coorientador: Henrique Mongelli.

Trabalho de conclusão de curso de graduação
1.
Henrique Fingler. Sistemas de Colônias de Formigas Aplicados ao Problema da Atribuição Quadrática em GPGPU. 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: Henrique Mongelli.

2.
Rodrigo Cesar Sakamoto. O Problema da k- Cobertura por Vértices. 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: Henrique Mongelli.

3.
Edgar Arakaki. Programação Estocástica. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul. Orientador: Henrique Mongelli.

4.
Hércules da Costa Sandim. Implementação de Algoritmos BSP/CGM em Grades. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul. Orientador: Henrique Mongelli.

5.
Bruno de Freitas, Felipe Corrêa, Helton da Rosa. Implementação de Algoritmos Específicos de Ordenação Utilizando a Biblioteca BSP-Pub. 2004. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul. Orientador: Henrique Mongelli.

6.
Rafael Idalgo, Renata Rodrigues, Roil Albertini. O Problema da Determinação de Todos os Menores Valores Mais Próximos. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul. Orientador: Henrique Mongelli.

7.
Gustavo Gomes, Rodrigo de Souza, Yuri Gonçalves. Estudo e Implementação do Problema do Ancestral Comum mais Baixo no Modelo CGM. 2002. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul. Orientador: Henrique Mongelli.

8.
Renato Okumoto, Rodrigo Areco, Beatriz Trindade. Algoritmos Paralelos para o Problema do Ancestral Comum mais Baixo. 2001. Trabalho de Conclusão de Curso. (Graduação em Análise de Sistemas) - Universidade Federal de Mato Grosso do Sul. Orientador: Henrique Mongelli.

Iniciação científica
1.
Rodrigo Cesar Sakamoto. O Problema da k- Cobertura por Vértices. 2006. 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: Henrique Mongelli.

2.
Hércules da Costa Sandim. Implementação de Algoritmos BSP/CGM Básicos em Grades. 2005. 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: Henrique Mongelli.



Outras informações relevantes


Membro de Comitê de Programa dos seguintes eventos: WSCAD 2005, WSCAD 2006, WSCAD 2007, WSCAD-CTIC 2007, CTD 2007.
Revisor dos seguintes eventos: CTD 2006, CTD 2007, CTIC 2006, GRACO 2005, SBAC-PAD 2005, SBAC-PAD 2006, SBGames 2005- WJogos 2005, WSCAD 2005, WSCAD 2006, WSCAD 2007, WSCAD-CTIC 2007



Página gerada pelo Sistema Currículo Lattes em 15/11/2018 às 23:56:05