Regivan Hugo Nunes Santiago

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

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


Possui graduação em Tecnologia de Processamento de Dados pelo Centro de Estudos Superiores do Pará (1993), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1995) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (1999). Em 2007 realizou seu sabático junto ao Centro Alemão de Inteligência Artificial em Bremen-Alemanha. Atualmente é Professor Associado 3 da Universidade Federal do Rio Grande do Norte (UFRN). Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: Matemática Intervalar - fundamentos e aplicações, Especificação Formal, Teoria dos Domínios, Sistemas Fuzzy, Lógica e Semântica. No período de 2004-2005 coordenou o curso de pós-graduação em Sistemas e Computação da UFRN e exerceu o cargo de Secretário Regional da Sociedade Brasileira de Matemática Aplicada e Computacional. (Texto informado pelo autor)


Identificação


Nome
Regivan Hugo Nunes Santiago
Nome em citações bibliográficas
SANTIAGO, R. H. N.;Santiago, R.H.N.;SANTIAGO, REGIVAN H. N.;SANTIAGO, REGIVAN;SANTIAGO, REGIVAN H.N.;REGIVAN H N SANTIAGO;REGIVAN H. N. SANTIAGO;SANTIAGO, REGIVAN HUGO NUNES

Endereço


Endereço Profissional
Universidade Federal do Rio Grande do Norte, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
Campus Universitário, S/N
Lagoa Nova
59072970 - Natal, RN - Brasil
Telefone: (84) 32153814
Ramal: 228
Fax: (84) 32153813
URL da Homepage: http://www.dimap.ufrn.br


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


1995 - 1999
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Teoria das Equações Intervalares Locais, Ano de obtenção: 1999.
Orientador: Benedito Melo Acióly.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Equações Intervalares Locais - Teoria; Lógica; Teorias Não-Classicas; Simple Equality; Matemática Intervalar - Fundamentos; Computação - Fundamentos.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1993 - 1995
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: No Sentido de uma Lógica Construtiva para a Análise Real,Ano de Obtenção: 1995.
Orientador: Benedito Melo Acióly.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Teoria dos Tipos; Semântica Denotacional; Matemática Intervalar - Fundamentos.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1990 - 1993
Graduação em Tecnólogo Em Processamento de Dados.
Centro de Estudos Superiores do Pará, CESUPA, Brasil.
1987 - 1990
Curso técnico/profissionalizante em Formação de Analistas de Sistemas.
Universiversidade da Amazônia, UNAMA, Brasil.


Pós-doutorado


2007 - 2008
Pós-Doutorado.
Centro Alemao de Pesquisas em Inteligencia Artificial, DFKI, Alemanha.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Especificação Formal.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógica Fuzzy.


Formação Complementar


2013 - 2014
Visita Científica.
Universidad Publica de Navarra, UPNA, Espanha.


Atuação Profissional



Instituto Superior Ténico de Lisboa, IST, Portugal.
Vínculo institucional

2014 - 2014
Vínculo: , Enquadramento Funcional:


Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: , Enquadramento Funcional:


Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado 3, Carga horária: 40

Vínculo institucional

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

Vínculo institucional

2010 - 2012
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado 1, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Membro do Núcleo Docente de Estruturante do Curso de Ciência da Computação

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

2001 - 2002
Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista CNPq, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1999 - 2001
Vínculo: Professor Visitante, Enquadramento Funcional: Bolsista PPV-CAPES, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2009 - Atual
Extensão universitária , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

Atividade de extensão realizada
Seminários sobre Fundamentos da Computação.
02/2007 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0323 - Matemática Discreta para a Computação
02/2007 - Atual
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
DIM0422 - Fundamentos Matemáticos da Computação
02/2007 - Atual
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0809 - Lógica
3/2006 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .

Cargo ou função
Representante do Centro de Ciencias Exatas e da Terra na Comissão de Pós-graduação da UFRN.
4/2001 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .

Cargo ou função
Comissão de seleção e atribuição de bolsas do programa de pós-graduação em sistemas e computação.
04/1999 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

7/2006 - 12/2006
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0049-Teoria da Computação
DIM0323-Matemática Discreta para a Computação
DIM0415-Lógicas Não-Clássicas
7/2006 - 12/2006
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0801-Estudo Orientado
DIM0810-Lógicas Não-Clássicas
3/2006 - 7/2006
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0809-Lógica
3/2006 - 7/2006
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0050-Lógica
05/2005 - 4/2006
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .

Cargo ou função
Comissão de produção científica do PPgSC-UFRN.
05/2002 - 4/2006
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .

Cargo ou função
Conselheiro do Centro de Ciências Exatas e da Terra.
04/2004 - 3/2006
Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

Cargo ou função
Coordenador do programa de Pós-graduação em Sistemas e Computação.
7/2005 - 12/2005
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0050-Lógica Aplicada à Computação
8/2004 - 10/2005
Extensão universitária , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

Atividade de extensão realizada
Coordenação do V encontro Regional de Matemática Aplicada e Computacional - V ERMAC.
09/2005 - 09/2005
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

Cargo ou função
Integrante da comissão de planejamento estratégico do Centro de Ciências Exatas e da Terra.
3/2005 - 7/2005
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0809-Lógica
3/2005 - 7/2005
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0050-Lógica Aplicada a Computação
7/2004 - 12/2004
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0050-Lógica Aplicada a Computação
DIM0337-Computabilidade
7/2004 - 12/2004
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0801-Estudo Orientado
3/2004 - 7/2004
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0835-Tópicos Avançados em Teoria e Inteligência Computacional
DIM0851-Teoria da Computação
3/2004 - 7/2004
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0323-Matemática Discreta para a Computação
DIM0337-Computabilidade
05/2002 - 04/2004
Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

Cargo ou função
Vice-coordenador do programa de pós-graduação em Sistemas e Computação.
04/2002 - 03/2004
Direção e administração, Centro de Ciências Exatas, .

Cargo ou função
Vice-Coordenador de Programa de Pós-graduação.
8/2003 - 12/2003
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM810-Lógicas Não-Clássicas
DIM801-Estudo Orientado
8/2003 - 12/2003
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0323-Matemática Discreta para a Computação
DIM0337-Computabilidade
3/2003 - 7/2003
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0323-Matemática Discreta para a Computação
DIM0337-Computabilidade
3/2003 - 7/2003
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM737-Teoria da Computação
DIM836-Tópicos Avançados em Teoria e Inteligência Computacional II
8/2002 - 12/2002
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM737 - Teoria da Computação
8/2002 - 12/2002
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0323-Matemática Discreta para a Computação
DIM0336-Especificação e Verificação de Programas
DIM0337-Computabilidade
10/2002 - 10/2002
Extensão universitária , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

Atividade de extensão realizada
Seminário do professor Siegfried Rump da universidade de Hamburg-Alemanha: Métodos auto-validáveis em análise numérica.
9/2001 - 08/2002
Extensão universitária , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

Atividade de extensão realizada
Coordenação do 2o Encontro Regional de Matemática Aplicada e Computacional - ERMAC 2002.
3/2002 - 7/2002
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM805-Especificações Formais
DIM737-Teoria da Computação
3/2002 - 7/2002
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0323-Matemática Discreta para a Computação
DIM0336-Especificação e Verificação de Programas
DIM0337-Computabilidade
7/2001 - 12/2001
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0801-Estudo Orientado
DIM0837-Estágio Docência
7/2001 - 12/2001
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0323-Matemática Discreta para a Computação
DIM0330-Linguagens Formais
3/2001 - 7/2001
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0737-Teoria da Computação
3/2001 - 7/2001
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0323-Matemática Discreta para a Computação
DIM0337-Computabilidade
7/2000 - 12/2000
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0323-Matemática Discreta para a Computação
DIM0327-Laboratório de Algoritmos e Estrutura de Dados
DIM0336-Especificação e Verificação de Programas
3/2000 - 7/2000
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0736-Programação
3/2000 - 7/2000
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0323-Matemática Discreta para a Computação
7/1999 - 12/1999
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0765-Lógicas Não-Clássicas
7/1999 - 12/1999
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
DIM0049-Teoria da Computação
3/1999 - 7/1999
Ensino, Sistemas e Computação, Nível: Pós-Graduação

Disciplinas ministradas
DIM0736-Programação

Beldata Processamento de Dados Ltda, BELDATA, Brasil.
Vínculo institucional

1988 - 1992
Vínculo: Celetista, Enquadramento Funcional: Programador de Computadores, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/1989 - 04/1992
Serviços técnicos especializados .

Serviço realizado
Análise de sistemas e programação de computadores.
9/1988 - 3/1989
Estágios , Beldata Processamento de Dados Ltda, .

Estágio realizado
Programador de Computadores.


Linhas de pesquisa


1.
Teoria e inteligência computacional


Projetos de pesquisa


2016 - Atual
Computação com Incertezas - Fundamentos e Aplicações (PQ-304597/2015-5)
Descrição: O título aqui proposto aparentemente exclui a investigação em Matemática e Computação intervalar, já que, devido a grande difusão, associa-se imediatamente o termo incerteza com teorias dos Conjuntos Difusos e dos ``Rough Sets''. Entretanto, a teoria intervalar também pode ser vista como uma teoria de incerteza: Por um lado, um intervalo pode ser visto como um conjunto fuzzy Tipo-2 e por outro, tanto a matemática quanto as computações intervalares (com propósito numérico) visam o controle dos erros e portanto o controle da incerteza existente na exatidão do valor desejado. Dessa forma, decidi manter o título do projeto anteriormente submetido (Processo CNPq 306876/2012-4), por entender que o mesmo é o que melhor se aproxima do meu universo de investigação e dos sub-projetos aqui propostos. Devido incluir mais de um tema de pesquisa, que envolvem cooperações com outros colegas e alunos de mestrado e doutorado, esse projeto é subdividido em mais de um tema; a saber: (1) i-métricas e suas aplicações e (2) Números Graduados e suas aplicações..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (4) .
Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Benjamin René Callejas Bedregal - Integrante / Anne Magaly de Paula Canuto - Integrante / Graçaliz Pereira Dimuro - Integrante / Fabiana Tristão Santana - Integrante / Fagner Lemos de Santana - Integrante / Javier Fernandes - Integrante / Humberto Bustince Sola - Integrante / MOURA, RONILDO P. A. - Integrante / PATERNAIN, DANIEL - Integrante / Liliane Ribeiro da Silva - Integrante / FLAULLES B. BERGAMASCHI - Integrante / Emmanuelly Monteiro Silva de Sousa - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2014 - Atual
Teoria dos Conjuntos Fuzzy e Algumas Extensões/PVE-2013

Projeto certificado pelo(a) coordenador(a) Benjamín René Callejas Bedregal em 24/07/2015.
Descrição: O principal objetivo deste projeto é contribuir na consolidação de uma base teórica das diversas extensões da teoria dos conjuntos fuzzy mencionadas acima, assim como desenvolver técnicas, que sejam extensões de algumas técnicas já usadas em lógica fuzzy [0,1]-valorada ou novas que aproveitem a natureza própria da extensão de alguma dessas extensões fuzzy. Um segundo objetivo, é também propor um novo tipo de extensão de lógica fuzzy, a lógica fuzzy não-Determinística, que consiga capturar aspectos de incertezas nos graus de pertinências não tratados pelas outras extensões. Algumas metas que se esperam alcançar com este projeto: 1. Uma maior integração científica entre os membros do grupo; 2. Fortalecimento da cooperação dos membros da equipe deste projeto com o grupo GIARA liderado pelo prof. Humberto Bustince; 3. Consolidar o grupo, tanto no cenário nacional como internacional, na área de lógica fuzzy, principalmente no que diz respeito a fundamentos da lógica fuzzy e de suas extensões; 4. Aumento significativo da produção científica do grupo; e 5. Melhorar a qualidade das pesquisas dos alunos de doutorado e mestrado do grupo ao cooperar em seus trabalhos com bons pesquisadores de outras instituições..
Situação: Em andamento; Natureza: Pesquisa.
2013 - 2015
Computação com Incertezas (Projeto PQ 306876/2012-4)
Descrição: A noção de ambiguidade possui diferentes sentidos. De acordo com Mukaidono, ela pode ser classificada da seguinte maneira: (i) incomplete: not understandable because of the lack of information. (ii) ambiguity: inde niteness in several interpretations of one word. (iii) randomness: not yet known since it will be done in future. (iv) imprecision: not precise or exact. This covers ambiguous cases which include errors or 'noise'. This ambiguity is caused by imprecision of information. (v) fuzziness: unable to de ne, or have a meaningless de nition. There are the ambiguities with respect to words, that is, ambiguity of semantics. Este projeto est á não somente imerso na quarta e na quinta noções de ambiguidade, mas na conexão existente entre elas. O mesmo imerge duas grandes areas de investigação do autor num mesmo assunto: a ambiguidade, como imprecisão e fuzziness, seus fundamentos e aplicações. Ele é dividido em duas grandes areas: 1. Matem atica e Computação Intervalar (MCI), e 2. L ogica Difusa (LD). Essas areas não são investigadas isoladamente, pois j á existem e se visa aplicações de resultados obtidos no campo da MCI para a resolução de problemas em L ogica Difusa (LD), como o Teorema de Representação Intervalar do autor que tem sido amplamente aplicado em vários artigos na área de Lógica Fuzzy. Esse projeto foi dividido nos seguintes tópicos: (1) Extensão de operadores difusos a operandos em vários níveis; (2) Raciocínio Aproximado e sua versão intervalar; (3) Métricas Intervalares e suas aplicações; e (4) Lógicas Difusas Modais.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) .
Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Graçaliz Pereira Dimuro - Integrante / Benjamín René Callejas Bedregal - Integrante / Fagner Lemos de Santana - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2012 - 2014
CONDE - Conjuntos Difusos Estendidos (Edital Universal CNPq No 14/2011 faixa B)

Projeto certificado pelo(a) coordenador(a) Benjamín René Callejas Bedregal em 09/08/2012.
Descrição: A teoria dos conjuntos difusos surge em 1965 com o trabalho de Lotfi Asker Zadeh quem propõe relaxar a teoria usual de conjuntos por considerar infinitos níveis ou graus de pertinência de um elemento ao conjunto para assim incluir na teoria de conjuntos as incertezas e vaguezas que se têm na hora de se definir um conjunto. A teoria dos conjuntos difusos, tem-se mostrado uma ferramenta muito útil que, pela sua própria natureza, é adequada para lidar com imprecisões, ignorância e vagueza presentes em problemas do mundo real. No entanto, a definição de conjunto difuso não permite levar em consideração completamente esta vagueza, pois impõe que seja dado um valor numérico pertencente ao intervalo [0,1] para descrever o grau com o qual um elemento do universo pertence a um determinado conjunto, o qual pode não ser simples de se fazer e, como quem determina esse valor é um ``especialista'', o valor provavelmente seria diferente se mudarmos de especialista ou mesmo mantendo o especialista pedirmos para fazer sua avaliação um tempo depois. Ou seja, esse valor exato não consegue encapsular as diferencias de avaliações de diferentes especialistas nem as hesitações que tem um especialista em sua avaliação. Assim, parece razoável considerar formas alternativas de proporcionar a informação que não requeiram de tal precisão, ou que, ao menos, levem em consideração, de alguma forma, a imprecisão ou vagueza inerente ao problema que está sendo abordado. Neste sentido, existem diversas propostas para abordar este problema as quais levam a diferentes extensões da teoria dos conjuntos difusos, por considerar graus de pertinências mais gerais. O principal objetivo deste projeto é contribuir na consolidação de uma base teórica das diversas extensões da teoria dos conjuntos difusos mencionadas acima, assim como desenvolver técnicas, que sejam extensões de algumas técnicas já usadas em lógica difusa [0,1]-valorada ou novas que aproveitem a natureza própria da extensão de alguma.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (4) .
Integrantes: Regivan Hugo Nunes Santiago - Integrante / Renata Hax Sander Reiser - Integrante / Benjamín René Callejas Bedregal - Coordenador / João Marcos de Almeida - Integrante / Javier Fernandes - Integrante / Humberto Bustince Sola - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2012 - Atual
GeTFun: Generalizing Truth-Functionality
Descrição: A coordinated exchange programme for the investigation of compositional meaning in logic and applications. FP7 Marie Curie PIRSES-GA-201 2-318986 GeTFun: Generalizing Truth-Functionality (Uniao Europeia).
Situação: Em andamento; Natureza: Pesquisa.
2008 - 2010
Fortalecimento do PPgSC/UFRN através de Projetos para Desenvolvimento de Tecnologias em Software e Hardware para Sistemas Embarcados
Descrição: Este projeto atende o Edital MCT/CNPq/CT-Infra/CT-Petro/Ação Transversal IV No. 16/2008 (CASADINHO). Na equipe so estao listados o coordenador geral e os membros do meu sub-projeto. O objetivo principal desse projeto é fortalecer e consolidar o programa de Pós-Graduação em Sistemas e Computação (PPgSC) da Universidade Federal do Rio Grande do Norte (UFRN), atualmente com conceito 4 atribuído pela CAPES e com um curso de Doutorado recém-credenciado (iniciou suas atividades em 2008). Esse fortalecimento acontecerá através da cooperação, no contexto desse projeto, entre grupos de pesquisa do PPgSC/UFRN com grupos de excelência nas mesmas linhas de pesquisa em instituições consolidadas no Pais. O projeto está subdivido em 5 subprojetos com grupos de excelência das seguintes instituições: (1) PUC-Rio no contexto da linha de pesquisa de Engenharia de Software com foco em desenvolvimento de linhas de produtos de software; (2) UFPE no contexto da linha de pesquisa de Engenharia de Software com foco em Especificações Formais e Linguagens de Programação; (3) PPGC/UFRGS que conta dois subprojetos: (a) no contexto da linha de pesquisa de Sistemas Integrados e Distribuídos; (b) no contexto da linha de pesquisa de Algoritmos Experimentais; (4) PESC/UFRJ no contexto da linha de pesquisa de Teoria da Computação..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2009
Uma Extensão Fuzzy-Intervalar para CASL
Descrição: Visa lançar as bases teoricas que permitam a extensão da Linguagem de especificação algébrica CASL descrever sistemas difusos. Nesse projeto são investigados como as entidades existentes nas aplicações difusas; como: T-normas, S-norms, Agregações, vários níveis de verdade, Variáveis Linguísticas podem ser implementadas na Linguagem CASL. Esse projeto teve origem durante o meu ano sabático no Centro Alemão de Inteligência Artificial em Bremen e tem sido desenvolvido em parceria com aquele Grupo. O mesmo recebeu financiamento, durante minha estada na Alemanha, pela CAPES..
Situação: Concluído; Natureza: Pesquisa.
2006 - 2008
Computação Intervalar: Fundamentos e Aplicações
Descrição: Vários problemas e aplicações surgem no universo da computação intervalar, dentre eles podemos citar a aplicação de intervalos enquanto elemento de incerteza no processamento de imagens e a extensão de algumas linguagens de programação com alto grau de portabilidade para conterem o tipo intervalo (permitindo assim uma maior distribução das aplicações intervalares). Seguindo nessa linha, esse projeto propõe a EXTENSÃO DA TEORIA DA MORFOLOGIA MATEMÁTICA para a noção de conjuntos intervalares, fazendo com que o processamento de imagens intervalares seja agora dotado das ferramentas da morfologia (operadores de dilatação, erosão, etc.). Além da extensão da teoria da morfologia matemática, pretende-se estudar a viabilidade da EXTENSÃO DA LINGUAGEM DE PROGRAMAÇÃO PHP afim de que a mesma venha a oferecer o tipo intervalo. O objetivo desse segundo subprojeto é aproveitar a portabilidade oferecida pela linguagem e buscar uma alternativa aos problemas enfrentados pela implementação do arredondamento direcionado em JAVA, necessário para a implementação de uma aritmética intervalar em qualquer linguagem.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Benjamin René Callejas Bedregal - Integrante / Marcia Maria de Castro Cruz - Integrante / Adrião Duarte Dória Neto - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2002 - 2004
Especificações Algébricas e Computação Científica
Descrição: Esse projeto visa fazer a integração entre as áreas de especificação algébrica e computação científica, fazendo com que sistemas onde os dados envolvam erros de representação possam ser especificados, verificados e refinados rigorosamente. A integração se dá através da implementação de uma biblioteca de intervalos e da noção de igualdade local na linguagem de especificação algébrica CASL. O projeto é experimentado através da aplicação da linguagem alterada na especificação de um sistema computacional.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Benjamin René Callejas Bedregal - Integrante / Anamaria Martins Moreira - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 3 / Número de orientações: 4
2001 - 2004
Apoio Formal a especificação e Re-Utilização de Software
Descrição: Aproveitando os conhecimentos complementares dos parceiros franceses e brasileiros nas áreas de Sistemas de Reescrita e Especificação Algébrica, o projeto FERUS tem como principal objetivo contribuir para a área de especificação e reutilização de software. Essa contribuição deverá efetuar-se principalmente através das seguintes atividades: Aplicação das técnicas formais desenvolvidas pelos parceiros brasileiros, implementando-se um gerenciador de bibliotecas de componentes reutilizáveis, e sendo gerado material e conhecimento práticos que forneçam subsídios para a continuação do desenvolvimento da teoria. Estudo das construções de estruturação oriunda das áreas de especificações algébricas e sua aplicação à linguagem de especificação e prototipação ELAN (desenvolvida pelos parceiros franceses no projeto PROTHEO) Integração dos resultados acima à ELAN e ao ambiente da linguagem de especificação algébrica CASL. Definição de uma extensão de CASL que comporte a aritmética intervalar, afim de oferecer uma ferramenta para a especificação de sistemas que envolvam dados contínuos, como é o caso na área de computação científica.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Regivan Hugo Nunes Santiago - Integrante / Benjamin René Callejas Bedregal - Integrante / Anamaria Martins Moreira - Coordenador / Virgínia Carvalho Carneiro de Paula - Integrante / David Boris Paul Déharbe - Integrante / Claude Kirchner - Integrante / Christophe Ringeissen - Integrante / Helène Kirchner - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 1
2001 - 2002
Linguagens de Especificação e Intervalos
Descrição: Nesse projeto, o conceito de igualdade local, definido sobre o espaço dos intervalos, é estendido para estruturas algébricas. Pretetende-se definir uma espécie de lógica equacional para essa igualdade, fazendo com que a lógica equacional subjacente à muitas linguagens de especificação algébricas, sejam um caso particular da mesma. Espera-se com isso estabelecer a fundamentação necessária para que algumas linguagens de especificação algébricas possam implementar representações de números reais cujas propriedades algébricas não sejam as mesmas para os números reais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Regivan Hugo Nunes Santiago - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 4 / Número de orientações: 1
1999 - 2000
Fundamentação da Computação Intervalar
Descrição: Esse projeto visa estudar as consequências da definição do espaço dos intervalos de Moore como um espaço de informação a la Scott. São estudadas várias consequências da introdução da noção de igualdade local nos intervalos (definidas pelo autor) entre elas a extensão desse conceito para o espaço de função dos intervalos e a relação entre as noções de equivalência e a de consistência entre funções intervalares.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Benedito Melo Acióly - Integrante / Benjamin René Callejas Bedregal - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
Número de produções C, T & A: 4 / Número de orientações: 1


Outros Projetos


2014 - 2014
Visita Científica ao Instituto Superior Técnico de Lisboa
Descrição: Desenvolvimento das Quasi-BCI-Álgebras.
Situação: Concluído; Natureza: Outra.


Revisor de periódico


2008 - Atual
Periódico: Revista de Informática Teórica e Aplicada
2009 - Atual
Periódico: TEMA. Tendências em Matemática Aplicada e Computacional
2010 - Atual
Periódico: Knowledge-Based Systems
2011 - Atual
Periódico: IEEE Transactions on Fuzzy Systems
2012 - Atual
Periódico: International Journal of Computational Intelligence Systems ISSN: 1875-6883
2013 - Atual
Periódico: Fuzzy Sets and Systems
2014 - Atual
Periódico: Soft Computing (Berlin. Print)
2016 - Atual
Periódico: Logic Journal of the IGPL (Print)
2016 - Atual
Periódico: INFORMATION SCIENCES


Revisor de projeto de fomento


2013 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
2010 - Atual
Agência de fomento: Fundação de Apoio à Pesquisa do Estado da Paraíba


Á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.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2016
SBMF 2016 - Best Paper Award - 3rd Place, Brazilian Computing Society - SBC.
2014
NAFIPS'2014 Best Paper Awards - 3rd Place, North American Fuzzy Information Processing Society.


Produções



Produção bibliográfica
Citações

SCOPUS
Total de trabalhos:12
Total de citações:58

Artigos completos publicados em periódicos

1.
PINHEIRO, JOCIVANIA2018PINHEIRO, JOCIVANIA ; BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H.N. ; SANTOS, HELIDA . A study of (T,N)-implications and its use to construct a new class of fuzzy subsethood measure. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 97, p. 1-16, 2018.

2.
LUSTOSA FILHO, JOSE AUGUSTO S.2018LUSTOSA FILHO, JOSE AUGUSTO S. ; CANUTO, ANNE M.P. ; SANTIAGO, REGIVAN HUGO NUNES . Investigating the impact of selection criteria in dynamic ensemble selection methods. EXPERT SYSTEMS WITH APPLICATIONS, v. 106, p. 141-153, 2018.

3.
COSTA, VALDIGLEIS S.2018COSTA, VALDIGLEIS S. ; FARIAS, ANTONIO DIEGO S. ; BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H.N. ; CANUTO, ANNE MAGALY DE P. . Combining Multiple Algorithms in Classifier Ensembles using Generalized Mixture Functions. NEUROCOMPUTING, v. 1, p. 1, 2018.

4.
CRUZ, A.2017CRUZ, A. ; Bedregal, B.C. ; Santiago, R.H.N. . On the characterizations of fuzzy implications satisfying I ( x , I ( y , z ))= I ( I ( x , y ), I ( x , z )). INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 93, p. 261-276, 2017.

5.
FARIAS, ANTONIO DIEGO S.2017FARIAS, ANTONIO DIEGO S. ; COSTA, VALDIGLEIS S. ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. . Constructing Generalized Mixture Functions from Bounded Generalized Mixture Functions. MATHWARE & SOFT COMPUTING, v. 24, p. 43-52, 2017.

6.
SOUSA, E. M. S.2017SOUSA, E. M. S. ; SANTIAGO, R. H. N. ; NUNES, ROMULO O. ; CANUTO, A. M. P. . Gradual Complex Numbers and Their Application for Performance Evaluation Classifiers. IEEE TRANSACTIONS ON FUZZY SYSTEMS, v. 26, p. 1058-1065, 2017.

7.
SANTANA, F. L.2016SANTANA, F. L. ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; PATERNAIN, DANIEL ; SOLA, H. B. . Generalized Quasi-Metric on Strings. Information Sciences, v. 348, p. 153-162, 2016.

8.
SILVA, I.2016SILVA, I. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . On Admissible Total Orders for Interval-valued Intuitionistic Fuzzy Membership Degrees. Fuzzy Information and Engineering, v. 8, p. 169-182, 2016.

9.
SANTANA, FAGNER2016SANTANA, FAGNER ; SANTIAGO, REGIVAN . A Generalized Distance based on a Generalized Triangle Inequality. Information Sciences, v. 345, p. 106-115, 2016.

10.
FLAULLES B. BERGAMASCHI2016FLAULLES B. BERGAMASCHI ; ALEXSANDRA OLIVEIRA ANDRADE ; REGIVAN H. N. SANTIAGO . On Properties of Uniformly Strongly Fuzzy Ideals. Journal of Communication and Computer, v. 13, p. 42-49, 2016.

11.
ANDRADE, A. O.2016ANDRADE, A. O. ; Trindade R. M. P. ; FLAULLES B. BERGAMASCHI ; BARROS, A. S. ; SANTIAGO, R. H. N. ; GUERREIRO, A. M. G. . Analyzing the R-Implications of Weber and Fodor in the Counting of Mycorrhizal Fungi Spores. Journal of Communication and Computer, v. 13, p. 116-124, 2016.

12.
SILVA FARIAS, ANTONIO DIEGO2016SILVA FARIAS, ANTONIO DIEGO ; DE ARAÚJO LOPES, LUIZ RANYER ; BEDREGAL, Benjamín ; SANTIAGO, REGIVAN H.N. . Closure properties for fuzzy recursively enumerable languages and fuzzy recursive languages. Journal of Intelligent & Fuzzy Systems, v. 31, p. 1795-1806, 2016.

13.
FLAULLES B. BERGAMASCHI2016FLAULLES B. BERGAMASCHI ; Santiago, R.H.N. . Uniform Strong Primeness on Fuzzy Setting. The Journal of Fuzzy Mathematics, v. 24, p. 799-814, 2016.

14.
MEZZOMO, I.2015MEZZOMO, I. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Types of fuzzy ideals in fuzzy lattices. Journal of Intelligent & Fuzzy Systems, v. 28, p. 929-945, 2015.

15.
SILVA, LILIANE2015SILVA, LILIANE ; MOURA, RONILDO ; CANUTO, ANNE M. P. ; SANTIAGO, REGIVAN H. N. ; BEDREGAL, BENJAMIN . An Interval-Based Framework for Fuzzy Clustering Applications. IEEE Transactions on Fuzzy Systems, v. 23, p. 2174-2187, 2015.

16.
CRUZ, ANDERSON2014CRUZ, ANDERSON ; BEDREGAL, Benjamín ; SANTIAGO, REGIVAN . On the Boolean-like Law I(x, I(y, x)) = 1. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, v. 22, p. 205-215, 2014.

17.
BEDREGAL, BENJAMIN2014BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H.N. ; BUSTINCE, HUMBERTO ; PATERNAIN, DANIEL ; REISER, RENATA . Typical Hesitant Fuzzy Negations. International Journal of Intelligent Systems (Print), v. 29, p. 525-543, 2014.

18.
DIMURO, Graçaliz Pereira2014DIMURO, Graçaliz Pereira ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . On (G,N)-implications Derived from Grouping Functions. Information Sciences, v. 279, p. 1-17, 2014.

19.
MEZZOMO, I.2014MEZZOMO, I. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; REISER, R. H. S. . On Some Operations on Bounded Fuzzy Lattices. The Journal of Fuzzy Mathematics, v. 22, p. 853-878, 2014.

20.
ANDRADE, A. O.2014ANDRADE, A. O. ; Trindade R. M. P. ; MAIA, D. S. ; SANTIAGO, R. H. N. ; GUERREIRO, A. M. G. . Analysing some R-Implications and its application in fuzzy mathematical morphology. Journal of Intelligent & Fuzzy Systems, v. 27, p. 201-209, 2014.

21.
BEDREGAL, B. R. C.2013BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Interval Representations, Lukasiewicz Implicators and Smets-Magrez Axioms.. Information Sciences, v. 221, p. 192-200, 2013.

22.
REISER, Renata Hax Sander2013REISER, Renata Hax Sander ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; AMARAL, M. D. . Canonical representation of the Yager’s classes of fuzzy implications. Matemática Aplicada e Computacional (Cessou em 1997. Cont. ISSN 1807-0302 Computational & Applied Mathematics), v. 32, p. 401-412, 2013.

23.
BEDREGAL, B. R. C.2013BEDREGAL, B. R. C. ; Santiago, R.H.N. . Some continuity notions for interval functions and representation. Matemática Aplicada e Computacional (Cessou em 1997. Cont. ISSN 1807-0302 Computational & Applied Mathematics), v. 32, p. 435-446, 2013.

24.
SANTANA, F. L.2013SANTANA, F. L. ; SANTIAGO, R. H. N. . Interval metrics, topology and continuous functions. Matemática Aplicada e Computacional (Cessou em 1997. Cont. ISSN 1807-0302 Computational & Applied Mathematics), v. 32, p. 459-470, 2013.

25.
Santana, F. T.2012Santana, F. T. ; SANTANA, F. L. ; DÓRIA NETO, Adrião Duarte ; SANTIAGO, R. H. N. . Sinais e Sistemas Definidos sobre Aritmética Intervalar Complexa. TEMA. Tendências em Matemática Aplicada e Computacional, v. 13, p. 85-96, 2012.

26.
DIMURO, Graçaliz Pereira2011 DIMURO, Graçaliz Pereira ; Bedregal, Benjamín Callejas ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; REISER, Renata Hax Sander . Interval Additive Generators of Interval T-Norms and Interval T-Conorms. Information Sciences, v. 181, p. 3898-3916, 2011.

27.
SANTIAGO, R. H. N.2011SANTIAGO, R. H. N.; MAEDER, C. . Linguistic Variables of Type-N. A Mathematical Model. TEMA. Tendências em Matemática Aplicada e Computacional, v. 12, p. 21-30, 2011.

28.
PALMEIRA, E. S.2011PALMEIRA, E. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Homotopia Intervalar. TEMA. Tendências em Matemática Aplicada e Computacional, v. 12, p. 145-156, 2011.

29.
Santana, F. T.2011Santana, F. T. ; SANTANA, F. L. ; DÓRIA, A. D. ; GUERREIRO, A. M. G. ; SANTIAGO, R. H. N. . A framework for interval quantization and application to interval based algorithms in digital signal processing. Fundamenta Informaticae, v. 112(4), p. 337-363, 2011.

30.
Bedregal, B.C.2010 SANTIAGO, R. H. N.; Bedregal, B.C. ; Dimuro, G.P. ; Reiser, R.H.S. . On interval fuzzy S-implications. Information Sciences, v. 180, p. 1373-1389, 2010.

31.
REISER, R. H. S.2010REISER, R. H. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; DIMURO, G. P. . Analyzing the relationship between interval-valued D-Implications and interval-valued QL-Implications. TEMA. Tendências em Matemática Aplicada e Computacional, v. 11, p. 89-100, 2010.

32.
Santana, F. T.2009Santana, F. T. ; DÓRIA NETO, Adrião Duarte ; SANTIAGO, R. H. N. . Uma Proposta de Análise Intervalar para o Mapa Auto-Organizável de Kohonen. Learning and Nonlinear Models, v. 7, p. 03-08, 2009.

33.
Reiser, R.H.S.2009Reiser, R.H.S. ; AGUIAR, M. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; DIMURO, G. P. . Interval Valued D-Implications. TEMA. Tendências em Matemática Aplicada e Computacional, v. 10, p. 63-74, 2009.

34.
SANTIAGO, R. H. N.;Santiago, R.H.N.;SANTIAGO, REGIVAN H. N.;SANTIAGO, REGIVAN;SANTIAGO, REGIVAN H.N.;REGIVAN H N SANTIAGO;REGIVAN H. N. SANTIAGO;SANTIAGO, REGIVAN HUGO NUNES2007SANTIAGO, R. H. N.; MOREIRA, A. M. ; LOPES, K. . Implementing Local Intervals in CASL. Electronic Notes in Theoretical Computer Science, v. 184C, p. 133-149, 2007.

35.
BEDREGAL, B. R. C.2007BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; REISER, R. H. S. ; DIMURO, G. P. . Properties of Fuzzy Implications obtained via the Interval Constructor. TEMA. Tendências em Matemática Aplicada e Computacional, v. 8, p. 33-42, 2007.

36.
SANTIAGO, R. H. N.;Santiago, R.H.N.;SANTIAGO, REGIVAN H. N.;SANTIAGO, REGIVAN;SANTIAGO, REGIVAN H.N.;REGIVAN H N SANTIAGO;REGIVAN H. N. SANTIAGO;SANTIAGO, REGIVAN HUGO NUNES2006 SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas ; ACIÓLY, B. M. . Formal Aspects of Correctness and Optimality of Interval Computations. Formal Aspects of Computing, v. 18, n.2, p. 231-243, 2006.

37.
CARVALHO, Adriano X.2006CARVALHO, Adriano X. ; SANTIAGO, R. H. N. . Interval Term Rewriting System: Toward a Formal Model for Interval Computations.. TEMA. Tendências em Matemática Aplicada e Computacional, v. 7, p. 249-258, 2006.

38.
SANTIAGO, R. H. N.;Santiago, R.H.N.;SANTIAGO, REGIVAN H. N.;SANTIAGO, REGIVAN;SANTIAGO, REGIVAN H.N.;REGIVAN H N SANTIAGO;REGIVAN H. N. SANTIAGO;SANTIAGO, REGIVAN HUGO NUNES2005SANTIAGO, R. H. N.; BEDREGAL, B. R. C. ; ACIÓLY, Benedito Melo . Comparing continuity of interval functions based on Moore and Scott topologies. Electronic Journal on Mathematics of Computation, Recife-Pe, v. 2, n.1, p. 1-14, 2005.

39.
SANTIAGO, R. H. N.;Santiago, R.H.N.;SANTIAGO, REGIVAN H. N.;SANTIAGO, REGIVAN;SANTIAGO, REGIVAN H.N.;REGIVAN H N SANTIAGO;REGIVAN H. N. SANTIAGO;SANTIAGO, REGIVAN HUGO NUNES2004SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas ; ACIÓLY, B. M. . Interval Representations. TEMA. Tendências em Matemática Aplicada e Computacional, v. 5, n.2, p. 315-324, 2004.

40.
BEDREGAL, R. C.2002BEDREGAL, R. C. ; BEDREGAL, Benjamin René Callejas ; SANTIAGO, R. H. N. . Generalizing the Real Interval Arithmetic. TEMA. Tendências em Matemática Aplicada e Computacional, v. 3(1), p. 61-70, 2002.

41.
SANTIAGO, R. H. N.;Santiago, R.H.N.;SANTIAGO, REGIVAN H. N.;SANTIAGO, REGIVAN;SANTIAGO, REGIVAN H.N.;REGIVAN H N SANTIAGO;REGIVAN H. N. SANTIAGO;SANTIAGO, REGIVAN HUGO NUNES1996SANTIAGO, R. H. N.; ACIÓLY, B. M. . Toward a Logic for Numerical Approximations. Revista de Informática Teórica e Aplicada, v. III, n.2, p. 147-166, 1996.

Livros publicados/organizados ou edições
1.
Valle , M. ; DIMURO, G. P. ; SANTIAGO, R. H. N. ; LAUREANO, E. E. . Recentes Avan cos em Sistemas Fuzzy. 1. ed. , 2016. 548p .

2.
BEDREGAL, B. R. C. ; GOMIDE, F. A. C. ; BERGAMASCHI, FLAULLES B. ; BARROS, L. C. ; SANTIAGO, R. H. N. ; MORAES, Ronei Marcos de ; SEIXAS, W. . Recentes Avanços em Sistemas Fuzzy. 1. ed. São Carlos - SP: Sociedade Brasileira de Matemática Aplicada e Computacional, 2014. v. 1. 551p .

3.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C. ; Almeida, J.M. ; BARROS, L. C. ; ROVEDA, J. A. F. ; SEIXAS, W. . Recentes Avanços em Sistemas Fuzzy. 1. ed. São Carlos - SP: Sociedade Brasileira de Matemática Aplicada e Computacional, 2012. v. 1. 1220p .

4.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C. . Computabilidade: Os limites da computação. 1. ed. São Carlos - SP: SBMAC - Sociedade Brasileira de Matemática Aplicada e Computacional, 2004. v. 500. 94p .

Capítulos de livros publicados
1.
PINHEIRO, JOCIVANIA ; PAIVA, R. E. B. ; SANTIAGO, R. H. N. . The Category of Semi-BCI Algebras. In: Guilherme Barreto e Ricardo Coelho. (Org.). Fuzzy Information Processing. 1ed.: Springer-Verlag, 2018, v. 1, p. 314-323.

2.
PINHEIRO, JOCIVANIA ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; SANTOS, HELIDA . Crisp Fuzzy Implications. In: Guilherme Barreto e Ricardo Coelho. (Org.). Fuzzy Information Processing. 1ed.: Springer-Verlag, 2018, v. 1, p. 348-360.

3.
PINHEIRO, JOCIVANIA ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; SANTOS, HELIDA ; DIMURO, G. P. . (T, N)-Implications and Some Functional Equations. In: Guilherme Barreto e Ricardo Coelho. (Org.). Fuzzy Information Processing. 1ed.: Springer-Verlag, 2018, v. 1, p. 302-313.

4.
SANTIAGO, REGIVAN H. N.; BEDREGAL, Benjamín ; Madeira, Alexandre ; Martins, Manuel A. . On Interval Dynamic Logic. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. , p. 129-144.

5.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; REISER, R. H. S. ; DIMURO, G. P. . Analyzing Properties of Fuzzy Implications Obtained via the Interval Constructor. In: Wolfram Luther; Werner Otten. (Org.). IEEE Post-Proceedings of SCAN 2006 - Revised Selected Papers of the 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics. 1ed.Los Alamitos: IEEE Computer Society Press, 2010, v. 1, p. 1-9.

6.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Some Continuity Notions for Interval Functions and Interval Representations. In: Renata Hax Sander Reiser, Maurício Lima Pila. (Org.). IntMath-2010. Interval Mathematics and Connections in Teaching and Scientific Development [1980-2010]. 1ed.Pelotas: Universidade Federal de Pelotas, 2010, v. 1, p. 115-130.

7.
SANTANA, F. L. ; SANTIAGO, R. H. N. . Introducing Interval Metrics. In: Renata Hax Sander Reiser, Maurício Lima Pila. (Org.). IntMath-2010. Interval Mathematics and Connections in Teaching and Scientific Development [1980-2010]. 1ed.Pelotas: Universidade Federal de Pelotas, 2010, v. 1, p. 131-144.

8.
REISER, R. H. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; DIAS, M. A. . Interval Valued Fuzzy Logic: The Best Interval Representation of the Yager's Implication. In: Renata Hax Sander Reiser, Maurício Lima Pila. (Org.). IntMath-2010. Interval Mathematics and Connections in Teaching and Scientific Development [1980-2010]. 1ed.Pelotas: Universidade Federal de Pelotas, 2010, v. 1, p. 155-166.

Trabalhos completos publicados em anais de congressos
1.
PINHEIRO, JOCIVANIA ; BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H. N. ; SANTOS, HELIDA . (T, N)-implications. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2017, Naples. 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017. p. 1-6.

2.
SOUSA, EMMANUELLY ; SANTIAGO, REGIVAN . SETTING THE -CUT OF FUZZY QUATERNION NUMBERS THROUGH GRADUAL QUATERNION NUMBERS. In: Conference on Uncertainty Modelling in Knowledge Engineering and Decision Making (FLINS 2016), 2016, Roubaix. Uncertainty Modelling in Knowledge Engineering and Decision Making, 2016. p. 220-225.

3.
BERGAMASCHI, FLAULLES BOONE ; ANDRADE, ALEXSANDRA OLIVEIRA ; SANTIAGO, REGIVAN H.N. . PRIME IDEALS OVER NONCOMMUTATIVE QUANTALES. In: Conference on Uncertainty Modelling in Knowledge Engineering and Decision Making (FLINS 2016), 2016, Roubaix. Uncertainty Modelling in Knowledge Engineering and Decision Making, 2016. p. 432-437.

4.
FARIAS, ANTONIO DIEGO S. ; COSTA, VALDIGLEIS S. ; SANTIAGO, REGIVAN H. N. ; BEDREGAL, BENJAMIN . The image reduction process based on Generalized Mixture functions. In: 2016 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS), 2016, El Paso. 2016 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS), 2016. p. 1-6.

5.
FARIAS, ANTONIO DIEGO S. ; COSTA, VALDIGLEIS S. ; SANTIAGO, REGIVAN H. N. ; BEDREGAL, BENJAMIN . A residuated function in a class of Mealy type L-Valued finite automaton. In: 2016 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS), 2016, El Paso. 2016 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS), 2016. p. 1-6.

6.
FARIAS, ANTONIO DIEGO SILVA ; SANTIAGO, REGIVAN H. N. ; BEDREGAL, BENJAMIN . Some properties of Generalized Mixture functions. In: 2016 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2016, Vancouver. 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2016. p. 288-293.

7.
SANTOS, HELIDA ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; BARRENECHEA, E. ; BUSTINCE, HUMBERTO . A theorem to construct fuzzy subsethood measures. In: Congresso Brasileiro de Sistemas Fuzzy, 2016, Campinas. Recentes Avanços em Sistemas Fuzzy, 2016. v. 1. p. 94-105.

8.
SILVA FARIAS, ANTONIO DIEGO ; COSTA, V. S. ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. . Funções Mistura Generalizada Construídas via Funções Mistura Generalizada Limitada. In: Congresso Brasileiro de Sistemas Fuzzy, 2016, Campinas. Recentes Avanços em Sistemas Fuzzy, 2016. v. 1. p. 424-435.

9.
SOUSA, EMMANUELLY ; SANTIAGO, REGIVAN H. N. . Gradual Complex Numbers. In: 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSAEUSFLAT15), 2015, Gijón. Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology. Paris: Atlantis Press.

10.
BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN ; BUSTINCE, HUMBERTO ; SANTOS, HELIDA ; BARRENECHEA, EDURNE . Construction of Typical Hesitant Triangular Norms regarding Xu-Xia-partial Order. In: 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSAEUSFLAT15), 2015, Gijón. Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology.

11.
ANDRADE, ALEXSANDRA O. ; TRINDADE, ROQUE M. P. ; NEVES, VANESSA B.F. ; BARROS, ALECIO S. ; SOARES, ISADORA B. ; COSTA, REGINALDO PEREIRA ; MIGUEL, DIVINO LEVI ; SANTIAGO, REGIVAN H.N. ; GUERRREIRO, ANA MARIA G. . Analysis of fuzzy morphology in spore counts of mycorrhizal fungi. In: 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015, Redmond. 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC). p. 1-6.

12.
SANTANA, FAGNER ; SANTANA, FABIANA ; SANTIAGO, REGIVAN . Generalized Distance and an Example of Fuzzy Metric. In: 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSAEUSFLAT15), 2015, Gijón. Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology. Paris: Atlantis Press, 2015.

13.
ANDRADE, ALEXSANDRA O. ; TRINDADE, ROQUE M. P. ; NEVES, VANESSA B. F. ; MAIA, DEISE S. ; MIGUEL, DIVINO LEVI ; SANTIAGO, REGIVAN H. N. ; GUERRREIRO, ANA MARIA G. . The counting of mycorrhizal fungi spores using fuzzy mathematical morphology. In: 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015, Redmond. 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015. p. 1.

14.
BERGAMASCHI, FLAULLES B. ; SANTIAGO, REGIVAN H. N. . On properties of Uniformly Strongly Prime fuzzy ideals. In: 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015, Redmond. 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015. p. 1.

15.
BERGAMASCHI, FLAULLES B. ; SANTIAGO, R. H. N. . The Strongly Prime Radical of a Fuzzy Ideal. In: 11th International FLINS Conference, 2014, João Pessoa. Decision Making and Soft Computing, 2014. v. 1. p. 215-220.

16.
Santana, F. T. ; SANTANA, F. L. ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. . Interval Migrative Functions. In: 11th International FLINS Conference, 2014, João Pessoa. Decision Making and Soft Computing, 2014. v. 1. p. 246-251.

17.
MEZZOMO, I. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Fuzzy Homomorphisms in Fuzzy Lattices Preserving Ideals. In: 11th International FLINS Conference, 2014, João Pessoa. Decision Making and Soft Computing, 2014. v. 1. p. 312-317.

18.
SANTANA, F. L. ; SANTIAGO, R. H. N. ; Santana, F. T. . On Monotonic Inclusion Interval Uninorms. In: 11th International FLINS Conference, 2014, João Pessoa. Decision Making and Soft Computing, 2014. v. 1. p. 318-323.

19.
SILVA, LILIANE ; MOURA, RONILDO ; CANUTE, ANNE ; SANTIAGO, REGIVAN ; BEDREGAL, BENJAMIN . Fuzzy clustering algorithm with H-operator applied to problems with interval-based data. In: 2014 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2014, Beijing. 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2014. p. 237-244.

20.
BERGAMASCHI, FLAULLES B. ; SANTIAGO, REGIVAN H. N. . Uniformly strongly prime fuzzy ideals. In: 2014 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2014, Beijing. 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2014. p. 2527-2532.

21.
MOURA, RONILDO ; BERGAMASCHI, FLAULLES ; SANTIAGO, REGIVAN ; BEDREGAL, BENJAMIN . Rotation of triangular fuzzy numbers via quaternion. In: 2014 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2014, Beijing. 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2014. p. 2538-2543.

22.
BERGAMASCHI, FLAULLES B. ; SANTIAGO, R. H. N. . A fuzzy version of uniformly strongly prime ideals. In: NAFIPS/IEEE Conference on Norbert Wiener in the 21st Century (21CW),, 2014, Boston. 2014 IEEE Conference on Norbert Wiener in the 21st Century (21CW), 2014. p. 1-6.

23.
MEZZOMO, I. ; BEDREGAL, B. R. C. ; Santiago, R.H.N. ; REISER, R. H. S. . Fuzzy α-ideals of collapsed sum operator on bounded fuzzy lattices. In: NAFIPS/IEEE Conference on Norbert Wiener in the 21st Century (21CW),, 2014, Boston. 2014 IEEE Conference on Norbert Wiener in the 21st Century (21CW), 2014. p. 1-7.

24.
SILVA, L. R. ; MOURA, RONILDO P. A. ; CANUTO, A. M. P. ; Santiago, R.H.N. ; BEDREGAL, B. R. C. . New ways to calculate centers for interval data in fuzzy clustering algorithms. In: NAFIPS/IEEE Conference on Norbert Wiener in the 21st Century (21CW),, 2014, Boston. 2014 IEEE Conference on Norbert Wiener in the 21st Century (21CW), 2014. p. 1-6.

25.
SANTOS, HELIDA ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; BUSTINCE, HUMBERTO . Typical hesitant fuzzy negations based on Xu-Xia-partial order. In: NAFIPS/IEEE Conference on Norbert Wiener in the 21st Century (21CW),, 2014, Boston. 2014 IEEE Conference on Norbert Wiener in the 21st Century (21CW), 2014. p. 1-6.

26.
SANTANA, FABIANA ; SANTANA, FAGNER ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Introduzindo Funções Migrativas Intervalares. In: Congresso Brasileiro de Sistemas Fuzzy, 2014, João Pessoa. Proceedings of III Brazilian Congress on Fuzzy Systems (III CBSF), 2014. v. 1. p. 120-125.

27.
SANTANA, FAGNER ; SANTIAGO, R. H. N. . Uma Nova Noção de Métrica Fuzzy e sua Topologia não Metrizável. In: Congresso Brasileiro de Sistemas Fuzzy, 2014, João Pessoa. Proceedings of III Brazilian Congress on Fuzzy Systems (III CBSF), 2014. v. 1. p. 175-187.

28.
BOONE BERGAMASCHI, FLAULLES ; SANTIAGO, R. H. N. . New Types of Strongly Prime Fuzzy Ideals. In: Congresso Brasileiro de Sistemas Fuzzy, 2014, João Pessoa. Proceedings of III Brazilian Congress on Fuzzy Systems (III CBSF), 2014. v. 1. p. 228-239.

29.
SOUSA, E. M. S. ; SANTIAGO, R. H. N. . Números Complexos Graduados. In: Congresso Brasileiro de Sistemas Fuzzy, 2014, João Pessoa. Proceedings of III Brazilian Congress on Fuzzy Systems (III CBSF), 2014. v. 1. p. 384-395.

30.
SANTOS, HELIDA ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; SOLA, H. B. . New Results for Strong Typical Hesitant Fuzzy Negations. In: Congresso Brasileiro de Sistemas Fuzzy, 2014, João Pessoa. Proceedings of III Brazilian Congress on Fuzzy Systems (III CBSF), 2014. v. 1. p. 420-431.

31.
MEZZOMO, I. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; REISER, R. H. S. . Fuzzy Ideals of Product Operator on Bounded Fuzzy Lattices. In: Congresso Brasileiro de Sistemas Fuzzy, 2014, João Pessoa. Proceedings of III Brazilian Congress on Fuzzy Systems (III CBSF), 2014. v. 1. p. 439-446.

32.
BEDREGAL, B. R. C. ; SOLA, H. B. ; FERNANDES, J. ; Santiago, R.H.N. ; DIMURO, G. P. . On homogeneous aggregation functions. In: Congresso Brasileiro de Sistemas Fuzzy, 2014, João Pessoa. Proceedings of III Brazilian Congress on Fuzzy Systems (III CBSF), 2014. v. 1. p. 525-530.

33.
MOURA, RONILDO P. A. ; BERGAMASCHI, FLAULLES B. ; SANTIAGO, REGIVAN H. N. ; BEDREGAL, BENJAMIN R. C. . Fuzzy quaternion numbers. In: 2013 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2013, Hyderabad. 2013 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). p. 1-6.

34.
BERGAMASCHI, FLAULLES BOONE ; SANTIAGO, REGIVAN H. N. . Strongly prime fuzzy ideals over noncommutative rings. In: 2013 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2013, Hyderabad. 2013 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2013. p. 1-5.

35.
BOONE BERGAMASCHI, FLAULLES ; SANTIAGO, REGIVAN H. N. . On properties of fuzzy ideals. In: 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013, Edmonton. 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013. p. 62-67.

36.
MEZZOMO, IVAN ; BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H. N. . Operations on bounded fuzzy lattices. In: 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013, Edmonton. 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013. p. 151-156.

37.
MEZZOMO, IVAN ; BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H. N. . α-ideals of fuzzy lattices. In: 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013, Edmonton. 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS). p. 157-162.

38.
MEZZOMO, IVAN ; BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H.N. ; REISER, RENATA H.S. . Fuzzy a-Ideals of Product Operator on Bounded Fuzzy Lattices. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science. p. 45-50.

39.
MEZZOMO, IVAN ; BEDREGAL, BENJAMIN C. ; SANTIAGO, REGIVAN H. N. . On fuzzy ideals of fuzzy lattice. In: 2012 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2012, Brisbane. 2012 IEEE International Conference on Fuzzy Systems. p. 1-5.

40.
CRUZ, ANDERSON P. ; BEDREGAL, BENJAMIN C. ; SANTIAGO, REGIVAN H. N. . The law x ≤ I(y; x) and the three main classes of fuzzy implications. In: 2012 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2012, Brisbane. 2012 IEEE International Conference on Fuzzy Systems. p. 1-13.

41.
CRUZ, A. P. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Characterizations of fuzzy implications satisfying the Boolean-like law y ≤ I(x, y). In: Segundo Congresso Nacional de Sistemas Fuzzy, 2012, Natal. Recentes Avanços em Sistemas Fuzzy. São Carlos - SP: Sociedade Brasileira de Matemática Aplicada e Computacional, 2012. v. 1. p. 237-249.

42.
ANDRADE, A. O. ; Trindade R. M. P. ; MAIA, D. S. ; MIGUEL, D. L. ; SANTIAGO, R. H. N. ; GUERREIRO, A. M. G. . Uso da morfologia matemática fuzzy na contagem esporos de fungos micorrízicos. In: Segundo Congresso Nacional de Sistemas Fuzzy, 2012, Natal. Recentes Avanços em Sistemas Fuzzy. São Carlos - SP: Sociedade Brasileira de Matemática Aplicada e Computacional, 2012. p. 1-19.

43.
MEZZOMO, I. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Kinds of Ideals of Fuzzy Lattice. In: Segundo Congresso Nacional de Sistemas Fuzzy, 2012, Natal. Recentes Avanços em Sistemas Fuzzy. São Carlos - SP: Sociedade Brasileira de Matemática Aplicada e Computacional, 2012. p. 657-671.

44.
SILVA, I. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; DÓRIA, A. D. . A New Method for Interval-Valued Intuitionistic Group Decision Making. In: Segundo Congresso Nacional de Sistemas Fuzzy, 2012, Natal. Recentes Avanços em Sistemas Fuzzy. São Carlos - SP: Sociedade Brasileira de Matemática Aplicada e Computacional, 2012. v. 1. p. 282-294.

45.
NOBREGA, G. A. S. ; NAVARRO, M. V. M. ; MOURA, T. A. L. E. ; SOARES, D. ; COSTA, J. A. F. ; LAVOR, E. P. ; SANTIAGO, R. H. N. . Classification of Pharmaceutical Solid Excipients Using Self-Organizing Maps. In: Intelligent Data Engineering and Automated Learning - IDEAL 2012, 2012, Natal. Lecture Notes in Computer Science. Berlin: Springer, 2012. v. 7435. p. 707-716.

46.
BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H. N. ; BENEVIDES, MARIO ; VIANA, PETRUCIO . K, T and D-like fuzzy Kripke models. In: NAFIPS 2011 2011 Annual Meeting of the North American Fuzzy Information Processing Society, 2011, El Paso. 2011 Annual Meeting of the North American Fuzzy Information Processing Society. p. 1-5.

47.
SANTANA, F. L. ; SANTIAGO, R. H. N. . Natural Topology via Fuzzy Metric. In: 2011 IEEE International Conference on Fuzzy Systems, 2011, Taipei-Taiwan. Proceedings of IEEE International Conference on Fuzzy Systems - 2011, 2011. p. 584-589.

48.
Santana, F. T. ; DÓRIA NETO, Adrião Duarte ; Santiago, R.H.N. . Fundamentação Intervalar Complexa para Sinais e Sistemas. In: XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2010, Águas de Lindóia. Anais do XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. São Carlos: SBMAC, 2010. v. 1. p. 1-7.

49.
PALMEIRA, E. S. ; BEDREGAL, B. R. C. ; Santiago, R.H.N. . Homotopia Intervalar. In: XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2010, Águas de Lindóia. Anais do XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. São Carlos: SBMAC, 2010. v. 1. p. 1-7.

50.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; BENEVIDES, M. R. F. ; VIANA, J. P. . K-Like Fuzzy Kripke Models. In: I Congresso Brasileiro de Sistemas Fuzzy, 2010, Sorocaba-SP. Anais do I Congresso Brasileiro de Sistemas Fuzzy. São Carlos: Universidade Federal de São Carlos, 2010. v. 1. p. 1-7.

51.
REISER, R. H. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . On Yager`s Implications and their Conjugates. In: I Congresso Brasileiro de Sistemas Fuzzy, 2010, Sorocaba-SP. Anais do I Congresso Brasileiro de Sistemas Fuzzy. São Carlos: Universidade Federal de São Carlos, 2010. v. 1. p. 1-7.

52.
REISER, R. H. S. ; DIMURO, G. P. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Analyzing the Relations Between Interval -Valued D-Implications and Interval-Valued QL-Implications. In: XXXII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional - XXXII CNMAC, 2009, Cuiabá. Anais do XXXII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. São Carlos: SBMAC, 2009. v. 1. p. 1-10.

53.
SANTIAGO, R. H. N.; MAEDER, C. . Linguistic Variables of Type-N. A Mathematical Model. In: XXXII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional - XXXII CNMAC, 2009, Cuiabá. Anais do XXXII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. São Carlos: SBMAC, 2009. v. 1. p. 11-19.

54.
Santana, F. T. ; DÓRIA NETO, Adrião Duarte ; SANTIAGO, R. H. N. . Uma Abordagem Intervalar para os Mapas Auto-Organizáveis de Kohonen. In: IX Congresso Brasileiro de Redes Neurais / Inteligência Computacional (IX CBRN), 2009, Ouro Preto. Anais do IX Congresso Brasileiro de Redes Neurais / Inteligência Computacional (IX CBRN), 2009. p. 1-5.

55.
REISER, R. H. S. ; DIMURO, G. P. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Interval Valued D-Implications. In: XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2008, Belém. Anais do XXXI CNMAC (CD-ROM). São Carlos: Sociedade Brasileira de Matemática Aplicada e Computacional, 2008. v. 1. p. 1-7.

56.
CRUZ, M. M. C. ; DÓRIA, A. D. ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. . Uma Fundamentação Intervalar Aplicada à Morfologia Matemática. In: XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2008, Belém. Anais do XXXI CNMAC (CD-ROM). São Carlos: Sociedade Brasileira de Matemática Aplicada e Computacional, 2008. v. 1. p. 1-7.

57.
DIMURO, G. P. ; BEDREGAL, B. R. C. ; REISER, R. H. S. ; SANTIAGO, R. H. N. . Interval Additive Generators of Interval T-Norms. In: 15th International Workshop on Logic, Language, Information and Computation, 2008, Berlin Heidelberg. Lecture Notes in Computer Science. Berlin Heidelberg: Springer-Verlag, 2008. v. 5110. p. 123-135.

58.
BEDREGAL, BENJAMIN C. ; SANTIAGO, REGIVAN H. N. ; REISER, RENATA H. S. ; DIMURO, GRACALIZ P. . The Best Interval Representation of Fuzzy S-Implications and Automorphisms. In: 2007 IEEE International Fuzzy Systems Conference, 2007, London. 2007 IEEE International Fuzzy Systems Conference. p. 1.

59.
BEDREGAL, B. R. C. ; DIMURO, G. P. ; REISER, R. H. S. ; SANTIAGO, R. H. N. . Interval Valued QL-Implications. In: 14th Workshop on Logic, Language, Information and Computation, 2007, Rio de Janeiro. Lecture Notes in Computer Science. Berlim: Springer Verlag, 2007. v. 4576. p. 307-321.

60.
CRUZ, M. M. C. ; SANTIAGO, R. H. N. ; DÓRIA NETO, Adrião Duarte . Em Direção a Morfologia Matemática para Imagens Binárias com Indefinição. In: XXX Congresso Nacional de Matemática - XXX CNMAC, 2007, Florianópolis. Anais do XXX Congresso Nacional de Matemática Aplicada e Computacional,, 2007.

61.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; DIMURO, G. P. ; REISER, R. H. S. . Interval Valued R-Implications and Automorphisms. In: Second Workshop on Logical and Semantic Frameworks, with Applications (LSFA'07), 2007, Ouro Preto. Proceedings of Second Workshop on Logical and Semantic Frameworks, with Applications (LSFA'07), 2007. p. 82-97.

62.
SANTIAGO, R. H. N.; MOREIRA, A. M. ; LOPES, K. . Implementing Local Intervals in CASL. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Anais do Simpósio Brasileiro de Métodos Formais. Porto Alegre, 2005. v. 1. p. 112-127.

63.
BEDREGAL, Benjamin René Callejas ; SANTIAGO, R. H. N. ; CANUTO, A. M. P. . A Normal Form which preserves 1-Tautologies and 0-Contradictions in a class of residuum-based propositional Fuzzy Logics.. In: Fuzz IEEE 2004 - IEEE International Conference on Fuzzy Systems, 2004, Budapeste. 2004 IEEE International Conference on Fuzzy Systems, 2004. v. 2. p. 647-652.

64.
SANTIAGO, R. H. N.. Local Sigma-algebras. In: International Symposium on Domain Theory 2001, 2001, Chengdu. Proceedings of International Symposium on Domain Theory, 2001.

65.
SANTIAGO, R. H. N.. Interval Local Equality (Toward a Model for Real type). In: Workshop on Formal Methods, 2001, Rio de Janeiro. Proceedings of IV WMF (Workshop on Formal Methods), 2001. p. 108-114.

66.
SANTIAGO, R. H. N.; DEQUEIROZ, R. . Toward a Proof Theory for Proofs by Induction. In: First Workshop of the Laboratory of Logic, Language, Information and Computation - LaLLIC, 1994, Recife. Proceedings of the First Workshop of the Laboratory of Logic, Language, Information and Computation - LaLLIC, 1994. p. 149-164.

Resumos expandidos publicados em anais de congressos
1.
SILVA, José Frank Viana da ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . JFLOAT: Uma Biblioteca de Ponto Flutuante com Arredondamento Direcionado para a Linguagem Java. In: VIII Encontro Regional de Matemática Aplicada e Computacional, 2008, Natal. Anais do VIII Encontro Regional de Matemática Aplicada e Computacional. São Carlos: SBMAC, 2008. v. 1. p. 1-4.

2.
BEDREGAL, Benjamin René Callejas ; SANTIAGO, R. H. N. . Funções Intervalares Bi-contínuas. In: Encontro Norte-nordeste de Pesquisa Operacional e Matemática Computacional, 2005, Maceió-AL. Anais do Encontro Norte-nordeste de Pesquisa Operacional e Matemática Computacional, 2005.

3.
CARVALHO, A. X. ; SANTIAGO, R. H. N. . Interval Term Rewriting System: A formal Model for Interval Computation. In: XXVIII Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo. Anais do XXVIII Congresso Nacional de Matemática Aplicada e Computacional, 2005.

4.
SANTIAGO, R. H. N.; ACIÓLY, B. M. . A Numerical Approximation Logic. In: Second International Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI'96, 1996, Recife. Proceedings of Second Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI'96, 1996.

Resumos publicados em anais de congressos
1.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C. ; Almeida, J.M. ; CALEIRO, C. . Semi-BCI Algebras. In: Vienna Summer of Logic, 2014, Vienna. Vienna Summer of Logic. Vienna, 2014.

2.
SANTOS, HELIDA ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; Almeida, J.M. . On non-deterministic fuzzy negations. In: Vienna Summer of Logic, 2014, Vienna. Vienna Summer of Logic, 2014.

3.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Toward a non-deterministic Fuzzy Logic. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Proceedings of 4th World Congress and School on Universal Logic. Goiânia: Kelps, 2013. v. 1. p. 125-127.

4.
SANTANA, F. L. ; SANTIAGO, R. H. N. . Toward a notion of i-distance-based reasoning. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Proceedings of 4th World Congress and School on Universal Logic. Goiânia: Kelps, 2013. v. 1. p. 139-140.

5.
Santana, F. T. ; Santiago, R.H.N. ; DÓRIA NETO, Adrião Duarte . Sinais e Sistemas Complexos Intervalares. In: XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2010, Águas de Lindóia. Anais do XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. São Carlos: SBMAC, 2010. v. 1. p. 1-1.

6.
Santana, F. T. ; DÓRIA NETO, Adrião Duarte ; SANTIAGO, R. H. N. . Uma Abordagem Intervalar para Sinais e Sistemas. In: IX Encontro Regional de Matemática Aplicada e Computacional - ERMAC, 2009, João Pessoa. Anais do IX Encontro Regional de Matemática Aplicada e Computacional - ERMAC, 2009.

7.
DIMURO, G. P. ; REISER, R. H. S. ; BEDREGAL, Benjamin René Callejas ; SANTIAGO, R. H. N. . Analyzing the relation between interval-valued D-implications, QL-implications and automorphisms. In: 13th Internationa Symposium on Scientific Computing, Computer Arithmeitc and Verified Numerical Computations - SCAN'08, 2008, El Paso. Book of Abstracts of 13th Internationa Symposium on Scientific Computing, Computer Arithmeitc and Verified Numerical Computations. El Paso - Texas: University of Texas, 2008. v. 1. p. 35-36.

8.
BEDREGAL, B. R. C. ; SILVA, Ivan Saraiva ; SANTIAGO, R. H. N. ; Araújo C . Toward a Formal Model for Combinatorial Reconfigurable Architectures. In: Toward a Formal Model for Combinatorial Reconfigurable Architectures, 2007, Ouro Preto-MG. Proceedings of the SBMF 2007 Brazilian Symposium on Formal Methods. Rio Grande do Sul: Sociedade Brasileira de Computação, 2007. v. 1. p. 182-182.

9.
REISER, R. H. S. ; DIMURO, G. P. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Properties of Fuzzy Implications obtained via the Interval Constructor. In: XXIX Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2006, Campinas. Anais do XXIX Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2006.

10.
CRUZ, M. M. C. ; DÓRIA, A. D. ; SANTIAGO, R. H. N. . A importância da álgebra dos reticulados nas operações de transformações morfológicas em imagens binárias. In: XXIX Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2006, Campinas. Anais do XXIX Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2006.

11.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; REISER, R. H. S. ; DIMURO, G. P. . Properties of Interval Fuzzy Implications. In: II International Colloquium on Metaphysics, 2006, Natal. Proceedings of II International Colloquium on Metaphysics, 2006. p. 1-1.

12.
BEDREGAL, Benjamin René Callejas ; REISER, R. H. S. ; DIMURO, G. P. ; SANTIAGO, R. H. N. . Analyzing Some Properties of Fuzzy Implications Obtained via the Interval Constructor. In: 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006, Duisburg-Essen. Book of abstracts of 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. v. 1. p. 109-110.

13.
SILVA, José Frank Viana da ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . A Java Floating Point Library with Directed Rounding. In: 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006, Duisburg-Essen. Book of abstracts of 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. p. 43-43.

14.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . The Best Interval Representations of Additive Generators for Interval T-norms. In: 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006, Duisburg-Essen. Book of abstracts of 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. v. 1. p. 157-158.

15.
SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas . Interval Machines: An approach to real computability. In: Encontro Norte-Nordeste de Matemática Aplicada e Computacional, 2004, Recife. Anais do Encontro Norte-Nordeste de Matemática Aplicada e Computacional, 2004. v. 1. p. 17-17.

16.
SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas . Uma topologia pseudo-métrica para intervalos reais. In: Mini-simpósio: Matemática e Fundamentos da Computação. XXVII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2004, Porto Alegre. Anais do XVII Congresso Nacional de Matemática Aplicada e Computacional. Porto Alegre: CD-Rom do evento, 2004. v. 1.

17.
LOPES, K. ; SANTIAGO, R. H. N. . A Linguagem de Especificação Algébrica CASL e o Tipo de Dados Intervalos. In: Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2003, São José do Rio Preto - SP. Anais do XXVI Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2003. v. 1. p. 618-618.

18.
CARVALHO, Adriano X. ; SANTIAGO, R. H. N. . Especificações Algébricas de Sistemas e Matemática Intervalar. In: Encontro Regional de Matemática Aplicada e Computacional, 2003, João Pessoa. Anais do terceiro Encontro Regional de Matemática Aplicada e Computacional, 2003.

19.
SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas ; ACIÓLY, B. M. . Interval Representations. In: Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2003, São José do Rio Preto - SP. Anais do XXVI Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2003. p. 625-625.

20.
SANTIAGO, R. H. N.; LOPES, K. ; MELO, S. ; BEDREGAL, Benjamin René Callejas . Especificando o Tipo de Dado Intervalo Racional em CASL. In: Encontro Regional de Matemática Aplicada e Computacional, 2002, Natal. Anais do 2o Encontro Regional de Matemática Aplicada e Computacional, 2002. v. 1. p. 46-47.

21.
SANTIAGO, R. H. N.; SILVA, Ivan Saraiva ; SANTOS, M. J. L. . Espaços de Chu para a Modelagem de Arquiteturas e Sistemas Paralelos. In: Segundo Encontro Regional de Matemática Aplicada e Computacional, 2002, Natal. Anais do Segundo Encontro Regional de Matemática Aplicada e Computacional. Natal, 2002. v. 1. p. 78-79.

22.
SANTIAGO, R. H. N.; SANTOS, J. M. . Um Sistema Dedutivo para Equações Algébricas Locais. In: Segundo Encontro Regional de Matemática Aplicada e Computacional, 2002, Natal. Anais do Segundo Encontro Regional de Matemática Aplicada e Computacional. Natal, 2002. v. 1. p. 81-82.

23.
SANTIAGO, R. H. N.. Consistency and equivalence. In: International Symposium on Domain Theory 2001, 2001, Chenddu. Proceedings of International Symposim on Domain Theory 2001, 2001.

24.
SANTIAGO, R. H. N.. Em Direção a uma Logica Equacional Local. In: XXIV Congresso Nacional da Sociedade Brasileira de Matematica Aplicada e Computacional, 2001, Belo Horizonte. Anais do XXIV Congresso Nacional da Sociedade Brasileira de Matematica Aplicada e Computacional, 2001.

25.
BEDREGAL, R. C. ; SANTIAGO, R. H. N. . Generalizing the Real Interval Arithmetic. In: XXIV Congresso Nacional da Sociedade Brasileira de Matematica Aplicada e Computacional, 2001, Belo Horizonte. Anais do XXIV Congresso Nacional da Sociedade Brasileira de Matematica Aplicada e Computacional, 2001.

26.
LOPES, K. ; MELO, S. ; SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas ; MOREIRA, A. M. . Estendendo o Sistema de Tipos de CASL com o tipo Intervalo Racional. In: Encontro Regional de Matemática Aplicada e Computacional - ERMAC, 2001, Recife. Anais do Encontro Regional de Matemática Aplicada e Computacional, 2001. p. 35-35.

27.
SANTIAGO, R. H. N.; ACIÓLY, B. M. . Identity and Consistency. In: XXIII Congresso Nacional de Matemática Aplicada e Computacional, 2000, Santos. Anais do XXIII Congresso Nacional de Matemática Aplicada e Computacional, 2000. v. 1. p. 338-338.

28.
SANTIAGO, R. H. N.; SANTOS, J. M. . Em Direção à uma Representação para Equações Algébricas. In: XXIII Congresso Nacional de Matemática Aplicada e Computacional, 2000, Santos-SP. Anais do XXIII Congresso Nacional de Matemática Aplicada e Computacional, 2000. v. 1. p. 339-339.

29.
SANTIAGO, R. H. N.; ACIÓLY, B. M. . Interval Local Equality. In: 9th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics; and International Conference on Interval Methods in Science and Engineering., 2000, Karlsruhe-Germany. Extended Abstracts of Scan2000 and Interval2000, 2000. v. 1. p. 172-172.

30.
SANTIAGO, R. H. N.; CRUZ, M. M. C. . Consistência e Equivalência entre Funções Intervalares. In: XXIII Congresso da Sociedade Brasileira de Matemática Aplicada e Computacional, 2000, Santos-SP. XXIII Congresso da SBMAC. Santos-SP, 2000. v. 1. p. 201-201.

31.
SANTIAGO, R. H. N.; ACIÓLY, B. M. . A Real Numbers Datatype Specification. In: II Panamerican Workshop of Computational and Applied Mathematics, 1997, Gramado-RS. Abstracts of II Panamerican Workshop of Computational and Applied Mathematics, 1997.

32.
SANTIAGO, R. H. N.; ACIÓLY, B. M. . Intervals as Real Numbers Specification. In: Interval'96, 1996, Wüzburg. Proceedings of the International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, 1996.

Resumos publicados em anais de congressos (artigos)
1.
SANTIAGO, R. H. N.;Santiago, R.H.N.;SANTIAGO, REGIVAN H. N.;SANTIAGO, REGIVAN;SANTIAGO, REGIVAN H.N.;REGIVAN H N SANTIAGO;REGIVAN H. N. SANTIAGO;SANTIAGO, REGIVAN HUGO NUNES1996SANTIAGO, R. H. N.; ACIÓLY, B. M. . Intervals As Real Numbers Specification. Journal of Reliable Computing, p. 99-100, 1996.

Apresentações de Trabalho
1.
Santiago, R.H.N.. Intervalizing Fuzzy Logics. 2016. (Apresentação de Trabalho/Conferência ou palestra).

2.
SANTIAGO, R. H. N.. Interval Mathematics, Applications in Fuzzy Logic and Limitations. 2014. (Apresentação de Trabalho/Conferência ou palestra).

3.
SANTIAGO, R. H. N.. Variáveis Linguísticas do Tipo N. 2013. (Apresentação de Trabalho/Conferência ou palestra).

4.
SANTIAGO, R. H. N.. Fuzzy Implication Classes Satisfying a Boolean Like Law. 2013. (Apresentação de Trabalho/Conferência ou palestra).

5.
Santana, F. T. ; DÓRIA, A. D. ; SANTIAGO, R. H. N. . Sinais e Sistemas Complexos Intervalares Aplicados em Somas de Convoluções. 2010. (Apresentação de Trabalho/Congresso).

6.
SANTIAGO, R. H. N.; MAEDER, C. . Linguistic Variables of Type-N. A Mathematical Model. 2009. (Apresentação de Trabalho/Congresso).

7.
SANTIAGO, R. H. N.. Computabilidade. 2005. (Apresentação de Trabalho/Seminário).

Outras produções bibliográficas
1.
Valle , M. ; DIMURO, G. P. ; SANTIAGO, R. H. N. ; LAUREANO, E. E. . Recentes Avanços em Sistemas Fuzzy (Livro de Resumos) 2016 (Edição de Livros).

2.
BEDREGAL, B. R. C. ; GOMIDE, F. A. C. ; BERGAMASCHI, FLAULLES B. ; BARROS, L. C. ; Santiago, R.H.N. ; MORAES, Ronei Marcos de ; SEIXAS, W. . Recentes Avanços em Sistemas Fuzzy (Livro de Resumos). São Carlos: Sociedade Brasileira de Matemática Aplicada e Computacional, 2014 (Edição de Livros).

3.
Santana, F. T. ; SANTANA, F. L. ; SANTIAGO, R. H. N. ; DÓRIA, A. D. . Aplicação da Matemática Intervalar em Quantização de Sinais 2012 (Painel).

4.
SANTANA, F. L. ; Santana, F. T. ; SANTIAGO, R. H. N. . Toda Topologia Toda é Gerada por uma distância generalizada 2012 (Painel).

5.
Santana, F. T. ; SANTANA, F. L. ; DÓRIA, A. D. ; SANTIAGO, R. H. N. . Relações entre Intervalos e Corpos 2011 (Painel).

6.
Santana, F. T. ; SANTANA, F. L. ; DÓRIA, A. D. ; SANTIAGO, R. H. N. . Fundamentação Intervalar para Transformada Z 2011 (Painel).


Produção técnica
Assessoria e consultoria
1.
Santiago, R.H.N.. Membro do Comitê de Programa do CNMAC 2017. 2017.

2.
SANTIAGO, R. H. N.. Membro do Comitê de Programa do IFSA-SCIS 2017 Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems. 2017.

3.
SANTIAGO, R. H. N.. Membro do Comitê de Programa do DaLí - Dynamic Logic: New trends and applications. 2017.

4.
SANTIAGO, R. H. N.. Membro do Comitê de Programa do (IDEAL'2017) The 18th International Conference on Intelligent Data Engineering and Automated Learning. 2017.

5.
SANTIAGO, R. H. N.. Membro do Comitê de Programa do ENIAC - Encontro Nacional de Inteligência Artificial e Computacional. 2017.

6.
Santiago, R.H.N.. Membro do Comitê de Programa da Escola de Informática Teórica e Métodos Formais (ETMF 2017). 2017.

7.
Santiago, R.H.N.. Membro do Comitê de Programa da Escola de Informática Teórica e Métodos Formais (ETMF 2016). 2016.

8.
Santiago, R.H.N.. Membro do Comitê de Programa do (FLINS 2016) Fuzzy Logic and Intelligent Technologies in Nuclear Science.. 2016.

9.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; MEZZOMO, I. ; ROCHA, M. P. C. ; MENEZES, M. . Comitê Julgador CNMAC 2016 (Melhor Tese de Doutorado). 2016.

10.
MARTINEZ, J. M. ; CARVALHO, L. M. ; ORGAMBIDE, A. C. F. ; DIMURO, G. P. ; BISOGNIN, E. ; MOZOLEVSKI, I. ; CLAEYSSEN, J. C. R. ; RODRIGUES, L. A. D. ; SANTIAGO, R. H. N. . Membro do Comitê Cientifico do CNMAC 2016. 2016.

11.
SANTIAGO, R. H. N.. Membro do Comitê de Programa do Encontro Nacional de Inteligência Artificial e Computacional - ENIAC 2016. 2016.

12.
Santiago, R.H.N.. Co-Chair do Comitê de Programa do IV Congresso Brasileiro de Sistemas Fuzzy. 2016.

13.
SANTIAGO, R. H. N.; et al. . Membro do Comitê de Programa do 2nd LA-CCI (Latin American) and 12th. CBIC (Brazilian) Congress on Computational Intelligence. 2015.

14.
SANTIAGO, R. H. N.. Membro de Comitê de Programa do The 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014). 2014.

15.
SANTIAGO, R. H. N.. Chair do Comitê de Programa do III Congresso Brasileiro de Sistemas Fuzzy. 2014.

16.
SANTIAGO, R. H. N.. Membro do Steerling Comitê do III Congresso Brasileiro de Sistemas Fuzzy. 2014.

17.
SANTIAGO, R. H. N.; AGUIAR, M. S. ; DIMURO, G. P. . Membro do Comitê de Programa do Workshop-Escola de Informática Teórica ? WEIT 2013. 2013.

18.
SANTIAGO, R. H. N.. Membro do Comitê de Programa do MCSul2012. 2012.

19.
SANTIAGO, R. H. N.. Membro do Comitê de Programa do II Congresso Brasileiro de Sistemas Fuzzy. 2012.

20.
COSTA, J. A. F. ; SANTIAGO, R. H. N. . Membro do Comitê de Programa do the 13th International Conference on Intelligent Data Engineering and Automated Learning. 2012.

21.
Santiago, R.H.N.. Programa de apoio à pesquisa, desenvolvimento e inovação em microempresas e empresas de pequeno porte na modalidade subvenção econômica - PAPPE - FINEP/FAPESQ PB. 2011.

22.
SANTIAGO, R. H. N.. Consultor AD HOC da Revista Princípios. 2001.

Trabalhos técnicos
1.
SANTIAGO, R. H. N.. Revisor do 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2014). 2014.

2.
SANTIAGO, R. H. N.. Revisor de artigos do IDEAL 2014 : 15th International Conference on Intelligent Data Engineering and Automated Learning. 2014.

3.
SANTIAGO, R. H. N.. Revisor de artigos do The 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014). 2014.

4.
SANTIAGO, R. H. N.. Revisor de artigos do XXXV Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional (CNMAC 2014). 2014.

5.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C. . Selected Papers from the Second Brazilian Congress on Fuzzy Systems to EUSFLAT Magazine. 2013.

6.
SANTIAGO, R. H. N.. Membro do Comitê de Programa do ENIA 2011. 2011.

7.
SANTIAGO, R. H. N.. Revisor de artigos do 2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2010). 2010.

8.
SANTIAGO, R. H. N.. Membro do comitê de programa e revisor de artigos do I Congresso de Sistemas Fuzzy (I CBSF). 2010.

9.
SANTIAGO, R. H. N.. Membro do comitê de programa e revisor de artigos do IV Southern Conference on Computational Modeling. 2010.

10.
SANTIAGO, R. H. N.. Revisor de artigos do 20th SBIA - Brazilian Symposium on Artificial Intelligence (SBIA 2010). 2010.

11.
SANTIAGO, R. H. N.. Revisor de artigos do XXXV LATIN-AMERICAN CONFERENCE ON INFORMATICS - CLEI09. 2009.

12.
SANTIAGO, R. H. N.. Revisor de artigos do The Tenth International Workshop on Rule-Based Programming - Rule09. 2009.

13.
SANTIAGO, R. H. N.. Revisor de artigos da 2° Escola Potiguar de Computação e suas Aplicações. 2009.

14.
SANTIAGO, R. H. N.. Revisor de artigo para o XX Concurso de Teses e Dissertações. 2007.

15.
SANTIAGO, R. H. N.. Membro do comitê de programa e revisor de artigos do 2° Workshop-Escola de Computação e Informação Quântica. 2007.

16.
SANTIAGO, R. H. N.. Revisor de artigos do ICTAC07 - The 4th International Colloquium on Theoretical Aspects of Computing. 2007.

17.
SANTIAGO, R. H. N.. Revisor de artigos da 2° Workshop-Escola de Computação e Informação Quântica. 2007.

18.
SANTIAGO, R. H. N.. Parecer sobre Processo de Incentivo à Produção Acadêmica - Proc. 231120/UESB. 2006.

19.
SANTIAGO, R. H. N.. Parecer sobre processo de Incentivo à Produção Acadêmica - Proc. 249361/UESB. 2006.

20.
SANTIAGO, R. H. N.. Membro do comitê de programa e revisor de artigos do Logical and Semantic Frameworks, with Applications (LSFA 2006). 2006.

21.
SANTIAGO, R. H. N.; ACIÓLY, B. M. . An Algebraic Specification for the Real Data Type. RT DI-UFPE 006/95. 1995.


Demais tipos de produção técnica
1.
Santiago, R.H.N.; BEDREGAL, B. R. C. . Raciocínio Aproximado. 2016. (Curso de curta duração ministrado/Extensão).

2.
SANTIAGO, R. H. N.. Approximate Reasoning. 2015. (Curso de curta duração ministrado/Extensão).

3.
SANTIAGO, R. H. N.. Teoria dos Reticulados. 2013. (Desenvolvimento de material didático ou instrucional - NotasdeAula).

4.
Santiago, R.H.N.. Fundamentos Matemáticos da Computação. 2013. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

5.
SANTIAGO, R. H. N.. Funções Residuadas. 2012. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

6.
CAMPOS, A. M. C. ; SANTIAGO, R. H. N. ; SIQUEIRA, M. F. ; DÉHARBE, D. B. P. ; CORREA, E. F. ; Almeida, J.M. . Núcleo Docente Estruturante do Curso de Ciência da Computação. 2012. (Reestruturação Acadêmica).

7.
SANTIAGO, R. H. N.; CRIBARI NETO, F. ; ROCHA, M. ; LUNA, H. P. L. ; GALEAO, A. . Pesquisa Multidisciplinar e ensino de Pós-graduação em Matemática Computacional. 2005. (Painel).

8.
SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas . Computabilidade: Os Limites da Computação. 2004. (Curso de curta duração ministrado/Extensão).

9.
SANTIAGO, R. H. N.. Especificação Formal de Softwares. 2003. (Curso de curta duração ministrado/Extensão).

10.
SANTIAGO, R. H. N.. Especificação Formal de Softwares. 2003. (Curso de curta duração ministrado/Extensão).

11.
SANTIAGO, R. H. N.. Notas em Lógica e Topoi. 1996. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

Demais trabalhos
1.
BEDREGAL, B. R. C. ; Almeida, J.M. ; SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação do Aluno Claudio Andrés Callejas Olguín submetido ao Curso de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN, sob o título: Integrais de Linha Intervalares: Fundamentos e Aplicações. 2011 (Bancas Examinadoras) .

2.
BEDREGAL, Roberto Callejas ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação do Aluno Giovani Angelo da Silva Nóbrega submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN, sob o título: Integrais de Linha Intervalares: Fundamentos e Aplicações. 2009 (Bancas Examinadoras) .

3.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; SILVA, Ivan Saraiva . Membro da Banca de Avaliação do Exame de Qualificação do Aluno José Frank Viana da Silva submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN, sob o título Arredondamento Direcionado em Java. 2006 (Bancas Examinadoras) .

4.
Goldbarg, M. C. ; Goldbarg, E. F. G. ; SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação da Aluna Ligia Bariani Bagi submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN, sob o título. 2006 (Bancas Examinadoras) .

5.
SANTIAGO, R. H. N.; MOREIRA, A. ; DERHABE, D. . Membro da Banca de Avaliação do Exame de Qualificação do Aluno Adriano Xavier Carvalho submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2005 (Bancas Examinadoras) .

6.
SANTIAGO, R. H. N.. Secretário regional da Sociedade Brasileira de Matemática Aplicada e Computacional. 2005 (Colegiados) .

7.
SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas ; DÉHARBE, D. B. P. ; SILVA, Ivan Saraiva . Membro da Banca de Avaliação do Exame de Qualificação da Aluna Camila de Araújo submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2005 (Bancas Examinadoras) .

8.
SANTIAGO, R. H. N.. Secretário regional da Sociedade Brasileira de Matemática Aplicada e Computacional. 2004 (Colegiados) .

9.
SANTIAGO, R. H. N.. Membro do Conselho de Centro do Centro de Ciências Exatas e da Terra. 2004 (Colegiados) .

10.
SANTIAGO, R. H. N.; LOPES, K. . Membro da Banca de Avaliação do Exame de Qualificação da Aluna Katiane Ribeiro Lopes submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2003 (Bancas Examinadoras) .

11.
SANTIAGO, R. H. N.. Membro da Banca de Avaliação do Exame de Qualificação da Aluna Samara Pereira da Costa Melo submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2003 (Bancas Examinadoras) .

12.
SANTIAGO, R. H. N.. Membro da Banca de Avaliação do Exame de Qualificação do Aluno Anderson Santana de Oliveira submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2003 (Bancas Examinadoras) .

13.
SANTIAGO, R. H. N.. Interval Mathematics and Specification on Uncertain Data. 2002 (Palestras) .

14.
SANTIAGO, R. H. N.; MOURA, José Eduardo de Almeida ; ARAÚJO, A. L. . Mesa Redonda: Perspectivas da Lógica Contemporânea. 2001 (Palestras) .

15.
BEDREGAL, Benjamin René Callejas ; SANTIAGO, R. H. N. . Pesquisador do Projeto Uma Abordagem Lógica e Computacional da Análise Intervalar. 2000 (Membro de Projeto) .

16.
SANTIAGO, R. H. N.. Membro da Banca de Avaliação do Exame de Qualificação da Aluna Marcia Maria de Castro Cruz submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2000 (Bancas Examinadoras) .

17.
SANTIAGO, R. H. N.. Membro da Banca de Avaliação do Exame de Qualificação do Aluno José Medeiros dos Santos submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2000 (Bancas Examinadoras) .

18.
SANTIAGO, R. H. N.. Membro da Banca de Avaliação do Exame de Qualificação do Aluno José Eneas Montenegro Dutra submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2000 (Bancas Examinadoras) .

19.
SANTIAGO, R. H. N.. Membro do Grupo de Pesquisa: Grupo de Matemática e Fundamentos da Computação (CNPq ref: UCPEL.0009). 1999 (Membro de Grupo de Pesquisa) .

20.
SANTIAGO, R. H. N.. Membro do Grupo de Pesquisa: Teoria e Inteligência Computacional - Ref: UFRN. 0051. 1999 (Membro de Grupo de Pesquisa) .

21.
SANTIAGO, R. H. N.. Membro da Base de Pesquisa FUNDAMENTAÇÃO E DESENVOLVIMENTO DE SISTEMAS INTELIGENTES CONFIÁVEIS - BCB087-00 Coordenador: BENJAMIN RENE CALLEJAS BEDREGAL. 1999 (Membro de Grupo de Pesquisa) .

22.
SANTIAGO, R. H. N.. Lógica e Computação. 1999 (Palestras) .

23.
SANTIAGO, R. H. N.. Membro do Colegiado do Mestrado em Sistemas e Computação. 1999 (Colegiados) .

24.
SANTIAGO, R. H. N.. Membro da Banca de Avaliação do Exame de Qualificação da Aluna Anne Christine Leite submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN. 1999 (Bancas Examinadoras) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; CRUZ, A. P.; REISER, R. H. S.. Participação em banca de VALDIGLEIS DA SILVA COSTA. Linguagens Lineares Fuzzy. 2016. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; CANUTO, A. M. P.; DIMURO, G. P.. Participação em banca de Heloína Alves Arnaldo. Novos Métodos deterministicos para gerar centros iniciais dos grupos no algoritmo fuzzy C-means e variantes. 2014. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; CANUTO, A. M. P.; CARVALHO, F. A. T.. Participação em banca de Ronildo Pinheiro de Araujo Moura. Algoritmos de Agrupamento Fuzzy Intervalares e Índices de Validação para Agrupamento de Dados Simbólicos do Tipo Intervalo. 2014. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

4.
DIMURO, G. P.; AGUIAR, M. S.; ADAMATTI, D. F.; SANTIAGO, R. H. N.. Participação em banca de Leonardo Martins Rodrigues. Estação de Coleta de Dados Climáticos utilizando a plataforma Arduíno: Uma abordagem baseada em lógica fuzzy (intervalar) para a detecção de pestes na agricultura.. 2013. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal do Rio Grande.

5.
MORAES, Ronei Marcos de; VIANNA, R. P. T.; ANJOS, U. U.; SANTOS, S. R.; SANTIAGO, R. H. N.. Participação em banca de Ana Paula de Jesus Tomé Pereira. Modelo de suporte à tomada de decisão sobre acidentes de trânsito com vítimas baseado em Lógica Fuzzy. 2013. Dissertação (Mestrado em Modelos de Decisão e Saúde) - Universidade Federal da Paraíba.

6.
Almeida, J.M.; SANTIAGO, R. H. N.; MIRANDA, L. C.; HAEUSLER, E. H.. Participação em banca de Patrick César Alves Terramate. A integração do tutorial interativo trylogic via ims learning tools interoperability: construindo uma infraestrutura para o ensino de lógica através de estratégias de demonstração e refutação. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

7.
FARIAS, V. J. C.; SANTIAGO, R. H. N.; ALMEIDA, A. C.; MARANHAO, C. H. M.; ROCHA, M. P. C.. Participação em banca de Brígida Cristina Fernandes Batista. Solução de Equações Diferenciais usando Redes Neurais e Múltiplas Camadas com Métodos de Descida mais Íngreme e Levengerg-Marquardt. 2012. Dissertação (Mestrado em Matemática e Estatística) - Universidade Federal do Pará.

8.
BEDREGAL, B. R. C.; Almeida, J.M.; VIANA, J. P.; SANTIAGO, R. H. N.. Participação em banca de Claudio Andrés Callejas Olguín. What is a Fuzzy Bi-implication. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

9.
SANTIAGO, R. H. N.; AGUIAR, M. S.; AQUINO JR., G. S.; BEDREGAL, B. R. C.. Participação em banca de Marciano Lourenço da Silva Gonçalves. Java-XSC: Módulos Complexo e Complexo Intervalar. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

10.
ROCHA, M. P. C.; FARIAS, V. J. C.; TAVARES, H. R.; SANTIAGO, R. H. N.. Participação em banca de Liliane Ribeiro da Silva. Aplicação da Decomposição em Valores Singulares e Análise de Componentes Independentes em Dados de FMRI. 2011. Dissertação (Mestrado em Matemática e Estatística) - Universidade Federal do Pará.

11.
FARIAS, V. J. C.; ROCHA, M. P. C.; TAVARES, H. R.; SANTIAGO, R. H. N.. Participação em banca de Marcos Antônio Rosa das Chagas. Otimização do Projeto de Antena Yagi-UDA pelo Método Particle Swarm Optimization-PSO. 2011. Dissertação (Mestrado em Matemática e Estatística) - Universidade Federal do Pará.

12.
BEDREGAL, B. R. C.; BEDREGAL, R. C.; SANTIAGO, R. H. N.; AHUMADA, R. O. M.. Participação em banca de Giovani Angelo da Silva Nóbrega. Integrais de Linha Intervalares: Fundamentos e Aplicações. 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

13.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; CANUTO, A. M. P.; COSTA, A. C. R.. Participação em banca de Anderson Paiva Cruz. Logica BDI Fuzzy. 2008. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

14.
SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas; SILVA, Ivan Saraiva; MORAES, Fernando Gehm. Participação em banca de Camila de Araújo. Modelagem de Arquiteturas Reconfiguráveis com Espaçõs de Chu. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

15.
SANTIAGO, R. H. N.; MOREIRA, A. M.; BEDREGAL, Benjamin René Callejas; HAEUSLER, E. H.. Participação em banca de Adriano Xavier Carvalho. Sistemas de Reescrita de Termos para Intervalos: Em direção a um modelo formal para a Computação Intervalar. 2005. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

16.
SANTIAGO, R. H. N.; LYRA, Aarão; CLAUDIO, D. M.; DÓRIA NETO, Adrião Duarte; BEDREGAL, Benjamin René Callejas. Participação em banca de Osmar Fernandes de Oliveira Júnior. Números dinâmicos: Uma abordagem computacional orientada a objetos com implementaões na linguagem Java. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

17.
MOREIRA, A.; SANTIAGO, R. H. N.; HAEUSLER, E. H.. Participação em banca de Anderson Santana de Oliveira. Uma ferramenta para suporte formal à evolução e reutilização para linguagens de especificação algébrica com semântica inicial. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

18.
SANTIAGO, R. H. N.; MOREIRA, A. M.; CAMPOS, Marcília Andrade. Participação em banca de Katiane Ribeiro Lopes. A linguagem de especificação algébrica CASL e o tipo de dados intervalos. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

19.
SANTIAGO, R. H. N.; DÓRIA NETO, Adrião Duarte; BEDREGAL, Benjamin René Callejas; CLAUDIO, D. M.; LYRA, Aarão. Participação em banca de Osmar Fernandes de Oliveira Júnior. Números Dinâmicos: Uma Abordagem Computacional Orientada a Objetos com Implementação em Java. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

20.
SANTIAGO, R. H. N.; MOREIRA, A. M.; HAEUSLER, E. H.. Participação em banca de Anderson Santana de Oliveira. Uma Ferramenta para Suporte Formal à Evolução e Reutilização para Linguagens de Especificação Algébrica com Semântica Inicial. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

21.
SANTIAGO, R. H. N.; CAMPOS, Marcília Andrade; BEDREGAL, Benjamin René Callejas; MOREIRA, A. M.. Participação em banca de Samara Pereira da Costa Melo. Especificação do Tipo Intervalar Parametrizado em CASL. 2003. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

22.
SANTIAGO, R. H. N.; ACIÓLY, B. M.; DEQUEIROZ, R.. Participação em banca de Alzira Ferreira da Silva. Sobre a Igualdade Local nos Domínios Intervalos. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

23.
SANTIAGO, R. H. N.; ACIÓLY, B. M.; DEQUEIROZ, R.. Participação em banca de Sergio da Silva Aguiar. Uma Lógica Intuicionista Bidimensional com Semântica Categórica. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

24.
SANTIAGO, R. H. N.; SILVA, Ivan Saraiva; DIMURO, G.; BEDREGAL, Benjamin René Callejas. Participação em banca de Maria José Lima dos Santos. Modelando uma Arquitetura PRAM-CRCW com Espaços de Chu. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

25.
SANTIAGO, R. H. N.; COSTA, A. C. R.; BEDREGAL, Benjamin René Callejas. Participação em banca de Maria Mônica Macêdo Torres Silva. Teoria Fuzzy Intervalar: Uma Proposta de Integração da Matemática Intervalar à Teoria Fuzzy. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

26.
SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas; DOMÍNGUES, A. H.. Participação em banca de Ivanosca Andrade da Silva. Um Framework para Desenvolvimento de Sistemas de Apoio a Atividades Práticas ,Tendo como Caso de Estudo a Hotelaria. 2001. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

27.
SANTIAGO, R. H. N.; ACIÓLY, B. M.; BEDREGAL, Benjamin René Callejas. Participação em banca de Jose Medeiros dos Santos. Em Direção à uma Representação para Equações Algébricas: Uma Lógica Equacional Local. 2001. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

28.
SANTIAGO, R. H. N.; ACIÓLY, B. M.; BEDREGAL, Benjamin René Callejas. Participação em banca de Marcia Maria Castro Cruz. Equivalência e Consistência entre Funções Intervalares. 2000. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Teses de doutorado
1.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; DIMURO, G. P.; MEZZOMO, I.; ROCHA, M. P. C.. Participação em banca de Ivanosca Andrade da Silva. Tomada de Decisão em Grupo e Multi-atributos Baseada na Lógica Fuzzy Intuicionista de Atanassov Intervalarmente Valorada. 2016. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

2.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; PALMEIRA, E. S.; DIMURO, G. P.. Participação em banca de Lucélia Marques Lima da Rocha. Homogeneidade e Pseudo-Homogeneidade de T-Normas Intervalares e de T-Normas Intuicionistas de Atanassov Intervalarmente Valoradas. 2016. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

3.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; VIANA, J. P.; OLIVEIRA JR., W. R.; SANTANA, F. L.. Participação em banca de CLAUDIO ANDRÉS CALLEJAS OLGUÍN. Um estudo topológico e de teoria dos domínios das funções totais computáveis. 2016. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

4.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; ROCHA, M. P. C.; PALMEIRA, E. S.; REISER, R. H. S.. Participação em banca de HÉLIDA SALLES SANTOS. A New Class of Fuzzy Subsethood Measures. 2016. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

5.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; PIMENTEL, E. G.; HAEUSLER, E. H.; BARROS, L. C.. Participação em banca de Flaulles Boone Bergamashi. Primalidade Forte em Ambiente Fuzzy. 2015. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

6.
MORAES, Ronei Marcos de; VIANNA, R. P. T.; NOGUEIRA, J. A.; FERREIRA, M. R. P.; Santiago, R.H.N.. Participação em banca de Danielly Cristina de Souza Costa Holmes. Novo Método para a Combinação de Aglomerados Espaciais e Aplicação em Epidemiologia. 2015. Tese (Doutorado em Modelos de Decisão e Saúde) - Universidade Federal da Paraíba.

7.
SANTIAGO, R. H. N.; CANUTO, A. M. P.; BEDREGAL, B. R. C.; LEON, A. C. P.; CARVALHO, F. A. T.. Participação em banca de Liliane Ribeiro da Silva. Uma Plataforma Intervalar para Agrupamentos de Dados. 2015. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

8.
GUERREIRO, A. M. G.; DÓRIA, A. D.; SOARES, H. B.; SANTIAGO, R. H. N.; ACIÓLY, B. M.; Trindade R. M. P.. Participação em banca de Alexsandra Oliveira Andrade. Sistema de Contagem com Morfologia Fuzzy. 2014. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

9.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; ROCHA, M. P. C.; DIMURO, G. P.; BARROS, L. C.. Participação em banca de Eduardo Silva Palmeira. On Extension of Fuzzy Connectives. 2013. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

10.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; REISER, R. H. S.. Participação em banca de Ivan Mezzomo. Ideais e Filtros Fuzzy em Reticulados Fuzzy: Uma nova abordagem. 2013. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

11.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; REISER, R. H. S.; PROLO, C. A.. Participação em banca de Ivan Mezzomo. On Fuzzy Ideals and Fuzzy Filters of Fuzzy Lattices. 2013. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

12.
BEDREGAL, B. R. C.; REISER, R. H. S.; MORAES, Ronei Marcos de; CANUTO, A. M. P.; SANTIAGO, R. H. N.. Participação em banca de Rogerio Rodrigues de Vargas. Uma Nova Forma de Calcular os Centros dos Clusters em Algoritmos de Agrupamento Tipo Fuzzy C-Means. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

13.
Goldbarg, M. C.; Goldbarg, E. F. G.; SANTIAGO, R. H. N.; BATISTA, T. V.; FAMPA, M. H. C.; SALGADO, M. R. B. S.. Participação em banca de Wagner Emanoel costa. Flow-Shop de Pemutação Variante Total Flowtime: um Estudo Algoritmo. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

14.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; PIMENTEL, E. G.; DIMURO, G. P.; QUEIROZ, R. J. G. B.. Participação em banca de Anderson Paiva Cruz. On Fuzzy Implications Classes - Towards Extensions of Fuzzy Rule-Based Systems. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

15.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; SIQUEIRA, M. F.; LODWICK, W. A.; OLIVEIRA JR., W. R.. Participação em banca de Fagner Lemos de Santana. Generalizações do Conceito de Distância, i-Distâncias, Distâncias Intervalares e Topologia. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

16.
Goldbarg, M. C.; Goldbarg, E. F. G.; SANTIAGO, R. H. N.; SALGADO, M. R. B. S.; LUNA, H. P. L.. Participação em banca de Paulo Henrique Asconavieta da Silva. O Problema do Caixeiro Viajante com Alugueis de Carros: Um Estudo Algoritmico. 2011. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

17.
SANTIAGO, R. H. N.; DÓRIA NETO, Adrião Duarte; GUERREIRO, A. M. G.; REISER, Renata Hax Sander; LYRA, Aarão. Participação em banca de Fabiana Tristão de Santana. Uma Fundamentação para Sinais e Sistemas Intervalares. 2011. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

18.
Favero, E. L.; SANTO, A. E.; OLIVEIRA, R. C. L.; SANTIAGO, R. H. N.; CAMPOS, G. A. L.; SOUZA SOBRINHO, C. L.. Participação em banca de FRANCISCO EDSON LOPES DA ROCHA. Avaliação da Aprendizagem: Uma abordagem qualitativa baseada em mapas conceituais, ontologias e algoritmos genéticos. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Pará.

19.
SANTIAGO, R. H. N.; DÓRIA NETO, Adrião Duarte; ACIÓLY, B. M.; BEDREGAL, Benjamin René Callejas; BEDREGAL, Roberto Callejas. Participação em banca de Aarão Lyra. Uma fundamentação matemática para o processamento de imagens digitais intervalares. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

Qualificações de Doutorado
1.
BEDREGAL, Benjamín; SANTIAGO, R. H. N.; REISER, R. H. S.. Participação em banca de HÉLIDA SALLES SANTOS. A New Class of Fuzzy Subsethood Measures. 2016. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; VIANA, J. P.. Participação em banca de Claudio Andrés Callejas Olguín. Aproximações Topológicas Computáveis à Classe de Funções Totais Computáveis. 2015. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; BARROS, L. C.. Participação em banca de Flaulles Boone Bergamashi. Ideais Fortemente Primos no Ambiente Fuzzy. 2015. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

4.
BEDREGAL, B. R. C.; Santiago, R.H.N.; PALMEIRA, E. S.. Participação em banca de Lucélia Lima Costa. Generalização e Extensão da Propriedade de Homogeneidade para Operadores de Agregação no Contexto de Lógica Fuzzy. 2014. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

5.
SANTIAGO, R. H. N.; CANUTO, A. M. P.; BEDREGAL, B. R. C.; LEON, A. C. P.. Participação em banca de Liliane Ribeiro da Silva. Uma Plataforma Intervalar para Agrupamentos de Dados. 2014. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

6.
SANTIAGO, R. H. N.; OLIVEIRA JR., W. R.; BEDREGAL, B. R. C.. Participação em banca de Fagner Lemos de Santana. Generalizações do Conceito de Métrica, Metricas Intervalares e Topologia. 2012. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

7.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; DIMURO, G. P.. Participação em banca de Anderson Paiva Cruz. Characterization of the Three Main Fuzzy Implications Classes Satisfying the Boolean-like Laws y<=I(x,y),I(x,I(y,z))=1 and I(x,I(y,z))=I(I(x,y),I(x,z)). 2012.

8.
GUERREIRO, A. M. G.; DÓRIA NETO, Adrião Duarte; SANTIAGO, R. H. N.; ACIÓLY, B. M.. Participação em banca de Alexsandra Oliveira Andrade. Um Sistema Adaptativo de Segmentação de Imagens baseado em Morfologia Matemática Fuzzy. 2012. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

9.
DÓRIA NETO, Adrião Duarte; DIMURO, Graçaliz Pereira; SANTIAGO, R. H. N.. Participação em banca de Claudilene Gomes da Costa. Probabilidades Fuzzy Intuicionistas. 2011. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

10.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; BARROS, L. C.. Participação em banca de Eduardo Silva Palmeira. Homotopia Fuzzy e Extensão de Conectivos Fuzzy Valorados em Reticulados Limitados. 2011. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

11.
SANTIAGO, R. H. N.; DÓRIA NETO, Adrião Duarte; BEDREGAL, B. R. C.; REISER, R. H. S.. Participação em banca de Fabiana Tristão de Santana. Fundamentação Teórica e Propriedades Aritméticas Complexas Intervalares Aplicadas em Processamento de Sinais. 2010. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

12.
BEDREGAL, B. R. C.; CARVALHO, B. M.; SANTIAGO, R. H. N.; VIANA, J. P.. Participação em banca de Rogério Rodrigues de Vargas. Uma Nova Forma de Calcular os Centros dos Clusters em Algoritmos de Agrupamento Tipo Fuzzy C-Means. 2010.

13.
Goldbarg, M. C.; Goldbarg, E. F. G.; SANTIAGO, R. H. N.; SALGADO, M. D.. Participação em banca de Wagner Emanoel Costa. Flow-Shop de Permutação Variante Total Flowtime: Um estudo algoritmico. 2009. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

14.
Goldbarg, M. C.; Goldbarg, E. F. G.; SALGADO, M. D.; SANTIAGO, R. H. N.. Participação em banca de Paulo Henrique Asconavieta da Silva. O Problema do Caixeiro Alugador: Um estudo algoritmico. 2009. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

15.
BEDREGAL, B. R. C.; DÓRIA, A. D.; AGUIAR, M. S.; SANTIAGO, R. H. N.. Participação em banca de Ytalo Rosendo do Amaral. Teoria dos conjuntos rough com uma noção de indescernibilidade fuzzy: Uma aplicação em mineração de dados.. 2009. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

16.
SANTIAGO, R. H. N.; LYRA, Aarão; BEDREGAL, Benjamin René Callejas; BEDREGAL, R. C.; DÓRIA NETO, Adrião Duarte. Participação em banca de Marcia Maria de Castro Cruz. A Morfologia Matemática em Imagens Intervalares: Fundamentos e Aplicações. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

17.
SANTIAGO, R. H. N.; ACIÓLY, B. M.; BEDREGAL, Benjamin René Callejas; DÓRIA NETO, Adrião Duarte. Participação em banca de Aarão Lyra. Uma Teoria Fuzzy Intervalar Aplicada ao Processamento Digital de Imagens. 2002. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

Qualificações de Mestrado
1.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; CRUZ, A. P.. Participação em banca de Valdigleis da Silva Costa. Linguagens Lineares Fuzzy. 2016. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; CANUTO, A. M. P.. Participação em banca de Heloína Alves Arnaldo. Dois novos métodos para gerar centros iniciais dos grupos no algoritmo fuzzy C-means e variantes. 2014. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

3.
SANTIAGO, R. H. N.; CANUTO, A. M. P.; BEDREGAL, B. R. C.. Participação em banca de Emmanuelly Monteiro da Silva e Souza. Números Complexos Graduados e Aplicações. 2014. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

4.
BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; CANUTO, A. M. P.. Participação em banca de Ronildo Pinheiro de Araujo Moura. Algoritmos Fuzzy Intervalares e Índices de Validação para Agrupamento de Dados Simbólicos do Tipo Intervalo. 2013. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

5.
Almeida, J.M.; MIRANDA, L. C.; SANTIAGO, R. H. N.; PIMENTEL, E. G.. Participação em banca de Patrick Cesar Alves Terramate. Ensino de Lógica via Demonstração ou Refutação (DxR) de Conjecturas: a aplicação do tutorial interativo TryLogic. 2012. Exame de qualificação (Mestrando em Sistemática e Evolução) - Universidade Federal do Rio Grande do Norte.

6.
SANTIAGO, R. H. N.; AQUINO JR., G. S.; BEDREGAL, B. R. C.. Participação em banca de Marciano Lourenço da Silva Gonçalves. Java-XSC: Módulos Complexo e Complexo Intervalar. 2011. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

7.
BEDREGAL, B. R. C.; Almeida, J.M.; SANTIAGO, R. H. N.. Participação em banca de Claudio Andrés Callejas Olguín. A Generalization of the Fodor-Roubens Fuzzy Bi-implications. 2011. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Trabalhos de conclusão de curso de graduação
1.
SANTIAGO, R. H. N.; Trindade R. M. P.; BEDREGAL, B. R. C.. Participação em banca de Allan Rocha de Menezes.Estudo da Bi-Implicação Nebulosa. 2007. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

2.
SANTIAGO, R. H. N.; DÓRIA NETO, Adrião Duarte; BEDREGAL, Benjamin René Callejas. Participação em banca de Anderson Paiva Cruz.Fundamentos de Sistemas Fuzzy Baseados em Dados Intervalares à Luz Fundamentos de Sistemas Fuzzy Baseados em Dados Intervalares à Luz de uma Teoria de Representação Intervalar.. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande do Norte.

3.
SANTIAGO, R. H. N.; MOREIRA, A. M.; DÉHARBE, D. B. P.. Participação em banca de Demóstenes Santos de Sena.Geração automática de AGRAPHS. 2004. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.



Participação em bancas de comissões julgadoras
Concurso público
1.
LUCENA, M. J. N. R.; PEREIRA, M. M.; SANTIAGO, R. H. N.. Professor Substituto Edital 008/2015-PROGESP de 10/06/2015. 2015. Universidade Federal do Rio Grande do Norte.

2.
Goldbarg, M. C.; SALGADO, M. D.; BEDREGAL, B. R. C.; LUNA, H. P. L.; SANTIAGO, R. H. N.; BATISTA, T. V.. Concurso público para docente de nível superior, na classe de Adjunto 1, edital No 036/2009-DOU-05-05/01/2010, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. Àrea de Algoritimos Experimentais. 2010. Universidade Federal do Rio Grande do Norte.

3.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; FONSECA, I. E.; CASTRO, A. F.. Concurso Público para Professor Efetivo (Edital 007/2009 e 008/2009) para a Disciplina de Teoria da Computação. 2009. Universidade Federal Rural do Semi-Árido.

4.
SALGADO, M. R. B. S.; BEDREGAL, B. R. C.; LUNA, H. P. L.; SANTIAGO, R. H. N.; BATISTA, T. V.. Concurso Público para Professor Efetivo (Edital 036/2009) para a Disciplina de Algoritmos Experimentais. 2009. Universidade Federal do Rio Grande do Norte.

5.
SANTIAGO, R. H. N.; MOREIRA, A. M.; SOUTO, M. C. P.. Concurso público para docente de nível superior, na classe de substituto, edital No 03/2005-DAP, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2005. Universidade Federal do Rio Grande do Norte.

6.
SANTIAGO, R. H. N.; DÉHARBE, D. B. P.; LIFSCHITZ, S.. Concurso público para docente de nível superior, na classe de Adjunto 1, edital No 005/2003-PRH, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2004. Universidade Federal do Rio Grande do Norte.

7.
SANTIAGO, R. H. N.; BRASILEIRO, F. V.; SILVA, Ivan Saraiva. Concurso público para docente de nível superior, na classe de Adjunto 1, edital No 006/2004-PRH, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2004. Universidade Federal do Rio Grande do Norte.

8.
SANTIAGO, R. H. N.; CANUTO, A. M. P.; SOUTO, M. C. P.. Concurso público para docente de nível superior, na classe de substituto, edital No 013/2004-DAP, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2004. Universidade Federal do Rio Grande do Norte.

9.
SANTIAGO, R. H. N.; BATISTA, T. V.; ALMEIDA, E. S.. Concurso público para docente de nível superior, na classe de Adjunto 1, edital No 005/2004-PRH, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2004. Universidade Federal do Rio Grande do Norte.

10.
SANTIAGO, R. H. N.; DANTAS, A. L.; QUEIROZ JUNIOR, I. S.. Concurso público para docente de nível superior, na classe de Assistente 1, na área de Engenharia de Software - UERN. 2004. Universidade do Estado do Rio Grande do Norte.

11.
SANTIAGO, R. H. N.; FERNANDES, Jorge Henrique Cabral; BEDREGAL, Benjamin René Callejas. Concurso público para docente de nível superior, na classe de Substituto, edital No 011/2003-DAP, para a matéria/disciplina Ciência da Computação com Ênfase em Teoria da Computação no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2003. Universidade Federal do Rio Grande do Norte.

12.
SANTIAGO, R. H. N.; ACIÓLY, B. M.; LIMA, M. E.. Concurso público para docente de nível superior, na classe auxiliar, edital No 015/99, para a matéria/disciplina Ciência da Computação com Ênfase em Arquitetura de Computadores no Centro de Ciências Exatas da Universidade Estadual do Sudoeste da Bahia- UESB. 1999. Universidade Estadual do Sudoeste da Bahia.

13.
SANTIAGO, R. H. N.; ACIÓLY, B. M.; LIMA, M. E.. Membro da Comissão Examinadora do Concurso Público para docente de nível superior, na classe auxiliar, edital No 015/99, para a matéria/disciplina Ciência da Computação com Ênfase em Engenharia de Software no Centro de Ciências Exatas da Universidade Estadual do Sudoeste da Bahia- UESB. 1999. Universidade Estadual do Sudoeste da Bahia.

Outras participações
1.
SANTIAGO, R. H. N.. Programa de Apoio à Pesquisa, desenvolvimento e inovação em microempresas e empresas de pequeno porte na modalidade subvenção econômica - PAPPE - FINEP/FAPESQ/PB. 2011. Fundação de Amparo à Pesquisa do Estado da Paraíba.

2.
CORREA, E. F.; LUCENA, M. J. N. R.; Santiago, R.H.N.. Comissão de Aproveitamento de Disciplinas. 2011. Universidade Federal do Rio Grande do Norte.

3.
SANTIAGO, R. H. N.. Comissão de seleção e atribuição de bolsas do PPgSC-DIMAP/UFRN. 2004. Universidade Federal do Rio Grande do Norte.

4.
SANTIAGO, R. H. N.. Comissão de seleção e atribuição de bolsas do PPgSC-DIMAP/UFRN. 2003. Universidade Federal do Rio Grande do Norte.

5.
SANTIAGO, R. H. N.. Comissão de seleção e atribuição de bolsas do PPgSC-DIMAP/UFRN. 2002. Universidade Federal do Rio Grande do Norte.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
IV CONGRESSO BRASILEIRO DE SISTEMAS FUZZY. Intervalizing Fuzzy Logics. 2016. (Congresso).

2.
.Visita técnica Laboratoire de Recherche en Informatique et ses Applications (LORIA). 2003. (Outra).

3.
.Visita técnica Laboratoire de Recherche en Informatique et ses Applications (LORIA). 2002. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
MORAES, Ronei Marcos de ; MACHADO, Liliane dos Santos ; SANTIAGO, R. H. N. . The 12th International FLINS Conference - Special Session on Computational Intelligence and Applications. 2016. (Congresso).

2.
SANTIAGO, R. H. N.. XXXV Congresso Nacional de Matemática Aplicada e Computacional. 2014. (Congresso).

3.
MORAES, Ronei Marcos de ; MACHADO, Liliane dos Santos ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; GOMIDE, F. A. C. ; BARROS, L. C. ; ROVEDA, J. A. F. . III Congresso Brasileiro de Sistemas Fuzzy. 2014. (Congresso).

4.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C. ; Almeida, J.M. ; DÓRIA, A. D. ; BARROS, L. C. ; GOMIDE, F. A. C. . II Congresso Brasileiro de Sistemas Fuzzy. 2012. (Congresso).

5.
CRUZ, M. M. C. ; SANTIAGO, R. H. N. ; Almeida, J.M. . I Congresso de Matemárica Aplicada - NE. 2012. (Congresso).

6.
CRUZ, M. M. C. ; SANTIAGO, R. H. N. ; Almeida, J.M. ; BEDREGAL, B. R. C. . VIII Encontro Regional de Matemática Aplicada e Computacional. 2008. (Congresso).

7.
SANTIAGO, R. H. N.; FEITOSA, Antônio Joaquim ; MACHADO, Liliane dos Santos ; MONTE, Edmundo M. Do ; ALMEIDA, Hélio Pires de ; PINHEIRO NETO, Antonio ; OLIVEIRA, Milton Lacerda de ; LYRA, Aarão ; BEDREGAL, Benjamín ; CRUZ, Ângela Maria Paiva ; CAMPOS, Marcília Andrade ; MELO, Silvio B. . VI Encontro Regional de Matemática Aplicada e Computacional. 2006. (Congresso).

8.
SANTIAGO, R. H. N.; LYRA, Aarão ; DÓRIA NETO, Adrião Duarte ; CRUZ, Angela Maria de Paiva ; ALVES, Daniel Pereira Durante ; MOURA, José Eduardo de Almeida ; MEDEIROS, Maria da Paz N de ; CRUZ, M. M. C. ; OLIVEIRA JR, Osmar Ferreira de . V Encontro Regional de Matemática Aplicada e Computacional. 2005. (Congresso).

9.
SANTOS, Rômulo José Gomes dos ; SANTOS, Turíbio José Gomes dos ; PINHEIRO, Augusto Antônio ; BEDREGAL, Roberto Callejas ; CAMPOS, Marcília Andrade ; MORAES, Ronei Marcos de ; FEITOSA, Antônio Joaquim Rodrigues ; SANTIAGO, R. H. N. . III Encontro Regional de Matemática Aplicada e Computacional. 2003. (Congresso).

10.
SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas ; DEZOTTI, C. H. ; CRUZ, M. M. C. ; BEDREGAL, R. C. ; CAMPUS, M. A. . II Encontro Regional da Sociedade Brasileira de Matemática Aplicada e Computacional. 2002. (Congresso).

11.
SANTIAGO, R. H. N.. Self-validaded methods in Numerical Analysis. 2002. (Outro).

12.
SANTIAGO, R. H. N.; DEQUEIROZ, R. ; MOREIRA, A. ; BEDREGAL, Benjamin René Callejas ; DERHABE, D. ; GRISI, A. ; MARTINS, A. T. C. . 7th Wokshop on Logic, Language, Information and Computation. 2000. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Tamara Tavares de Melo. Números Quaternios Graduados e Aplicações. Início: 2015. Dissertação (Mestrado profissional em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador).

Tese de doutorado
1.
Suene Campos Duarte. Anéis de Grupo Fuzzy. Início: 2018. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador).

2.
Anônia Jocivânia Pinheiro. Geometria Fuzzy. Início: 2015. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador).

3.
Rui Eduardo Brasileiro Paiva. Agregações Polimorfas. Início: 2015. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Emmanuelly Monteiro Silva de Sousa. Números Complexos Graduados e Avaliação de Desempenho de Classificadores. 2015. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Regivan Hugo Nunes Santiago.

2.
Marciano Lourenço da Silva Gonçalves. Java-XSC: Módulos Complexo e Complexo Intervalar. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Regivan Hugo Nunes Santiago.

3.
Anderson Paiva Cruz. Lógica BDI Fuzzy. 2008. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Regivan Hugo Nunes Santiago.

4.
José Frank Viana da Silva. Arredondamento Direcionado em JAVA. 2006. 0 f. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Coorientador: Regivan Hugo Nunes Santiago.

5.
Adriano Xavier Carvalho. Um Sistema de reescrita para intervalos. 2005. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Regivan Hugo Nunes Santiago.

6.
Katiane Lopes. Estendendo CASL para Especificar Sistemas Contínuos. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Regivan Hugo Nunes Santiago.

7.
Maria José Lima dos Santos. Modelando uma Arquitetura PRAM-CRCW com Espaços de Chu. 2002. 0 f. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Coorientador: Regivan Hugo Nunes Santiago.

8.
José Medeiros dos Santos. Em Direção a uma representação para equações algébricas: Uma lógica equacional local. 2001. 0 f. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Regivan Hugo Nunes Santiago.

9.
Marcia Maria de Castro Cruz. Equivalência e consistência entre funções intervalares. 2000. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Regivan Hugo Nunes Santiago.

Tese de doutorado
1.
Antonio Diego Silva. Funções Mistura Generalizada e Aplicações. 2018. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Regivan Hugo Nunes Santiago.

2.
Flaulles Boone Bergamaschi. Primalidade Forte em Ambiente Fuzzy. 2015. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Regivan Hugo Nunes Santiago.

3.
Liliane Ribeiro da Silva. Uma Plataforma Intervalar para agrupamentos de dados. 2015. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Regivan Hugo Nunes Santiago.

4.
Alexsandra Oliveira Andrade. Sistema de Contagem com Morfologia Matemática Fuzzy. 2014. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte, . Coorientador: Regivan Hugo Nunes Santiago.

5.
Ivan Mezzomo. On Fuzzy Ideals and Fuzzy Filters of Fuzzy Lattices. 2013. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Coorientador: Regivan Hugo Nunes Santiago.

6.
Fagner Lemos de Santana. Generalizações do Conceito de Distância, i-Distâncias, Distâncias Intervalares e Topologia. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Regivan Hugo Nunes Santiago.

7.
Anderson Paiva Cruz. On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Orientador: Regivan Hugo Nunes Santiago.

8.
Fabiana Tristão de Santana. Uma Fundamentação para Sinais e Sistemas Intervalares. 2011. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Regivan Hugo Nunes Santiago.

9.
Marcia Maria de Castro Cruz. Uma Fundamentação Intervalar Aplicada à Morfologia Matemática. 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte, . Coorientador: Regivan Hugo Nunes Santiago.

Supervisão de pós-doutorado
1.
Benedito Melo Acióly. A non-classical approach to Interval Analysis. 2011. Universidade Federal do Rio Grande do Norte, . Regivan Hugo Nunes Santiago.

Iniciação científica
1.
Allan Rocha de Menezes. Especificação de um sistema de ponto-flutuantes em Isabelle. 2006. 22 f. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Regivan Hugo Nunes Santiago.

2.
Thiago Medeiros Barros. Uma biblioteca de pontos-flutuantes no padrão IEEE para PHP. 2006. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Regivan Hugo Nunes Santiago.

3.
Kelly Patrícia da Silva. Provas automáticas em Isabelle. 2004. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Regivan Hugo Nunes Santiago.

4.
João Paulo de araújo Bezerra. Extendendo a Biblioteca CASL para Intervalos. 2003. 0 f. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

Orientações de outra natureza
1.
André Luiz de Lucena Moreira. Atividades de Tutorando. 2017. Orientação de outra natureza. (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

2.
Cleydson Thalles Araujo Vieira. Atividades de Tutorando. 2017. Orientação de outra natureza. (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

3.
Bruna Hellen de Castro Dantas Barbosa. Atividades de Tutorando. 2017. Orientação de outra natureza. (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

4.
Carlos Eduardo Bezerra de Assis. Atividades de Tutorando. 2017. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

5.
Danielle Brito Marques. Atividades de Tutorando. 2017. Orientação de outra natureza. (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

6.
Jandson de Oliveira Cavalcanti Ribeiro. Atividades de Tutorando. 2016. Orientação de outra natureza. (Ciências da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

7.
Jefferson Bruno Fernandes Lemos. Atividades de Tutorando. 2016. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

8.
Vitor Hugo de Oliveira Miranda. Atividades de Tutorando. 2016. Orientação de outra natureza. (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

9.
Lucas Gomes Cavalcante. Atividades de Tutorando. 2016. Orientação de outra natureza. (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

10.
Emanuel Oliveira Dantas. Atividades de Tutorando. 2016. Orientação de outra natureza. (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

11.
Armando Soares Viana Junior. Atividades de Tutorando. 2016. Orientação de outra natureza. (Ciências da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

12.
Jefferson Raylan Nascimento de Macêdo. Atividades de Tutorando. 2016. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

13.
Diego Sotero Chacon - Mat 2009033841. Atividades de Tutorando. 2009. Orientação de outra natureza. (Ciências da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

14.
Dyego Caldas Luz - Mat 2009033850. Atividades de Tutorando. 2009. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

15.
Eduardo Alexandre Ferreira Silva - Mat 2009033868. Atividades de Tutorando. 2009. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

16.
Ericksen Hilston Lima - Mat 2009033876. Atividades de Tutorando. 2009. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

17.
Felipe Xavier de Albuquerque - Mat 2009033884. Atividades de Tutorando. 2009. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

18.
Flavio Fernando Vasconcelos - Mat 2009033892. Atividades de Tutorando. 2009. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.

19.
Gabriela Oliveira da Trindade - Mat 2009033806. Atividades de Tutorando. 2009. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Regivan Hugo Nunes Santiago.



Educação e Popularização de C & T



Livros e capítulos
1.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C. ; Almeida, J.M. ; BARROS, L. C. ; ROVEDA, J. A. F. ; SEIXAS, W. . Recentes Avanços em Sistemas Fuzzy. 1. ed. São Carlos - SP: Sociedade Brasileira de Matemática Aplicada e Computacional, 2012. v. 1. 1220p .


Apresentações de Trabalho
1.
SANTIAGO, R. H. N.. Variáveis Linguísticas do Tipo N. 2013. (Apresentação de Trabalho/Conferência ou palestra).

2.
SANTIAGO, R. H. N.. Fuzzy Implication Classes Satisfying a Boolean Like Law. 2013. (Apresentação de Trabalho/Conferência ou palestra).

3.
SANTIAGO, R. H. N.. Interval Mathematics, Applications in Fuzzy Logic and Limitations. 2014. (Apresentação de Trabalho/Conferência ou palestra).

4.
Santiago, R.H.N.. Intervalizing Fuzzy Logics. 2016. (Apresentação de Trabalho/Conferência ou palestra).


Desenvolvimento de material didático ou instrucional
1.
SANTIAGO, R. H. N.. Funções Residuadas. 2012. (Desenvolvimento de material didático ou instrucional - Notas de Aula).

2.
SANTIAGO, R. H. N.. Teoria dos Reticulados. 2013. (Desenvolvimento de material didático ou instrucional - NotasdeAula).


Organização de eventos, congressos, exposições e feiras
1.
SANTIAGO, R. H. N.; BEDREGAL, B. R. C. ; Almeida, J.M. ; DÓRIA, A. D. ; BARROS, L. C. ; GOMIDE, F. A. C. . II Congresso Brasileiro de Sistemas Fuzzy. 2012. (Congresso).

2.
CRUZ, M. M. C. ; SANTIAGO, R. H. N. ; Almeida, J.M. . I Congresso de Matemárica Aplicada - NE. 2012. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 18/10/2018 às 20:15:08