Currículo do Sistema de Currículos Lattes (Gleifer Vaz Alves)

Dados pessoais Formação acadêmica/Titulação Formação complementar Atuação profissional Áreas de atuação Idiomas

Prêmios e títulos Produção científica, tecnológica e artística/cultural Dados complementares Indicadores de produção Outras informações relevantes

Curriculum Vitae
Gleifer Vaz Alves Veja Gleifer Vaz Alves em outras bases
Histórico no CNPq
Diretório de grupos de pesquisa

Última atualização em 14/05/2004

Dados Pessoais

Nome Gleifer Vaz Alves
Filiação Fernando Antônio Roldan Alves e Maria Gleide Vaz Alves
Nascimento 28/09/1978 - Pelotas/RS - Brasil
Carteira de Identidade 3046836882 S.J.S - RS - 08/11/1996
CPF 93907982053
Endereço residencial Rua Visconde de Barbacena, 350
Várzea - Recife
50740-460, PE - Brasil
Telefone: 81 32731395
E-mail: gva@cin.ufpe.br

Endereço profissional Universidade Federal de Pernambuco, Centro de Informática
Av. Professor Luis Freire s/n
Cidade Universitária - Recife
50740-500, PE - Brasil
Telefone: 81 32718430

Início da página

Formação Acadêmica/Titulação

2003 Mestrado em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Recife, Brasil
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
1998 - 2002 Graduação em Informática.
Universidade Católica de Pelotas, UCPEL, Pelotas, Brasil
Título: Implementação de Estruturas de Controle para Estratégias de Prova em um Provador de Teoremas
Orientador: Antônio Carlos da Rocha Costa e Graçaliz Pereira Dimuro
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico
1993 - 1997 Ensino Profissional de nível técnico em Eletrônica.
Centro Federal de Educação Tecnológica de Pelotas, CEFET/RS, Brasil

Início da página

Atuação Profissional

1 Universidad Politécnica de Madrid - U.P.MADRID*

Vínculo institucional
2001 - 2001 Vínculo: Outro , Enquadramento funcional: Estagiário , Carga horária: 30, Regime : Dedicação Exclusiva

Atividades
1/2001 - 3/2001
Estágio, Facultad de Informática, Departamento de Matemática Aplicada

Estágio
1. Atividades de pesquisa na área de Teoria de Grafos

2 Universidade Católica de Pelotas - UCPEL

Vínculo institucional
1998 - 1998 Vínculo: Outro , Enquadramento funcional: Monitor , Carga horária: 3, Regime : Parcial
1998 - 1999 Vínculo: Colaborador , Enquadramento funcional: Voluntário , Carga horária: 20, Regime : Parcial
1999 - 2000 Vínculo: Colaborador , Enquadramento funcional: Bolsista de Iniciação Científica (UCPel) , Carga horária: 20, Regime : Parcial
1999 - 1999 Vínculo: Outro , Enquadramento funcional: Tutor , Carga horária: 3, Regime : Parcial
2000 - 2002 Vínculo: Colaborador , Enquadramento funcional: Bolsista PIBIC-CNPq , Carga horária: 20, Regime : Parcial
2000 - 2000 Vínculo: Outro , Enquadramento funcional: Tutor , Carga horária: 3, Regime : Parcial
2000 - 2000 Vínculo: Outro , Enquadramento funcional: Tutor , Carga horária: 3, Regime : Parcial
2001 - 2001 Vínculo: Outro , Enquadramento funcional: Monitor , Carga horária: 3, Regime : Parcial
2002 - 2002 Vínculo: Outro , Enquadramento funcional: Monitor , Carga horária: 3, Regime : Parcial

Atividades
8/1998 - 7/2000
Pesquisa e Desenvolvimento, Escola de Informática, Núcleo de Apoio a Projetos de Informática

Linhas de Pesquisa
1. Software matemático
2. Introdução à Lógica
3. Materiais Didáticos Interativos

8/1998 - 12/1998 Outra atividade técnico-científica, Escola de Informática

Especificação
1. Monitor da disciplina de Sistemas Discretos I

3/1999 - 6/1999 Outra atividade técnico-científica, Escola de Informática

Especificação
1. Tutor da disciplina de Sistemas Discretos I

3/2000 - 6/2000 Outra atividade técnico-científica, Escola de Informática

Especificação
1. Tutor da disciplina de Sistemas Discretos II

8/2000 - 7/2002 Pesquisa e Desenvolvimento, Escola de Informática, Núcleo de Apoio a Projetos de Informática

Linhas de Pesquisa
1. Lógica Proposicional e Predicativa
2. Métodos de Dedução de Provas
3. Provadores de Teoremas
4. Programação Funcional

8/2000 - 12/2000 Outra atividade técnico-científica, Escola de Informática

Especificação
1. Tutor da disciplina de Sistemas Discretos II

9/2001 - 12/2001 Outra atividade técnico-científica, Escola de Informática

Especificação
1. Monitor da disciplina de Teoria da Computação

3/2002 - 6/2002 Outra atividade técnico-científica, Escola de Informática

Especificação
1. Monitor da disciplina de Teoria da Computação

3 Universidade Federal de Pernambuco - UFPE

Vínculo institucional
2003 - Vínculo: Bolsista CAPES , Enquadramento funcional: bolsista de pós-graduação , Carga horária: 40, Regime : Dedicação Exclusiva

Atividades
03/2003 - Atual
Pesquisa e Desenvolvimento, Centro de Informática

Linhas de Pesquisa
1. Lógica e Sistemas de Provas
2. Teoria da Prova
3. Teoria da Computação
4. Teoria de Processos

Início da página

Áreas de atuação

1 Lógica e Sistemas de Prova
2 Teoria da Prova
3 Fundamentos Teóricos da Computação
4 Provadores de Teoremas
5 Programação Funcional
6 Teoria de Processos

Início da página

Idiomas

Entende Inglês (Bem) , Espanhol (Bem)
Fala Inglês (Bem) , Espanhol (Bem)
Lê Inglês (Bem) , Espanhol (Bem)
Escreve Inglês (Bem) , Espanhol (Razoavelmente)

Início da página

Prêmios e Títulos

2003 Prêmio Beatriz Neves - 3º Lugar, Sociedade Brasileira de Matemática Aplicada e Computacional
1999 Prêmio Jovem Pesquisador - 1º Lugar, FURG/UCPEL/UFPEL
1998 Prêmio Jovem Pesquisador - 3º Lugar, UFPEL/FURG/UCPEL

Início da página

Produção científica, tecnológica e artística/cultural

Produção bibliográfica Produção técnica Produção artística/cultural

Trabalhos completos publicados em anais de evento

1 ALVES, G. V., COSTA, A. C. R., DIMURO, G. P.
Desenvolvimento de uma Ferramenta de Provas para a Lógica Proposicional In: Congresso Regional de Iniciação Científica e Tecnológica, 2002, Passo Fundo.
  Anais do Cricte 2002. Passo Fundo: Editora da UOF, 2002. p.1 - 5
2 ALVES, G. V., COSTA, A. C. R., DIMURO, G. P.
Um Provador de Teoremas com Utilização de Mônadas In: I Simpósio de Informática da Região Centro do Rio Grande do Sul, 2002, Santa Maria.
  Artigos Apresentados no SIRC/RS. Santa Maria: , 2002. p.1 - 8
3 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R.
Estudo para Implementação de um Provador de Teoremas para a Lógica Proposicional In: Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 2001, Ijuí.
  Anais do Cricte 2001. Ijuí: UNIJUI, 2001. p.1 - 5
4 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R.
Um Editor de Provas para a Lógica Proposicional In: CLEI 2001 - Conferencia Latinoamericana de Informatica, 2001, Mérida.
  Memorias. Mérida: CLEI, 2001. p.1 - 10
5 GRANERO, J. C., ALVES, G. V.
Aplicação de um Algoritmo Heurístico para a Escolha de Rotas In: Oficina de Inteligência Artificial, 2000, Pelotas.
  Anais da IV Oficina de Inteligência Artificial. Pelotas: EDUCAT, 2000. p.73 - 84
6 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Implementando um Editor de Provas para a Lógica Proposicional In: Congresso Regional de Iniciação Científica e Tecnológica, 2000, Rio Grande.
  CD dos Anais do Cricte 2000. Rio Grande: Editora da FURG, 2000. p.1 - 5
7 ALVES, G. V., MIRANDA, R. M., ISLABÃO, M., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Materiais Didáticos Interativos para o Ensino Integrado dos Fundamentos da Computação In: CLEI 2000 - Conferencia Latinoamericana de Informatica, 2000, Atizapán de Zaragoza.
  Memorias. Ciudad de Mexico: TEC de Monterrey - Campus Estado de Mexico, 2000. v.1. p.1 - 12
8 ALVES, G. V., MIRANDA, R. M., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Ensino Integrado dos Fundamentos Matemáticos da Ciência da Computação In: Congresso Regional de Iniciação Científica e Tecnológica, 1999, Santa Maria.
  Revista do Cricte. Santa Maria: Editora da UFSM, 1999. p.103 - 106

Trabalhos resumidos publicados em anais de evento

1 ALVES, G. V., OLIVEIRA, A. G., QUEIROZ, R. J. G. B.
Towards normalization for proof-graphs: basic transformations In: Logic Colloquium 2004, 2004, Torino.
  Bulletin of Symbolic Logic. , 2004.
2 ALVES, G. V., COSTA, A. C. R., DIMURO, G. P.
A Theorem Prover as an Application Example of Monads In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2002, Nova Friburgo.
  Resumos das Comunicações. São José dos Campos: SBMAC, 2002. p.1 - 1
3 ALVES, G. V., COSTA, A. C. R., DIMURO, G. P.
Implementação de um Provador de Teoremas com Utilização de Mônadas em Haskell In: Encontro Regional de Matemática Aplicada e Computacional, 2002, Porto Alegre.
  Anais do VI ERMAC. Porto Alegre: SBMAC-RS, 2002. p.1 - 6
4 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R.
Desenvolvimento de um Provador de Teoremas In: 10º Congresso de Iniciação Científica UFPel/UCPel, 2001, Pelotas.
  Anais do 10° CIC. Pelotas: EDUCAT, 2001. p.1 - 1
5 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R.
Estudo para Implementação de um Provador de Teoremas para a Lógica Proposicional In: Salão de Iniciação Científica, 2001, Porto Alegre.
  Anais do XIII Salão de IC. Porto Alegre: UFRGS, 2001. p.1 - 1
6 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R.
Study of a Theorem Prover In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2001, Belo Horizonte.
  Resumos das Comunicações. Belo Horizonte: Editora Gráfica Novo Milênio, 2001. p.195 - 195
7 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
An Interactive Book and a Proof Editor for Propositional Logic In: Congresso Nacional de Matemática Aplicada e Computacional, 2000, Santos.
  Resumo das Comunicações. São José dos Campos: SBMAC, 2000. p.1 - 1
8 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Desenvolvimento de Livro Interativo e Editor de Provas para o Ensino de Lógica In: Salão de Iniciação Científica, 2000, Porto Alegre.
  Cd do Salão de Iniciação Científica. Porto Alegre: Editora da UFRGS, 2000. p.14 - 14
9 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Developing Tools for Logic Learning In: Simpósio Internacional de Iniciação Científica, 2000, São Carlos.
  Anais do Simpósio de Iniciação Científica. São Carlos: Editora da USP, 2000. p.1 - 1
10 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Ensino de Lógica através de Livro Interativo e Editor de Provas In: Laboratório de Pesquisa da UCPel, 2000, Pelotas.
  Anais do 7º Laboratório de Pesquisa. Pelotas: EDUCAT, 2000. p.181 - 182
11 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Livro Interativo e Editor de Provas para Apoio ao Ensino de Lógica In: Congresso de Iniciação Científica, 2000, Pelotas.
  Resumo. Pelotas: Editora e Gráfica Universitária UFPel, 2000. p.33 - 33
12 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Um Editor de Provas para Lógica Proposicional In: Encontro Regional de Matemática Aplicada e Computacional, 2000, Santa Cruz do Sul.
  Anais do IV Encontro Regional de Matemática Aplicada e Computacional. Santa Cruz do Sul: EDUNISC, 2000. p.58 - 59
13 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Utilizando um Editor de Provas para a Lógica Proposicional In: Congresso Regional de Iniciação Científica e Tecnológica, 2000, Rio Grande.
  Anais do Cricte 2000. RIo Grande: Editora da FURG, 2000. p.1 - 1
14 MIRANDA, R. M., ALVES, G. V., ISLABÃO, M., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Desenvolvimento de Material Didático Interativo Com o Uso do Software Maple In: XI Salão de Iniciação Científica da UFRGS, 1999, Porto Alegre.
  Anais do XI SIC. Porto Alegre: Editora da UFRGS, 1999. p.53 - 53
15 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Desenvolvimento de Provas da Lógica Proposicional Utilizando um Provador Interativo In: 7º Laboratório de Pesquisa da UCPel, 1999, Pelotas.
  Anais '99. Pelotas: EDUCAT, 1999. p.111 - 111
16 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Um Ambiente Interativo para o Desenvolvimento de Provas da Lógica Proposicional In: XI Salão de Iniciação Científica da UFRGS, 1999, Porto Alegre.
  Anais do XI SIC. Porto Alegre: Editora da UFRGS, 1999. p.53 - 53
17 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Um Provador Interativo para a Lógica Proposicional In: 8º Congresso de Iniciação Científica FURG/UCPEL/UFPEL, 1999, Rio Grande.
  Resumos do 8º CIC. Rio Grande: Editora da FURG, 1999. p.18 - 18
18 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Uma Ferramenta para Prova Interativa na Lógica Proposicional. In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, Santos.
  Resumo das Comunicações. São José dos Campos: SBMAC, 1999. p.366 - 366
19 ALVES, G. V., DIMURO, G. P., DUARTE, G. D.
Ensino Interativo de Lógica e Teoria dos Conjuntos na Informática In: 8 Mostra de Iniciação Científica da UPF, 1998, Passo Fundo.
  8 Mostra de Iniciação Científica. Passo Fundo: Universidade de Passo Fundo, 1998. p.54 - 54
20 ALVES, G. V., DIMURO, G. P., DUARTE, G. D.
Interatividade no Ensino de Lógica e Teoria dos Conjuntos na Computação In: 6º Laboratório de Pesquisa da UCPel, 1998, Pelotas.
  Anais do 6º Laboratório de Pesquisa da UCPel. Pelotas: EDUCAT, 1998. p.94 - 94
21 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Uso do Ensino Interativo de Lógica e Teoria dos Conjuntos na Computação In: 7º Congresso de Iniciação Científica UFPel/UCPel/FURG, 1998, Pelotas.
  Resumos. Pelotas: Editora e Gráfica da UFPel, 1998. p.129 - 129

Início da página

Livros publicados

1 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
Introdução à Lógica no Maple. Pelotas : Margens do Arroio Editora Virtual, 2000

Início da página

Softwares sem registro ou patente

1 ALVES, G. V.
MOP : Monadic Theorem Prover, 2002

2 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R.
Editor de Provas para a Lógica Proposicional, 2000

Início da página

Outras produções técnicas

1 ALVES, G. V., QUEIROZ, R. J. G. B., OLIVEIRA, A. G.
Provas e Processos via N-Grafos, 2003. (Outra produção técnica,Outra produção técnica)
2 ALVES, G. V., DIMURO, G. P.
FMC : Fundamentos Matemáticos da Computação, 2002. (Relatório de pesquisa,Relatório de pesquisa)
3 ALVES, G. V., DIMURO, G. P.
FMC : Fundamentos Matemáticos da Computação, 2002. (Relatório de pesquisa,Relatório de pesquisa)
4 ALVES, G. V., DIMURO, G. P.
Fundamentos Matemáticos da Computação, 2001. (Relatório de pesquisa,Relatório de pesquisa)
5 ALVES, G. V., DIMURO, G. P.
Fundamentos Matemáticos da Computação, 2001. (Relatório de pesquisa,Relatório de pesquisa)
6 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
ENSIN: Ensino Integrado dos Fundamentos da Ciência da Computação na Escola de Informática da UCPel, 2000. (Relatório de pesquisa,Relatório de pesquisa)
7 ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D.
ENSIN: Ensino Integrado dos Fundamentos da Ciência da Computação na Escola de Informática da UCPel , 1999. (Relatório de pesquisa,Relatório de pesquisa)

Início da página

Dados pessoais	Formação acadêmica/Titulação	Formação complementar	Atuação profissional	Áreas de atuação	Idiomas
Prêmios e títulos	Produção científica, tecnológica e artística/cultural	Dados complementares	Indicadores de produção	Outras informações relevantes

Nome	Gleifer Vaz Alves
Filiação	Fernando Antônio Roldan Alves e Maria Gleide Vaz Alves
Nascimento	28/09/1978 - Pelotas/RS - Brasil
Carteira de Identidade	3046836882 S.J.S - RS - 08/11/1996
CPF	93907982053
Endereço residencial	Rua Visconde de Barbacena, 350 Várzea - Recife 50740-460, PE - Brasil Telefone: 81 32731395 E-mail: gva@cin.ufpe.br
Endereço profissional	Universidade Federal de Pernambuco, Centro de Informática Av. Professor Luis Freire s/n Cidade Universitária - Recife 50740-500, PE - Brasil Telefone: 81 32718430

2003	Mestrado em Ciência da Computação. Universidade Federal de Pernambuco, UFPE, Recife, Brasil Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
1998 - 2002	Graduação em Informática. Universidade Católica de Pelotas, UCPEL, Pelotas, Brasil Título: Implementação de Estruturas de Controle para Estratégias de Prova em um Provador de Teoremas Orientador: Antônio Carlos da Rocha Costa e Graçaliz Pereira Dimuro Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico
1993 - 1997	Ensino Profissional de nível técnico em Eletrônica. Centro Federal de Educação Tecnológica de Pelotas, CEFET/RS, Brasil

	Vínculo institucional
	2001 - 2001	Vínculo: Outro , Enquadramento funcional: Estagiário , Carga horária: 30, Regime : Dedicação Exclusiva

	Atividades
	1/2001 - 3/2001	Estágio, Facultad de Informática, Departamento de Matemática Aplicada
		Estágio 1. Atividades de pesquisa na área de Teoria de Grafos

	Vínculo institucional
	1998 - 1998	Vínculo: Outro , Enquadramento funcional: Monitor , Carga horária: 3, Regime : Parcial
	1998 - 1999	Vínculo: Colaborador , Enquadramento funcional: Voluntário , Carga horária: 20, Regime : Parcial
	1999 - 2000	Vínculo: Colaborador , Enquadramento funcional: Bolsista de Iniciação Científica (UCPel) , Carga horária: 20, Regime : Parcial
	1999 - 1999	Vínculo: Outro , Enquadramento funcional: Tutor , Carga horária: 3, Regime : Parcial
	2000 - 2002	Vínculo: Colaborador , Enquadramento funcional: Bolsista PIBIC-CNPq , Carga horária: 20, Regime : Parcial
	2000 - 2000	Vínculo: Outro , Enquadramento funcional: Tutor , Carga horária: 3, Regime : Parcial
	2000 - 2000	Vínculo: Outro , Enquadramento funcional: Tutor , Carga horária: 3, Regime : Parcial
	2001 - 2001	Vínculo: Outro , Enquadramento funcional: Monitor , Carga horária: 3, Regime : Parcial
	2002 - 2002	Vínculo: Outro , Enquadramento funcional: Monitor , Carga horária: 3, Regime : Parcial

	Atividades
	8/1998 - 7/2000	Pesquisa e Desenvolvimento, Escola de Informática, Núcleo de Apoio a Projetos de Informática
		Linhas de Pesquisa 1. Software matemático 2. Introdução à Lógica 3. Materiais Didáticos Interativos
	8/1998 - 12/1998	Outra atividade técnico-científica, Escola de Informática
		Especificação 1. Monitor da disciplina de Sistemas Discretos I
	3/1999 - 6/1999	Outra atividade técnico-científica, Escola de Informática
		Especificação 1. Tutor da disciplina de Sistemas Discretos I
	3/2000 - 6/2000	Outra atividade técnico-científica, Escola de Informática
		Especificação 1. Tutor da disciplina de Sistemas Discretos II
	8/2000 - 7/2002	Pesquisa e Desenvolvimento, Escola de Informática, Núcleo de Apoio a Projetos de Informática
		Linhas de Pesquisa 1. Lógica Proposicional e Predicativa 2. Métodos de Dedução de Provas 3. Provadores de Teoremas 4. Programação Funcional
	8/2000 - 12/2000	Outra atividade técnico-científica, Escola de Informática
		Especificação 1. Tutor da disciplina de Sistemas Discretos II
	9/2001 - 12/2001	Outra atividade técnico-científica, Escola de Informática
		Especificação 1. Monitor da disciplina de Teoria da Computação
	3/2002 - 6/2002	Outra atividade técnico-científica, Escola de Informática
		Especificação 1. Monitor da disciplina de Teoria da Computação

	Vínculo institucional
	2003 -	Vínculo: Bolsista CAPES , Enquadramento funcional: bolsista de pós-graduação , Carga horária: 40, Regime : Dedicação Exclusiva

	Atividades
	03/2003 - Atual	Pesquisa e Desenvolvimento, Centro de Informática
		Linhas de Pesquisa 1. Lógica e Sistemas de Provas 2. Teoria da Prova 3. Teoria da Computação 4. Teoria de Processos

1	Lógica e Sistemas de Prova
2	Teoria da Prova
3	Fundamentos Teóricos da Computação
4	Provadores de Teoremas
5	Programação Funcional
6	Teoria de Processos

Entende	Inglês (Bem) , Espanhol (Bem)
Fala	Inglês (Bem) , Espanhol (Bem)
Lê	Inglês (Bem) , Espanhol (Bem)
Escreve	Inglês (Bem) , Espanhol (Razoavelmente)

2003	Prêmio Beatriz Neves - 3º Lugar, Sociedade Brasileira de Matemática Aplicada e Computacional
1999	Prêmio Jovem Pesquisador - 1º Lugar, FURG/UCPEL/UFPEL
1998	Prêmio Jovem Pesquisador - 3º Lugar, UFPEL/FURG/UCPEL

1	ALVES, G. V., COSTA, A. C. R., DIMURO, G. P. Desenvolvimento de uma Ferramenta de Provas para a Lógica Proposicional In: Congresso Regional de Iniciação Científica e Tecnológica, 2002, Passo Fundo. Anais do Cricte 2002. Passo Fundo: Editora da UOF, 2002. p.1 - 5
2	ALVES, G. V., COSTA, A. C. R., DIMURO, G. P. Um Provador de Teoremas com Utilização de Mônadas In: I Simpósio de Informática da Região Centro do Rio Grande do Sul, 2002, Santa Maria. Artigos Apresentados no SIRC/RS. Santa Maria: , 2002. p.1 - 8
3	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R. Estudo para Implementação de um Provador de Teoremas para a Lógica Proposicional In: Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 2001, Ijuí. Anais do Cricte 2001. Ijuí: UNIJUI, 2001. p.1 - 5
4	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R. Um Editor de Provas para a Lógica Proposicional In: CLEI 2001 - Conferencia Latinoamericana de Informatica, 2001, Mérida. Memorias. Mérida: CLEI, 2001. p.1 - 10
5	GRANERO, J. C., ALVES, G. V. Aplicação de um Algoritmo Heurístico para a Escolha de Rotas In: Oficina de Inteligência Artificial, 2000, Pelotas. Anais da IV Oficina de Inteligência Artificial. Pelotas: EDUCAT, 2000. p.73 - 84
6	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Implementando um Editor de Provas para a Lógica Proposicional In: Congresso Regional de Iniciação Científica e Tecnológica, 2000, Rio Grande. CD dos Anais do Cricte 2000. Rio Grande: Editora da FURG, 2000. p.1 - 5
7	ALVES, G. V., MIRANDA, R. M., ISLABÃO, M., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Materiais Didáticos Interativos para o Ensino Integrado dos Fundamentos da Computação In: CLEI 2000 - Conferencia Latinoamericana de Informatica, 2000, Atizapán de Zaragoza. Memorias. Ciudad de Mexico: TEC de Monterrey - Campus Estado de Mexico, 2000. v.1. p.1 - 12
8	ALVES, G. V., MIRANDA, R. M., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Ensino Integrado dos Fundamentos Matemáticos da Ciência da Computação In: Congresso Regional de Iniciação Científica e Tecnológica, 1999, Santa Maria. Revista do Cricte. Santa Maria: Editora da UFSM, 1999. p.103 - 106

1	ALVES, G. V., OLIVEIRA, A. G., QUEIROZ, R. J. G. B. Towards normalization for proof-graphs: basic transformations In: Logic Colloquium 2004, 2004, Torino. Bulletin of Symbolic Logic. , 2004.
2	ALVES, G. V., COSTA, A. C. R., DIMURO, G. P. A Theorem Prover as an Application Example of Monads In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2002, Nova Friburgo. Resumos das Comunicações. São José dos Campos: SBMAC, 2002. p.1 - 1
3	ALVES, G. V., COSTA, A. C. R., DIMURO, G. P. Implementação de um Provador de Teoremas com Utilização de Mônadas em Haskell In: Encontro Regional de Matemática Aplicada e Computacional, 2002, Porto Alegre. Anais do VI ERMAC. Porto Alegre: SBMAC-RS, 2002. p.1 - 6
4	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R. Desenvolvimento de um Provador de Teoremas In: 10º Congresso de Iniciação Científica UFPel/UCPel, 2001, Pelotas. Anais do 10° CIC. Pelotas: EDUCAT, 2001. p.1 - 1
5	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R. Estudo para Implementação de um Provador de Teoremas para a Lógica Proposicional In: Salão de Iniciação Científica, 2001, Porto Alegre. Anais do XIII Salão de IC. Porto Alegre: UFRGS, 2001. p.1 - 1
6	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R. Study of a Theorem Prover In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2001, Belo Horizonte. Resumos das Comunicações. Belo Horizonte: Editora Gráfica Novo Milênio, 2001. p.195 - 195
7	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. An Interactive Book and a Proof Editor for Propositional Logic In: Congresso Nacional de Matemática Aplicada e Computacional, 2000, Santos. Resumo das Comunicações. São José dos Campos: SBMAC, 2000. p.1 - 1
8	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Desenvolvimento de Livro Interativo e Editor de Provas para o Ensino de Lógica In: Salão de Iniciação Científica, 2000, Porto Alegre. Cd do Salão de Iniciação Científica. Porto Alegre: Editora da UFRGS, 2000. p.14 - 14
9	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Developing Tools for Logic Learning In: Simpósio Internacional de Iniciação Científica, 2000, São Carlos. Anais do Simpósio de Iniciação Científica. São Carlos: Editora da USP, 2000. p.1 - 1
10	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Ensino de Lógica através de Livro Interativo e Editor de Provas In: Laboratório de Pesquisa da UCPel, 2000, Pelotas. Anais do 7º Laboratório de Pesquisa. Pelotas: EDUCAT, 2000. p.181 - 182
11	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Livro Interativo e Editor de Provas para Apoio ao Ensino de Lógica In: Congresso de Iniciação Científica, 2000, Pelotas. Resumo. Pelotas: Editora e Gráfica Universitária UFPel, 2000. p.33 - 33
12	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Um Editor de Provas para Lógica Proposicional In: Encontro Regional de Matemática Aplicada e Computacional, 2000, Santa Cruz do Sul. Anais do IV Encontro Regional de Matemática Aplicada e Computacional. Santa Cruz do Sul: EDUNISC, 2000. p.58 - 59
13	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Utilizando um Editor de Provas para a Lógica Proposicional In: Congresso Regional de Iniciação Científica e Tecnológica, 2000, Rio Grande. Anais do Cricte 2000. RIo Grande: Editora da FURG, 2000. p.1 - 1
14	MIRANDA, R. M., ALVES, G. V., ISLABÃO, M., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Desenvolvimento de Material Didático Interativo Com o Uso do Software Maple In: XI Salão de Iniciação Científica da UFRGS, 1999, Porto Alegre. Anais do XI SIC. Porto Alegre: Editora da UFRGS, 1999. p.53 - 53
15	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Desenvolvimento de Provas da Lógica Proposicional Utilizando um Provador Interativo In: 7º Laboratório de Pesquisa da UCPel, 1999, Pelotas. Anais '99. Pelotas: EDUCAT, 1999. p.111 - 111
16	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Um Ambiente Interativo para o Desenvolvimento de Provas da Lógica Proposicional In: XI Salão de Iniciação Científica da UFRGS, 1999, Porto Alegre. Anais do XI SIC. Porto Alegre: Editora da UFRGS, 1999. p.53 - 53
17	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Um Provador Interativo para a Lógica Proposicional In: 8º Congresso de Iniciação Científica FURG/UCPEL/UFPEL, 1999, Rio Grande. Resumos do 8º CIC. Rio Grande: Editora da FURG, 1999. p.18 - 18
18	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Uma Ferramenta para Prova Interativa na Lógica Proposicional. In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, Santos. Resumo das Comunicações. São José dos Campos: SBMAC, 1999. p.366 - 366
19	ALVES, G. V., DIMURO, G. P., DUARTE, G. D. Ensino Interativo de Lógica e Teoria dos Conjuntos na Informática In: 8 Mostra de Iniciação Científica da UPF, 1998, Passo Fundo. 8 Mostra de Iniciação Científica. Passo Fundo: Universidade de Passo Fundo, 1998. p.54 - 54
20	ALVES, G. V., DIMURO, G. P., DUARTE, G. D. Interatividade no Ensino de Lógica e Teoria dos Conjuntos na Computação In: 6º Laboratório de Pesquisa da UCPel, 1998, Pelotas. Anais do 6º Laboratório de Pesquisa da UCPel. Pelotas: EDUCAT, 1998. p.94 - 94
21	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. Uso do Ensino Interativo de Lógica e Teoria dos Conjuntos na Computação In: 7º Congresso de Iniciação Científica UFPel/UCPel/FURG, 1998, Pelotas. Resumos. Pelotas: Editora e Gráfica da UFPel, 1998. p.129 - 129

1	ALVES, G. V. MOP : Monadic Theorem Prover, 2002
2	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R. Editor de Provas para a Lógica Proposicional, 2000

1	ALVES, G. V., QUEIROZ, R. J. G. B., OLIVEIRA, A. G. Provas e Processos via N-Grafos, 2003. (Outra produção técnica,Outra produção técnica)
2	ALVES, G. V., DIMURO, G. P. FMC : Fundamentos Matemáticos da Computação, 2002. (Relatório de pesquisa,Relatório de pesquisa)
3	ALVES, G. V., DIMURO, G. P. FMC : Fundamentos Matemáticos da Computação, 2002. (Relatório de pesquisa,Relatório de pesquisa)
4	ALVES, G. V., DIMURO, G. P. Fundamentos Matemáticos da Computação, 2001. (Relatório de pesquisa,Relatório de pesquisa)
5	ALVES, G. V., DIMURO, G. P. Fundamentos Matemáticos da Computação, 2001. (Relatório de pesquisa,Relatório de pesquisa)
6	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. ENSIN: Ensino Integrado dos Fundamentos da Ciência da Computação na Escola de Informática da UCPel, 2000. (Relatório de pesquisa,Relatório de pesquisa)
7	ALVES, G. V., DIMURO, G. P., COSTA, A. C. R., DUARTE, G. D. ENSIN: Ensino Integrado dos Fundamentos da Ciência da Computação na Escola de Informática da UCPel , 1999. (Relatório de pesquisa,Relatório de pesquisa)