Kate Cerqueira Revoredo

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


Bacharel em Matemática pela Universidade Federal do Rio de Janeiro (1999), mestre em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (2002), doutora em Engenharia de Sistemas e Computação na COPPE pela Universidade Federal do Rio de Janeiro (2009), tendo feito doutorado sanduiche por 6 meses (2006) no Albert-Ludwigs Universität Freiburg (RFA), Alemanha. Atua na área de Ciência da Computação, com ênfase em Inteligência Artificial principalmente nos seguintes temas: representação de conhecimento e raciocínio, alinhamento de ontologias, mineração de processos, aprendizado de maquina, aprendizado relacional (programação em lógica indutiva - ILP), aprendizado estatístico relacional (SRL), revisão de teoria, invenção de predicados, redes Bayesianas. (Texto informado pelo autor)


Identificação


Nome
Kate Cerqueira Revoredo
Nome em citações bibliográficas
REVOREDO, K.;REVOREDO, KATE


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


2002 - 2009
Doutorado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
com período sanduíche em Universität Freiburg (Orientador: Luc de Raedt).
Título: Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados, Ano de obtenção: 2009.
Orientador: Gerson Zaverucha.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Revisão de teorias; Teorias probabilísticas de primeira-ordem; predicado probabilítico inventado; ILP; Redes Bayesianas; variável não-observada.
Grande área: Ciências Exatas e da Terra
1999 - 2002
Mestrado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Refinamento de Teoria para Programas m Lógica Bayesiano,Ano de Obtenção: 2002.
Orientador: Gerson Zaverucha.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1996 - 1999
Graduação em Bacharelado em Matemática.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.


Pós-doutorado


2009 - 2009
Pós-Doutorado.
Universidade de São Paulo, USP, Brasil.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.


Atuação Profissional



Universidade Federal do Estado do Rio de Janeiro, UNIRIO, Brasil.
Vínculo institucional

2009 - 2018
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associada, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professora do Departamento de Informática Aplicada (DIA) e do Programa de Pós-Graduação em Informática (PPGI)

Vínculo institucional

2006 - 2008
Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Atividades

01/2014 - Atual
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Membro do Concurso de Teses e Dissertações em Inteligência Artificial e Computacional (CTDIAC).
01/2013 - Atual
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Membro do Comitê de Programa do Symposium on Knowledge Discovery, Mining and Learning (KDMILE).
03/2012 - Atual
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Comissão de Avaliação Discente.
03/2012 - Atual
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Comitê de Programa do Simpósio Brasileiro em Inteligência Artificial (BRACIS - SBIA).
03/2012 - Atual
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Membro do Comitê de Programa do IBERAMIA.
01/2012 - Atual
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Membro do Comitê de Programa do Workshop de Computação Aplicada em Governo Eletrônico.
01/2012 - Atual
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Membro do Comitê de Programa do WTDSI.
03/2011 - Atual
Pesquisa e desenvolvimento , Departamento de Informática Aplicada, .

Linhas de pesquisa
Alinhamento de Ontologias
03/2011 - Atual
Pesquisa e desenvolvimento , Departamento de Informática Aplicada, .

Linhas de pesquisa
Mineração de Processos
01/2011 - Atual
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Membro do Comitê de Programa do Simpósio Brasileiro em Sistemas de Informação (SBSI).
01/2011 - Atual
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Membro do Comitê de Programa do Encontro Nacional em Inteligência Artificial (ENIA, atual ENIAC).
10/2010 - Atual
Conselhos, Comissões e Consultoria, Sociedade Brasileira de Computação, .

Cargo ou função
Membro da Comissão Especial de Inteligência Artificial.
06/2010 - Atual
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Membro do Colegiado do Programa de Pós-graduação em Informática.
09/2009 - Atual
Pesquisa e desenvolvimento , Departamento de Informática Aplicada, .

09/2009 - Atual
Pesquisa e desenvolvimento , Departamento de Informática Aplicada, .

Linhas de pesquisa
Mineração de dados
09/2009 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Introduação a Lógica Computacional
Estruturas Discretas
Linguagens Formais e Autômatos
Mineração de Dados
Representação de Conhecimento e Raciocínio
03/2009 - Atual
Ensino, Programa de Pós Graduação emSistemas de Informação, Nível: Pós-Graduação

Disciplinas ministradas
Mineração de Dados
Lógica
09/2014 - 04/2017
Direção e administração, Departamento de Informática Aplicada, .

Cargo ou função
Coordenadora do Curso de Doutorado do PPGI-UNIRIO.
09/2014 - 04/2017
Direção e administração, Departamento de Informática Aplicada, .

Cargo ou função
Coordenadora do Programa de Pós-graduação em Informática.
01/2012 - 01/2013
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Mebro do Comitê de Programa do Workshop de Gestão de Processos de Negócio.
01/2011 - 01/2012
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Membro do Comitê de Programa do Congresso Brasileiro em Sistemas Colaborativos.
01/2011 - 12/2011
Conselhos, Comissões e Consultoria, Reitoria, .

Cargo ou função
Conselho Universitário (CONSUNI).
08/2006 - 08/2008
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Estruturas Discretas
Introdução a Lógica Computacional
01/2002 - 01/2007
Conselhos, Comissões e Consultoria, Departamento de Informática Aplicada, .

Cargo ou função
Membro do Comitê de Programa do Inductive Logic Programming (ILP).

Centre de Recherche INRIA Grenoble - Rhône-Alpes, INRIA-GRENOBLE, França.
Vínculo institucional

2017 - 2017
Vínculo: Pesquisador visitante, Enquadramento Funcional: Pesquisador Visitante
Outras informações
Pesquisador visitante no Laboratoire d'informatique de Grenoble do INRIA Grenoble Rhône-Alpes,França, tendo como host Prof. Dr. Jérôme Euzenat. A visita teve financiamento CNPq e a pesquisa encontra-se associada ao projeto "REFINAMENTO E ALINHAMENTO DE ONTOLOGIAS: METODOLOGIAS E ALGORITMOS.". O titulo do plano de trabalho desenvolvido é Ontology Network Repair.


Wirtschaftsuniversität Wien, WU., Austria.
Vínculo institucional

2017 - 2017
Vínculo: Pesquisador visitante, Enquadramento Funcional: Pesquisador Visitante
Outras informações
Pesquisador visitante no Department of Information Systems and Operations do Institute for Information Business na WU (Vienna University of Economics and Business) tendo como host Prof. Dr. Jan Mendling. A visita teve financiamento CAPES/PROAP e a pesquisa encontra-se associada ao projeto "RISE-BPM: Propelling Business Process Management Research and Innovation Staff Exchange Activity". O titulo do plano de trabalho desenvolvido é Integrating Business Process and Organizational Decision Making through Ontology.


University of Münster, WWU MÜNSTER, Alemanha.
Vínculo institucional

2015 - 2016
Vínculo: Pesquisador Visitante, Enquadramento Funcional: visitante, Carga horária: 40
Outras informações
Pesquisador visitante no Institut für Wirtschaftsinformatik na WWU Münster, tendo como host Prof. Dr. Dr. h.c. Dr. h.c. Jörg Becker. A visita teve financiamento CAPES/DAAD e a pesquisa encontra-se associada ao projeto "RISE-BPM: Propelling Business Process Management bz Research and Innovation Staff Exchange Activity". O titulo do plano de trabalho desenvolvido é Integrating Business Process and Organizational Decision Making through Ontology.


Universidade de São Paulo, USP, Brasil.
Vínculo institucional

2009 - 2009
Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista


Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

2002 - 2009
Vínculo: Doutoranda, Enquadramento Funcional: Aluna de doutorado, Carga horária: 40
Outras informações
Bolsista Cnpq

Vínculo institucional

1999 - 2002
Vínculo: Mestranda, Enquadramento Funcional: Aluna de mestrado, Carga horária: 40
Outras informações
Bolsista CNPq


Laboratório de Documentação Ativa e Design Inteligente, ADDLABS, Brasil.
Vínculo institucional

2010 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Pesquisadora, Carga horária: 16
Outras informações
Pesquisadora no projeto de pesquisa ADDSGA: Sistema de Gerenciamento de Alarme. Responsável pela investigação e definição das técnicas de Inteligência Artificial mais adequadas ao projeto.

Vínculo institucional

2009 - 2009
Vínculo: Celetista formal, Enquadramento Funcional: Pesquisadora, Carga horária: 30
Outras informações
Participação em projetos de pesquisa atuando em modelagem conceitual e mineração de dados.


Universidade Estácio de Sá, UNESA, Brasil.
Vínculo institucional

2003 - 2009
Vínculo: Professor, Enquadramento Funcional: Professor Assistente, Carga horária: 3

Atividades

03/2003 - 07/2009
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Empreendedorismo em Informática
Estruturas Discretas
Inteligência Artificial
Matemática
Prolog

ABEU Centro Universitário, UNIABEU, Brasil.
Vínculo institucional

2003 - 2008
Vínculo: Professor, Enquadramento Funcional: Professor Assistente, Carga horária: 4

Atividades

08/2006 - 01/2008
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Inteligência Artificial
Informática e Sociedade
08/2003 - 01/2006
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Matemática
Informática e Sociedade
Programação
Estruturas de Dados
Inteligência Artificial

Nucleo de Pesquisa e Prática da UNIRIO, NP2TEC, Brasil.
Vínculo institucional

2006 - 2007
Vínculo: Analista de Sistemas, Enquadramento Funcional: Analista de Sistemas, Carga horária: 20

Atividades

08/2008 - 12/2008
Outras atividades técnico-científicas , NP2Tec, NP2Tec.

Atividade realizada
Projeto de pequisa em arquitetura orientada a serviços (Petrobras).
06/2008 - 07/2008
Outras atividades técnico-científicas , NP2Tec, NP2Tec.

Atividade realizada
Projeto de modelagem de processos (CENPES).
11/2006 - 06/2007
Outras atividades técnico-científicas , NP2Tec, NP2Tec.

Atividade realizada
Projeto de desenvolvimento de aplicação para pesquisa de informações em bases de dados de pesquisa - ExPlora no Centro de Pesquisa da Petrobras (CENPES).

Fundação Coordenação de Projetos, Pesquisas e Estudos Tecnológicos, COPPETEC, Brasil.
Vínculo institucional

2002 - 2004
Vínculo: bolsista, Enquadramento Funcional: Analista de sistema, Carga horária: 20

Atividades

01/2003 - 03/2004
Outras atividades técnico-científicas , COPPETEC, COPPETEC.

Atividade realizada
Manutenção e Evolução do SINGRA desenvolvido para a Diretoria de Abastecimento da Marinha do Brasil como Analista de SIstemas.
12/2002 - 01/2003
Outras atividades técnico-científicas , COPPETEC, COPPETEC.

Atividade realizada
Adaptação do Módulo de Obtenção do Singra para o uso no SOFIN desenvolvido para a Diretoria de Abastecimento da Marinha do Brasil como Analista de Sistemas.
02/2002 - 12/2002
Outras atividades técnico-científicas , COPPETEC, COPPETEC.

Atividade realizada
Serviço de Manutenção Preventiva, Corretiva e Evolutiva do SINGRA desenvolvido para a Diretoria de Abastecimento da Marinha do Brasil como Analista de Sistema.
07/2002 - 08/2002
Outras atividades técnico-científicas , COPPETEC, COPPETEC.

Atividade realizada
Integração da Rede e Serviços de Telefonia desenvolvido para Empresa Brasileira de Telecomunicaçoes S.A.-EMBRATEL como Analista de Sistemas.

SFR- Software e Analise de Sistemas Ltda., SFR, Brasil.
Vínculo institucional

2001 - 2002
Vínculo: Anlista de Sistemas, Enquadramento Funcional: Analista de Sistemas Junior, Carga horária: 40

Atividades

08/2001 - 02/2002
Outras atividades técnico-científicas , SFR- Software e Analise de Sistemas Ltda., SFR- Software e Analise de Sistemas Ltda..

Atividade realizada
Desenvolvimento de sistemas para calculo de contribuições e benefícios para planos de previdência particulares..

Zap Quote, ZAP, Brasil.
Vínculo institucional

2000 - 2001
Vínculo: Anlista de sistema programador, Enquadramento Funcional: Analista de sistema programador, Carga horária: 30

Atividades

05/2000 - 07/2001
Outras atividades técnico-científicas , Zap Quote, Zap Quote.

Atividade realizada
Desenvolvimento em JAVA de Sistema voltado para o mercado financeiro, com informações em tempo real..
03/2000 - 05/2000
Outras atividades técnico-científicas , Zap Quote, Zap Quote.

Atividade realizada
Desenvolvimento de um portal de internet em parceria com a VCSY, Ltd., California, USA, sendo o desenvolvimento realizado nos USA.Califórnia, USA..

Interbrain Tecnologia de Sistemas, INTERBRAIN, Brasil.
Vínculo institucional

1997 - 2000
Vínculo: Estagiária, Enquadramento Funcional: Programadora /analista de sistemas, Carga horária: 30

Atividades

05/1997 - 03/2000
Estágios , Interbrain Tecnologia de Sistemas, .

Estágio realizado
Participação em projetos de desenvolvimento de sistemas como programadora e analista de sistemas, incluindo sistemas para o banco Guanabara do Grupo Guanabara Diesel.


Linhas de pesquisa


1.
Representação de Conhecimento, Raciocínio e Aprendizado Automático

Objetivo: 1) Desenvolver formalismos para a representação de conhecimento: (i) deterministicos (formalismos lógicos, ontologias) (ii) probabilísticos (redes Bayesianas, redes Bayesianas relacionais, ontologias probabilísticas) 2) Desenvolver algoritmos de inferência para esses formalismos 3) Desenvolver algoritmos de aprendizado automático desses formalismos (aprendizado de maquina).
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística / Subárea: Probabilidade e Estatística Aplicadas.
Palavras-chave: Lógica relacional; Lógica de descrição; Rede Bayesiana; Rede Bayesiana Relacional; Inferência; Aprendizado de Maquina.
2.
Alinhamento de Ontologias

Objetivo: 1) Desenvolvimento de técnicas para o alinhamento de ontologias (incluíndo redes de ontologias) 2) Desenvolvimento de técnicas para a evolução de redes de ontologias.
Grande área: Ciências Exatas e da Terra
Palavras-chave: Ontologia; Alinhamento de ontologia; Rede de ontologias; Revisão de uma rede de ontologias.
3.
Mineração de dados

Objetivo: Aplicação de mineração de dados para a solução de problemas: dados estruturados e não estruturados.
Palavras-chave: Mineração de Dados; Mineração de Textos.
4.
Mineração de Processos

Objetivo: 1) Descoberta automática de modelos de processo de negócio a partir de dados 2) Monitoramento preditivo 3) Alinhamento de processos 4) Adaptação de processos.
Palavras-chave: Mineração de processos; Alinhamento de processos; Adaptação de processos.


Projetos de pesquisa


2016 - Atual
APRENDENDO, ADAPTANDO E ALINHANDO ONTOLOGIAS: METODOLOGIAS E ALGORITMOS
Descrição: Ontologias t^em sido amplamente utilizadas na representa c~ao de conceitos e relacionamentos entre conceitos em v arios dom nios, e em estrat egias bem sucedidas de integra c~ao de dados. Como consequ^encia, o aumento no n umero de ontologias distintas representando o mesmo dom nio tem sido percebido, exigindo assim, abordagens de integra c~ao e interoperabilidade que lidem com a heterogeneidade sem^antica e permitam, ent~ao, uma comunica c~ao e ciente e livre de erros entre os diferentes artefatos. A area de pesquisa de alinhamento de ontologias vem estudando formas de identi car automaticamente correspond^encias entre as entidades de duas ou mais ontologias permitindo assim estabelecer um alinhamento como proposta para o problema da heterogeneidade sem^antica. Anualmente, abordagens de alinhamento s~ao avaliadas considerando diferentes pares de ontologias e seguindo uma metodologia de nida pela Ontology Alignment Evaluation Initiative (OAEI). Como resultado dessa avalia c~ao, desa os correntes da area s~ao revistos e novos desa os estabelecidos. Dentre esses, encontram-se os que indicam a necessidade por abordagens que envolvam o usu ario de maneira e caz e que lidem com a evolu c~ao do conhecimento representado pelas pr oprias ontologias sendo alinhadas. O projeto de pesquisa aqui proposto foca nesses desa os, avaliando as abordagens existentes e propondo metodologias e algoritmos para aprender automaticamente ontologias, obter adapta c~oes para ontologias existentes para que estas passem a representar a evolu c~ao do conhecimento de forma dedigna, e para obter alinhamentos de melhor qualidade..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (5) / Doutorado: (3) .
Integrantes: Kate Cerqueira Revoredo - Coordenador / FERNANDA BAIÃO - Integrante / FLAVIA SANTORO - Integrante.Financiador(es): Universidade Federal do Estado do Rio de Janeiro - Auxílio financeiro.
2016 - Atual
Evoluindo alinhamentos de ontologias: metodologias e algoritmos
Descrição: Ontologias tem sido amplamente utilizadas na representação de conceitos e relacionamentos entre conceitos em vários domínios, em estratégias bem sucedidas de integração de dados. Como consequência, o aumento no número de ontologias distintas representando o mesmo domínio tem sido percebido, exigindo assim, abordagens de integração de dados e interoperabilidade entre aplicações que lidem com a heterogeneidade semântica e permitam, então, uma comunicação eficiente e livre de erros entre os diferentes artefatos. A área de pesquisa de alinhamento de ontologias vem estudando formas de identificar automaticamente correspondências entre as entidades de duas ou mais ontologias permitindo assim estabelecer um alinhamento como proposta para o problema da heterogeneidade semântica. Anualmente, abordagens de alinhamento são avaliadas considerando diferentes pares de ontologias e seguindo uma metodologia definida pela Ontology Alignment Evaluation Initiative (OAEI). Como resultado dessa avaliação, desafios correntes da área são revistos e novos desafios estabelecidos. Dentre esses, encontra-se o que indica a necessidade por abordagens que lidem com a evolução do conhecimento representado pelas próprias ontologias sendo alinhadas. O projeto de pesquisa aqui proposto foca nesse desafio, avaliando as abordagens existentes e propondo metodologias e algoritmos tanto para obter ontologias revisadas que representem a evolução do conhecimento de forma fidedigna quanto para evoluir o alinhamento existente buscando alinhamentos de melhor qualidade..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Kate Cerqueira Revoredo - Coordenador / FERNANDA BAIÃO - Integrante / Jerome Euzenat - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2015 - 2015
RISE BPM: Propelling Business Process Management by Research and Innovation Staff Exchange Activity
Descrição: RISE_BPM networks world-leading research institutions and corporate innovators to develop new horizons for Business Process Management (BPM). BPM is a boundary-spanning discipline focused on division and re-integration of day-today work in organisations and on analysis of process data for organisational decision-making. Recent break-through innovations in Social Computing, Smart Devices, Real-Time Computing, and Big Data Technology create a strong impetus for propelling BPM into a pervasive corporate topic that enables design of entirely new products and services. All RISE_BPM consortium members possess excellent expertise in distinct aspects of the BPM lifecycle, ranging from Strategy and Modelling to Implementation and Analysis of business processes. RISE_BPM networks this complementary knowledge to create a unique environment for BPM research and innovation. The research activities are organised with reference to the design-science paradigm, including joint activities for analysing technological enablers and societal impact factors, as well as designing innovative IT artefacts for the BPM lifecycle. Staff secondments and joint events promote a cumulative exchange of knowledge in a think-pair-square-share approach that networks large-scale research capabilities and innovation projects carried out by the involved organisations. Key objectives of RISE_BPM are (a) to propel BPM research into the era of Social Computing, Smart Devices, Real-Time Computing, and Big Data Technology; (b) to enable companies to develop new products and services for designing and analysing business processes; and (c) to supply the involved staff with a unique intellectual environment for accumulating boundary-spanning knowledge and skills that refer to the entire BPM lifecycle. RISE_BPM extends the established administrative structures of the European Research Center for Information Systems (ERCIS) by involving additional BPM thought leaders and corporate innovators..
Situação: Concluído; Natureza: Pesquisa.
2015 - Atual
INTEGRATING BUSINESS PROCESS AND ORGANIZATIONAL DECISION MAKING THROUGH ONTOLOGY
Descrição: An improper integration of business processes and organizational decision making causes a massive loss of money in organisations (Brazilian and European). Decisions lack connection to detailed evidence, and are insuffi ciently implemented into organizational processes. Log from di fferent Information Systems, tacit information from business specialists, documents about the process are source of process evidence, which when analyzed can help decision making. However, these evidences come in diff erent format, structured and unstructured, from di fferent source and are usually in a huge amount. Therefore, mechanisms for integrating all these sources and then explicit and represent the knowledge are demanding. On the other hand, ontology has been widely used as knowledge representation artifact through expliciting domain concepts, relationships and axioms and in strategies for data integration. Approaches for knowledge representation through ontology, either manually or automatic have been proposed in the literature. In this project, we investigate the bene ts for organizational decision making of the use of ontology for integrating di fferent sources of process data and as a formalism for knowledge representation..
Situação: Em andamento; Natureza: Pesquisa.
2015 - Atual
RISE BPM: Propelling Business Process Management by Research and Innovation Staff Exchange Activity
Descrição: Horizon 2020 - Research and Innovation Framework Programme. RISE_BPM networks world-leading research institutions and corporate innovators to develop new horizons for Business Process Management (BPM). BPM is a boundary-spanning discipline focused on division and re-integration of day-to-day work in organisations and on analysis of process data for organisational decision-making. Recent break-through innovations in Social Computing, Smart Devices, Real-Time Computing, and Big Data Technology create a strong impetus for propelling BPM into a pervasive corporate topic that enables design of entirely new products and services. All RISE_BPM consortium members possess excellent expertise in distinct aspects of the BPM lifecycle, ranging from Strategy and Modelling to Implementation and Analysis of business processes. RISE_BPM networks this complementary knowledge to create a unique environment for BPM research and innovation. The research activities are organised with reference to the design-science paradigm, including joint activities for analysing technological enablers and societal impact factors, as well as designing innovative IT artefacts for the BPM lifecycle. Staff secondments and joint events promote a cumulative exchange of knowledge in a think-pair-square-share approach that networks large-scale research capabilities and innovation projects carried out by the involved organisations. Key objectives of RISE_BPM are (a) to propel BPM research into the era of Social Computing, Smart Devices, Real-Time Computing, and Big Data Technology; (b) to enable companies to develop new products and services for designing and analysing business processes; and (c) to supply the involved staff with a unique intellectual environment for accumulating boundary-spanning knowledge and skills that refer to the entire BPM lifecycle. RISE_BPM extends the established administrative structures of the European Research Center for Information Systems (ERCIS) by involving additional BPM thought leaders and corporate innovators...
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (8) / Doutorado: (4) .
Integrantes: Kate Cerqueira Revoredo - Integrante / FERNANDA BAIÃO - Integrante / FLAVIA SANTORO - Coordenador.
2015 - Atual
REFINAMENTO E ALINHAMENTO DE ONTOLOGIAS: METODOLOGIAS E ALGORITMOS
Descrição: Ontologias tem sido amplamente utilizadas na representacao de conceitos e relacionamentos entre conceitos em varios domınios, em estrategias bem sucedidas de integracao de dados. Como consequencia, o aumento no numero de ontologias distintas representando o mesmo domınio tem sido percebido, exigindo assim, abordagens de interacao de dados e interoperabilidade entre aplicacoes que lidem com a heterogeneidade semantica e permitam, entao, uma comunicacao eficiente e livre de erros entre os diferentes artefatos. A area de pesquisa de alinhamento de ontologias vem estudando formas de identificar automaticamente correspondencias entre as entidades de duas ou mais ontologias permitindo assim estabelecer um alinhamento como proposta para o problema da heterogeneidade sem antica. Anualmente, abordagens de alinhamento sao avaliadas considerando diferentes pares de ontologias e seguindo uma metodologia definida pela Ontology Alignment Evaluation Initiative (OAEI). Como resultado dessa avaliacao, desafios correntes da area sao revistos e novos desafios estabelecidos. Dentre esses, encontram-se os que indicam a necessidade por abordagens que envolvam o usuario de maneira eficaz e que lidem com a evolucao do conhecimento representado pelas proprias ontologias sendo alinhadas. O projeto de pesquisa aqui proposto foca nesses desafios, avaliando as abordagens existentes e propondo metodologias e algoritmos tanto para obter ontologias revisadas que representem a evolucao do conhecimento de forma fidedigna quanto para obter alinhamentos de melhor qualidade...
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) .
Integrantes: Kate Cerqueira Revoredo - Integrante / Vinícius Lopes - Integrante / Fernanda Araujo Baião Amorim - Coordenador / Jerome Euzenat - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - 2017
Geração Automática de Texto: Métodos e Aplicações
Descrição: A validação de modelos de processos de negócio normalmente é executada por analistas de negócio. Estes podem ler facilmente o modelo, porém não detêm conhecimento aprofundado do negócio. Em contrapartida, especialistas de domínio conhecem o domínio do negócio, porém não detêm conhecimento sobre modelagem. Para estes, é mais fácil ler um texto em linguagem natural. Por este motivo, tanto o modelo de processo, quanto o texto descritivo, são artefatos necessários para permitir uma comunicação natural entre os especialistas e os analistas de negócio. Este projeto busca desenvolver uma métodos e técnicas para geração de textos a partir de modelos e vice-versa. As propostas serão avaliadas em cenários reais, através de empresas e estudos de caso..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Kate Cerqueira Revoredo - Coordenador / Leonardo Azevedo - Integrante / Henrik Leopold - Integrante / raphael de almeida rodrigues - Integrante.
Número de produções C, T & A: 2 / Número de orientações: 1
2014 - 2015
Refinamento Automático de Ontologias
Descrição: Este projeto investiga algoritmos para refinamento automático de ontologias, onde essas são representadas tanto através de linguagens lógias, como as lógicas de descrição, quanto probabilísticas, como as redes Bayesianas relacionais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) .
Integrantes: Kate Cerqueira Revoredo - Coordenador / FERNANDA BAIÃO - Integrante / Felipe Leão - Integrante / wander vasconcellos - Integrante / danielle Gilaberte - Integrante / raphael melo - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1
2012 - Atual
Adaptação e Melhoria de Processos de Negócios através de Conhecimento Contextual
Descrição: Um desafio que, ainda hoje, é discutido tanto pela comunidade acadêmica quanto pela indústria, está relacionado à habilidade de uma organização em responder a mudanças em seus processos de forma eficiente e efetiva. A Gestão de Processos de Negócios é uma abordagem capaz de prover conhecimento e oportunidades de contínua avaliação do trabalho executado pelas pessoas em uma organização. Observa-se a necessidade não só de apoiar a realização das atividades em um processo, mas de customizar ou adaptar processos genéricos para torná-los aplicáveis a contextos específicos. Esta tarefa exige experiência e envolve o conhecimento sobre diversos aspectos do negócio, do ambiente, das pessoas e das tecnologias utilizadas. Este projeto de pesquisa tem como objetivo ampliar o cenário de uso de contexto em processos de negócios, visando não somente o apoio à realização de atividades, mas ao suporte à adaptação e melhoria destes processos. Especificamente, serão tratadas as questões de identificação de contexto em processos de negócios, identificação de padrões e modelos, raciocínio, análise de dados históricos e adaptação..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (1) .
Integrantes: Kate Cerqueira Revoredo - Integrante / FERNANDA BAIÃO - Integrante / FLAVIA SANTORO - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - 2013
Redes Sociais de Pesquisa em Sistemas de Informação
Descrição: Compreende o desenvolvimento de soluções voltadas à caracterização da pesquisa em Sistemas de Informação no Brasil, a análise de sua configuração e potencialidades, bem como sua divulgação e conseqüente difusão à Sociedade. A base desta proposta está nas possibilidades de mineração, visualização e análise de estruturas de redes sociais de pesquisadores, instituições, grupos e temáticas de pesquisa em SI. As redes estudadas, bem como as análises obtidas podem servir de fonte de informação para a estruturação de um portal de pesquisa em SI para divulgação e navegação pela Sociedade dos grupos, instituições, temáticas de pesquisa, produção e resultados, fomentando e incentivando o interesse geral pela área...
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Kate Cerqueira Revoredo - Integrante / Renata Mendes de Araujo - Coordenador / Vania Maria Felix Dias - Integrante / Carlos Alberto Vieira de Campos - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2010 - 2011
Aprendizado de Lógicas de Descrição Probabilísticas
Descrição: Lógicas de descrição têm recebido intensa atenção na literatura por oferecerem um excelente balanço entre expressividade e complexidade, com aplicação na representação de conhecimento médico e lingüístico, bem como na codificação de informações na rede semântica. Em geral, elas combinam conceitos, papéis e indivíduos, usando operadores booleanos e quantificadores restritos. Entretanto, não representam incertezas que são comumente encontradas em aplicações. Por isso, um significativo número de propostas pode ser encontrado na literatura, onde lógicas de descrição são combinadas com raciocínio sob incerteza. O objetivo deste projeto de pesquisa é especificar lógicas de descrição probabilísticas com bom equilíbrio entre expressividade e complexidade e então propor algoritmos de inferência e aprendizado automático para elas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Kate Cerqueira Revoredo - Coordenador / josé eduardo ochoa luna - Integrante / Fabio G. cozman - Integrante / Felipe Leão - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2009 - 2015
Aprendizado de Lógicas de Descrição Probabilísticas
Descrição: Tem por objetivo o desenvolvimento de algoritmos de inferência e aprendizado de lógicas de descrição probabilísticas.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) .
Integrantes: Kate Cerqueira Revoredo - Coordenador / Felipe Leão - Integrante / raphael melo - Integrante / Marcius Armada - Integrante.
Número de produções C, T & A: 12 / Número de orientações: 5
2009 - 2014
INCT em Ciência da WEB
Descrição: Este projeto propõe a criação do Instituto Brasileiro de Pesquisa em Ciência da Web, que integrará 10 instituições brasileiras congregando esforços para melhor compreender e planejar a Web. O Instituto possui como missões: 1. Fazer avançar a pesquisa científica em linhas associadas à Ciência da Web, nas quais os pesquisadores do Instituto vêm produzindo contribuições de qualidade para as comunidades científicas nacional e internacional; 2. Educar profissionais e pesquisadores, para garantir inovação e promover colaboração interdisciplinar; 3. Transferir conhecimento para todos os setores da sociedade através de programas educacionais abrangentes; e 4. Transferir conhecimento para a indústria e o setor de serviços através de programas específicos, incluindo residências no Instituto. O programa de pesquisa do Instituto está organizado em 5 camadas: Pessoas e Sociedade , Tecnologias de Software para Aplicações na Web , Gerenciamento de Dados da Web , Infraestrutura da Web e Fundamentos da Ciência da Web . O Instituto congregará cerca de 100 pesquisadores doutores, com alto perfil de produção, liderados por 6 pesquisadores sênior. A equipe de pesquisa conta com: 7 pesquisadores com nível máximo de bolsa de produtividade do CNPq (1A), 3 detentores Ordem Nacional do Mérito Científico na classe Grã-Cruz, 6 detentores Ordem Nacional do Mérito Científico na classe Comendador, 4 membros da Academia Brasileira de Ciências, e um total de 55 bolsistas de produtividade de pesquisa do CNPq. O Instituto certamente congrega o grupo de pesquisadores mais representativo em Ciência da Computação no Brasil, com relevância nacional e internacional. Conta com 106 colaboradores de várias instituições.
Situação: Concluído; Natureza: Pesquisa.
2009 - 2012
LOGPROB: Lógica Probabilística --- Fundamentos e Aplicações Computacionais
Descrição: Projeto Temático Fapesp de pesquisa em Logica e Probabilidade, sob o processo 2008/03995-5, aprovado com início em 02/2009. Coordenador: Marcelo Finger. No valor de R$324324.80 mais bolsas...
Situação: Concluído; Natureza: Pesquisa.
2009 - 2009
Aprendizado de Lógicas de Descrição Probabilísticas
Descrição: Tem sido grande o interesse em combinar lógicas de descrição com incertezas, definindo lógicas de descrição probabilísticas. O objetivo deste trabalho será o de estudar formas automáticas de aprender sentenças nessas lógicas a partir de bases de dados..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2009
PFORTE: Revisão de Teorias Probabilísticas Relacionais a partir de Exemplos
Descrição: rojeto CNPq Edital MCT/CNPq 15/2007 - Universal - Faixa B, R$ 49.982,64 , Processo: 472202/2007-3, Revisao de Modelos Probabilisticos Relacionais a partir de Exemplos..
Situação: Em andamento; Natureza: Pesquisa.
2006 - 2009
Algoritmos: engenharia e fundamentos
Descrição: Este projeto pretende abarcar um amplo espectro indo desde fundamentos até aplicações de caráter altamente tecnológico, com formação de pessoal capacitado. Um dos itens considerados por este projeto é o desenvolvimento de algoritmos de revisão de teoria..
Situação: Em andamento; Natureza: Pesquisa.
2003 - 2005
Desenvolvimento e Aplicações de Redes Bayesianas em Séries Temporais
Descrição: CNPq 477413/2003-0 , Edital Universal Desenvolvimento e Aplicações de Redes Bayesianas em Séries Temporais (TBayes) Coordenador. Valor 19965,00 reais por 2 anos..
Situação: Concluído; Natureza: Pesquisa.


Membro de corpo editorial


2016 - Atual
Periódico: Journal of Computer Sciences
2016 - Atual
Periódico: Intelligenza Artificiale
2015 - Atual
Periódico: Neurocomputing (Amsterdam)


Revisor de periódico


2010 - Atual
Periódico: iSys: Revista Brasileira de Sistemas de Informação
2012 - Atual
Periódico: Journal of Web Semantics
2014 - Atual
Periódico: Journal of Information and Data Management - JIDM
2014 - Atual
Periódico: Machine Learning
2015 - Atual
Periódico: Journal of Machine Learning and Cybernetics
2015 - Atual
Periódico: Journal Computación y Sistemas
2016 - Atual
Periódico: International Journal of Approximate Reasoning


Revisor de projeto de fomento


2015 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Inteligência Artificial.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.


Idiomas


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


Prêmios e títulos


2015
Melhor artigo do Workshop de Teses e Dissertações em Sistemas de Informação, "Automatic Synchronization of BPM Description Artifacts: Methods and Applications"- aluno de mestrado Raphael Rodrigues, SBC.
2014
Melhor artigo do Workshop de Teses e Dissertações em Sistemas de Informação, "Envolvendo o Usuário no Processo de Alinhamento de Ontologias através de Active Learning- aluno de mestrado Vinicius Lopes, SBC.
2013
Indicação a melhor artigo completo - SBSI 2013 (6 indicações dentre 83 artigos aceitos), SBC para o artigo "Classificador de Alinhamento de Ontologias Utilizando Técnicas de Aprendizado de Máquina", .
2012
O artigo "A Scalable Probabilistic Description Logic Approach for Semantic Link Prediction"foi selecionado entre os 3 melhores artigos do IX Encontro Nacional em Inteligência Artificial, SBC.
2012
Prêmio Jabuti - Tecnologia e Informática - Terceiro lugar - Sistemas Colaborativos, de Mariano Pimentel e Hugo Fuks (orgs), Editora Elsevier - Co-autora no Cap: IA para Sistemas Colaborativos, Câmara Brasileira do Livro.
2011
2nd Best Student Paper Award at the Mexican Int. Conf. on AI ("Learning Probabilistic Description Logics: A Framework and Algorithms." José Ochoa (aluno de doutorado), Mexican Society of Artificial Intelligence..
2010
Selecionada entre as 6 melhores teses em ciências da computação. " Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados", SBC.
2010
2º Colocada no Concurso de Teses e Dissertações em Inteligência Artificial. " Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados", SBC.
2009
Selecionada entre os 4 melhores artigos do VII Encontro Nacional de Inteligencia (ENIA 2009): "Revisando Redes Bayesianas através da Introdução de Variáveis Não-observadas", SBC., SBC.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
SANTORO, FLAVIA MARIA2017SANTORO, FLAVIA MARIA ; BAIÃO, FERNANDA ; REVOREDO, KATE ; NUNES, VANESSA TAVARES . Modeling and Using Context in Business Process Management: A Research Agenda. Modélisation et utilisation du contexte, v. 17, p. 1-20, 2017.

2.
PAIVA, E.2016PAIVA, E. ; REVOREDO, K. ; BAIÃO,F. . DW-CGU: Integração dos Dados do Portal da Transparência do Governo Federal Brasileiro. iSys: Revista Brasileira de Sistemas de Informação, v. 9, p. 6-32, 2016.

3.
RODRIGUES, R. A.2016RODRIGUES, R. A. ; AZEVEDO L. ; REVOREDO, K. . BPM2Text: A language independent framework for Business Process Models to Natural Language Text. iSys: Revista Brasileira de Sistemas de Informação, v. 9, p. 38-56, 2016.

4.
VASCONCELLOS, W.2015VASCONCELLOS, W. ; REVOREDO, K. ; BAIÃO,F. . How Can Ontology Design Patterns Help Ontology Refinement?. Learning and Nonlinear Models, v. 1, p. 4-16, 2015.

5.
ARAUJO, R. M.2015ARAUJO, R. M. ; SILVEIRA, B. ; Muramatsu, T. ; REVOREDO, K. . Minerando Publicações Científicas para Análise da Colaboração em Comunidades de Pesquisa - O caso da comunidades de Sistemas de Informação. RESI : Revista Eletrônica de Sistemas de Informação, v. 14, p. 1-20, 2015.

6.
CARVALHO, JULIANA DO ESPÍRITO SANTO2015CARVALHO, JULIANA DO ESPÍRITO SANTO ; Santoro, Flávia Maria ; REVOREDO, KATE . A method to infer the need to update situations in business process adaptation. Computers in Industry, v. 71, p. 128-143, 2015.

7.
MATTOS, T.2014MATTOS, T. ; SANTORO,F. ; REVOREDO, K. ; NUNES, V. T. . A Formal Representation for Context-Aware Business Processes. Computers in Industry, v. 65, p. 1193-1214, 2014.

8.
SILVEIRA, B.2014SILVEIRA, B. ; KLUSSMANN, F. ; BAIÃO, F. ; REVOREDO, K. . Effort Estimation of Business Process Modeling through Clustering Techniques. iSys: Revista Brasileira de Sistemas de Informação, v. 7, p. 34-47, 2014.

9.
REVOREDO, K.2013REVOREDO, K.; OCHOA-LUNA, J. E. ; COZMAN, F. G. . Link prediction using a probabilistic description logic. Journal of the Brazilian Computer Society (Impresso), v. 1, p. 1-1, 2013.

10.
ALVES, A.2013ALVES, A. ; GUEDES, A. ; REVOREDO, K. ; BAIÃO, F. . UMA METODOLOGIA PARA O APRENDIZADO DE UM MODELO CLASSIFICADOR PARA O ALINHAMENTO DE ONTOLOGIAS. RESI : Revista Eletrônica de Sistemas de Informação, v. 12, p. 1-27, 2013.

11.
Silva, A.A.2012Silva, A.A. ; Padilha, N.F. ; Siqueira, S.W.M. ; BAIÃO,F. ; REVOREDO, K. . Using Concept Maps and Ontology Alignment for Learning Assessment. IEEE Multidisciplinary Engineering Education Magazine, v. 7, p. 33-40, 2012.

12.
Braga, R.M.M.2012Braga, R.M.M. ; Campos, F. ; DAVID, J. M. N. ; SOUZA, J. ; AZEVEDO L. ; REVOREDO, K. . Management of Scientific Experiments in Computational Modeling: Challenges and Perspectives. iSys: Revista Brasileira de Sistemas de Informação, v. 1, p. 1, 2012.

13.
REVOREDO, K.2008 REVOREDO, K.; L.De Raedt ; KERSTING, K. ; KIMMING, A. ; H. Toivonen . Compressing probabilistic Prolog programs. Machine Learning, v. 70, p. 151-168, 2008.

Capítulos de livros publicados
1.
Confort, Valdemar T. F. ; REVOREDO, KATE ; Baião, Fernanda Araujo ; Santoro, Flávia Maria . Learning Ontology from Text: A Storytelling Exploratory Case Study. Lecture Notes in Business Information Processing. 1ed.: Springer International Publishing, 2015, v. , p. 477-491.

2.
COZMAN, F. G. ; POLASTRO, R. ; TAKIYAMA, F. I. ; REVOREDO, K. . Computing Inferences for Relational Bayesian Networks Based on ALC Constructs. In: Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool. (Org.). Uncertainty Reasoning for the Semantic Web III - Lecture Notes in Computer Science. 1ed.: , 2014, v. 8816, p. 21-40.

3.
Garcia, A.C.B. ; Vivacqua, A. ; REVOREDO, K. ; BERNARDINI, F. . Inteligência artificial para sistemas colaborativos. In: Pimentel, M.; Fuks, H. (Org.). Sistemas Colaborativos. Rio de Janeiro: Elsevier-Campus - SBC, 2011, v. 1, p. 245-.

Trabalhos completos publicados em anais de congressos
1.
AZEVEDO L. ; RODRIGUES, R. A. ; REVOREDO, K. . BPMN Model and Text Instructions Automatic Synchronization. In: 20th International Conference on Enterprise Information Systems, 2018, Funchal. 20th International Conference on Enterprise Information Systems, 2018.

2.
BARROSO JUNIOR, J. S. ; CAPPELLI, C. ; REVOREDO, K. ; NUNES, V. T. . Text Mining as a transparency enabler to support decision making in a People Management Process. In: 19th Annual International Conference on Digital Government Research, 2018, Delft. 19th Annual International Conference on Digital Government Research, 2018.

3.
ALMEIDA, G. ; REVOREDO, K. ; CAPPELLI, C. ; MACIEL, C. . Improvement of Transparency through Mining Techniques for Reclassification of Texts: The case of Brazilian Transparency Portal,. In: 19th Annual International Conference on Digital Government Research, 2018, Delft. 19th Annual International Conference on Digital Government Research, 2018.

4.
SILVA, J. ; REVOREDO, K. ; BAIÃO, F. ; EUZENAT, J. . Interactive Ontology Matching: Using Expert Feedback to Select Attribute Mappings. In: International Workshop on Ontology Matching, 2018, Monterey. 13th International Workshop on Ontology Matching, 2018.

5.
BALA, S. ; REVOREDO, K. ; GONCALVES, J. C. ; BAIÃO, F. ; MENDLING, J. ; SANTORO,F. . Uncovering the Hidden Co-Evolution in the Work History of Software Projects. In: 15th International Conference on Business Process Management., 2017, Barcelona. 15th International Conference on Business Process Management., 2017. p. 1-1.

6.
SILVA, J. ; BAIÃO, F. ; REVOREDO, K. ; EUZENAT, J. . Semantic interactive ontology matching: synergistic combination of techniques to improve the set of candidate correspondences. In: International Workshop on Ontology Matching, 2017, Vienna. International Workshop on Ontology Matching, 2017. v. 1. p. 1.

7.
DIAS, R. ; BAIÃO, F. ; REVOREDO, K. . Otimização de Método de Alinhamento de Ontologia. In: Workshop de Teses e Dissertações em Ontologia, 2017. Workshop de Teses e Dissertações em Ontologia, 2017. v. 1. p. 1.

8.
RODRIGUES, R. A. ; AZEVEDO L. ; REVOREDO, K. ; LEOPOLD, H. . Um Framework para Geração de Texto em Linguagem Natural a partir de Modelos de Processo de Negócio. In: 15th Conferência Ibero-Americana WWW/Internet, 2017, Algarve. 15th Conferência Ibero-Americana WWW/Internet, 2017. v. 1. p. 1.

9.
PAIVA, E. ; REVOREDO, K. . Identificação Automática de Produtos e suas Características em Grandes Volumes de Dados Não Estruturados: Uma Proposta para Portais de Transparência Pública. In: IX Workshop de Teses e Dissertações em Sistemas de Informação, 2016, Florianopolis. IX Workshop de Teses e Dissertações em Sistemas de Informação, 2016. v. 1.

10.
PAIVA, E. ; REVOREDO, K. . Big Data e Transparência: Utilizando Funções de Mapreduce para incrementar a transparência dos Gastos Públicos. In: XII Simpósio Brasileiro de Sistemas de Informação, 2016, Florianopolis. XII Simpósio Brasileiro de Sistemas de Informação, 2016.

11.
SILVA, J. ; BAIÃO,F. ; REVOREDO, K. . Alinhamento Interativo de Ontologias usando Anti-Padrões de Alinhamento. In: IX Workshop de Teses e Dissertações em Sistemas de Informação, 2016, Florianopolis. IX Workshop de Teses e Dissertações em Sistemas de Informação, 2016.

12.
SILVA, J. ; BAIÃO,F. ; REVOREDO, K. . Alinhamento Interativo de Ontologias usando Anti-Padrões de Alinhamento: Um Primeiro Experimento. In: XII Simpósio Brasileiro de Sistemas de Informação, 2016, Florianopolis. XII Simpósio Brasileiro de Sistemas de Informação, 2016.

13.
PAIVA, E. ; REVOREDO, K. . Geração Automática de Regras de Identificação de Produtos em Descrições Textuais de Compras Governamentais. In: Encontro Nacional em Inteligência Artificial e Computacional, 2016, Recife. Encontro Nacional em Inteligência Artificial e Computacional, 2016.

14.
OUTORELO, T. ; BAIÃO, F. ; REVOREDO, K. . OntoDW: An approach for extraction of conceptualizations from Data Warehouses. In: Seminário Brasileiro de Ontologias (Ontobras), 2016, Curitiba. Viii Seminário Brasileiro de Ontologias (Ontobras), 2016. p. 1-11.

15.
SILVA, J. ; BAIÃO, F. ; REVOREDO, K. . ALIN results for OAEI 2016. In: Proceedings of the 11th International Workshop on Ontology Matching co-located with the 15th International Semantic Web Conference (ISWC 2016),, 2016, Kobe. Proceedings of the 11th International Workshop on Ontology Matching co-located with the 15th International Semantic Web Conference (ISWC 2016),, 2016. v. 1766. p. 130-137.

16.
RODRIGUES, R. A. ; AZEVEDO L. ; REVOREDO, K. . Automatic Synchronization of BPM Description Artifacts: Methods and Applications. In: VII Workshop de Teses e Dissertações em Sistemas de Informação, 2015, Goiania. VII Workshop de Teses e Dissertações em Sistemas de Informação, 2015.

17.
OUTORELO, T. ; BAIÃO, F. ; REVOREDO, K. . Aprendizado automático de ontologias a partir de Data Warehouses através de regras de mapeamento. In: VII Workshop de Teses e Dissertações em Sistemas de Informação, 2015, Goiania. VII Workshop de Teses e Dissertações em Sistemas de Informação, 2015.

18.
CONFORT, V. ; REVOREDO, K. ; BAIÃO, F. ; SANTORO,F. . Extração de Ontologias a partir de Histórias: um estudo exploratório em storytelling. In: XI Simpósio Brasileiro de Sistemas de Informação, 2015, Goiania. XI Simpósio Brasileiro de Sistemas de Informação, 2015.

19.
XAVIER, F. ; TANAKA, A. ; REVOREDO, K. . Aplicação de Técnicas de Descoberta de Conhecimento em Bancos de Dados na Estimativa da Evapotranspiração: um Experimento no Estado do Rio de Janeiro. In: XI Simpósio Brasileiro de Sistemas de Informação, 2015, Goiania. XI Simpósio Brasileiro de Sistemas de Informação, 2015.

20.
RODRIGUES, R. A. ; AZEVEDO L. ; BARROS, M. ; REVOREDO, K. . BPME: An Experiment on Process Model Understandability Using Textual Work Instructions and BPMN Models. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2015, Belo Horizonte. Simpósio Brasileiro de Engenharia de Software, 2015. v. 1. p. 1.

21.
GONCALVES, J. C. ; BAIÃO, F. ; SANTORO,F. ; REVOREDO, K. . Discovering Intentions and Desires within Knowledge Intensive Processes. In: Workshop on Social and Human Aspects of Business Process Management (BPMS2 15)in conjunction with the International Conference on Businness Process Management,, 2015, Innsbruck. Proceedings of 8th Workshop on Social and Human Aspects of Business Process Management (BPMS2 15), 2015. v. 1. p. 1.

22.
XAVIER, F. ; TANAKA, A. ; REVOREDO, K. . Aplicação de KDD em Dados Meteorológicos para Identificação de Padrões Regionais na Estimativa da Evapotranspiração. In: Simposio Brasileiro em Banco de Dados, 2015, Petropolis. Simposio Brasileiro em Banco de Dados, 2015.

23.
PIMENTEL, C. ; REVOREDO, K. ; SAMPAIO, F. F. . Mecatrônica Educacional Apoiando o Aprendizado de Conceitos de Física e Matemática: Um estudo de caso. In: XXI Workshop de Informática na Escola (WIE 2015), 2015. XXI Workshop de Informática na Escola (WIE 2015).

24.
LOPES, V. ; BAIÃO,F. ; REVOREDO, K. . Envolvendo o Usuário no Processo de Alinhamento de Ontologias através de Active Learning. In: Workshop de Teses e Dissertações em Sistemas de Informação, 2014, Londrina. Workshop de Teses e Dissertações em Sistemas de Informação, 2014.

25.
NOGUEIRA, T. ; REVOREDO, K. ; BAIÃO,F. . Aprendizado de Redes Bayesianas com Variáveis Não Observadas para Apoiar o Alinhamento de Ontologias. In: Workshop de Teses e Dissertações em Sistemas de Informação, 2014, Londrina. Workshop de Teses e Dissertações em Sistemas de Informação, 2014.

26.
MELO, R. ; REVOREDO, K. ; PAES, A. . Syntactic Compression of DL Terminologies. In: Brazilian Conference on Intelligent Systems, 2014, São Carlos. Brazilian Conference on Intelligent Systems, 2014. v. 1.

27.
ARMADA, M. ; REVOREDO, K. ; OCHOA-LUNA, J. E. . Semantic Unlink Prediction in Evolving Social Networks through Probabilistic Description Logic. In: Brazilian Conference on Intelligent Systems, 2014, São Carlos. Brazilian Conference on Intelligent Systems, 2014. v. 1.

28.
GUEDES, A. V. S. ; BAIÃO,F. ; REVOREDO, K. . On the Identification and Representation of Ontology Correspondence Antipatterns. In: Workshop for Modular Ontologies, 2014, Rio de Janeiro. Workshop for Modular Ontologies, 2014.

29.
GUEDES, A. V. S. ; BAIÃO,F. ; REVOREDO, K. . Digging Ontology Correspondence Antipatterns. In: International Workshop on Ontology and Semantic Web Patterns, 2014, Riva del Guarda. International Workshop on Ontology and Semantic Web Patterns, 2014.

30.
SILVA, M. F. ; BAIÃO,F. ; REVOREDO, K. . Learning Declarative Models from Ontology Alignment Provenance Data. In: International Workshop on Context, Interpretation and Meaning, 2014, Riva Del Guarda. International Workshop on Context, Interpretation and Meaning, 2014.

31.
TORO, W. M. ; COZMAN, F. G. ; REVOREDO, K. ; Costa, A. . Probabilistic Relational Reasoning in Semantic Robot Navigation. In: International Workshop on Uncertainty Reasoning for the Semantic Web, 2014, Riva del Garda. International Workshop on Uncertainty Reasoning for the Semantic Web, 2014.

32.
SILVA, M. F. ; BAIÃO,F. ; REVOREDO, K. . Towards Planning Scientific Experiments through Declarative Model Discovery in Provenance Data. In: 10th IEEE eScience Conference as part of the e-Science Workshop of Works in Progress. Congratulations, 2014, Guarujá. 10th IEEE eScience Conference as part of the e-Science Workshop of Works in Progress. Congratulations, 2014.

33.
LOPES, V. ; REVOREDO, K. ; BAIÃO,F. . Abordagem de Classificacao baseada em Comite para Alinhamento de Ontologias. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2014, São Carlos. Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2014. v. 1. p. 1-6.

34.
SILVA, M. F. ; BAIÃO,F. ; REVOREDO, K. . Declarative Model Discovery in Provenance Data for Aiding in Scientific Experiment Planning. In: Workshop de Teses e Dissertações em Banco de Dados, 2014, Curitiba. Workshop de Teses e Dissertações em Banco de Dados, 2014. v. 1. p. 1-1.

35.
RODRIGUES, R. A. ; AZEVEDO L. ; REVOREDO, K. ; LEOPOLD, H. . A Tool to Generate Natural Language Text from Business Process Models.. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão Ferramentas, 2014, Maceio. Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão Ferramentas, 2014. v. 1. p. 1-1.

36.
RODRIGUES, R. A. ; AZEVEDO L. ; REVOREDO, K. ; LEOPOLD, H. . Text Generation from Business Process Models. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Trilha da Indústria, 2014, Maceio. Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Trilha da Indústria,, 2014. v. 1. p. 1-1.

37.
CARVALHO, J. E. ; SANTORO,F. ; REVOREDO, K. ; NUNES, V. T. . Learning Context to Adapt Business Processes. In: 17th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013, Whistler. 17th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013.

38.
CARVALHO, J. E. ; SANTORO,F. ; REVOREDO, K. ; NUNES, V. T. . Aprendendo Contexto para Adaptar Processo. In: Simpósio Brasileiro de Sistemas de Informação. In: Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Anais do Simpósio Brasileiro de Sistemas de Informação, 2013. v. 1. p. 1-1.

39.
Silva, A.A. ; GUEDES, A. V. S. ; REVOREDO, K. ; BAIÃO,F. . Classificador de Alinhamento de Ontologias Utilizando Técnicas de Aprendizado de Máquina. In: Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Anais do Simpósio Brasileiro de Sistemas de Informação, 2013. v. 1. p. 1.

40.
PEDROSO, L. ; REVOREDO, K. ; BAIÃO,F. . Uma Abordagem Baseada em Mineração de Dados para Apoio ao Ciclo de Vida de Projetos de Pesquisa e Inovação. In: Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Anais do Simpósio Brasileiro de Sistemas de Informação, 2013. v. 1. p. 1.

41.
MELO, R. ; REVOREDO, K. ; PAES, A. . Algoritmos Eficientes para Aprendizado de Lógicas Descritivas Probabilísticas. In: Workshop de Teses e Dissertações - Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Workshop de Teses e Dissertações - Simpósio Brasileiro de Sistemas de Informação, 2013. v. 1. p. 1.

42.
LEAO, F. ; REVOREDO, K. ; BAIÃO,F. . Desambiguação de Sentidos para o Aprendizado Automático de Modelos Conceituais bem Fundamentados em OntoUML. In: Workshop de Teses e Dissertações - Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Workshop de Teses e Dissertações - Simpósio Brasileiro de Sistemas de Informação, 2013. v. 1. p. 1.

43.
VASCONCELLOS, W. ; REVOREDO, K. ; BAIÃO,F. . Refinamento de Ontologias utilizando Revisão de Teoria e Padrões de Projeto de Ontologias.. In: Workshop de Teses e Dissertações - Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Workshop de Teses e Dissertações - Simpósio Brasileiro de Sistemas de Informação, 2013. v. 1. p. 1.

44.
GUEDES, A. V. S. ; BAIÃO,F. ; REVOREDO, K. . Um Framework de Padrões de Projeto para Alinhamento de Ontologias. In: Workshop de Teses e Dissertações - Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Workshop de Teses e Dissertações - Simpósio Brasileiro de Sistemas de Informação, 2013. v. 1. p. 1.

45.
ARMADA, M. ; REVOREDO, K. . Predição Semântica de Links: algoritmos e aplicações.. In: Workshop de Teses e Dissertações - Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Workshop de Teses e Dissertações - Simpósio Brasileiro de Sistemas de Informação, 2013. v. 1. p. 1.

46.
MELO, R. ; REVOREDO, K. ; PAES, A. . Terminology Learning through Taxonomy Discovery. In: 2nd International Brazilian Conference on Intelligent Systems, 2013, Fortaleza. 2nd International Brazilian Conference on Intelligent Systems, 2013. v. 1.

47.
LEAO, F. ; REVOREDO, K. ; BAIÃO,F. . Learning Well-Founded Ontologies through Word Sense Disambiguation. In: Brazilian Conference on Intelligent Systems (BRACIS),, 2013, Fortaleza. Brazilian Conference on Intelligent Systems (BRACIS),, 2013. v. 1. p. 1.

48.
ARMADA, M. ; REVOREDO, K. ; OCHOA-LUNA, J. E. ; COZMAN, F. G. . Assertion Role in a Hybrid Link Prediction Approach through Probabilistic Ontology. In: Sexto Seminário de Pesquisa em Ontologias do Brasil (ONTOBRAS 2013), 2013, Belo Horizonte. Sexto Seminário de Pesquisa em Ontologias do Brasil (ONTOBRAS 2013), 2013. v. 1. p. 1.

49.
VASCONCELLOS, W. ; REVOREDO, K. ; BAIÃO,F. . Improving Ontology Refinement through Theory Revision and Ontology Design Patterns. In: X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013, Fortaleza. X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013. p. 1.

50.
MATTOS, T. ; SANTORO,F. ; REVOREDO, K. ; NUNES, V. T. . Formalizando Contexto em Processos de Negócio. In: Simpósio Brasileiro de Sistemas de Informação, 2012, São Paulo. Simpósio Brasileiro de Sistemas de Informação. Porto Alegre: Sociedade Brasileira de Computação, 2012. p. 186-197.

51.
MATTOS, T. ; SANTORO,F. ; REVOREDO, K. ; NUNES, V. T. . Formalizing the Situation of a Business Process Activity. In: International Conference on Computer Supported Cooperative Work in Design, 2012, Wuhan. Proceedings of 16th IEEE International Conference on Computer Supported Cooperative Work in Design, 2012. v. 1. p. 128-134.

52.
Padilha, N.F. ; BAIÃO,F. ; REVOREDO, K. . Ontology Alignment for Semantic Data Integration through Foundational Ontologies. In: International Workshop on Modeling and Reasoning for Business Intelligence (MORE-BI 2012) in 31st International Conference on Conceptual Modeling, 2012, Florença. Lecture Notes in Computer Science: Advances in Conceptual Modeling, 2012. v. 7518. p. 172-181.

53.
OCHOA-LUNA, J. E. ; REVOREDO, K. ; COZMAN, F. G. . A Scalable Probabilistic Description Logic Approach for Semantic Link Prediction. In: Encontro Nacional em Inteligência Artificial, 2012, Curitiba. Brazilian Conference on Intelligent Systems. Porto Alegre: SBC, 2012. v. 1. p. 1.

54.
OCHOA-LUNA, J. E. ; REVOREDO, K. ; COZMAN, F. G. . An Experimental Evaluation of a Scalable Probabilistic Description Logic Approach for Semantic Link Prediction. In: 8th Uncertainty Reasoning for the Semantic Web in 11th International Semantic Web Conference, 2012, Boston. 8th Uncertainty Reasoning for the Semantic Web in 11th International Semantic Web Conference, 2012. v. 900. p. 63-74.

55.
Padilha, N.F. ; BAIÃO,F. ; REVOREDO, K. . Alignment Patterns based on Unified Foundational Ontology. In: International Workshop on Metamodels Ontologies and Semantic Technologies, 2012, Recife. CEUR Workshop Proceedings, 2012. v. 938. p. 48-59.

56.
REVOREDO, K.; ARAUJO, R. M. ; SILVEIRA, B. ; Muramatsu, T. . Minerando publicações científicas para análise da colaboração em comunidades de pesquisa. In: Brazilian Workshop on Social Networks Analysis and Mining, 2012, Curitiba. I Brazilian Workshop on Social Networks Analysis and Mining. Porto Alegre: Sociedade Brasileira de Computação, 2012.

57.
LEAO, F. ; REVOREDO, K. ; BAIÃO,F. . ORION - Um Framework para Refinamento de Ontologias Através de Técnicas de Revisão de Teorias. In: Encontro Nacional de Inteligência Artificial, 2011, Natal. Encontro Nacional de Inteligência Artificial, 2011.

58.
OCHOA-LUNA, J. E. ; REVOREDO, K. ; COZMAN, F. G. . Learning Probabilistic Description Logics: A Framework and Algorithms. In: MICAI, 2011, Puebla. Proceeding of the 10th Mexican International Conference on Artificial Intelligence, 2011.

59.
REVOREDO, K.; OCHOA-LUNA, J. E. ; COZMAN, F. G. . Semantic Link Predictioin through Probabilistic Description Logic. In: 7th International Workshop on Uncertainty Reasoning for the Semantic Web in 10th International Semantic Web Conference, 2011, Bonn. 7th International Workshop on Uncertainty Reasoning for the Semantic Web in 10th International Semantic Web Conference, 2011.

60.
SANTOS, F. E. G ; BASTOS, A. P. Z. ; Andrade, L.C.V. ; REVOREDO, K. ; Mattos, P. . Assessment of ADHD through a Computer Game: An Experiment with a Sample of Students. In: VS-GAMES, 2011, Athens. Third International Conference on Games and Virtual Worlds for Serious Applications, 2011.

61.
SANTOS, F. E. G ; BASTOS, A. P. Z. ; Andrade, L.C.V. ; REVOREDO, K. ; Mattos, P. . Assessment of ADHD in a Sample of Adults through a Computer Game and Data Mining Techniques. In: IADIS Applied Computing, 2011, Rio de Janeiro. : IADIS Applied Computing, 2011.

62.
Silva, A.A. ; Padilha, N.F. ; Siqueira, S.W.M. ; REVOREDO, K. ; BAIÃO,F. . Avaliação da aprendizagem apoiada na utilização de mapas conceituais e alinhamento de ontologias. In: 4º Workshop Brasileiro de Web Semântica e Educação (SWEd 11@SBIE-WIE 11), 2011, Aracaju. Anais do 22º Simpósio Brasileiro de Informática na Educação, 2011.

63.
BAIÃO,F. ; SANTORO,F. ; REVOREDO, K. ; Siqueira, S.W.M. ; LEAO, F. ; FRANCA, J. ; CASTRO, L. ; LOPES, M. . Ontological Representation and Learning of Enterprise Artifacts. In: Iberoamerican Meeting of Ontological Research, 2011, Gramado. VI Congresso Ibero-americano de Telemática (CITA), 2011.

64.
REVOREDO, K.; OCHOA-LUNA, J. E. ; COZMAN, F. G. . Learning Terminologies in Probabilistic Description Logics. In: International Joint Conference IBERAMIA / SBIA, 2010, São Bernardo do Campo. Lecture Notes on Artificial Intelligence, 2010.

65.
LEAO, F. ; REVOREDO, K. ; BAIÃO,F. . Ontology Refinement through Theory Revision Techniques. In: III Workshop on Computational Intelligence, 2010, São Bernardo do Campo. III Workshop on Computational Intelligence, 2010. v. 1. p. 1-1.

66.
OCHOA-LUNA, J. E. ; REVOREDO, K. ; COZMAN, F. G. . Semantic query extension using query contexts and probabilistic description logics. In: III International Workshop on Web and Text Intelligence, 2010, São Bernardo do Campo. III International Workshop on Web and Text Intelligence, 2010. v. 1. p. 1-1.

67.
OCHOA-LUNA, J. E. ; REVOREDO, K. ; COZMAN, F. G. . Semantic Query Extension through Probabilistic Description Logics. In: VI International Workshop on Uncertainty Reasoning for the Semantic Web, 2010, Shabghai. VI International Workshop on Uncertainty Reasoning for the Semantic Web, 2010. v. 1. p. 1-1.

68.
OCHOA-LUNA, J. E. ; REVOREDO, K. ; COZMAN, F. G. . Learning Sentences and Assessments in Probabilistic Description Logics. In: VI International Workshop on Uncertainty Reasoning for the Semantic Web, 2010, Shanghai. VI International Workshop on Uncertainty Reasoning for the Semantic Web, 2010. v. 1. p. 1-1.

69.
REVOREDO, K.; ZAVERUCHA, G. . Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados. In: Concurso de Teses e Dissertações em Ciência da Computação, 2010, Belo Horizonte. Concurso de Teses e Dissertações em Ciência da Computação, 2010.

70.
REVOREDO, K.; ZAVERUCHA, G. . Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados. In: Concurso de Teses e Dissertações em Inteligência Artificial, 2010, São Bernardo. Concurso de Teses e Dissertações em Inteligência Artificial, 2010.

71.
AZEVEDO L. ; BAIÃO,F. ; SOUZA, J. ; REVOREDO, K. ; PEREIRA,V. ; HERLAIN,I. . Identificação de Serviços a partir da Modelagem de Processos de Negócio. In: Simpósio Brasileiro em Sistemas de Informação, 2009, Brasilia. V Simpósio Brasileiro de Sistemas de Informação, 2009.

72.
REVOREDO, K.; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Revisando Redes Bayesianas através da Introdução de Variáveis não-observadas. In: Encontro Nacional de Inteligêsncia Artificial, 2009, Bento Gonçalves. XXIX Congresso Brasileiro de Computação (SBC 2009), 2009.

73.
AZEVEDO L. ; SANTORO,F. ; BAIÃO,F. ; SOUZA, J. ; REVOREDO, K. ; PEREIRA,V. ; HERLAIN,I. . A Method for Service Identification from Business Process Models in a SOA Approach. In: Enterprise, Business-Process and Information Systems Modeling, 2009, Berlin Heidelberg. Lecture Notes in Business Information Processing, 2009. v. 29. p. 99-112.

74.
REVOREDO, K.; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Combinando Invenção de predicados e revisão de teorias probabilísticas de primeira-ordem. In: VI Encontro Nacional de Inteligência Artificial, 2007, RIo de Janeiro. XXVII Congresso da Sociedade Brasileira de Computação / VI Encontro Nacional de Inteligência Artificial, 2007. p. 1351-1360.

75.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . PFORTE: Revising Probabilistic FOL Theories. In: International Joint Conference IBERAMIA / SBIA, 2006, Ribeirão Preto. Lecture Notes on Artificial Intelligence. Heidelberg: Springer-Verlag. v. 4140. p. 441-450.

76.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Comparação de Funções de Avaliação em Revisão de Teorias Probabilísticas de Primeira-ordem. In: Congresso Brasileiro de Redes Neurais, 2005, Natal. Congresso Brasileiro em Redes Neurais, 2005. p. 63-68.

77.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Probabilistic First-order Theory Revision from Examples. In: 15th International Conference on Inductive Logic Programming, 2005, Bonn. Lectures Notes in Artificial Intelligence, 2005. v. 3625. p. 295-311.

78.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Revisão de Teorias Probabilísticas de Primeira-ordem. In: V Encontro Nacional de Inteligência Artificial, 2005, São Leopoldo. V Encontro Nacional de Inteligência Artificial (ENIA-2005)/SBC, 2005. p. 932-941.

79.
REVOREDO, K.; ZAVERUCHA, G. . Search-based Class Fiscretization for Hidden Markov Model for Regression. In: XVII Brazilian Symposium on Artificial Intelligence, 2004, São Luís. Lecture Notes in Artificial Intelligence, 2004. v. 3171. p. 317-325.

80.
Marcelo Andrade Teixeira ; REVOREDO, K. ; ZAVERUCHA, G. . Hidden Markov Model for Regression in Eletric Load Forecasting. In: 10th International Conference on Neural Information Processing, 2003, Istanbul. ICANN/ICONIP-2003, 2003. v. 1. p. 374-377.

81.
REVOREDO, K.; ZAVERUCHA, G. . Revision of First-order Bayesian Classifiers. In: 12th International Conference on Inductive Logic Programming, 2002, Sydney. Lecture Notes in Artificial Intelligence, 2002. v. 2583. p. 223-237.

82.
REVOREDO, K.; ZAVERUCHA, G. . Theory Refinement of Bayesian Logic Program. In: 8th International Conference on Neural Information Processing (ICONIP 2001), 2001, Shanghai. 8th International Conference on Neural Information Processing (ICONIP 2001), 2001. v. 2. p. 1088-1092.

83.
REVOREDO, K.; ZAVERUCHA, G. . Theory Refinement of Bayesian Logic Programs. In: 11th International Conference on Inductive Logic Programming (ILP-2001), 2001, Strasbourg. Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming (ILP 2001), 2001. p. 89-93.

Resumos expandidos publicados em anais de congressos
1.
SANTOS, F. ; REVOREDO, K. ; BAIÃO, F. . A Proposal for Optimizing Internetwork Matching of Ontologies. In: International Workshop on Ontology Matching, 2018, Monterey. 13th International Workshop on Ontology Matching, 2018.

2.
SANTOS, F. ; REVOREDO, K. ; BAIÃO, F. . Paving a research roadmap on network of ontologies. In: International Workshop on Ontology Matching, 2017, Vienna. International Workshop on Ontology Matching, 2017. v. 1. p. 1.

3.
VIEIRA, R. ; REVOREDO, K. . Using word semantics on entity names for correspondence set generation. In: International Workshop on Ontology Matching, 2017, Vienna. International Workshop on Ontology Matching, 2017. v. 1. p. 1.

4.
LEAO, F. ; REVOREDO, K. ; BAIÃO,F. . An Approach to Automatically Build Well-Founded Ontologies. In: Computers in Industry Special Issue on Natural Language Processing and Text Analytics in Industry, 2014. Computers in Industry Special Issue on Natural Language Processing and Text Analytics in Industry, 2014.

5.
LOPES, V. ; BAIÃO,F. ; REVOREDO, K. . User Feedback through Clustering for Ontology Maching. In: International Workshop on Ontology Matching, 2014, Riva del Guarda. International Workshop on Ontology Matching, 2014. v. 1.

6.
MELO, R. ; REVOREDO, K. ; PAES, A. . Learning Multiple Description Logics Concepts. In: 23rd International Conference on Inductive Logic Programming, 2013, Rio de Janeiro. 23rd International Conference on Inductive Logic Programming, 2013.

7.
Affonso, M.A. ; REVOREDO, K. ; Andrade, L.C.V. . Avaliando uma Oportunidade Exploratória de Petróleo através de Mineração de Dados. In: Simpósio Brasileiro de Sistemas de Informação, 2012, São Paulo. Simpósio Brasileiro de Sistemas de Informação. Porto Alegre: Sociedade Brasiliera de Computação, 2012. v. 1. p. 666-671.

8.
Affonso, M.A. ; REVOREDO, K. ; Andrade, L.C.V. . EVALUATING A PETROLEUM EXPLORATION OPPORTUNITY TROUGH DATA MINING. In: International Conference on Enterprise Information Systems, 2012, Wroclaw. Proceedings of the 14th International Conference on Enterprise Information Systems, 2012. v. 1. p. 334-337.

9.
PEREIRA, W. ; REVOREDO, K. . Ontologia Probabilística para Auxiliar na Recuperação de Modelos Biológicos. In: International Workshop on Metamodels Ontologies and Semantic Technologies, 2012, Recife. CEUR Workshop Proceedings, 2012. v. 938. p. 188-193.

10.
LEAO, F. ; DIRR, T. ; BAIÃO,F. ; REVOREDO, K. . Construção de Modelos Conceituais a Partir de Textos com Apoio de Tipos Semânticos. In: Proceedings of Joint V Seminar on Ontology Research in Brazil and VII International Workshop on Metamodels, Ontologies and Semantic Technologies, 2012, Recife. CEUR Workshop Proceedings, 2012. v. 938. p. 260-265.

11.
Affonso, M.A. ; REVOREDO, K. ; Andrade, L.C.V. . PREDICTION OF ECONOMIC VALUE OF A PETROLEUM EXPLORATORY OPPORTUNITY USING BAYESIAN NETWORK. In: IADIS Applied Computing, 2011, Rio de Janeiro. IADIS Applied Computing, 2011.

12.
REVOREDO, K.; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Combining Predicate Invention and Revision of Probabilistic FOL Theories. In: ILP, 2006, Santiago de Compostela. XVI International Conference on Inductive Logic Programming, 2006. p. 176-178.

13.
L.De Raedt ; KERSTING, K. ; KIMMING, A. ; REVOREDO, K. ; H. Toivonen . Revising Probabilistic Prolog Programs. In: 16th International Conference in Inductive Logic Programming, 2006, Santiago. Short Paper Preceedings of the 16th International Conference on Inductive Logic Programming (ILP-06)., 2006.

Resumos publicados em anais de congressos
1.
POLASTRO, R. ; COZMAN, F. G. ; TAKIYAMA, F. I. ; REVOREDO, K. . Computing Inferences for Credal ALC Terminologies. In: 8th Uncertainty Reasoning for the Semantic Web in 11th International Semantic Web Conference, 2012, Boston. 8th Uncertainty Reasoning for the Semantic Web in 11th International Semantic Web Conference, 2012. v. 900. p. 94-97.

2.
Silva, A.A. ; REVOREDO, K. ; BAIÃO,F. . Instance Based Ontology Alignment Using Hybrid Genetic Algorithm. In: Ontology Matching in 11th International Semantic Web Conference, 2012, Boston. Ontology Matching in 11th International Semantic Web Conference, 2012. v. 946. p. 242-243.

3.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Further Experimental Results of Probabilistic First-order Theory. In: The Eleventh ACM SIGDKK International COnference on Knowledge Discovery and Data Mining, 2005, Chicago. The Eleventh ACM SIGDKK International COnference on Knowledge Discovery and Data Mining, 2005. p. 59-59.

Apresentações de Trabalho
1.
REVOREDO, K.. Context-based Process Adaptation. 2017. (Apresentação de Trabalho/Conferência ou palestra).

2.
REVOREDO, K.. Adapting conceptualizations through data. 2017. (Apresentação de Trabalho/Conferência ou palestra).

3.
REVOREDO, K.. Geração Automática de Regras de Identificação de Produtos em Descrições Textuais de Compras Apresentadas em Portais de Transparência. 2016. (Apresentação de Trabalho/Conferência ou palestra).

4.
REVOREDO, K.. Sistemas de Informação Inteligentes. 2016. (Apresentação de Trabalho/Conferência ou palestra).

5.
REVOREDO, K.. Adaptando, Aprendendo e Integrando Modelos Semânticos. 2015. (Apresentação de Trabalho/Conferência ou palestra).

6.
GONCALVES, J. C. ; BAIÃO, F. ; SANTORO,F. ; REVOREDO, K. . Discovering Intentions and Desires within Knowledge Intensive Processes. 2015. (Apresentação de Trabalho/Conferência ou palestra).

7.
REVOREDO, K.. Adapting,Learning and Integrating Conceptualizations Environment: Research Initiatives. 2015. (Apresentação de Trabalho/Conferência ou palestra).

8.
REVOREDO, K.. Learning and Aligning ontologies: methodologies and algorithms. 2014. (Apresentação de Trabalho/Conferência ou palestra).

9.
REVOREDO, K.. Probabilistic Relational Reasoning in Semantic Robot Navigation. 2014. (Apresentação de Trabalho/Conferência ou palestra).

10.
REVOREDO, K.. Learning and Aligning Ontologies Methods and Algorithms. 2014. (Apresentação de Trabalho/Conferência ou palestra).

11.
REVOREDO, K.. Terminology Learning through Taxonomy Discovery. 2013. (Apresentação de Trabalho/Conferência ou palestra).

12.
REVOREDO, K.. Learning Well-Founded Ontologies through Word Sense Disambiguation. 2013. (Apresentação de Trabalho/Conferência ou palestra).

13.
REVOREDO, K.. A Scalable Probabilistic Description Logic Approach for Semantic Link Prediction. 2012. (Apresentação de Trabalho/Conferência ou palestra).

14.
REVOREDO, K.. An Experimental Evaluation of a Scalable Probabilistic Description Logic Approach for Semantic Link Prediction. 2012. (Apresentação de Trabalho/Conferência ou palestra).

15.
REVOREDO, K.. Semantic Link Predictioin through Probabilistic Description Logic. 2011. (Apresentação de Trabalho/Conferência ou palestra).

16.
REVOREDO, K.. Learning Terminologies in Probabilistic Description Logics. 2010. (Apresentação de Trabalho/Conferência ou palestra).

17.
REVOREDO, K.. Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados. 2010. (Apresentação de Trabalho/Outra).

18.
REVOREDO, K.. Revisão Lógico Probabilística. 2010. (Apresentação de Trabalho/Conferência ou palestra).

19.
REVOREDO, K.. Revisão Lógica Probabilística. 2009. (Apresentação de Trabalho/Conferência ou palestra).

20.
REVOREDO, K.. Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados. 2009. (Apresentação de Trabalho/Outra).

21.
REVOREDO, K.. Revisando Redes Bayesianas através da Introdução de Variáveis não-observadas. 2009. (Apresentação de Trabalho/Conferência ou palestra).

22.
REVOREDO, K.; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Combinando Invenção de Predicados e Revisão de Teorias Probabilisticas de Primeira-ordem.. 2007. (Apresentação de Trabalho/Congresso).

23.
REVOREDO, K.; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Predicate invention as a revision operator for probabilistic FOL theories.. 2006. (Apresentação de Trabalho/Simpósio).

24.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Probabilistic First-order Revision from Examples. 2005. (Apresentação de Trabalho/Congresso).

25.
REVOREDO, K.; ZAVERUCHA, G. . Search-based Class Discretization for Hidden Markov Model for Regression.. 2004. (Apresentação de Trabalho/Congresso).


Produção técnica
Programas de computador sem registro
1.
SILVEIRA, B. ; Muramatsu, T. ; REVOREDO, K. ; ARAUJO, R. M. . E3Suite. 2012.

2.
REVOREDO, K.; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . PFORTE_PI: Probabilistic First-order Revision of Theories from Examples with Predicate Invention.. 2008.

3.
REVOREDO, K.; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . DAHVI: Discriminative Approach for Hidden Variable Introduction. 2008.

4.
REVOREDO, K.; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . PFORTE: Probabilistic First-order Revision of Theories from Examples.. 2005.

Trabalhos técnicos
1.
SANTOS, F. ; REVOREDO, K. ; BAIÃO, F. . Network of Ontologies ? A Systematic Mapping Study and Challenges Comparison. 2017.

Entrevistas, mesas redondas, programas e comentários na mídia
1.
REVOREDO, K.; PIMENTEL, C. . Sistemas de Informação Inteligentes. 2016. (Programa de rádio ou TV/Entrevista).

Redes sociais, websites e blogs
1.
ARAUJO, R. M. ; REVOREDO, K. ; Campos, C.A.V. ; DIas, V.M.F. ; SILVEIRA, B. ; Muramatsu, T. ; VELOSO, T. . Redes Sociais de Pesquisa em Sistemas de Informação. 2012; Tema: Redes Sociais. (Site).


Demais tipos de produção técnica


Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
REVOREDO, K.; CAMPOS, M. L. M.; DELGADO, C.; LIMA, P. M. V.; OLIVEIRA, E. S.. Participação em banca de THAIS DO NASCIMENTO VIANA. ALINHAMENTO DE ONTOLOGIAS COM REDES NEURAIS SEM PESO. 2018. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

2.
REVOREDO, K.; PLASTINO, A.; OLIVEIRA, D. C. M.; PAES, A.. Participação em banca de HUGO ARRAES HENLEY. Análise de Evasão no Ensino Superior por meio de Aprendizado de Máquina Relacional. 2018. Dissertação (Mestrado em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense.

3.
PAES, A.; BARROS, M.; BAIÃO,F.; REVOREDO, K.. Participação em banca de Jomar da Silva. Interactive Alignment of Ontologies An Approach Based on the Interactive Modification of the Set of Candidate Correspondences. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

4.
REVOREDO, K.; BERNARDINI, F.; CAPPELLI, C.. Participação em banca de Eduardo Paiva. Geração de Regras de Identificação de Produtos em Descrições Textuais de Compras Apresentadas em Portais de Transparência Pública.. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

5.
BERNARDINI, F.; REVOREDO, K.; MEZA, E. B. M.. Participação em banca de HADRIEL TOLEDO LIMA. DETECÇÃO DE ANOMALIA ESPAÇOTEMPORAL APLICADA A PONTOS DE MEDIÇÃO DE VAZÃO EM PLANTAS DE PRODUÇÃO DE GÁS NATURAL. 2017. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

6.
TANAKA, A.; REVOREDO, K.; BERNARDINI, F.; BAIÃO, F.. Participação em banca de Alexandre de Oliveira Paixão. UTILIZANDO CONTEÚDO SOCIAL PARA O ENRIQUECIMENTO SEMÂNTICO DE DIRETÓRIOS DE DESCOBERTA E ESCOLHA DE PLATAFORMAS NA ECONOMIA COMPARTILHADA. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

7.
VITERBO FILHO, J.; REVOREDO, K.; Trevisan, D.. Participação em banca de ALEXANDRE DE CASTRO LUNARDI. CLASSIFICAÇÃO MULTICLASSE DE TEXTOS BASEADA EM DIVISÕES BINÁRIAS ADAPTADAS AO DOMÍNIO. 2016. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

8.
REVOREDO, K.; BAIÃO, F.; CAMPOS, M. L. M.; TANAKA, A.. Participação em banca de Tiago Outorelo. ONTODW: UMA ABORDAGEM PARA A EXTRAÇÃO DE CONCEITUALIZAÇÕES A PARTIR DE DATA WAREHOUSES. 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

9.
BAIÃO, F.; TANAKA, A.; REVOREDO, K.; RIBEIRO, C. B. M.. Participação em banca de Fernando Xavier. Application of Data Science Techniques in Evapotranspiration Estimation. 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

10.
AZEVEDO L.; REVOREDO, K.; BAIÃO, F.; FANTINATO, M.. Participação em banca de Raphael de Almeida Rodrigues. BPM Text Model: Automatic Synchronization of BPM Description Artifacts. 2016.

11.
SANTORO,F.; BAIÃO, F.; REVOREDO, K.; EVSUKOFF, A. G.. Participação em banca de Guilherme Neves Lopes. Verificação e classificação de não conformidades de processos de negócios na indústria farmacêutica através de técnicas de mineração de processos. 2015. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

12.
BAIÃO, F.; SANTORO,F.; REVOREDO, K.; LIma, R.. Participação em banca de Pedro Henrique Piccoli Richetti. COMPLEXITY REDUCTION OF DECLARATIVE PROCESS MODELS USING A SEMANTIC ABSTRACTION CRITERION. 2015. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

13.
BAIÃO, F.; REVOREDO, K.; Siqueira, S.W.M.; LOSCIO, B. F.. Participação em banca de Vinicius Lopes. Alinhamento Interativo de Ontologias: Uma Abordagem Baseada em Query-by-Committee. 2015. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

14.
BAIÃO, F.; REVOREDO, K.; SANTORO,F.; OLIVEIRA, D. C. M.. Participação em banca de Mateus Ferreira Silva. LEARNING DATA-AWARE DECLARATIVE MODELS FROM PROVENANCE DATA. 2015. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

15.
SAMPAIO, F. F.; BORGES, J. A. S.; OLIVEIRA, C. E. T.; REVOREDO, K.; MOTTA, C. L. R.. Participação em banca de ANDRE RACHMAN DARGAINS. ESTUDO EXPLORATÓRIO SOBRE O USO DE ROBÓTICA EDUCACIONAL NO ENSINO DE PROGRAMAÇÃO INTRODUTÓRIA. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

16.
COZMAN, F. G.; REVOREDO, K.; Santos P.. Participação em banca de Felipe Iwao Takiyama. Algoritmos de inferência exata para modelos de primeira ordem. 2014. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

17.
REVOREDO, K.; PAES, A.; COZMAN, F. G.; Siqueira, S.W.M.. Participação em banca de Raphael Melo Thiago. On the Learning of Multiple Concepts in Description Logic. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

18.
REVOREDO, K.; BAIÃO,F.; Siqueira, S.W.M.; SILVA, J. C. P.. Participação em banca de Felipe Braga Carneiro Leão. EXPANDING THE SEMANTIC KNOWLEDGE OF WORDNET THROUGH SEMANTIC TYPES AND UFO. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

19.
REVOREDO, K.; BAIÃO, F.; SANTORO,F.; PAES, A.. Participação em banca de Wander Vasconscellos. Pattern-Based Ontology Revision. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

20.
ARMADA, M.; REVOREDO, K.; BAIÃO,F.; OLIVEIRA, J.. Participação em banca de Marcius Armada. PREDIÇÃO SEMÂNTICA DE UNLINKS EM REDES EVOLUTIVAS UTILIZANDO LÓGICA DE DESCRIÇÃO PROBABILÍSTICA. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

21.
GUEDES, A.; BAIÃO, F.; REVOREDO, K.; CAVALCANTI, M. C. R.; Siqueira, S.W.M.. Participação em banca de Anselmo Vicente da Silva Guedes. Identificação e Representação de Antipadrões de Correspondência em Ontologias. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

22.
Siqueira, S.W.M.; REVOREDO, K.; OLIVEIRA, J.. Participação em banca de Thiago Procaci. Usuários Confiáveis em Comunidades Online: Um Estudo Empírico Envolvendo Análise de Métricas e Aprendizado de Máquina. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

23.
REVOREDO, K.; BAIÃO,F.; ZADROZNY, B.; Siqueira, S.W.M.. Participação em banca de Alex Alves da Silva. ATHENAS: Uma Avaliação Experimental da Combinação de Métricas de Similaridade para o Alinhamento de Ontologias através de Mineração de Dados.. 2013. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

24.
Siqueira, S.W.M.; OLIVEIRA, J.; REVOREDO, K.. Participação em banca de Gustavo Fernandes. CAPTURA DE PERFIS DINÂMICOS DE USUÁRIOS A PARTIR DA ANÁLISE DE MENSAGENS EM REDES SOCIAIS. 2013. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

25.
Andrade, L.C.V.; Campos, C.A.V.; FRANCA, F. M. G.; SAADE, D. C. M.; REVOREDO, K.. Participação em banca de Carlos Alvaro de Macedo Soares Quintella. APLICAÇÃO DE APRENDIZADO DE MÁQUINA PARA INFERÊNCIA DE MODO DE TRANSPORTE ATRAVÉS DE SMARTPHONES. 2013. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

26.
BAIÃO,F.; REVOREDO, K.; CAVALCANTI, M. C. R.; Siqueira, S.W.M.. Participação em banca de Natalia Fonseca Padilha. Padrões e Antipadrões de Correspondências para Melhoria do Alinhamento de Ontologias Bem Fundamentadas. 2013. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

27.
SANTORO,F.; REVOREDO, K.; WERNER, C. M. L.; BAIÃO,F.. Participação em banca de Juliana do Espirito Santo Carvalho. UM MÉTODO PARA INFERIR A NECESSIDADE DE ATUALIZAÇÃO DE SITUAÇÕES NA ADAPTAÇÃO DE PROCESSOS DE NEGÓCIOS. 2013. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

28.
Andrade, L.C.V.; REVOREDO, K.; ZADROZNY, B.; BAIÃO,F.. Participação em banca de Marcos Antonio Affonso. Avaliação Econômica de uma Oportunidade Exploratória de Petróleo através de Mineração de Dados e com apoio de uma Ontologia de Domínio. 2012. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

29.
SANTORO,F.; REVOREDO, K.; SANTOS, V. V.; Siqueira, S.W.M.. Participação em banca de Talita da Cunha Mattos. UM MODELO PARA FORMALIZAÇÃO DE CONTEXTO EM PROCESSOS DE NEGÓCIO. 2012. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

30.
SANTORO,F.; ARAUJO, R. M.; Vivacqua, A.; REVOREDO, K.. Participação em banca de Douglas Machado Silva. MODELO DE CONTEXTO PARA O LEVANTAMENTO COLABORATIVO DE PROCESSOS DE NEGÓCIO. 2012. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

31.
DIas, V.M.F.; ARAUJO, R. M.; REVOREDO, K.; VITERBO FILHO, J.. Participação em banca de EDVALDO ARTMANN DE OLIVEIRA. SOBRE A COLABORAÇÃO NA COMUNIDADE DE SISTEMAS DE INFORMAÇÃO ATRAVÉS DOS SIMPÓSIOS SBSI. 2012. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

32.
REVOREDO, K.; Ralha C.G.; Ladeira M.. Participação em banca de Shou Matsumoto. Um Framework Baseado em Plug-ins para Raciocínio em Ontologias PR-OWL 2.. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

33.
REVOREDO, K.; SANTORO,F.; BAIÃO,F.. Participação em banca de Eduardo Costa Ramos. BPECREL: Um Método de Identificação de Variáveis Relevantes do Contexto Externo Associadas ao Processo de Negócio. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

34.
Andrade, L.C.V.; REVOREDO, K.; OLIVEIRA, C. E. T.; SANTORO,F.. Participação em banca de Fábio Eduardo Gabriel dos Santos. AVALIAÇÃO COGNITIVA COM UM JOGO COMPUTACIONAL UTILIZANDO TÉCNICAS INTELIGENTES. 2011. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

Teses de doutorado
1.
COZMAN, F. G.; Silva, J.R.; BARROS, L. N.; Santos P.; REVOREDO, K.. Participação em banca de Valquiria Fenelon Pereira. Interpretação de Imagens com Raciocínio Espacial Qualitativo Probabilística. 2014. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

2.
Garcia, A.C.B.; BRANCO, A.H.; REVOREDO, K.; Vivacqua, A.; MACIEL, C.; CONCI, A.; ZADROZNY, B.. Participação em banca de Marcus Vinicius Carvalho Guelpeli. CASSIOPEIA: UM MODELO DE AGRUPAMENTO HIERÁRQUICO DE TEXTOS COM SUMARIZAÇÂO. 2012. Tese (Doutorado em Computação) - Universidade Federal Fluminense.

3.
COZMAN, F. G.; REVOREDO, K.; IDE, J.; Maruyama, N.; Silva, J.R.. Participação em banca de Rodrigo Bellizia Polastro. L ogica Probabil stica Baseada em Redes Bayesianas Relacionais com Inferência em Primeira Ordem. 2012. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

4.
COZMAN, F. G.; REVOREDO, K.; IDE, J.; BARROS, L. N.; Wassermann, R.. Participação em banca de Ricardo Shirota Filho. Processos de Decisão Markovianos com Probabilidades Imprecisas e Representa ções Relacionais: Algoritmos e Fundamentos. 2012. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

5.
COZMAN, F. G.; Maruyama, N.; Silva, J.R.; Wassermann, R.; REVOREDO, K.. Participação em banca de José Eduardo Ochoa Luna. Lógicas Probabilísticas com Relações de Independência: Representação de COnhecimento e Aprendizado de Máquina. 2011. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

Qualificações de Doutorado
1.
PLASTINO, A.; REVOREDO, K.; VITERBO FILHO, J.. Participação em banca de JONNATHAN DOS SANTOS CARVALHO. Feature Selection: Improving Classification Performance in Twitter Sentiment Analysis. 2017. Exame de qualificação (Doutorando em Computação) - Universidade Federal Fluminense.

2.
REVOREDO, K.; BAIÃO, F.; BARROS, M.; CAVALCANTI, M. C. R.. Participação em banca de Miriam Oliveira dos Santos. ONTOLOGY ALIGNMENT REPAIR BY INFERENCE RULES - EXPLORING WORDNET. 2017. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Estado do Rio de Janeiro.

3.
REVOREDO, K.; PLASTINO, A.; VITERBO FILHO, J.; ROSSETI, I. C. M.. Participação em banca de WILTON DE PAULA FILHO. CLASSIFICAÇÃO DA POLARIDADE DE TWEETS DE CUNHO POLÍTICO COM O SUPORTE DE INFORMAÇÕES DOS PERFIS DE USUÁRIOS. 2016. Exame de qualificação (Doutorando em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense.

4.
GUIZZARDI, G.; REVOREDO, K.; BAIÃO,F.; SANTORO,F.. Participação em banca de João Carlos Gonçalvez. ON HOW BELIEFS, DESIRES AND INTENTIONS DRIVE KNOWLEDGE INTENSIVE PROCESSES. 2016. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Estado do Rio de Janeiro.

Qualificações de Mestrado
1.
REVOREDO, K.; CAMPOS, M. L. M.; DELGADO, C.; LIMA, P. M. V.. Participação em banca de THAIS DO NASCIMENTO VIANA. ONTOLOGY ALIGNMENT WITH WEIGHTLESS NEURAL NETWORKS. 2017. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.

Trabalhos de conclusão de curso de graduação
1.
REVOREDO, K.; BAIÃO, F.; SANTORO,F.. Participação em banca de Gabriel Morais Teixeira & Bruno Ferreira Brum.ITeligence: Sistema de apoio a análise de intenções.. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

2.
SANTORO,F.; REVOREDO, K.. Participação em banca de Thais Mester Barbosa.APLICAÇÃO DA VERIFICAÇÃO DE CONFORMIDADE DE PROCESSOS NA AUDITORIA DE PROCESSOS. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

3.
CAPPELLI, C.; SANTORO,F.; REVOREDO, K.. Participação em banca de RODRIGO DOS SANTOS OLIVEIRA.TRANSFORMAÇÃO SEMIAUTOMÁTICA DE PROCESSOS BASEADOS EM BPMN PARA MODELOS COMPREENSÍVEIS AOS CIDADÃOS. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

4.
REVOREDO, K.; SANTORO,F.; BAIÃO, F.. Participação em banca de Igor Balteiro Pereira de Campos.Análise do discurso de ódio direcionado à comunidade LGBT em canais de notícia no Facebook. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

5.
SANTORO,F.; BAIÃO, F.; REVOREDO, K.. Participação em banca de Bianca Rodrigues Teixeira.MyMemory: An ontology for privacy in external digital memories. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

6.
REVOREDO, K.; SANTORO,F.; BAIÃO, F.. Participação em banca de Fernando Cardoso Durier da Silva.Context-Aware Process Mining: Using External Contextual Web Scraped Data to Enrich the Event Log. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

7.
REVOREDO, K.; BAIÃO, F.. Participação em banca de Lucas Alves Moreira de Souza.Aplicação de Aprendizado de Máquina para Predição de Prioridade em Gestão de Incidentes. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

8.
REVOREDO, K.; SANTORO,F.; BAIÃO,F.. Participação em banca de Eduardo Moreira Leite.Descoberta Automática de Palavras-chave Para Classificação de Textos.. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

9.
SANTORO,F.; REVOREDO, K.; BAIÃO,F.. Participação em banca de Wilian Pereira da Silva Santos.Análise dos Tweets sobre a Black Friday através da Mineração de Texto e Análise de Sentimentos. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

10.
BAIÃO,F.; CAPPELLI, C.; REVOREDO, K.. Participação em banca de Lucas Swinerd e Davi Alves.Geração de uma Base de Dados Aberta para Apoio a Análise dos Registros de Voos das Autoridades Operados pela Força Aérea Brasileira. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

11.
DIas, V.M.F.; BAIÃO,F.; REVOREDO, K.; SANTORO,F.. Participação em banca de Carolina Yorio Heinze Tozzi.Análise de Sentimento dos Jogos Olímpicos Rio 2016 no Twitter. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

12.
REVOREDO, K.; Hamazaki, G.; BARROS, M.. Participação em banca de Vitor de Lima Albuquerque Alves.Um Algoritmo para Definir o Sentido de Ônibus. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

13.
CAPPELLI, C.; BAIÃO, F.; REVOREDO, K.; TANAKA, A.. Participação em banca de Arthur Ministro Pereira Moreira.Uma Ontologia sobre Transparência. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

14.
REVOREDO, K.; SANTORO,F.; BAIÃO, F.. Participação em banca de Claudio Jesus Rosa.APLICAÇÃO DE KDD NOS DADOS DOS SISTEMAS SIM E SINASC EM BUSCA DE PADRÕES DESCRITIVOS DE ÓBITO INFANTIL NO MUNICÍPIO DO RIO DE JANEIRO. 2015. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

15.
SANTORO,F.; REVOREDO, K.. Participação em banca de Leandro Zoucas de Lima e Pedro Paulo Marques de Oliveira.Jogo da Vida: Conceitos e Aplicações. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

16.
REVOREDO, K.; BAIÃO,F.; BARROS, M.; Siqueira, S.W.M.. Participação em banca de Marcos André RosendoBarroso e Gustavo Mendonça do Rio Branc.Mining StockTec: Predição de preço de ações através de mineração de dados e análise de sentimentos.. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

17.
BAIÃO,F.; REVOREDO, K.; SANTORO,F.. Participação em banca de KAREN NUNES VALCARCEL.A UTILIZAÇÃO DE PADRÕES DE PROJETO DE ONTOLOGIAS NA MODELAGEM DE UM CENÁRIO REAL. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

18.
REVOREDO, K.; CORREA, A.; BAIÃO,F.. Participação em banca de Yuri Vitor Pourre.MibSm: Uma proposta colaborativa de robôs autônomos. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

19.
CORREA, A.; REVOREDO, K.; AZEVEDO L.. Participação em banca de ALEXANDRE DE LIMA ANTUNES.SAÚDE ONLINE: SISTEMA DE APOIO AO ATENDIMENTO DE PACIENTES. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

20.
AZEVEDO L.; LEOPOLD, H.; REVOREDO, K.; BARROS, M.. Participação em banca de Raphael Rodrigues.Um Framework Genérico para Geração de Texto em Linguagem Natural a partir de Modelos de Processo de Negócio. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

21.
Siqueira, S.W.M.; REVOREDO, K.; MONTE, L. C.. Participação em banca de Rafael Ferreira e Paulo Gabriel Castro.Dados ligados em Data Mart: Um exemplo de uma Empresa de Telefonia. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

22.
BARROS, M.; REVOREDO, K.; PIMENTEL, M.. Participação em banca de Marina Vinhaes.Sistema de Provas Online com desenvolvimento em Python com Django. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

23.
AZEVEDO L.; TEIXEIRA FILHO, H.; REVOREDO, K.; Siqueira, S.W.M.. Participação em banca de Daniel Karam Venceslau.Ferramenta para Verificação de Conformidades utilizando Ontologias e Regras Semânticas em Governança SOA. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

24.
AZEVEDO L.; REVOREDO, K.; BARROS, M.; Siqueira, S.W.M.. Participação em banca de Giulia Cavalcanti e Mariana Mendonça Curi.OWL-S Discovery 3.0: Métricas de Similaridade Baseadas em String para Descoberta de Serviços Web Semânticos. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

25.
BARROS, M.; REVOREDO, K.; AZEVEDO L.. Participação em banca de Francisco Andrade e Matheus Albernaz.GERAÇÃO DE TIMESHEETS A PARTIR DE INFORMAÇÕES DE MICROBLOGGING. 2012. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

26.
REVOREDO, K.; BAIÃO,F.; SANTORO,F.; Siqueira, S.W.M.. Participação em banca de Felipe Braga Carneiro Leão.ORION: Um Framework para Revisão de Ontologias através de Técnicas de Revisão de Teorias. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

27.
REVOREDO, K.; ARAUJO, R. M.; BAIÃO,F.. Participação em banca de Brunno Athayde Silveira e Thiago Yusuke Muramatsu.Análise do Perfil de uma Comunidade Científica através de Mineração de Texto. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

28.
RODRIGUES, S. A.; MATTOS, L. R. A.; REVOREDO, K.. Participação em banca de Átila Meseque, Luciana Souza, Marcéu Miranda.Sistema de Gerenciamento de Tarefas. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - ABEU Centro Universitário.

29.
RODRIGUES, S. A.; MATTOS, L. R. A.; REVOREDO, K.. Participação em banca de Carlos Augusto Silva, Roberta Tenório, Romoaldo Santos.A importância do VOIP na sucessão da telefonia fixa. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - ABEU Centro Universitário.

30.
RODRIGUES, S. A.; MATTOS, L. R. A.; REVOREDO, K.. Participação em banca de Anderson Fontes, Carlos Filipe, Letícia Ramos.Resolução de Problemas por Métodos de Busca em Inteligência Artificial. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - ABEU Centro Universitário.

31.
SILVA, J. C. P.; REVOREDO, K.; ZAVERUCHA, G.. Participação em banca de Ana Luisa de Cerqueira Leite Duboc.Agentes Inteligentes no Mundo do Wumpus. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade Federal do Rio de Janeiro.

32.
REVOREDO, K.; Revoredo, T.; MATTOS, L. R. A.. Participação em banca de Liliane Reis.Determinação da área afetada pelo ruído gerado pela movimentação de aeronaves em aeroportos. 2005. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - ABEU Centro Universitário.

33.
REVOREDO, K.; Revoredo, T.; MATTOS, L. R. A.. Participação em banca de Giane da SIlva Castilho.Previsão de Carga Elétrica utilizando Rede Neural. 2005. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - ABEU Centro Universitário.



Participação em bancas de comissões julgadoras
Concurso público
1.
GREGORIO,R.; MEDEIROS, J.A.C.C.; ZIMBRÃO, G.; REVOREDO, K.. CONCURSO PUBLICO PARA PROFESSOR ADJUNTO. 2010. Universidade Federal Rural do Rio de Janeiro.

2.
BERNARDES,M.; CHAIMOWICZ, L.; REVOREDO, K.. CONCURSO PUBLICO PARA PROFESSOR ADJUNTO. 2010. Universidade Federal de Juiz de Fora.

3.
BERNARDES,M.; REVOREDO, K.; Ziviani, A.. CONCURSO PUBLICO PARA PROFESSOR ADJUNTO. 2010. Universidade Federal de Juiz de Fora.

Outras participações
1.
ANDREATTA, A.; REVOREDO, K.. PROCESSO DE SELEÇÃO DE MONITORES DO DEPARTAMENTO DE INFORMÁTICA APLICADA. 2008. Universidade Federal do Estado do Rio de Janeiro.

2.
REVOREDO, K.. Workshop de Teses e Dissertações em SIstemas de Informação. 2008. Universidade Federal do Estado do Rio de Janeiro.

3.
ANDREATTA, A.; REVOREDO, K.. PROCESSO DE SELEÇÃO DE MONITORES DO DEPARTAMENTO DE INFORMÁTICA APLICADA. 2007. Universidade Federal do Estado do Rio de Janeiro.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
15th International Conference on Business Process Management. Uncovering the Hidden Co-Evolution in the Work History of Software Projects. 2017. (Congresso).

2.
5th RISE_BPM meeting.UNIRIO Research in the context of RISE_BPM. 2017. (Encontro).

3.
14th International Conference on Business Process Management. 2016. (Congresso).

4.
2nd RISE_BPM meeting.UNIRIO Research in the context of RISE_BPM. 2016. (Encontro).

5.
3rd RISE_BPM meeting.UNIRIO Research in the context of RISE_BPM. 2016. (Encontro).

6.
Encontro Nacional em Inteligência Artificial e Computacional. Geração Automática de Regras de Identificação de Produtos em Descrições Textuais de Compras Governamentais. 2016. (Congresso).

7.
XII Simpósio Brasileiro de Sistemas de Informação. 2016. (Congresso).

8.
13th International Conference on Business Process Management. Discovering Intentions and Desires within Knowledge Intensive Processes. 2015. (Congresso).

9.
1st RISE_BPM meeting.Research Initiatives of UNIRIO Group. 2015. (Encontro).

10.
4th Brazilian Conference on Intelligent Systems. Chair do Comitê de Programa. 2015. (Congresso).

11.
Primeiro Encontro em Computação Semântica.Adaptando, Aprendendo e Integrando Modelos Semânticos. 2015. (Encontro).

12.
Seminários CAPES de Acompanhamento de Meio Termo do Sistema Nacional de Pós-Graduação.Apresentação dos dados do PPGI/UNIRIO. 2015. (Seminário).

13.
Workshop on Social and Human Aspects of Business Process Management (BPMS2 15)in conjunction with the International Conference on Businness Process Management,. Discovering Intentions and Desires within Knowledge Intensive Processes. 2015. (Congresso).

14.
8th International Conference on Formal Ontology in Information Systems. 2014. (Congresso).

15.
IBM Research Colloquium 2014 - The Future of Insights ? From Big Data to Cognitive Computing. 2014. (Simpósio).

16.
International Workshop on Context, Interpretation and Meaning. 2014. (Seminário).

17.
International Workshop on Ontology and Semantic Web Patterns. 2014. (Seminário).

18.
International Workshop on Ontology Matching.User Feedback through Clustering for Ontology Maching. 2014. (Seminário).

19.
International Workshop on Uncertainty Reasoning for the Semantic Web.Probabilistic Relational Reasoning in Semantic Robot Navigation. 2014. (Seminário).

20.
Seminário Grandes Desafios da Computação no Brasil. 2014. (Seminário).

21.
Brazilian Conference on Intelligent Systems (BRACIS),. Terminology Learning through Taxonomy Discovery & Learning Well-Founded Ontologies through Word Sense Disambiguation. 2013. (Congresso).

22.
8th Uncertainty Reasoning for the Semantic Web in 11th International Semantic Web Conference.Computing Inferences for Credal ALC Terminologies. 2012. (Seminário).

23.
8th Uncertainty Reasoning for the Semantic Web in 11th International Semantic Web Conference.An Experimental Evaluation of a Scalable Probabilistic Description Logic Approach for Semantic Link Prediction. 2012. (Seminário).

24.
Encontro Nacional em Inteligência Artificial. Link Prediction using a Probabilistic Description Logic. 2012. (Congresso).

25.
IEEE International Conference on Computer-Supported Cooperative Work in Design. 2012. (Congresso).

26.
International Workshop on Metamodels Ontologies and Semantic Technologies.Ontologia Probabilística para Auxiliar na Recuperação de Modelos Biológicos. 2012. (Seminário).

27.
International Workshop on Modeling and Reasoning for Business Intelligence (MORE-BI 2012) in 31st International Conference on Conceptual Modeling. 2012. (Congresso).

28.
Ontology Matching in 11th International Semantic Web Conference.Ontology alignment based on instances using hybrid genetic algorithm. 2012. (Seminário).

29.
7th International Workshop on Uncertainty Reasoning for the Semantic Web in 10th International Semantic Web Conference. Semantic LInk Prediction through Probabilistic Description Logic. 2011. (Congresso).

30.
Encontro Nacional de Inteligência Artificial. 2011. (Encontro).

31.
Simposio Brasileiro em Sistemas de Informação. 2011. (Simpósio).

32.
Concurso de Teses e Dissertações em Ciência da Computação. Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados. 2010. (Congresso).

33.
Concurso de Teses e Dissertações em Inteligência Artificial.Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados. 2010. (Outra).

34.
International Joint Conference IBERAMIA / SBIA. Learning Terminologies in Probabilistic Description Logics. 2010. (Congresso).

35.
Encontro Nacional em Inteligência Artificial.Revisando Redes Bayesianas através da Introdução de Variáveis Não-observadas. 2009. (Encontro).

36.
II Seminário de Pesquisa em Ontologia no Brasil. 2009. (Seminário).

37.
Simposio Brasileiro de Sistemas de Informação. 2008. (Simpósio).

38.
Encontro Nacional de Inteligência Artificial. Combinando Invenção de Predicados e Revisão de Teorias Probabilisticas de Primeira-ordem. 2007. (Congresso).

39.
Black Forest Workshop.Predicate invention as a revision operator for probabilistic FOL theories. 2006. (Simpósio).

40.
Congresso Brasileiro em Redes Neurais. 2005. (Congresso).

41.
International Conference in Inducrive Logic Programming. 15th International Conference on Inductive Logic Programming. 2005. (Congresso).

42.
XVII Brazilian Symposium on Artificial Intelligence - SBIA2004. Search-based Class Discretization for Hidden Markov Model for Regression. 2004. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
REVOREDO, K.; SANTORO,F. . The Tenth International and Interdisciplinary Conference on Modeling and Using Context. 2017. (Congresso).

2.
REVOREDO, K.; SANTORO,F. . 3rd RISE_BPM Meeting. 2017. (Outro).

3.
SANTORO,F. ; CAPPELLI, C. ; BAIÃO, F. ; REVOREDO, K. . 14th International Conference on Business Process Management.. 2016. (Congresso).

4.
REVOREDO, K.; PAPPA, G. . 4th Brazilian Conference on Intelligent Systems. 2015. (Congresso).

5.
REVOREDO, K.; BERNARDES, J. ; SARDINHA, R. ; BAIÃO,F. . Local Organizing Committee do 23rd International Conference on Inductive Logic Programming. 2013. (Congresso).

6.
REVOREDO, K.; CAMARGO, H. A. ; COSTA, A. C. R. . Concurso de Teses e Dissertações em Inteligência Artificial. 2012. (Concurso).

7.
REVOREDO, K.; BARROS, L. N. . Workshop de teses e dissertações em inteligência artificial. 2010. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Fabio Luiz Dauht Moraes. Uma arquitetura para consulta a repositórios distribuídos com apoio de Ontologia bem fundamentada. Início: 2017. Dissertação (Mestrado profissional em Informática) - Universidade Federal do Estado do Rio de Janeiro. (Orientador).

2.
Natasha Machado. Uma abordagem para avaliação da qualidade do feedback o usuário em um alinhamento de ontologias iterativo. Início: 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro. (Orientador).

3.
Pedro Otávio Mello. Melhoria de processos de negocio através de modelos probabilísticos. Início: 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro. (Orientador).

Tese de doutorado
1.
Fabio dos Santos. Alinhamento de Redes de Ontologias. Início: 2017. Tese (Doutorado em Informática) - Universidade Federal do Estado do Rio de Janeiro. (Orientador).

2.
Jomar da Silva. Alinhamento de Ontologias através de active learning. Início: 2017. Tese (Doutorado em Informática) - Universidade Federal do Estado do Rio de Janeiro. (Orientador).

3.
Valdemar Confort. Business Process Prediction through Contextual Knowledge. Início: 2016. Tese (Doutorado em Informática) - Universidade Federal do Estado do Rio de Janeiro. (Orientador).

4.
Wander Vasconcellos. Ontology Alignment Repair through Theory Revision. Início: 2016. Tese (Doutorado em Informática) - Universidade Federal do Estado do Rio de Janeiro. (Orientador).

5.
Miriam de Oliveira dos Santos. Refinamento de Alinhamento de Ontologias para o apoio a tomada de decisão durante a execução de processos de negócio. Início: 2015. Tese (Doutorado em Informática) - Universidade Federal do Estado do Rio de Janeiro. (Orientador).

Iniciação científica
1.
Marcos José Moura Pinho Junior. Context-aware process prediction. Início: 2018. Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
Yuri Farias Arruda. Avaliando os algoritmos de mineração de processos. Início: 2017. Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Eduardo Paiva. Integração de dados para apoiar a extração de informação no portal da transparência. 2017. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Orientador: Kate Cerqueira Revoredo.

2.
Jomar da Silva. Interactive Ontology Alignment: An Approach Based on the Interactive Modification of the Set of Candidate Correspondences. 2017. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Kate Cerqueira Revoredo.

3.
Alexandre de Oliveira Paixão. UTILIZANDO CONTEÚDO SOCIAL PARA O ENRIQUECIMENTO SEMÂNTICO DE DIRETÓRIOS DE DESCOBERTA E ESCOLHA DE PLATAFORMAS NA ECONOMIA COMPARTILHADA. 2017. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Kate Cerqueira Revoredo.

4.
Tiago Outerelo da Silva. ONTODW: UMA ABORDAGEM PARA A EXTRAÇÃO DE CONCEITUALIZAÇÕES A PARTIR DE DATA WAREHOUSES. 2016. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Kate Cerqueira Revoredo.

5.
Raphael de Almeida Rodrigues. BPM Text Model: Automatic Synchronization of BPM Description Artifacts. 2016. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Kate Cerqueira Revoredo.

6.
Vinicios Lopes. Alinhamento Interativo de Ontologias: Uma Abordagem Baseada em Query-by-Committee. 2015. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Orientador: Kate Cerqueira Revoredo.

7.
Mateus Ferreira Silva. Utilização de Proveniência de Dados em Larga Escala para Planejamento de Experimentos Científicos. 2015. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Kate Cerqueira Revoredo.

8.
Felipe Leão. EXPANDING THE SEMANTIC KNOWLEDGE OF WORDNET THROUGH SEMANTIC TYPES AND UFO. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Kate Cerqueira Revoredo.

9.
Raphael Melo. On the Learning of Multiple Concepts in Description Logic. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Kate Cerqueira Revoredo.

10.
Wander Vasconcellos. Pattern-Based Ontology Revision. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Orientador: Kate Cerqueira Revoredo.

11.
Marcius Almada. Predição Semântica de Unlinks em Redes Evolutivas utilizando Lógica de Descrição Probabilística. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Orientador: Kate Cerqueira Revoredo.

12.
Anselmo Vicente Silva Guedes. Identificação e Representação de Antipadrões de Correspondência em Ontologias. 2014. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Kate Cerqueira Revoredo.

13.
Alex Alves. ATHENAS: Uma Avaliação Experimental da Combinação de Métricas de Similaridade para o Alinhamento de Ontologias através de Mineração de Dados.. 2013. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Orientador: Kate Cerqueira Revoredo.

14.
Juliana Carvalho. Aprendizado de Contexto para Adaptação de Processos de Negócio. 2013. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Kate Cerqueira Revoredo.

15.
Natalia Padilha. Ontologias de fundamentação apoiando o alinhamento de ontologias de domínio. 2013. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Kate Cerqueira Revoredo.

16.
Marcos Affonso. Predição do Valor Econômico de uma Oportunidade Exploratória de Petróleo através de Mineração de Dados. 2012. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Kate Cerqueira Revoredo.

17.
Talita Mattos. Gestão de Conhecimento e Contexto. 2012. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Kate Cerqueira Revoredo.

18.
Fabio Eduardo Gabriel Santos. Avaliação Cognitiva com um Jogo Computacional Utilizando Técnicas Inteligentes. 2011. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Coorientador: Kate Cerqueira Revoredo.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Charles Soares Pimentel. MECATRÔNICA EDUCACIONAL COM ARDUÍNO APOIANDO O APRENDIZADO DE CONCEITOS DE MATEMÁTICA ATRAVÉS DA METODOLOGIA DA APRENDIZAGEM BASEADA EM PROBLEMAS.. 2015. Monografia. (Aperfeiçoamento/Especialização em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

Trabalho de conclusão de curso de graduação
1.
Gabriel Morais Teixeira & Bruno Ferreira Brum. ITeligence: Sistema de apoio a análise de intenções.. 2018. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

2.
Igor Balteiro Pereira de Campos. Análise do discurso de ódio direcionado à comunidade LGBT em canais de notícia no Facebook. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

3.
Lucas Alves Moreira de Souza. Aplicação de Aprendizado de Máquina para Predição de Prioridade em Gestão de Incidentes. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

4.
Fernando Cardoso Durier da Silva. Context-Aware Process Mining: Using External Contextual Web Scraped Data to Enrich the Event Log. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

5.
Eduardo Moreira Leite. Descoberta Automática de Palavras-chave Para Classificação de Textos.. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

6.
Lucas Swinerd & Davi Alves. Geração de uma Base de Dados Aberta para Apoio a Análise dos Registros de Voos das Autoridades Operados pela Força Aérea Brasileira. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

7.
Carolina Tozzi. Análise de Sentimento dos Jogos Olímpicos Rio 2016. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

8.
Claudio Jesus Rosa. APLICAÇÃO DE KDD NOS DADOS DOS SISTEMAS SIM E SINASC EM BUSCA DE PADRÕES DESCRITIVOS DE ÓBITO INFANTIL NO MUNICÍPIO DO RIO DE JANEIRO. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

9.
Marcos André RosendoBarroso e Gustavo Mendonça do Rio Branc. Mining StockTec: Predição de preço de ações através de mineração de dados e análise de sentimentos. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

10.
Yuri Vitor Pourre. MibSim: Uma proposta colaborativa de robôs autônomos. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

11.
Giulia Cavalcanti e Mariana Mendonça Curi.. OWL-S Discovery 3.0: Métricas de Similaridade Baseadas em String para Descoberta de Serviços Web Semânticos. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

12.
Brunno Silveira e Thiago Yasuke. Análise do perfil de uma comunidade científica através de mineração de texto. 2011. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

13.
Felipe Leão. ORION ? Um Framework para Revisão de Ontologias Através de Técnicas de Revisão de Teorias. 2011. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

14.
Giane da Silva Castilho. Previsão de Carga Elétrica utilizando Rede Neural. 2005. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - ABEU Centro Universitário. Orientador: Kate Cerqueira Revoredo.

15.
Liliane Reis. Determinação da área afetada pelo ruído gerado pela movimentação de aeronaves nos aeroportos. 2005. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - ABEU Centro Universitário. Orientador: Kate Cerqueira Revoredo.

Iniciação científica
1.
Gabriel Nogueira. Descoberta de modelos de processos probabilísticos com uso de ontologias. 2017. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kate Cerqueira Revoredo.

2.
Bernardo Cirne Severo. Descoberta de modelos de processos probabilísticos com uso de ontologias. 2016. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kate Cerqueira Revoredo.

3.
Matheus Oliveira. Modelagem e adaptação de processos de negócios baseada em uma ontologia de contexto. 2016. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kate Cerqueira Revoredo.

4.
Rodrigo dos Santos Oliveira. Transformação automática de modelos de processos. 2015. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kate Cerqueira Revoredo.

5.
Rodrigo Marques. Alinhamento de Ontologias com utilização do usuário. 2015. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

6.
Fernando Cardoso Durrier. Levantamento e representação de informações relevantes ao processo. 2015. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kate Cerqueira Revoredo.

7.
Antonio França da Guia. Analise da Complexidade de Algoritmos de Refinamento de Ontologias. 2014. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kate Cerqueira Revoredo.

8.
Danielle Gilaberte de Almeida. Refinamento de Ontologias através de ILP. 2012. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Kate Cerqueira Revoredo.

9.
Jefferson Ferrão. Métricas de Similaridade para a Composição Automática de Serviços. 2012. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kate Cerqueira Revoredo.

10.
Tiago de Araujo Neves. Busca Semântica aplicado a composição automática de serviços web. 2011. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kate Cerqueira Revoredo.

11.
FELIPE BRAGA CARNEIRO LEÃO. Aprendizado de Lógica de Descrição Probabilística. 2010. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Kate Cerqueira Revoredo.

12.
Ana Luisa de Cerqueira Leite Duboc. Busca Automática de Discretização de Classes para Hidden Markov Model for Regression. 2004. Iniciação Científica. (Graduando em Bacharelado em Informática) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kate Cerqueira Revoredo.

Orientações de outra natureza
1.
Diego Felipe S.P. dos Santos. Monitoria da disciplina Introdução a Lógica Computacional. 2008. Orientação de outra natureza. (Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

2.
Diego Alexandre Aranha Duarte. Monitoria da disciplina Introdução a Lógica Computacional. 2007. Orientação de outra natureza. (Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.



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



Programa de Computador sem registro de patente
1.
SILVEIRA, B. ; Muramatsu, T. ; REVOREDO, K. ; ARAUJO, R. M. . E3Suite. 2012.


Entrevistas, mesas redondas, programas e comentários na mídia
1.
REVOREDO, K.; PIMENTEL, C. . Sistemas de Informação Inteligentes. 2016. (Programa de rádio ou TV/Entrevista).



Outras informações relevantes


1) APROVAÇÃO NO CONCURSO PÚBLICO DE PROVAS E TITULOS PARA A CARREIRA DE MAGISTÉRIO SUPERIOR NA CLASSE DE PROFESSOR ADJUNTO I. Universidade: UFRJ Departamento de Ensino:Ciências da Computação. Aréa de Conhecimento: Teoria da Computação. 

2) APROVAÇÃO NO CONCURSO PÚBLICO DE PROVAS E TITULOS PARA A CARREIRA DE MAGISTÉRIO SUPERIOR NA CLASSE DE PROFESSOR ADJUNTO I. Universidade: UNIRIO Departamento de Ensino: Informática Aplicada. Aréa de Conhecimento: Algoritmos (ênfase em Lógica).
3) APROVAÇÃO NO CONCURSO PÚBLICO DE PROVAS E TITULOS PARA A CARREIRA DE MAGISTÉRIO SUPERIOR NA CLASSE DE PROFESSOR ASSISTENTE I. Universidade: UFF Departamento de Ensino: Engenharia de Produção. Aréa de Conhecimento: Simulação.
4) APROVAÇÃO PROCESSO SELETIVO PROFESSOR SUBSTITUTO. Universidade: UNIRIO Departamento de Ensino: Informática Aplicada. Aréa de Conhecimento: Algoritmo/Introdução à Lógica Computacional.
5) PARTICIPAÇÃO NA XXVI Jornada de Iniciação CIentifica,Aritistica e Cultural da UFRJ com o trabalho entitulado "Algoritmo de Busca Automática de Discretização de Classes para Hidden Markov Models" Autores: Ana Luisa de Cerqueira Leite Duboc Orientadores: Gerson Zaverucha e Kate Cerqueira Revoredo
6) PARTICIPAÇÃO NA XVIII Jornada de Iniciação CIentifica/ VIII Jornada de Iniciação Aritistica e Cultural com o trabalho entitulado "Euler: Grafos e Topologia" Autores: Ellen Pereira, Fernanda Luna, Giuliana Leal, Jose Castro Kate Revoredo Marcelo Benjamin, Margareth Varela, Sandro Cespes, Gustavo Soares Orientador: Angela Rocha dos Santos



Página gerada pelo Sistema Currículo Lattes em 16/12/2018 às 23:28:28