Currículo do Sistema de Currículos Lattes (Newton José Vieira)

Dados pessoais

Nome	Newton José Vieira
Nome em citações bibliográficas	VIEIRA, N. J.
Sexo	Masculino

Endereço profissional

Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Av. Antônio Carlos, 6627 Sala 4023/ICEx
Pampulha
31270-010 - Belo Horizonte, MG - Brasil
Telefone: (31) 34095860 Fax: (31) 34095858
URL da Homepage: http://www.dcc.ufmg.br/~nvieira

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

1983 - 1987

Doutorado em Informática .
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Máquinas de Inferência para Sistemas Baseados em Conhecimento, Ano de Obtenção: 1987.
Orientador: Roberto Lins de Carvalho.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: lógica de primeira ordem; resolucão; eliminacão de modelos; máquina de inferência.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.

1975 - 1978

Mestrado em Ciências da Computação .
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Definicão e Implementacão de um Macro Processador Sintático de Uso Múltiplo, Ano de Obtenção: 1978.
Orientador: Wener Arnulf Streitwieser.
Palavras-chave: macro processador; macro sintática.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

1970 - 1974

Graduação em Engenharia Elétrica .
Universidade Federal de Minas Gerais, UFMG, Brasil.

Atuação profissional

Universidade Federal de Minas Gerais, UFMG, Brasil.

Vínculo institucional

1975 - Atual

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

Atividades

03/2009 - Atual	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
	Cargo ou função Presidente da Comissão Permanente de Qualificação - COPEQ/PPGCC-UFMG.

10/2008 - Atual	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
	Cargo ou função Representante dos Professores Associados/Adjuntos/Assistentes junto à Câmara do Departamento de Ciência da Computação (titular).

05/2008 - Atual	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .
	Cargo ou função Membro do Departamento de Ciência da Computação junto à Comissão de Dispensa de Disciplinas do Ciclo Básico do ICEx (suplente).

04/2008 - Atual	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
	Cargo ou função Membro da Comissão Coordenadora do Curso de Especialização em Informática (titular).

11/2007 - Atual	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .
	Cargo ou função Representante do Departamento de Ciência da Computação junto ao Colegiado do Curso de Bacharelado em Matemática (suplente).

01/2002 - Atual	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
	Cargo ou função Coordenador do Laboratório de Inteligência Computacional.

05/2009 - 12/2009	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
	Cargo ou função Membro da Comissão de Seleção para o Reoferecimento do Curso de Especialização em Informática/Ênfase em Engenharia de Software.

05/2006 - 05/2008	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .
	Cargo ou função Membro do Departamento de Ciência da Computação junto à Comissão de Dispensa de Disciplinas do Ciclo Básico do ICEx (suplente).

03/2008 - 03/2008	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
	Cargo ou função Membro da Comissão de Avaliação Parcial do Estágio Probatório do Professor Alexandre Salles da Cunha.

Áreas de atuação

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

Idiomas

Inglês

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

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	DIAS, S. M. ; VIEIRA, N. J. . Um arcabouço para desenvolvimento de algoritmos da análise formal de conceitosR. Revista de Informática Teórica e Aplicada (Impresso), v. 18, p. 31-57, 2011.

2.	Costa, U.S. ; Campos, S.V.A. ; DEHARBE, D. B. P. ; VIEIRA, N. J. . Explicit-Symbolic Modelling for Formal Verification. Electronic Notes in Theoretical Computer Science, v. 130, p. 301-321, 2005.

3.	VIEIRA, N. J. . Recuperando Caminhos no Esquema Algorítmico Union-Find. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 2, n. 2, p. 37-53, 1995.

4.	VIEIRA, N. J. ; COELHO, E. M. P. . Transformando Deduções do Sistema Formal da Resolução em Árvores de Prova. Pesquisa Operacional, v. 9, n. 2, p. 57-71, 1989.

Livros publicados/organizados ou edições

1.	VIEIRA, N. J. . Introdução aos Fundamentos da Computação: Linguagens e máquinas. 1. ed. São Paulo: Thomson, 2006. 319 p.

Capítulos de livros publicados

1.	Camarão, C. ; GALVAO, M. ; VIEIRA, N. J. . SAT and Planning. In: Barin Nag. (Org.). Intelligent Systems in Operations: Methods, Models and Applications in the Supply Chain. Hershey, Pennsylvania: IGI Global, 2010, v. , p. 27-40.

Trabalhos completos publicados em anais de congressos

1.	VIEIRA, N. J. ; Barbosa, I.G. ; Camarão, C. . From proof trees to justificatory answering. In: 15th Portuguese Conference on Artificial Intelligence., 2011, Lisboa. Proceedings of the 15th Portuguese Conference on Artificial Intelligence., 2011. p. 313-327.

2.

Barbosa, I.G. ; VIEIRA, N. J. . Extracting case-based answers from closed proof-trees. In: ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, 2010, Valencia. Proceedings of the ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence. Portugal : INSTICC, 2010. v. 1-AI. p. 377-384.

3.	DIAS, S. M. ; VIEIRA, N. J. . Reducing the size of concept lattices: the JBOS approach. In: CLA-2010: 7th International Conference on Concept Lattices, 2010, Sevilla. Proc. of the 7th International Conference on Concept Lattices, 2010. v. 672. p. 80-91.

4.

DIAS, S. M. ; ZARATE, L. E. ; Cardoso, B.N.M. ; VIEIRA, N. J. . Extração e representação de conhecimento de redes neurais artificiais utilizando o reticulado conceitual iceberg e extração de regras de implicação no método FCANN. In: Workshop em Algoritmos e Aplicações em Mineração de Dados, 2009, Fortaleza. Anais do V Workshop em Algoritmos e Aplicações em Mineração de Dados. Fortaleza, 2009. p. 10-17.

5.

DOMINGOS SILVA, J. P. ; VIEIRA, N. J. . A classification algorithm based on concept similarity. In: The 27th SGAI International Conference on Artificial Intelligence, 2007, Cambridge. Proceedings of AI-2007, The 27th SGAI Int. Conf. on Innovative Techniques and Applications of AI. London : Springer-Verlag, 2007. p. 281-292.

6.

VIMIEIRO, R. ; VIEIRA, N. J. . Uma análise de algoritmos para extração de regras de associação usando análise formal de conceitos. In: III Workshop em Algoritmos e Aplicações de Mineração de Dados, 2007, João Pessoa. Anais do III Workshop em Algoritmos e Aplicações de Mineração de Dados, 2007. p. 31-38.

7.	VIMIEIRO, R. ; ZARATE, L. E. ; VIEIRA, N. J. . Using the NextClosure Algorithm to Extract Rules from Trained Neural Networks: Application in solar energy systems. In: IEEE Mid-Summer Workshop on Soft Computing in Industrial Applications, 2005, Espoo. Proceedings of SMCia'2005, 2005. p. 184-189.

8.	VIEIRA, L. F. M. ; VIEIRA, M. A. M. ; VIEIRA, N. J. . Language Emulator, a Helpful Toolkit in the Learning Process of Computer Theory. In: ACM SIGCSE'2004 Congress, 2004, Norfolk. Proceedings of the SIGCSE'04, 2004. p. 135-139.

9.

SANTOS, C. M. ; VIEIRA, N. J. . Using reformulated profile in information filtering. In: The 19th National Conference on Artificial Intelligence: Semantic Web Personalization, 2004, San Jose'. Proc. of the 19th National Conference on Artificial Intelligence: Semantic Web Personalization, 2004. p. 71-76.

10.	SANTOS, C. M. ; VIEIRA, N. J. . Information filtering with user's profile. In: International Conference on Computing, Communications and Technologies, 2004, Austin. Proc on the nternational Conference on Computing, Communications and Technologies, 2004.

11.	Costa, U.S. ; Campos, S.V.A. ; DEHARBE, D. B. P. ; VIEIRA, N. J. . Explicit-symbolic modelling for formal verification. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. Anais do SBMF´2004, 2004. p. 217-232.

12.	VIEIRA, L. F. M. ; VIEIRA, M. A. M. ; VIEIRA, N. J. . Language Emulator: uma ferramenta de auxílio no ensino de Teoria da Computação. In: Workshop de Educação em Computação e Informática do Estado de Minas Gerias, 2003, Pocos de Caldas. Anais do WEIMIG 2003, 2003.

13.	VIEIRA, L. F. M. ; VIEIRA, M. A. M. ; VIEIRA, N. J. . Language Emulator: uma ferramenta de auxílio ao ensino de Teoria da Computação. In: Workshop de Educação em Computação da SBC, 2003, Campinas. Aanis do Workshop de Educacao em Computacao da SBC 2003, 2003.

14.

OLIVEIRA, A. C. G. ; ZARATE, L. E. ; VIEIRA, N. J. . Applying Data Mining in Electronic Circuits Fault Sequences via Automata. In: International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2003, Rio de Janeiro. Proceedings of de CSITeA'03, 2003. p. 320-324.

15.	SANTOS, C. M. ; VIEIRA, N. J. . Fltragem de informação com utilização e reformulação de perfil. In: IX Simpósio Brasileiro de Sistemas Multimidia e Web 2003, 2003, Salvador. Anais do WEBMIDIA 2003, 2003.

16.

OLIVEIRA, A. C. G. ; BRESSAN, J. P. L. ; ZARATE, L. E. ; VIEIRA, N. J. . Data mining applied for analysis of fault sequences in electronic circuits. In: Fourth International Conference on Data Mining 2003, 2003, Rio de Janeiro. Proceedings of the Fourth International Conference on Data MIning of the Wessex Institute of Technology 2003, 2003.

17.

VIEIRA, N. J. ; CARVALHO, R. D. ; SIQUEIRA NETO, J. L. . Urban Traffic Simulation and Optimization with Constraint Logic Programming. In: IASTED International Conference on Applied Simulation and Modeling, 2001, Marbella. Proceedings of the IASTED International Conference on Applied Simulation and Modeling, 2001. p. 78-83.

18.	Costa, V.G. ; VIEIRA, N. J. . Um Sistema de Auxílio à Elaboração de Layouts Arquitetônicos. In: I Encontro Nacional de Inteligência Artificial, 1997, Brasilia. Anais do I Encontro Nacional de Inteligência Artificial. Brasilia, 1997.

19.	VIEIRA, N. J. . Uma Classe de Maquinas de Inferencia par5a Sistemas Baseados em Conhecimento. In: Workshop Internacional em Controle Inteligente, 1991, Vitoria. Anais do Workshop Internacional em Controle Inteligente. Vitoria, 1991. p. 11-15.

20.	LOPES, R. H. C. ; VIEIRA, N. J. . Uso de Subjugacao para Deteccao de Ciclos em Programacao em Logica. In: VIII Simposio Brasileiro de Inteligencia Artificial, 1991, Brasilia. Anais do III Simposio Brasileiro de Inteligencia Artificial. Brasilia, 1991. p. 51-58.

21.	CASTILHO, M. A. ; VIEIRA, N. J. . Implementacao de Explicacao de Respostas a Partir de Arvores de Prova. In: VIII Simposio Brasileiro de Inteligencia Artificial, 1991, Brasilia. Anais do III Simposio Brasileiro de Inteligencia Artificial. Brasilia, 1991. p. 173-180.

22.	VIEIRA, N. J. ; CARVALHO, C. V. . Expressoes de Categorias e Raciocinio Default. In: VIII Simposio Brasileiro de Inteligencia Artificial, 1991, Brasilia. Anais do III Simposio Brasileiro de Inteligencia Artificial. Brasilia, 1991. p. 203-210.

23.	CARVALHO, R. L. ; VIEIRA, N. J. . Definitions, functions and linear resolution. In: VI Simpósio Brasileiro em Inteligência Artificial, 1989, Rio de Janeiro. Anais do VI Simpósio Brasileiro de Inteligência Artificial, 1989. p. 31-50.

24.	VIEIRA, N. J. . Explicacoes em Sistemas Baseados em Logica. In: V Simposio Brasileiro de Inteligencia Artificial, 1988, Natal. Anais do V Simposio Brasileiro de Inteligencia Artificial. Natal, 1988. p. 430-441.

25.	VIEIRA, N. J. . Uma Caracterizacao de Procedimentos de Prova. In: XIV SEMISH, 1987, Salvador. Anais do XIV SEMISH. Salvador, 1987. p. 352-364.

26.

BRAGA FILHO, L. J. ; VIEIRA, N. J. . SAFO: Um Sistema de Programacao Logica para o Desenvolvimento de Sistemas Especialistas. In: Tercer Congreso Latino-Ibero Americano de Investigacion Operativa e Ingeneria de Sistemas, 1986, Santiago. Anais o Tercer Congreso Latino-Ibero Americano de Investigacion Operativa e Ingeneria de Sistemas, 1986.

27.

VIEIRA, N. J. ; CARVALHO, R. L. . SAFO: Um Ambiente para Desenvolvimento de Prototipos de Sistemas Especialistas Baseado em Logica. In: II Simposio Brasileiro de Inteligencia Artificial, 1985, Sao Jose dos Campos. Anais do II Simposio Brasileiro de Inteligencia Artificial. Sao Jose dos Campos, 1985. p. 11-14.

28.	VIEIRA, N. J. . Formatacao do Texto de Saida. In: VI SEMISH, 1979, Sao Paulo. Anais do VI SEMISH. Sao Paulo, 1979. p. 78-80.

29.	VIEIRA, N. J. . Aspectos da Implementacao do MAPPA. In: IV SEMISH, 1977, Belo Horizonte. Anais do IV SEMISH. Belo Horizonte, 1977. p. 819-843.

30.	STREITWIESER, W. A. ; VIEIRA, N. J. . MAPPA: Macroprocessador do PADE. In: III SEMISH, 1976, Porto Alegre. Anais do III SEMISH. Porto Alegre, 1976. p. 186-203.

Resumos publicados em anais de congressos

1.	VIEIRA, N. J. ; SIQUEIRA NETO, J. L. ; Pires, D.E.V ; Pinto, F.P. ; GOMIDE, J. S. ; Guzella. M.S. ; Cardoso, S.A. . Sistemas de Inferência baseados em Lógica. In: X Semana da Graduação, 2006. Anais da X Semana da Graduação, 2006.

2.	VIEIRA, N. J. ; SIQUEIRA NETO, J. L. ; Monteiro, C.P.S. ; Palotti, J.R.M. ; Vieira, I.C. ; Menezes P.H.P.C. . Sistemas de inferência baseados em lógica matemática. In: IX Semana da Graduação, 2005, Belo Horizonte. Anais da IX Semana da Graduação da UFMG, 2005.

3.	VIEIRA, N. J. ; SIQUEIRA NETO, J. L. ; Monteiro, C.P.S. ; Mauro, D.F. ; Santos, F.V. ; ALVIM JUNIOR, M. S. F. ; Mendes, M.L. . Sistemas de inferência baseados em lógica matemática. In: VIII Semana da Graduação da UFMG, 2004, Belo Horizonte. Anais da VIII Semana de Graduação da UFMG, 2004.

4.	Carvalho, H.S. ; VIEIRA, N. J. ; VIEIRA, M. A. R. . Modeling Urine Formation by the Kidney. In: International Congress on Biological and Medical Engineering, 2002, Cingapura. ICBME 2202:, 2002.

5.

Carvalho, H.S. ; COELHO JR., C. J. N. ; HEINSELMAN, W. B. ; NACIF, J. A. ; MOREIRA, L. F. E. ; VIEIRA, N. J. ; FERNANDES, A. O. . Mobile and Reconfigurable EKG Monitoring System. In: International Congress on Biological and Medical Engineering, 2002, Cingapura. ICBME 2002: "The Bio-Era: New Challenges, New Forntiers", 2002.

Demais tipos de produção bibliográfica

1.	VIEIRA, N. J. . Introdução à Teoria da Computação. Recife: UFRPE/UAB (Sistemas de Informação), 2008 (Livro-texto/ensino à distância).

2.	VIEIRA, N. J. . Introdução à Teoria da Computação. São Paulo: Thomson, 2007 (Revisão técnica).

Bancas

Participação em bancas examinadoras

Dissertações

1.	VIEIRA, N. J.; ZARATE, L. E.; Meira Jr., Wagner. Participação em banca de Sérgio Mariano Dias. Algoritmos para geração de reticulados conceituais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.	Di Iorio, V.O.; VIEIRA, N. J.; OLIVEIRA, A. P.; BRAGA, J. L.; Santos, A.G.. Participação em banca de Gênesis Barros Campos. Especificação do Comportamento de Agentes Virtuais Inteligentes por Demonstração. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Viçosa.

3.	VIEIRA, N. J.; SIQUEIRA NETO, J. L.; CASTILHO, M. A.. Participação em banca de Isabel Gomes Barbosa. Obtenção de Respostas Baseadas em Casos a Partir de Árvores de Prova. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

4.	BIGONHA, M. A. S.; BIGONHA, R. S.; VALENTE, M. T. O.; VIEIRA, N. J.. Participação em banca de Leonardo Teixeira Passos. Gerador LALR com Suporte a Resolução de Conflitos. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

5.	VIEIRA, N. J.; ZARATE, L. E.; Resende, R.S.F.. Participação em banca de Renato Vimieiro. Um estudo de algoritmos para extração de regras baseados em análise formal de conceitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

6.	VIEIRA, N. J.; ZARATE, L. E.; SIQUEIRA NETO, J. L.. Participação em banca de João Paulo Domingos Silva. Algoritmos de classificação baseados em análise formal de conceitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

7.	MATA, J. M.; VIEIRA, N. J.; FERNANDES, A. O.; MATEUS, G. R.; CARVALHO, M. L. B.. Participação em banca de Thiago Ferreira Chaves. Um sistema de apoio à construção de quadros de horários. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

8.	BRAGA, J. L.; LUNA, H. P. L.; OLIVEIRA, A. P.; SOUZA, M. J. F.; VIEIRA, N. J.. Participação em banca de Ilma da Consolacao Barbosa. Prospeccao de Dados no Apoio a Gestao de Conhecimento em um Portal WEB. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

9.	COELHO JR., C. J. N.; FERNANDES, A. O.; VIEIRA, N. J.. Participação em banca de Jacques Fux. Analise de Algoritmos SAT para Resolucao de Problemas Multivalorados. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

10.	VIEIRA, N. J.; LOPES, R. H. C.. Participação em banca de Samuel Meira Brasil Junior. A Mathematical Framework for Modelling Legal Reasoning Trough Conditional Logic. 2004. Dissertação (Mestrado em Informatica) - Universidade Federal do Espírito Santo.

11.	VIEIRA, N. J.. Participação em banca de Alexandra Moreira. Tesauros e Ontologias: estudo de definicoes presentes na literatura das areas das ciencias da computacao e da informacao. 2003. Dissertação (Mestrado em Ciências da Informação) - Universidade Federal de Minas Gerais.

12.	VIEIRA, N. J.; BRAGA, A. P.; ZIVIANI, N.; LUNA, H. P. L.. Participação em banca de Ciro Meneses Santos. Filtragem de Informacao com Utilizacao e Reformulacao de Perfil. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

13.	VIEIRA, N. J.; BRAGA, J. L.; OLIVEIRA, A. P.; PADUA, C. I. P. S. E.. Participação em banca de Flavio Vieira Pontes. Gestao de Conhecimento Apoiada por Ontologias. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

14.

VIEIRA, N. J.; OLIVEIRA, A. P.; OLIVEIRA, C. M. G. M.; BRAGA, J. L.. Participação em banca de Margareth Machado Duarte. Ferramenta de Apoio a Identificacao de Fatores Criticos de Sucesso em uma Organizacao. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

15.	VIEIRA, N. J.; BRAGA, J. L.; PADUA, C. I. P. S. E.; MENEZES, C. S.. Participação em banca de Luciano Eugenio de Castro Barbosa. Interfaces Cooperativas Apoiadas por Ontologias. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

16.

VIEIRA, N. J.; PEREIRA, A. E. C.; SIQUEIRA NETO, J. L.; LUNA, H. P. L.. Participação em banca de Remulo Dias de Carvalho. Simulacao e Otimizacao do Trafego Urbano com Programacao em Logica com Restricoes sobre Dominios Finitos. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

17.	VIEIRA, N. J.. Participação em banca de Fabio Dal Lago. Construindo Descricoes Simbolicas Consistentes com a Aplicacao a um Sistema de Autoria de Conceitos Visuais. 2001. Dissertação (Mestrado em Informatica) - Universidade Federal do Paraná.

18.	VIEIRA, N. J.; LOPES, R. H. C.. Participação em banca de Renato Elias Nunes de Moraes. A Distributed Scheduling Protocol Based on Switch Architecture: Specification and Verification. 2001. Dissertação (Mestrado em Informatica) - Universidade Federal do Espírito Santo.

19.	VIEIRA, N. J.; LOPES, R. H. C.; MENEZES, C. S.. Participação em banca de Jefferson Oliveira Andrade. Um Framework para Construcao de Teoremas usando Objetos Distribuidos. 2001. Dissertação (Mestrado em Informatica) - Universidade Federal do Espírito Santo.

20.	VIEIRA, N. J.. Participação em banca de Adelido Martins Pereira. Um assistente para recuperação de informação baseado em contexto. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

21.	VIEIRA, N. J.; BRAGA, J. L.. Participação em banca de Marcus Vinicius Pinto. Agente para Recuperacao de Informacoes na Rede Municipal de Belo Horizonte. 2000. Dissertação (Mestrado em Administração Pública) - Fundação João Pinheiro.

22.

VIEIRA, N. J.; BRAGA, A. P.; BRAGA, J. L.; PARMA, G. G.; OLIVEIRA, A. P.. Participação em banca de Jeremias de Freitas Ricardo. Neuroming: Um Sistema para Mineracao de Dados Baseado em Redes Neurais Artificiais. 2000. Dissertação (Mestrado em Engenharia Eletrica) - Universidade Federal de Minas Gerais.

23.	VIEIRA, N. J.; MENEZES, C. S.. Participação em banca de Jose Marques Pessoa. Desenvolvimento de Software Orientado a Agentes: Uma Experiencia com Agentes de Interface. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Espírito Santo.

24.	VIEIRA, N. J.; SOUZA, J. N.; LIMA-MARQUES, M.; PEREIRA, A. E. C.. Participação em banca de Rogerio Melo Nepomuceno. Maquinas Abstratas para Prova de Teoremas. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia.

25.	VIEIRA, N. J.. Participação em banca de Valério Gomes da Costa. Um sistema de auxílio a elaboração de layouts arquitetônicos. 1997. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

26.	SOUZA, J. N.; PEREIRA, A. E. C.; VIEIRA, N. J.. Participação em banca de Rogério Melo Nepomuceno. Provadores de teoremas em lógicas clássicas e não clássicas. 1997. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

27.	VIEIRA, N. J.; SIQUEIRA NETO, J. L.; BRAGA, J. L.. Participação em banca de Ruiter Braga Caldas. Um Compilador de Excecoes para Otimizacao de Programas Baseados no Paradigma de Geracao e Teste. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

28.	VIEIRA, N. J.. Participação em banca de Vânia Maria de Menezes. Modelagem de conhecimento em lógica: um estudo de caso. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

29.	VIEIRA, N. J.. Participação em banca de Edjard de Souza Mota. Backtracking em árvores de prova. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

30.	VIEIRA, N. J.. Participação em banca de Hudson de Martin. Linguagem para representação de fenômenos. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

31.	VIEIRA, N. J.. Participação em banca de Anderson da Rocha Lemos. Prova automática de teoremas segundo representação NNF. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

32.	VIEIRA, N. J.. Participação em banca de Marcos Alexandre Castilho. Análise e implementação de árvores de prova. 1991. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

33.	VIEIRA, N. J.. Participação em banca de Raul Henriques Cardoso Lopes. O uso de subjugação na extração de múltiplas respostas em programação em lógica. 1991. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

34.	VIEIRA, N. J.; OMAR, N.. Participação em banca de Rinaldo Gurgel Mendes. CONDOR: Um Ambiente Integrado de Engenharia de Conhecimento. 1990. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

35.	VIEIRA, N. J.. Participação em banca de Cássia Vicentina de Carvalho. Uma ferramenta para modelagem de conhecimento baseada em redes taxonômicas. 1990. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

36.	VIEIRA, N. J.; LAENDER, A. H. F.; BRAGA, J. L.. Participação em banca de Eduardo Costa e Silva. Otimizacao de Consultas a Bancos de Dados usando um Sistema de Programacao em Logica. 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

37.	VIEIRA, N. J.; LUNA, H. P. L.; MATEUS, G. R.; MILIDIU, R. L.. Participação em banca de Jorge Estevao Neves Ratti. Otimizacao de Consultas em Sistemas Especialistas em Diagnosticos. 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

38.	VIEIRA, N. J.. Participação em banca de Eliana de Mattos Pinto Coelho. Modelos de explicação para sistemas baseados em lógica. 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

39.	VIEIRA, N. J.; SOARES, J. F.; SANTOS, N. R.. Participação em banca de Frederico Ferreira Campos, filho. SIGMA: Sistema Interativo para Regressao Linear. 1985. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Teses de doutorado

1.	BIGONHA, R. S.; SARAIVA, J. B. A.; VALENTE, M. T. O.; IERUSALIMSCHY, R.; BIGONHA, M. A. S.; VIEIRA, N. J.. Participação em banca de Fábio Tirelo. Semântica Incremental de Linguagens de Programação. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.

FERNANDES, A. O.; LUBASZEWSKI, M. S.; CHAU, W. J.; SILVA JUNIOR, D. C.; VIEIRA, N. J.. Participação em banca de Fabrício Vivas Andrade. Contribuições para o Problema de Verificação de Equivalência Combinacional. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

3.

COELHO JR., C. J. N.; SOUSA, J. J. H. T.; LUNA, H. P. L.; VALENTE, M. T. O.; FERNANDES, A. O.; VIEIRA, N. J.. Participação em banca de Romanelli Lodron Zuim. Uma Heurística de Decisão Baseada na Subtração de Cubos para Solucionadores DPLL do Problema da Satisfabilidade. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

4.	Campos, S.V.A.; DEHARBE, D. B. P.; VIEIRA, N. J.. Participação em banca de Umberto Souza da Costa. Um verificador de modelos explícito-simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

5.

VIEIRA, N. J.; HAEUSLER, E. H.; BIGONHA, R. S.; CLAUDIO, D. M.; VELOSO, P. A. S.; RANGEL NETO, J. L. M.. Participação em banca de Lucilia Camarao de Figueiredo. L-O-Calculus: Um Modelo para Nao-Determinismo em Linguagens Reflexivas. 1997. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

6.	VIEIRA, N. J.; CARVALHO, R. L.. Participação em banca de Jose Luis Braga. Episteme: Aquisicao e Estruturacao Automaticas de Conhecimento. 1990. Tese (Doutorado em Informatica) - Pontifícia Universidade Católica do Rio de Janeiro.

Qualificações de doutorado

1.

FERNANDES, A. O.; LUBASZEWSKI, M. S.; CHAU, W. J.; COELHO JR., C. J. N.; SILVA JUNIOR, D. C.; VIEIRA, N. J.. Participação em banca de Fabrício Vivas Andrade. Verificação de Equivalência Incremental de Circuitos Combinacionais Dissimilares Através de Resolvedores de Satisfabilidade. 2007. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.	ARAUJO, A. A.; VIEIRA, N. J.. Participação em banca de Camillo Jorge Santos Oliveira. Identificação de padrões de impressões fotográficas em imagens digitais de fotografias históricas. 2005. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

3.	HAEUSLER, E. H.; BIGONHA, R. S.; VIEIRA, N. J.. Participação em banca de Lucília Camrão de Figueiredo. Um modelo para não-determinismo em linguagens reflexivas. 1995. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Participação em bancas de comissões julgadoras

Concurso público

1.	Fonseca Neto, R.; VIEIRA, N. J.. Professor Adjunto. 2010. Universidade Federal de Juiz de Fora.

2.	VIEIRA, N. J.; Ribeiro, R.G.; Vasconcelos, C.D.. Professor Assistente. 2010. Universidade Federal de Ouro Preto.

3.	VIEIRA, N. J.; Toledo, C.F.M.; Fonseca Neto, R.. Professor Assistente. 2009. Universidade Federal de São João Del-Rei.

4.	VIEIRA, N. J.; Toledo, C.F.M.; Fonseca Neto, R.. Professor Adjunto. 2009. Universidade Federal de São João Del-Rei.

5.	VIEIRA, N. J.. Professor Assistente. 2006. Universidade Federal do Espírito Santo.

6.	VIEIRA, N. J.. Professor Adjunto. 2005. Universidade Federal do Paraná.

7.	MAIA, R. A.; ZAMBALDE, A. L.; VIEIRA, N. J.; ROUILLER, A. C.; MONSERRAT NETO, J.. Professor Adjunto. 2004. Universidade Federal de Lavras.

8.	VIEIRA, N. J.. Professor Auxiliar. 1997. Universidade Federal de Lavras.

9.	VIEIRA, N. J.. Professor Adjunto. 1996. Universidade Federal de Minas Gerais.

10.	VIEIRA, N. J.. Professor Assistente. 1993. Universidade Federal do Espírito Santo.

11.	VIEIRA, N. J.. Professor Adjunto. 1993. Universidade Federal de Minas Gerais.

12.	VIEIRA, N. J.. Prefessor Assistente. 1992. Universidade Federal de Ouro Preto.

13.	VIEIRA, N. J.. Professor Auxiliar. 1992. Universidade Federal de Viçosa.

14.	VIEIRA, N. J.. Professor Adjunto. 1991. Universidade Federal Fluminense.

15.	VIEIRA, N. J.. Professor Adjunto. 1989. Universidade Federal de Minas Gerais.

16.	VIEIRA, N. J.. Professor Auxiliar. 1982. Universidade Federal de Minas Gerais.

Eventos

Participação em eventos

1.	X Semana da Graduação.Sistemas de Inferência baseados em Lógica. 2006. (Encontro).

2.	IX Semana da Graduação.Sistemas de inferência baseados em lógica matemática. 2005. (Encontro).

3.	VIII Semana de Graduação da UFMG.Sistemas de inferência baseados em lógica matemática. 2004. (Outra).

4.	VIII Simpósio Brasileiro de Inteligêncai Artificial.Expresões de categorias e raciocínio default. 1991. (Simpósio).

5.	VI Simpósio Brasileiro em Inteligência Artificial.Definitions, functions and linear resolution. 1989. (Simpósio).

6.	V Simpósio Brasileiro de Inteligência Artificial.Explicações em sistemas baseados em lógica. 1988. (Simpósio).

7.	II Simpósio Brasileiro de Inteligência Artificial.SAFO: um ambiente para desenvolvimento de protótipos de sistemas especialistas baseado em lógica. 1985. (Simpósio).

Organização de eventos

1.	VIEIRA, N. J. . Membro de comitê de programa da IV Escola Regional de Informática de MInas Gerais. 2005. (Congresso).

2.	VIEIRA, N. J. . Membro do comitê de programa do IX Simpósio Brasileiro de Inteligência Artificial. 1992. (Congresso).

3.	VIEIRA, N. J. . Membro de Comitê de Programa do VI Simpósio Brasileiro de Inteligência Artificial. 1989. (Congresso).

Orientações

Supervisões e orientações concluídas

Dissertação de mestrado

1.	Sérgio Mariano Dias. Algoritmos para geração de reticulados conceituais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Newton José Vieira.

2.	Isabel Gomes Barbosa. Obtenção de Respostas Baseadas em Casos a Partir de Árvores de Prova. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Newton José Vieira.

3.	Renato Vimieiro. Um estudo de algoritmos para extração de regras baseados em análise formal de conceitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Newton José Vieira.

4.	João Paulo Domingos Silva. Algoritmos de classificação baseados em análise formal de conceitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Newton José Vieira.

5.	Thiago Ferreira Chaves. Um sistema de apoio à construção de quadros de horários. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Co-Orientador: Newton José Vieira.

6.	Ciro Meneses dos Santos. Filtragem de Informacao com Utilizacao e Reformulacao de Perfil. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Newton José Vieira.

7.	Margareth Machado Duarte. Ferramenta de apoio a identificação de fatores críticos de sucesso em uma organização. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Co-Orientador: Newton José Vieira.

8.	Flávio Vieira Pontes. Gestão de conhecimento apoiada por ontologias. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Co-Orientador: Newton José Vieira.

9.	Adeildo Martins Pereira Junior. Um assistente para recuperacao de informacao basaeado em contexto.. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Newton José Vieira.

10.	Valerio Gomes da Costa. Um Sistema de Auxilio a Elaboracao de Layouts Arquitetonicos. 1997. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Newton José Vieira.

11.	Vania Maria de Menezes. Modelagem de Conhecimento em Logica: Um Estudo de Caso. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Newton José Vieira.

12.	Edjard de Souza Mota. Backtracking em Arvores de Prova. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Newton José Vieira.

13.	Hudson de Martin. Linguagem para Representacao de Fenomenos. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Newton José Vieira.

14.	Anderson da Rocha Lemos. Prova Automatica de Teoremas Segundo Representacao NNF. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Newton José Vieira.

15.	Raul Henriques Cardoso Lopes. O Uso de Subjugacao na Extracao de Multiplas Respostas em Programacao em Logica. 1991. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Newton José Vieira.

16.	Marcos Alexandre Castilho. Análise e Implementação de Árvores de Prova. 1991. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Newton José Vieira.

17.	Cassia Vicentina de Carvalho. Uma Ferramenta para Modelagem de Conhecimento Baseada em Redes Taxonomicas. 1990. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Newton José Vieira.

18.	Eliana de Mattos Pinto Coelho. Modelos de Explicacao para Sistemas Baseados em Logica. 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Newton José Vieira.

Trabalho de conclusão de curso de graduação

1.	Danillo Neves. Um ambiente para resolução de problemas baseado em SAT. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

2.	João Paulo Macedo e Silva. Uma introução 'a Teoria da Computação. 2005. Trabalho de Conclusão de Curso. (Graduação em Fisica) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

3.	Márcio Brandão Albuquerque. Construção incremental de autômatos finitos para conjuntos finitos. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

4.	Renato Gasparelli Cavalcante. Construção de um verificador automárico de prova. 2005. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

5.	Gustavo Costa Rauber. Simulador de vida artificial num ambiente urbano. 2004. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

6.	Lucas Cotta Repoles. Algoritmos para construção e manutenção de ontologias. 2004. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

7.	Marko Krajuljac. Sistemas de informação cooperativos baseados em conhecimento. 2004. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

8.	João Paulo de Freitas Diniz. Representação e processamento de conhecimento com auto-referência em quebra-cabeças lógicos. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

9.	Samuel Morais. Disponibilização de informações em websites para consultas em linguagem natural. 2003. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

10.	Thiago Ferreira Chaves. Resolução de problemas lógicos com auto-referência. 2002. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

11.	Hugo da Silva Sardinha Pinto. Um estudo de aerquiteturas para inteligência: paradigmas, modelos e aplicações. 2001. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

12.	Sandro Renato Dias. O problema da alocação de Salas da Seção de Ensino do ICEx/UFMG. 2001. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

13.	Luiz Antônio Rocha Couto. Um sistema de auxílio ao ensino de fundamentos teóricos da computação/versão WWW. 1994. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

14.	Carlos Jacques de Oliveira Barros. Um editor LISP. 1994. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

15.	Fábio Carvalho de Lima. Um sistema de auxílio ao ensino de fundamentos teóricos da computação. 1993. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

16.	Rogério Viana Scalabrini. Modelagem da córnea utilizando técnicas de inteligência artificial. 1992. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

17.	Cecília Auler. Especificação e implementação de uma linguagem de sistemas de produção. 1990. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

18.	Ceser Cruz Peixoto. Implementação de um sistema de consultas a redes taxonômicas. 1990. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

19.	Álfio Lopes Júnior. Uma implementação do jogo Otello. 1990. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

20.	Roberto Cota Guimarães Mendonça. Um jogo de estratégia. 1990. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

21.	Patrícia Aninger de Barrros. Processador de explicações para sistemas baseados em lógica. 1990. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

22.	Hudson de Martin. Organização de memória para um sistema baseado em lógica proposicional. 1988. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

23.	Anderson da Rocha Lemos. Máquina de inferência para um sistema baseado em lógica proposicional. 1988. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

Iniciação Científica

1.	Janaína Sant´Anna Gomide. Sistemas de diagnóstico baseados em árvores de prova. 2006. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

2.	Janaína Sant´Anna Gomide. Diagnóstico baseado em árvores de prova. 2006. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

3.	João Rafael de Moura Palotti. Uso do provador PAL na solução de problemas do tipo "the lady and the tiger". 2005. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

4.	Ivan da Cota Vieira. Uso do provador PAL em diagnóstico de circuitos digitais. 2005. Iniciação Científica. (Graduando em Engenharia de controle e automação) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

5.	Frederico Vagner dos Santos. PAL: provador automático de teoremas em árvores de prova. 2004. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

6.	Miguel Lima Mendes. Provadores baseados em unificação com sorts. 2004. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

7.	Natalia Viana Fargasch. Recuperacao de Caminhos no Esquema Algoritmico Union-Find. 1998. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Newton José Vieira.

8.	Leopoldo Terra Costa. Resolucao nao Clausal. 1998. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Newton José Vieira.

9.

Joao de Carvalho Ferreira. Especificacao e Implementacao de um Sistema de Suporte a Construcao de Maquinas de Inferencia. 1997. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Newton José Vieira.

10.

Adriana Bogliolo Sirihal. Projeto e Implementacao de um Algoritmo de Unificacao Semantica para uma Logica Polisortida. 1991. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Newton José Vieira.

11.

Marcio Miguelleto de Andrade. Implementacao de uma Maquina de Inferencia para uma Logica Polisortida. 1991. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Newton José Vieira.

12.	Jesse Alves Amancio. Um Sistema Dedutivo Elementar. 1988. Iniciação Científica. (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Newton José Vieira.

Orientações de outra natureza

1.	Ricardo Terra Nunes Bueno Villela. Monitoria em Fundamentos da Teoria da Computação. 2009. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

2.	Sérgio Mariano Dias. Monitoria em Fundamentos da Teoria da Computação. 2009. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

3.	Luciana Fujii Pontello. Monitoria em Fundamentos da Teoria da Computação. 2008. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

4.	Renato Vimieiro. Monitoria em Fundamentos da Teoria da Computação. 2006. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

5.	Bráulio Alves Silva Lara. Monitoria em Matemática Discreta. 2005. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

6.	Ricardo Augusto Rabelo Oliveira. Monitoria em Fundamentos da Teoria da Computação. 2005. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

7.	Gurvan Huiban. Monitoria em Fundamentos da Teoria da Computação. 2003. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

8.	Daniela Cristina Cascini Peixoto. Monitoria em Fundamentos da Teoria da Computação. 2003. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

9.	Luiz Filipe Menezes Vieira. Monitoria em Fundamentos da Teoria da Computação. 2002. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

10.	Rodrigo Barra de Almeida. Monitoria em Matemática Discreta. 2002. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.

11.	Pavel Pereira Calado. Monitoria em Fundamentos da Teoria da Computação. 2001. Orientação de outra natureza. (Ciencia da Computacao) - Universidade Federal de Minas Gerais. Orientador: Newton José Vieira.