Logo DIMAp-UFRN
Federal University of Rio Grande do Norte 
Department of Informatics and Applied Mathematics
Laboratory of Logic, Language, Information, Theory and Applications
Natal - Rio Grande do Norte- BRAZIL
 Logo UFRN
 
Contacts Academic Formation Interest Areas Curriculum Vitae Main Publications STUDENTS Disciplines
(in portuguese)		 Research Groups Conferences Links
Ph.D. Formerly 
Students

Student name and conclussion data
 Title of Monography
Aarão Lyra. Concluded in Aug/2003
(Co-advisor)
  Uma Fundamentação Matemática para o Processamento de Imagens Digitais Intervalares.
Roque Mendes Prado Trindade, concluded in Jun/2009
(Co-advisor)		 Uma Fundamentação Matemática para o Processamento Digitais de Sinais  Intervalares.

M.Sc. Formerly 
Students
Student name and conclussion data Title of Monography
Aarão Lyra. Concluded in Feb/1999. Computabilidade no Espaço dos Intervalos Reais: Um Modelo BSS Intervalar.
José Enéas Montenegro Dutra. Concluded in Feb/2000. JAVA-XSC: Uma Biblioteca JAVA para Computações Intervalares.
Ivanosca Andrade da Silva. Concluded in May/2001 Um Framework para Desenvolvimento de Sistemas de Apoio a Atividades Práticas Tendo como Caso de Estudo a Hotelaria.
Maria Mônica Macedo Torres Silveira. Concluded in Feb/2002 Teoria Fuzzy Intervalar: Uma Proposta de Integração da Matemática Intervalar à Teoria Fuzzy. 
Karla Darlene Nepomuceno Ramos. Concluded in Feb/2002 (Co-advisor) Papílio: Proposta de um algoritmo de criptografia baseado no algoritmo Viterbi e codificação convolucional.
Carlos Gustavo Araújo da Rocha.  Concluded in Mar/2003 (Co-advisor) MKEY: Um Protocolo para Gerenciamento de Chaves de Grupos.
Samara Pereira da Costa Melo. Concluded in 2003
 Especificação do Tipo Intervalar Parametrizado em CASL
Osmar Fernandes de Oliveira Jr. Concluded in
Números Dinâmicos:
Uma Abordagem Matemática e Computacional
Raquel Esperanza Patiño Escarcina. Concluded in Nov/2004
 Computação Intervalar em Redes Neurais Perceptron
Adriana Takahashi. Concluded in Fev/2005.
  Extensões Intervalares do Método de Segmentação de Imagens Digitais por K-Means: Estudos comparativo e de caso
Camila Araújo. concluded in Jul/2006 Modelagem de Arquiteturas Reconfiguráveis com Espaços de Chu
José Frank Viana. Concluded in Nov/2007 JFloat: Uma biblioteca de ponto fllutuante para a linguagem Java com suporte ao arredondamento direccionado
Hélida Salles Santos. Concluded in Feb/2008 The Interval Constructor on Classes of ML-Algebras
Anderson Paiva Cruz. Concluded in Sep/2008 (Co-advisor) Lógicas BDI-Fuzzy
Undergraduate Formerly 
Students

Student name, curse and conclussion data
 Title of Monography
Manuel Ferreira Gomes Junior. Bach. in Computer Science. Concluded in Mar/2002. 
 JULES: Uma Ferramenta Independente de Plataforma para Desenvolvimento de Sistemas Baseados em Conhecimento.
João Elias da Silva Junior. Engineering of Computation and Automation. Concluded in Sep/2002. 
 Uma Análise do Estado da Arte das Aplicações de Redes Neurais em Sistemas de Detecção de Intrusos.
Frederiko Stenio L.N. de Araújo. Engineering of Computation and Automation. Concluded in Jul/2003
PapílioXP - Uma extensão do algoritmo criptográfico Papílio
 Hélida Salles Santos. Bach. in Computer Sciences. Concluded in Dec/2005 Uma Generalização dos Conectivos Proposicionais Clássicos, Fuzzy e Fuzzy Intervalar Baseada em Reticulados
Anderson Paiva Cruz. Engineering of Computation and Automation. Concluded in Jun/2006 Fundamentos de Sistemas Fuzzy Baseados em Dados Intervalares à Luz de uma Teoria de Representação Intervalar
Allan Mendes Rocha. Bach. in Computer Science. Concluded in jun/2007. 
Estudo da Bi-Implicação Nebulosa
Clemilton Mackson Fagundes Baracho.  2007. Trabalho de Conclusão de Curso.  Bach. in Computer Sciences. Concluded in Jun/2007. SIMMoL - Sistema Interativo de Simulação de Modelos para Linguagens Formais.
Gabriel Carlos dos Reis Costa Dias.  Trabalho de Conclusão de Curso.  Bach. in Computer Sciences. Concluded in Nov/2007. Uma aplicação da matemática intervalar no apóio à tomada de decisões financeiras
Gabriella do Carmo Pantoja Duarte. Trabalho de Conclusão de Curso.  Bach. in Computer Sciences. Concluded in Nov/2007. Introdução à Matemática e Administração Financeira Intervalar
Ricardo Alexandre da Rocha Dias. Concluded in Jun/2008 Algumas evidências computacionais da infinitude dos números primos de Fibonacci e generaliuzações destes
Hugo Tácito Azevedo de Sena. Concluded in Jun/2008 Algumas evidências computacionais da infinitude dos números primos de palindrômicos e generaliuzações destes
João Batista de Souza Leão Neto Papílio Versatil: Um algoritmo criptográfico

Current 
Students
 
Adriana Takahashi.  Ph.D. in Electrical Engineering. (from 2005) (Co-adviser)
Ytalo Rozendo. Ph.D. in Electrical Engineering. (from 2008) 
Rogerio Rodrigues de Vargas. Ph.D. in Computer Sciences. (From 2008)
Naiara Silva Santos. M.Sc. in Systems and Computation. (from August 2007)
Isaac de Lima Oliveira Filho. M.Sc. in Systems and Computation. (from 2008)
Giovani Ângelo Silva da Nóbrega  M.Sc. in System and Computation (from 2009) 
Allan  Rocha Mendes M.Sc. in System and Computation (from 2009) (co-advisor)
Eduardo Palmeira Silva. Ph.D. in Computer Sciences. (from 2009)
Fagner Lemos de Santana. Ph.D. in Computer Sciences (from 2009) (Co-adviser)
Claudilene Gomes da Costa Ph.D in Electrical Engineering (from August 2009).
Scientific
Inicitiation
Current
Students
Contacts Academic Formation Interest Areas Curriculum Vitae Main Publications STUDENTS Disciplines
(in portuguese)		 Research Groups Conferences Links