Rede de Colaboração
Diretório de grupos de pesquisa

Elthon Allex da Silva Oliveira

possui graduação em Ciência da Computação pela Universidade Federal de Alagoas (2004) e mestrado em Informática pela Universidade Federal de Campina Grande (2006). É professor efetivo da Universidade Federal de Alagoas desde agosto de 2006. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Verificação de Software, Métodos e Testes Formais.
(Texto informado pelo autor)

Última atualização do currículo em 19/01/2012
Endereço para acessar este CV:
http://lattes.cnpq.br/7627571580413875
Dados pessoais
NomeElthon Allex da Silva Oliveira
Nome em citações bibliográficasOLIVEIRA, E. A. da S.; OLIVEIRA, E.; OLIVEIRA, E. A. S.
SexoMasculino
Endereço profissionalUniversidade Federal de Alagoas, Campus Arapiraca.
AL 115. Km 6,5
57300-000 - Arapiraca, AL - Brasil
URL da Homepage: http://www.arapiraca.ufal.br/professor/elthonoliveira

Formação acadêmica/Titulação
2010            Doutorado em andamento em Ciência da Computação .
Universidade Federal de Campina Grande, UFCG, Brasil.
Título: Stochastic Formal Models for Pervasive Healthcare, Orientador: Leandro Dias da Silva e Angelo Perkusich.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior .
2004 - 2006Mestrado em Ciência da Computação .
Universidade Federal de Campina Grande, UFCG, Brasil.
Título: Uma Técnica para Modelagem e Verificação de Programas Java Concorrentes Auxiliada por Anotações de Código, Ano de Obtenção: 2006.
Orientador: Jorge C. A. de Figueiredo e Dalton D. S. Guerrero.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior .
2000 - 2004Graduação em Ciência da Computação .
Universidade Federal de Alagoas, UFAL, Brasil.
Título: Especificação e verificação formal do modelo de componentes COMPOR-CM utilizando Redes de Petri Coloridas Hierárquicas.
Orientador: Eliana Silva de Almeida e Hyggo Oliveira de Almeida.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de Alagoas ,FAPEAL ,Brasil .

Formação complementar
2009 - 2009Planejamento/Implantação de Incubadora de Empresas. (Carga horária: 32h).
Associação Nacional de Entidades Promotoras de Tecnologias Avançadas.
2008 - 2008Moodle para Professor Tutor. (Carga horária: 20h).
Universidade Federal do Rio Grande do Sul.
2006 - 2008Mastering English Course. (Carga horária: 240h).
Centro de Cultura Anglo Amerinaca.
2004 - 2004Software Engineering: Refinement. (Carga horária: 80h).
Universidade Federal de Pernambuco.
1998 - 2003Video English Course. (Carga horária: 540h).
Centro de Cultura Anglo Amerinaca.
2002 - 2002Hipermídia Adaptativa. (Carga horária: 6h).
Sociedade Brasileira de Computação.
2002 - 2002Mineração de Dados Em Redes Bayesianas. (Carga horária: 6h).
Sociedade Brasileira de Computação.
2001 - 2002Programador Trainee. (Carga horária: 400h).
Instituto de Tecnologia em Ciência da Informação.
2001 - 2001Curso Básico de Linux. (Carga horária: 20h).
Universidade Federal de Alagoas, UFAL, Brasil.
2000 - 2000Montagem e Manutenção de Microcomputadores. (Carga horária: 60h).
Associação dos Deficientes Físicos de Alagoas.

Atuação profissional
Universidade Federal de Alagoas, UFAL, Brasil.
Vínculo institucional
2006 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Docente, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações De 08/2006 até 07/2008: Professor Assistente I. De 08/2008 até 07/2010: Professor Assistente II. De 08/2010 até atualmente: Professor Assistente III. De 08/2010 até 01/2012: em licença para Doutorado.
Vínculo institucional
2000 - 2004 Vínculo: Discente, Enquadramento Funcional: Outro (estudante da graduação), Carga horária: 20
Atividades
09/2007 - AtualEnsino, Bacharelado em Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Laboratório de Programação 1 (2008.1, 2010.1)
Laboratório de Programação 2 (2008.1, 2008.2, 2009.1, 2009.2)
Lógica Aplicada à Computação (2007.2, 2008.1, 2008.2, 2009.1, 2009.2, 2010.1, 2012.1)
Paradigmas de Linguagens de Programação (2009.2)
Teoria da Computação (2008.1, 2008.2, 2009.1, 2009.2, 2010.1)
08/2006 - AtualEnsino, Todos os cursos do Campus Arapiraca e seus Pólos, Nível: Graduação.
Disciplinas ministradas
Lógica, Informática e Comunicação (2006.2, 2007.1, 2008.1, 2008.2, 2010.1, 2012.1)
Seminário Integrador (2006.2, 2007.1, 2008.2)
04/2010 - 08/2010Direção e administração, Campus Arapiraca, Bacharelado em Ciência da Computação.
Cargo ou função
Membro de Colegiado.
03/2010 - 08/2010Direção e administração, Campus Arapiraca, Licenciatura em Matemática.
Cargo ou função
Membro de Colegiado.
09/2008 - 03/2010Direção e administração, Campus Arapiraca, Bacharelado em Ciência da Computação.
Cargo ou função
Coordenador do Curso.
05/2009 - 12/2009Atividades de Participação em Projeto, Campus Arapiraca, Bacharelado em Ciência da Computação.
Projetos de pesquisa
O xadrez como ferramenta de recreação e desenvolvimento intelectual do cidadão
04/2009 - 07/2009Ensino, Gestão Escolar, Nível: Especialização.
Disciplinas ministradas
Oficinas Tecnológicas
02/2008 - 12/2008Conselhos, Comissões e Consultoria, Campus Arapiraca, .
Cargo ou função
Comissão de criação do regimento interno do Campus Arapiraca.
10/2007 - 12/2008Atividades de Participação em Projeto, Campus Arapiraca, Pólo Palmeira dos Índios.
Projetos de pesquisa
Palmeira Livre - Transformação Social Utilizando Software Livre
01/2007 - 01/2008Direção e administração, Campus Arapiraca, Pólo Palmeira dos Índios.
Cargo ou função
Coordenador geral do Pólo.
9/2006 - 1/2008Direção e administração, Campus Arapiraca, Pólo Palmeira dos Índios.
Cargo ou função
Membro de Colegiado (Psicologia e Serviço Social).
05/2003 - 03/2004Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Monitoria da Disciplina Inteligência Artificial 1
08/2002 - 02/2004Atividades de Participação em Projeto, Centro de Ciências Exatas e Naturais, Departamento de Tecnologia da Informação.
Projetos de pesquisa
cVivus
06/2002 - 06/2003Atividades de Participação em Projeto, Centro de Ciências Exatas e Naturais, Departamento de Tecnologia da Informação.
Projetos de pesquisa
Gradalon
Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional
2010 - Atual Vínculo: Aluno de Doutorado, Enquadramento Funcional: Colaborador em projeto de pesquisa, Carga horária: 0
Vínculo institucional
2006 - 2007 Vínculo: Colaborador, Enquadramento Funcional: Colaborador em projeto de pesquisa, Carga horária: 0
Vínculo institucional
2004 - 2006 Vínculo: Aluno de Mestrado, Enquadramento Funcional: Colaborador em projeto de pesquisa, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
3/2004 - 12/2007Atividades de Participação em Projeto, Centro de Engenharia Elétrica e Informática, Departamento de Engenharia Elétrica.
Projetos de pesquisa
COMPOR - Software Composition
2/2005 - 7/2005Estágios , Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.
Estágio realizado
Estágio Docência.
4/2004 - 6/2005Atividades de Participação em Projeto, Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.
Projetos de pesquisa
Mobile
Sociedade Brasileira de Computação, SBC, Brasil.
Vínculo institucional
2008 - 2010 Vínculo: Colaborador, Enquadramento Funcional: Representante Institucional, Carga horária: 0

Projetos de Pesquisa
2009 - 2009O xadrez como ferramenta de recreação e desenvolvimento intelectual do cidadão
Descrição: Este trabalho tem como objetivo auxiliar o aprendizado e aprimoramento do xadrez, que é esporte, arte e ciência, por meio de uma ferramenta de software. Ferramenta esta que deverá proporcionar ao interessado em xadrez maior autonomia no processo de aprendizado. Tal ferramenta deverá ser implementada usando a linguagem de programação Python por se tratar de uma linguagem portátil, tanto ao nível de sistema operacional quanto ao nível de plataformas de hardware (computadores, palms, celulares e tabs). A ferramenta deverá possuir licença GPL (General Public License), sendo assim software livre. .
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação ( 2) .
Integrantes: Jonathas José de Magalhães - Integrante / Alezy Oliveira Lima - Integrante / Elthon Allex da Silva Oliveira - Coordenador.
Financiador(es): Pró-Reitoria de Extensão - Bolsa.
Número de produções C, T & A: 3 / Número de orientações: 2.
2007 - 2008Palmeira Livre - Transformação Social Utilizando Software Livre
Descrição: Tal projeto pretende detectar quais instrumentos de tecnologia da informação e da comunicação os alunos e professores, das redes públicas estadual e municipal de ensino localizadas na cidade de Palmeira dos Índios (Alagoas), mais necessitam em seu contexto sócio-econômico. Ferramentas de Software Livre e técnicas de comunicação serão utilizadas no processo de inclusão social/digital das comunidades menos favorecidas e da transformação da realidade social, tendo como critérios estratégicos a pesquisa, com seu valor empírico, a ação, que descortina uma intervenção prática e extensionista, e a análise e reflexões do que será empreendido..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação ( 2) .
Integrantes: Alexandre de Andrade Barbosa - Integrante / Felipe Leonardo Barros Farias - Integrante / Kenia Lamenha Queiroz - Integrante / Everaldo Bezerra de Albuquerque - Integrante / Lidiane Ramos da Silva - Integrante / Maria Ester Ferreira da Silva - Integrante / Elthon Allex da Silva Oliveira - Coordenador.
Financiador(es): Pró-Reitoria de Extensão - Bolsa / Pró-Reitoria de Pesquisa e Pós-Graduação - Bolsa.
Número de produções C, T & A: 6 / Número de orientações: 2.
2004 - 2007COMPOR - Software Composition
Descrição: O projeto COMPOR (http://www.compor.net) visa a definição de métodos, linguagens, arcabouços, modelos e ferramentas para a composição dinâmica de software baseada nos diversos paradigmas de engenharia de software: componentes, serviços, agentes, etc. Construção de arcabouço formal utilizando Redes de Petri Coloridas. Formalização de Software baseado em Componentes.
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Glauber Vinícius Ventura de Melo Ferreira - Integrante / Hyggo Oliveira de Almeida - Integrante / Emerson Cavalcante Loureiro Filho - Integrante / Angelo Perkusich - Coordenador / Elthon Allex da Silva Oliveira - Integrante.
Financiador(es): Universidade Federal de Alagoas - Cooperação.
Número de produções C, T & A: 3.
2004 - 2005Mobile
Descrição: Especificação e Verificação formal do verificador de modelos de RPOO (VERITAS) usando a linguagem de especificação formal CASL e o gerador de oráculos de teste CASLTest..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 1) .
Integrantes: Jorge César Abrantes de Figueiredo - Coordenador / Elthon Allex da Silva Oliveira - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 3.
2002 - 2004cVivus
Descrição: Projeto de desenvolvimento de sistemas evolucionários para tratamento de problemas de alta complexidade: Desenvolvimento e uso de algoritmos genéticos para alinhamento de DNA. Nasceu com o objetivo maior de capacitação em bioinformática, onde foram feitos estudos de conceitos e algoritmos. Além de ser dado início ao desenvolvimento de um Sistema Tutor. Outro objetivo era a análise dos softwares de alinhamento disponíveis e a implementação de um algoritmo de alinhamento usando algoritmos genéticos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 4) .
Integrantes: André Atanasio Maranhão Almeida - Integrante / Eliana Silva de Almeida - Integrante / Evandro de Barros Costa - Coordenador / Leandro Melo de Sales - Integrante / Glauber Vinícius Ventura de Melo Ferreira - Integrante / Elthon Allex da Silva Oliveira - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Bolsa.
Número de produções C, T & A: 4.
2002 - 2003Gradalon
Descrição: Ambiente Web para avaliação dos cursos de graduação da UFAL.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação ( 8) .
Integrantes: Glauber Vinícius Ventura de Melo Ferreira - Integrante / André Ferreira Alécio Gomes - Integrante / Wallace Franco de Azevedo Nogueira - Integrante / Alexandre de Andrade Barbosa - Integrante / Elvys Alves Soares - Integrante / Emerson Cavalcante Loureiro Filho - Coordenador / Rodrigo de Barros Paes - Integrante / Elthon Allex da Silva Oliveira - Integrante.

Número de produções C, T & A: 3.

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
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: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.

Idiomas
Português Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol Compreende Pouco Lê Pouco.
Alemão Lê Pouco.

Prêmios e títulos
2011Professor Homenageado, Formandos de Serviço Social 2010.1.
2011Professor Homenageado, Formandos de Serviço Social 2010.2.
2011Professor Homenageado, Formandos de Psicologia 2011.1.
2009Professor Amigo - Desafio Sebrae, Sebrae.
2008Primeiro lugar na modalidade "Posters" do XXVI Congresso Nacional dos Estudantes de Computação, Executiva Nacional dos Estudantes de Computação (ENECOMP) e Universidade Estadual da Paraíba (UEPB).
2008Melhor aluno do curso Mastering English Course (MEC), CCAA Arapiraca.
2008Excelência Acadêmica (na modalidade Extensão), UFAL.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   MACHADO, P ; OLIVEIRA, E. A. da S. ; BARBOSA, P ; RODRIGUES, C . Testing from Structured Algebraic Specifications: The Veritas Case Study. Electronic Notes in Theoretical Computer Science, v. 130, p. 235-261, 2005.
Capítulos de livros publicados
1. SILVA, L. D. da ; OLIVEIRA, E. A. da S. ; ALMEIDA, H. O. de ; PERKUSICH, A. . An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems (republished). In: Terry Halpin; John Krogstie; Erik Proper. (Org.). Innovations in Information Systems Modeling: Methods and Best Practices. New York: Information Science Publishing, 2009, v. , p. 254-268.
2. OLIVEIRA, E. A. da S. ; ALMEIDA, H. O. de ; SILVA, L. D. da ; BARBOSA, N. M. ; BUBLITZ, F. M. ; PERKUSICH, A. . Formal Modeling and Verification of Virtual Community Systems. In: Goran D. Putnik; Maria Manuela Cunha. (Org.). Encyclopedia of Networked and Virtual Organizations. Hershey, PA: Idea Group Publishing, 2008, v. 1, p. 629-634.
3.   SILVA, L. D. da ; OLIVEIRA, E. A. da S. ; ALMEIDA, H. O. de ; PERKUSICH, A. . An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. In: Xuan Zha. (Org.). Artificial Intelligence and Integrated Intelligent Information Systems. Hershey, PA, EUA: Idea Group Publishing, 2007, v. 1, p. 287-302.
4. OLIVEIRA, E. A. da S. ; LIMA, E. F. de A. ; FIGUEIREDO, J. C. A. de . Verifying Mobile Agent Design Patterns with RPOO. In: David Taniar. (Org.). Encyclopedia of Mobile Computing & Commerce. Hershey, PA, EUA: Idea Group Publishing, 2007, v. 2, p. 987-995.
Trabalhos completos publicados em anais de congressos
1. CAVALCANTE, R. C. ; OLIVEIRA, E. A. da S. ; AYRES, P. A. A. . Apoiando o Processo de Ensino/Aprendizado da Lógica Formal usando Tablets. In: Escola Regional de Computação Bahia Alagoas Sergipe, 2011, Salvador. Anais da XI ERBASE. Salvador, 2011.
2. OLIVEIRA, E. A. da S. ; SILVA, L. D. da ; GORGONIO, K. ; PERKUSICH, A. ; LIMA, A. M. N. . Convertendo Diagramas Ladder em modelos de Redes de Petri Coloridas. In: X Simpósio Brasileiro de Automação Inteligente, 2011, São joão del-Rei. Anais do X Simpósio Brasileiro de Automação Inteligente. São joão del-Rei, 2011. v. X. p. 1382-1387.
3. OLIVEIRA, E. ; SILVA, L. D. da ; PERKUSICH, A. ; GORGONIO, K. ; MARTINS, A. . Obtaining Formal Models from Ladder Diagrams. In: IEEE International Conference on Industrial Informatics (INDIN), 2011, Caparica, Lisbon. Proceedings of 9th IEEE International Conference on Industrial Informatics, 2011. p. 796-801.
4. LIMA, A. O. ; OLIVEIRA, E. A. da S. . Xadrez Ensinado por Software. In: Escola Regional de Computação Bahia Alagoas Sergipe, 2010, Maceió. Anais da X ERBASE. Maceió, 2010.
5. OLIVEIRA, E. A. da S. ; OLIVEIRA, H. M. N. S. . A Olimpíada Brasileira de Informática no agreste Alagoano: Ontem, Hoje e Amanhã. In: Escola Regional de Computação Bahia Alagoas Sergipe, 2009, Ilhéus. Anais da IX ERBASE. Ilhéus, 2009.
6.   OLIVEIRA, E. A. da S. ; SILVA, L. D. da ; ALMEIDA, H. O. de ; PERKUSICH, A. . Formal Modelling and Verification of a Software Component Model using Coloured Petri Nets and Model Checking. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), 2007, Seul, Coréia. Proceedings of the 2007 ACM Symposium on Applied Computing. New York - USA : The Association for Computing Machinery, Inc, 2007. v. 1. p. 1427-1531.
7. ALMEIDA, H. O. de ; SILVA, L. D. da ; OLIVEIRA, E. A. da S. ; PERKUSICH, A. . A Formal Approach for Component Based Embedded Software Modelling and Analysis. In: IEEE International Symposium on Industrial Electronics (ISIE 2005), 2005, Dubrovnik, Croatia. Proceedings of the 2005 International Symposium on Industrial Electronics, 2005. v. 4. p. 1337-1342.
8. OLIVEIRA, E. A. da S. ; FIGUEIREDO, J. C. A. de ; GUERRERO, D. D. S. . Extração de Modelos Comportamentais de Programas Java Concorrentes Anotados. In: 10º WTES (Workshop de Teses e Dissertações em Engenharia de Software), 2005, Uberlândia. Anais do X Workshop de Teses em Engenharia de Software, 2005. v. 10. p. 21-26.
9. ALMEIDA, H. O. de ; OLIVEIRA, E. A. da S. ; BARBOSA, N. M. ; BUBLITZ, F. M. ; SILVA, L. D. da ; PERKUSICH, A. . Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. In: I Simpósio Brasileiro de Sistemas de Informação, 2005, Porto Alegre. Anais do I Simpósio Brasileiro de Sistemas de Informação, 2005.
10. MACHADO, P. D. L. ; OLIVEIRA, E. A. da S. ; BARBOSA, P. E. ; RODRIGUES, C. L. . Algebraic Specification-Based Testing: The Veritas Case Study. In: Simpósio Brasileiro de Métodos Formais - SBMF 2004, 2004, Recife. Anais do Simpósio Brasileiro de Métodos Formais. Recife : Editora Universitária -UFPE, 2004. p. 166-183.
Resumos expandidos publicados em anais de congressos
1. MAGALHAES, J. J. ; OLIVEIRA, R. N. ; OLIVEIRA, E. A. da S. . TALSKER: Aprendizado por Reforço Auxiliado por Heurística em Xadrez. In: III Encontro de Iniciação Científica do IF/AL - Campus Palmeira dos Índios, 2010, Palmeira dos Índios. Anais do III EIC, 2010.
2. AYRES, P. A. A. ; CAVALCANTE, R. C. ; OLIVEIRA, E. A. da S. . Sistema de Apoio ao Ensino/Aprendizado de Dedução Natural e Tabelau Semântico da Lógica Proposicional para Tablet. In: II Encontro de Iniciação Científica do IF/AL - Campus Palmeira dos Índios, 2009, Palmeira dos Índios. Anais do II EIC, 2009.
3. LIMA, A. O. ; MAGALHAES, J. J. ; OLIVEIRA, E. A. da S. . Desenvolvendo um Software para o Ensino do Xadrez Usando Python e Qt. In: II Encontro de Iniciação Científica do IF/AL - Campus Palmeira dos Índios, 2009, Palmeira dos Índios. Anais do II EIC, 2009.
Resumos publicados em anais de congressos
1. SOUSA, I. S. ; VERAS, F. R. ; OLIVEIRA, H. M. N. S. ; OLIVEIRA, E. A. da S. . Estudos em Autômatos Celulares: Conceitos e Aplicações. In: VI Congresso Acadêmico da UFAL, 2009, Arapiraca. Anais do VI Congresso Acadêmico da UFAL. Maceió : EDUFAL, 2009.
2. SANTOS, W. B. ; VERAS, R. D. ; OLIVEIRA, E. A. da S. . Estudos em Lógica Fuzzy: Conceitos e Aplicações. In: VI Congresso Acadêmico da UFAL, 2009, Arapiraca. Anais do VI Congresso Acadêmico da UFAL. Maceió : EDUFAL, 2009.
3. FARIAS, F. L. B. ; QUEIROZ, K. L. ; OLIVEIRA, E. A. da S. . Palmeira Livre. In: XXVI Congresso Nacional dos Estudantes de Computação, 2008, Campina Grande. Anais do XXVI Congresso Nacional dos Estudantes de Computação. Campina Grande : EDUEP - Editora da Universidade Estadual da Paraíba, 2008.
4.   FERREIRA, G. V. V. de M. ; LOUREIRO FILHO, E. C. ; OLIVEIRA, E. A. da S. ; ALMEIDA, H. O. de ; SILVA, L. D. da ; PERKUSICH, A. . A Java Code Annotation Approach for Model Checking Software Systems. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), 2007, Seul, Coréia. Proceedings of the 2007 ACM Symposium on Applied Computing. New York - USA : Association for Computing Machinery, Inc, 2007. v. 1. p. 1536-1537.
5. OLIVEIRA, E. A. da S. ; ALMEIDA, A. A. M. ; FERREIRA, G. V. V. de M. ; ALMEIDA, H. O. de . WebLIB: Sistema Indexador de Conteúdo Científico Digitalizado. In: XIII Encontro de Iniciação Científica, 2004, Maceió. Anais do XIII Encontro de Iniciação Científica. Maceió : EDUFAL, 2004. v. 13. p. 83-83.
6. OLIVEIRA, E. A. da S. ; ALMEIDA, A. A. M. ; SALES, L. M. de ; COSTA, E. de B. . Dominium: Um sistema tutor inteligente voltado ao auxílio do ensino de Alinhamento de DNA. In: XIII Encontro de Iniciação Científica, 2004, Maceió. Anais do XIII Encontro de Iniciação Científica. Maceió : EDUFAL, 2004. v. 13.
7. LOUREIRO FILHO, E. C. ; GOMES, A. F. A. ; OLIVEIRA, E. A. da S. ; FERREIRA, G. V. V. de M. ; NOGUEIRA, W. F. de A. ; BARBOSA, A. A. ; SILVA, A. P. da ; SOARES, E. A. ; PAES, R. de B. . GRADALON: Um Ambiente Web Para Avaliação dos Cursos de Graduação. In: XII Encontro de Iniciação Científica, 2002, Maceió. Anais do XII Encontro de Iniciação Científica. Maceió : EDUFAL, 2002. v. 12.
Apresentações de Trabalho
1. OLIVEIRA, E. A. da S. . Monitoramento, Acompanhamento e Tratamento de Pessoas usando Computação Pervasiva e Controle Supervisório. 2011. (Apresentação de Trabalho/Comunicação).
2. LIMA, A. O. ; OLIVEIRA, E. A. da S. . Xadrez Ensinado por Software. 2010. (Apresentação de Trabalho/Comunicação).
3. OLIVEIRA, E. A. da S. ; OLIVEIRA, H. M. N. S. . A Olimpíada Brasileira de Informática no agreste Alagoano: Ontem, Hoje e Amanhã. 2009. (Apresentação de Trabalho/Comunicação).
4. OLIVEIRA, E. A. da S. . O [in]sucesso no processo de inclusão digital em Palmeira dos Índios. 2009. (Apresentação de Trabalho/Comunicação).
5. SOUSA, I. S. ; VERAS, F. R. ; OLIVEIRA, H. M. N. S. ; OLIVEIRA, E. A. da S. . Estudos em Autômatos Celulares: Conceitos e Aplicações. 2009. (Apresentação de Trabalho/Congresso).
6. VERAS, R. D. ; SANTOS, W. B. ; OLIVEIRA, E. A. da S. . Estudos em Lógica Fuzzy: Conceitos e Aplicações. 2009. (Apresentação de Trabalho/Congresso).
7. FARIAS, F. L. B. ; QUEIROZ, K. L. ; OLIVEIRA, E. A. da S. . Palmeira Livre. 2008. (Apresentação de Trabalho/Congresso).
8. FARIAS, F. L. B. ; OLIVEIRA, E. A. da S. . A Inclusão Digital no Interior Alagoano: Aspectos Sociais e Tecnológicos. 2008. (Apresentação de Trabalho/Congresso).
9. CAVALCANTE, R. C. ; OLIVEIRA, E. A. da S. . Um Sistema de Apoio ao Ensino/Aprendizado de Dedução Natural e Tableau Semântico da Lógica Proposicional para Tablet. 2008. (Apresentação de Trabalho/Congresso).
10. FARIAS, F. L. B. ; QUEIROZ, K. L. ; SILVA, M. E. F. da ; OLIVEIRA, E. A. da S. . Palmeira Livre: Transformação Social Utilizando Software Livre. 2007. (Apresentação de Trabalho/Congresso).
11. OLIVEIRA, E. A. da S. . Extração de Modelos Comportamentais de Programas Java Concorrentes Anotados. 2005. (Apresentação de Trabalho/Simpósio).
12. OLIVEIRA, E. A. da S. . Modelos Verificáveis de Programas Java multi-thread: um Uso Prático de Métodos Formais. 2005. (Apresentação de Trabalho/Comunicação).
13. OLIVEIRA, E. A. da S. . Dominium: Um sistema tutor inteligente voltado ao auxílio do ensino de alinhamento de DNA. 2004. (Apresentação de Trabalho/Comunicação).
14. OLIVEIRA, E. A. da S. . WebLIB: Sistema Indexador de Conteúdo Científico Digitalizado. 2004. (Apresentação de Trabalho/Comunicação).
15. NOGUEIRA, W. F. de A. ; SILVA, A. P. da ; BARBOSA, A. A. ; GOMES, A. F. A. ; OLIVEIRA, E. A. da S. ; SOARES, E. A. ; LOUREIRO FILHO, E. C. ; FERREIRA, G. V. V. de M. ; PAES, R. de B. . GRADALON: Um Ambiente Web para Avaliação dos Cursos de Graduação. 2002. (Apresentação de Trabalho/Comunicação).
Produção técnica
Softwares sem registro de patente
1. AMORIM, G. O. ; OLIVEIRA, E. A. da S. . Sistema para Automação de Locadoras de Automóveis. 2008.
2. OLIVEIRA, E. A. da S. . JaCA - Plugin (Eclipse) para modelagem e verificação de programas Java multi-thread. 2006.
3. ALMEIDA, A. A. M. ; OLIVEIRA, E. A. da S. ; GOMES, A. F. A. ; NOGUEIRA, W. F. de A. . SisOdont - Sistema de automação de clínicas odontológicas. 2004.
4. OLIVEIRA, E. A. da S. . Pierre Chalita Virtual - Simulação de Exposição de Quadros num Museu Virtual 3D. 2004.
5. OLIVEIRA, E. A. da S. ; FERREIRA, G. V. V. de M. ; ALMEIDA, H. O. de . WEBLIB: Indexador de Trabalhos Científicos Digitalizados. 2003.
6. OLIVEIRA, E. A. da S. ; ALMEIDA, A. A. M. ; SILVA FILHO, L. J. da ; COSTA, E. de B. ; ALMEIDA, H. O. de . Dominium: Um sistema tutor inteligente voltado ao auxílio do ensino de Alinhamento de DNA. 2003.
7. LOUREIRO FILHO, E. C. ; OLIVEIRA, E. A. da S. ; FERREIRA, G. V. V. de M. ; GOMES, A. F. A. ; NOGUEIRA, W. F. de A. ; SILVA, A. P. da ; BARBOSA, A. A. ; SOARES, E. A. ; PAES, R. de B. . Gradalon:Um Ambiente Web Para Avaliação dos Cursos de Graduação. 2002.
Trabalhos técnicos
1. OLIVEIRA, E. A. da S. ; OLIVEIRA, M. C. ; SOUZA, M. H. L. ; MORAIS, T. ; BARBOSA, A. A. ; OLIVEIRA, R. N. ; GUIMARÃES, A. P. ; SILVA, P. V. . Projeto Pedagógico 2011 - Ciência da Computação. 2010.
Demais tipos de produção técnica
1. OLIVEIRA, E. A. da S. ; SARMENTO, T. F. C S ; MELO, D. W de ; SANTANA, A. S. . A Universidade Pública no Contexto da Interiorização: a Experiência do Campus Arapiraca. 2011. (Mesa redonda).
2.
OLIVEIRA, E. A. da S. ; CAVALCANTE, R. C. ; MAGALHAES, J. J. ; MORAIS, T. . Curso de Programação em C e C++ para alunos de Física, Matemática e Química. 2009. (Curso de curta duração ministrado/Extensão).
3.
OLIVEIRA, E. A. da S. . LaTeX. 2009. (Curso de curta duração ministrado/Outra).
4.
OLIVEIRA, E. A. da S. . São Silvestre Estudos em Programação para a Maratona. 2009. (Curso de curta duração ministrado/Extensão).
5. OLIVEIRA, E. A. da S. . O Campus Arapiraca e o Aluno de Ciência da Computação. 2009. (Palestra).
6. OLIVEIRA, E. A. da S. . Modelagem Formal utilizando Redes de Petri. 2003. (Seminário).

Bancas
Participação em bancas examinadoras
Trabalhos de Conclusão de Curso de graduação
1. OLIVEIRA, R. N.; OLIVEIRA, E. A. da S.; SOUZA, M. H. L.. Participação em banca de Rodolfo Carneiro Cavalcante. Framework para Construção de Sistemas Multiagentes Seguros. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas.
2. OLIVEIRA, M. C.; BARBOSA, A. A.; OLIVEIRA, E. A. da S.. Participação em banca de José Raniery Ferreira Junior. CADEP: Ferramenta para Auxílio Computadorizado ao Diagnóstico do Enfisema Pulmonar. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas.
Participação em bancas de comissões julgadoras
Concurso público
1. OLIVEIRA, E. A. da S.. Presidente de banca examinadora do concurso público (edital nº 05/2010) no setor de estudo Educação e Novas Tecnologias. 2010. Universidade Estadual de Alagoas.
2. OLIVEIRA, E. A. da S.; BRITO, P. H. S.; LIMA, E. F. de A.. Presidente de banca examinadora do concurso público (edital nº 56/2008) no setor de estudo Engenharia de Software. 2009. Universidade Federal de Alagoas.
3. LIMA, E. F. de A.; LUZ, R. C. da; OLIVEIRA, E. A. da S.. Membro de banca examinadora do concurso público (edital nº 07/2008) na área de atuação Informática. 2009. Instituto Federal de Alagoas - Matriz.
4. OLIVEIRA, E. A. da S.. Membro de comissão de homologação das inscrições de concurso público (edital nº 56/2008). 2009. Universidade Federal de Alagoas.
5. OLIVEIRA, E. A. da S.. Supervisor de concurso público para professor efetivo (edital nº 30/2009). 2009. Universidade Federal de Alagoas.
6. OLIVEIRA, E. A. da S.; OLIVEIRA, R. N.. Presidente de banca examinadora do concurso público (edital nº 10/2009) no setor de estudo Informática. 2009. Universidade Estadual de Alagoas.
7. OLIVEIRA, E. A. da S.. Supervisor de concurso público para docente (edital nº 24/2007). 2007. Universidade Federal de Alagoas.
Outras participações
1. OLIVEIRA, E. A. da S.; BARBOSA, A. A.. Presidente de banca avaliadora: monitoria da disciplina Lógica Aplicada à Computação (2010.1). 2010. Universidade Federal de Alagoas.
2. MORAIS, T.; OLIVEIRA, E. A. da S.. Membro de banca avaliadora: monitoria das disciplinas Laboratório de Programação 2 e Algoritmo e Estrutura de Dados 2 (2009.1 e 2009.2). 2009. Universidade Federal de Alagoas.
3. OLIVEIRA, E. A. da S.; MORAIS, T.. Presidente de banca avaliadora: monitoria da disciplina Teoria da Computação (2009.1). 2009. Universidade Federal de Alagoas.
4. OLIVEIRA, E. A. da S.; MORAIS, T.. Presidente de banca avaliadora: monitoria da disciplina Lógica Aplicada à Computação (2009.1). 2009. Universidade Federal de Alagoas.
5. OLIVEIRA, E. A. da S.; OLIVEIRA, R. N.. Presidente de banca avaliadora: monitoria da disciplina Teoria da Computação (2009.2). 2009. Universidade Federal de Alagoas.
6. OLIVEIRA, E. A. da S.; OLIVEIRA, R. N.. Presidente de banca avaliadora: monitoria da disciplina Lógica Aplicada à Computação (2009.2). 2009. Universidade Federal de Alagoas.
7. FERREIRA, S. N.; MOURA, S. M. L.; OLIVEIRA, E. A. da S.. Membro de comissão da 1ª Avaliação de Desempenho do Estágio Probatório (portaria nº 54/2009). 2009. Universidade Federal de Alagoas.
8. OLIVEIRA, E. A. da S.; COSTA, C. E. S. da; OLIVEIRA, M. C.. Presidente de comissão da Avaliação de Desempenho do Estágio Probatório (portaria nº 50/2009). 2009. Universidade Federal de Alagoas.
9. OLIVEIRA, E. A. da S.; OLIVEIRA, M. C.; COSTA, C. E. S. da. Presidente de comissão da Avaliação de Desempenho do Estágio Probatório (portaria nº 11/2009). 2009. Universidade Federal de Alagoas.
10. COSTA, C. E. S. da; OLIVEIRA, E. A. da S.; OLIVEIRA, M. C.. Membro de comissão da 1ª Avaliação de Desempenho do Estágio Probatório (portaria nº 56/2009). 2009. Universidade Federal de Alagoas.
11. OLIVEIRA, R. N.; OLIVEIRA, E. A. da S.; GALDINO, C. B. T.. Membro de comissão da 1ª Avaliação de Desempenho do Estágio Probatório (portaria nº 68/2009). 2009. Universidade Federal de Alagoas.
12. OLIVEIRA, E. A. da S.. Comissão de Avaliação de Trabalhos do VI Congresso Acadêmico da UFAL. 2009. Universidade Federal de Alagoas.
13. OLIVEIRA, E. A. da S.; MORAIS, T.. Presidente de banca avaliadora: monitoria da disciplina Lógica Aplicada à Computação (2008.2). 2008. Universidade Federal de Alagoas.
14. OLIVEIRA, M. C.; OLIVEIRA, E. A. da S.. Membro de banca avaliadora: monitoria da disciplina Lógica, Informática e Comunicação (2008.2). 2008. Universidade Federal de Alagoas.
15. MORAIS, T.; OLIVEIRA, E. A. da S.. Membro de banca avaliadora: monitoria das disciplinas Laboratório de Programação 1 e 2 (2008.2). 2008. Universidade Federal de Alagoas.
16. MORAIS, T.; OLIVEIRA, E. A. da S.. Membro de banca avaliadora: monitoria das disciplinas Algoritmo e Estrutura de Dados 1 e 2 (2008.2). 2008. Universidade Federal de Alagoas.
17. BATISTA, W. S.; GONCALVES, L. S.; OLIVEIRA, E. A. da S.. Membro de comissão da 1ª Avaliação de Desempenho do Estágio Probatório (portaria nº 6/2007). 2007. Universidade Federal de Alagoas.

Eventos
Participação em eventos
1. XI Escola Regional de Computação Bahia - Alagoas - Sergipe. 2011. (Outra).
2. X Escola Regional de Computação Bahia - Alagoas - Sergipe. 2010. (Outra).
3. ARACOMP - I Congresso de Computação em Arapiraca.Palestra dada: "Por que alunos de CIência da Computação devem estudar Matemática?". 2009. (Congresso).
4. Festival Latino-americando de Instalação de Software Livre.O [in]sucesso no processo de inclusão digital em Palmeira dos Índios. 2009. (Outra).
5. XXVI Congresso Nacional dos Estudantes de Computação."Palmeira Livre". 2008. (Congresso).
6. I Encontro Sobre Uso dos Recursos Tecnológicos na Educação.Instrutor do mini-curso: Linux Educacional. 2008. (Encontro).
7. III ECEM - Encontro Científico dos Estudantes de Matemática da UNEAL.Palestra dada: "A Matemática na Ciência da Computação: algumas teorias e aplicações". 2008. (Encontro).
8. VIII Escola Regional de Computação Bahia - Alagoas - Sergipe. 2008. (Outra).
9. I Seminário Pedagógico: Aprendendo a conviver com a diferença.Palestra dada: "Uso da informática como instrumento de apoio no processo educacional de pessoas com deficiência". 2007. (Seminário).
10. II Encontro Regional - Trabalho, Educação e Formação Humana. 2007. (Encontro).
11. I Encontro de Software Livre do Campus Arapiraca."Software Livre na Educação". 2007. (Encontro).
12. I Colóquio Institucional em Prol da Inclusão Social das Pessoas com Deficiência.Moderador da mesa redonda: Pessoas com Deficiências e Inclusão Social. 2007. (Outra).
13. Oficina de Formação Continuada para os Professores do Campus Arapiraca (UFAL). 2006. (Oficina).
14. XIX Simpósio Brasileiro de Engenharia de Software.Extração de Modelos Comportamentais de Programas Java Concorrentes Anotados. 2005. (Simpósio).
15. VII Simpósio Brasileiro de Métodos Formais.Algebraic Specification-Based Testing: The Veritas Case Study. 2004. (Simpósio).
16. II Fórum OurGrid. 2004. (Encontro).
17. Congresso Alagoano de Tecnologia da Informação. 2003. (Congresso).
18. VI Workshop de Métodos Formais. 2003. (Oficina).
19. XXII Congresso da Sociedade Brasileira de Computação. 2002. (Congresso).
20. XVI Brazilian Symposium on Artificial Intelligence. 2002. (Simpósio).
21. VII Brazilian Symposium on Neural Networks. 2002. (Simpósio).
22. InfoView2002. 2002. (Outra).
23. I Escola Alagoana de Bioinformática. 2002. (Outra).
Organização de eventos
1. OLIVEIRA, E. A. da S. . Workshop de Software Livre da ERBASE - FreeBASE. 2011. (Outro).
2. GORGONIO, K. ; OLIVEIRA, E. A. da S. . Workshop de Teses e Dissertações da COPIN - WDCOPIN. 2011. (Outro).
3. OLIVEIRA, E. A. da S. . Olimpíada Brasileira de Informática (em Arapiraca-AL). 2010. (Outro).
4. OLIVEIRA, E. A. da S. ; SOARES, E. A. . Workshop de Inclusão Digital da ERBASE - WINDBASE. 2010. (Outro).
5. OLIVEIRA, E. A. da S. ; SOARES, E. A. . Workshop de Software Livre da ERBASE - FreeBASE. 2010. (Outro).
6. OLIVEIRA, E. A. da S. . Olimpíada Brasileira de Informática (em Arapiraca-AL). 2009. (Outro).
7. MAGALHAES, J. J. ; OLIVEIRA, E. A. da S. ; SANTANA, A. S. . 1º Campeonato de Xadrez da UFAL Campus Arapiraca. 2009. (Outro).
8. OLIVEIRA, R. N. ; OLIVEIRA, E. A. da S. ; BARBOSA, A. A. ; OLIVEIRA, M. C. . ARACOMP - I Congresso de Computação em Arapiraca. 2009. (Congresso).
9. GALDINO, C. B. T. ; OLIVEIRA, E. A. da S. . FLISOL Arapiraca/AL - Festival Latino-americando de Instalação de Software Livre. 2009. (Festival).
10. OLIVEIRA, E. A. da S. . Apoio Técnico no VI Congresso Acadêmico da UFAL. 2009. (Congresso).
11. OLIVEIRA, E. A. da S. . Olimpíada Brasileira de Informática (em Arapiraca-AL). 2008. (Outro).
12. OLIVEIRA, E. A. da S. . I Encontro de Software Livre do Campus Arapiraca. 2007. (Outro).
13. COSTA, E. de B. ; ALMEIDA, E. S. de ; ORGAMBIDE, A. C. F. ; ALMEIDA, H. O. de ; OLIVEIRA, E. A. da S. ; ALMEIDA, A. A. M. ; RAMOS FILHO, H. S. ; GUSMÃO, S. de ; FERREIRA, G. V. V. de M. ; LOUREIRO FILHO, E. C. ; SALES, L. M. de ; LEITE, T. P. C. ; FERREIRA, C. M. S. ; RIBEIRO, M. de M. ; BUBLITZ, F. M. ; LOPES, B. ; NOGUEIRA, W. F. de A. . Congresso Alagoano de Tecnologia da Informação. 2003. (Congresso).

Orientações
Supervisões e orientações concluídas
Trabalho de conclusão de curso de graduação
1. Jonathas José de Magalhães. Talsker: um jogador inteligente para o treino de xadrez. 2011. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
2. Felipe Rios Veras. Editor de Diagrama de Lógica Binária ISA 5.2. 2011. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
Iniciação Científica
1. Jonathas José de Magalhães. O xadrez como ferramenta de recreação e desenvolvimento intelectual do cidadão. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Pró-Reitoria de Extensão. Orientador: Elthon Allex da Silva Oliveira.
2. Alezy Oliveira Lima. O xadrez como ferramenta de recreação e desenvolvimento intelectual do cidadão. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
3. Felipe da Rocha França. Criação de uma Metodologia de Testes Customizada. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Serviço de Apoio às Micro e Pequenas Empresas. Orientador: Elthon Allex da Silva Oliveira.
4. Guilherme de Oliveira Amorim. Informatização de Locadora de Automóveis com Software Livre. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Serviço de Apoio às Micro e Pequenas Empresas. Orientador: Elthon Allex da Silva Oliveira.
Orientações de outra natureza
1. Diogo de Oliveira Nemesio. Monitoria de disciplina (Lógica Aplicada à Computação). 2010. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
2. Suzy Kamylla de Oliveira. Monitoria de disciplina (Lógica Aplicada à Computação). 2010. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
3. Thayse Barbosa Sousa Magalhães. Monitoria de disciplina (Lógica Aplicada à Computação). 2010. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
4. Rodolfo Barros de Moraes. Monitoria de disciplina (Teoria da Computação). 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Pró-Reitoria de Graduação. Orientador: Elthon Allex da Silva Oliveira.
5. Felipe Rios Veras. Monitoria de disciplina (Lógica Aplicada à Computação). 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
6. Laís Cardoso de Lima. Monitoria de disciplina (Lógica Aplicada à Computação). 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Pró-Reitoria de Graduação. Orientador: Elthon Allex da Silva Oliveira.
7. Pedro Henrique Neves Albuquerque. Monitoria de disciplina (Lógica Aplicada à Computação). 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
8. Guilherme de Oliveira Amorim. Monitoria de disciplina (Teoria da Computação). 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Pró-Reitoria de Graduação. Orientador: Elthon Allex da Silva Oliveira.
9. Igor de Sá Sousa. Monitoria de disciplina (Teoria da Computação). 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Pró-Reitoria de Graduação. Orientador: Elthon Allex da Silva Oliveira.
10. Felipe Rios Veras. Monitoria de disciplina (Teoria da Computação). 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
11. Helder May Nunes da Silva Oliveira. Monitoria de disciplina (Teoria da Computação). 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
12. Wellington Batalha dos Santos. Monitoria de disciplina (Lógica Aplicada à Computação). 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Pró-Reitoria de Graduação. Orientador: Elthon Allex da Silva Oliveira.
13. Roger Diego Melo Rios. Monitoria de disciplina (Lógica Aplicada à Computação). 2009. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
14. Felipe Leonardo Barros Farias. Palmeira Livre - Transformação Social Utilizando Software Livre. 2008. Orientação de outra natureza. (Bacharelado em Serviço Social) - Universidade Federal de Alagoas, Pró-Reitoria de Extensão. Orientador: Elthon Allex da Silva Oliveira.
15. Kenia Lamenha de Queiroz. Palmeira Livre - Transformação Social Utilizando Software Livre. 2008. Orientação de outra natureza. (Bacharelado em Psicologia) - Universidade Federal de Alagoas, Pró-Reitoria de Extensão. Orientador: Elthon Allex da Silva Oliveira.
16. Alezy Oliveira Lima. Monitoria de disciplina (Lógica, Informática e Comunicação). 2008. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
17. Rodolfo Carneiro Cavalcante. Monitoria de disciplina (Lógica Aplicada à Computação). 2008. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas, Pró-Reitoria de Graduação. Orientador: Elthon Allex da Silva Oliveira.
18. Elias da Costa Lima. Monitoria de disciplina (Lógica Aplicada à Computação). 2008. Orientação de outra natureza. (Bacharelado em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
19. Kenia Lamenha de Queiroz. Monitoria de disciplina (Lógica, Informática e Comunicação). 2007. Orientação de outra natureza. (Bacharelado em Psicologia) - Universidade Federal de Alagoas. Orientador: Elthon Allex da Silva Oliveira.
20. Jacinto Pereira de Araújo Neto. Digitalização de material didático para deficientes visuais.. 2007. Orientação de outra natureza. (Bacharelado em Psicologia) - Universidade Federal de Alagoas, Pró-Reitoria Estudantil. Orientador: Elthon Allex da Silva Oliveira.
21. Wagda da Costa Silva. Operacionalização do Laboratório de Informática do Pólo Palmeira dos Índios. 2007. Orientação de outra natureza. (Bacharelado em Serviço Social) - Universidade Federal de Alagoas, Pró-Reitoria Estudantil. Orientador: Elthon Allex da Silva Oliveira.
22. Flávio Cezar de Oliveira. Operacionalização do Laboratório de Informática do Pólo Palmeira dos Índios. 2007. Orientação de outra natureza. (Bacharelado em Psicologia) - Universidade Federal de Alagoas, Pró-Reitoria Estudantil. Orientador: Elthon Allex da Silva Oliveira.
Página gerada pelo Sistema Currículo Lattes em 09/02/2012 às 12:48:57