Ines de Castro Dutra

Possui graduação em Ciencia da Computação pela Universidade do Estado do Rio de Janeiro (1985), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1988), doutorado em Ciência da Computação, obtido na Universidade de Bristol, Inglaterra (1995). Nos períodos de 2001 a 2002 e 2004 a 2005 foi pesquisadora visitante no Departamento de Bio-estatística e Informática Médica da Universidade de Wisconsin-Madison, EUA. Foi docente na COPPE/Sistemas, Universidade Federal do Rio de Janeiro, de 1998 a 2007. Atualmente é professora auxiliar no Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, Portugal. Tem experiência nas áreas de Inteligência Artificial e Sistemas de Computação com ênfase em programação logica e programação paralela e distribuida. Atua principalmente nos seguintes temas: computação em grade, paralelização de sistemas de programação logica, programação lógica com restrições, programação logica indutiva e escalonamento de tarefas.

Informações coletadas do Lattes em 01/01/2026

Acadêmico

Formação acadêmica

Doutorado

1990 - 1995

Bristol University
Título: Distributing And-work and Or-work in Parallel Logic Programming Systems
Orientador: David Hugh Diggory Warren
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Logic Programming, Scheduling, Paralellism.Grande área: Ciências Exatas e da Terra

Mestrado em Engenharia de Sistemas e Computação

1986 - 1988

Universidade Federal do Rio de Janeiro
Título: Uma maquina virtual prolog, Ano de Obtenção: 1988
Claudio Luis Amorim.Palavras-chave: maquinas abstratas; programacao logica.Grande área: Ciências Exatas e da Terra

Graduação em Ciencia da Computacao

1982 - 1985

Universidade do Estado do Rio de Janeiro

Pós-doutorado

2004 - 2005

Pós-Doutorado. , University of Wisconsin - Madison, WISC, Estados Unidos.

2001 - 2002

Pós-Doutorado. , University of Wisconsin-Madison, WISC, Estados Unidos. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra

Idiomas

Inglês

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

Espanhol

Compreende Razoavelmente, Lê Razoavelmente.

Francês

, Lê Razoavelmente.

Áreas de atuação

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligencia Artificial/Especialidade: sistemas de programacao logica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligencia Artificial/Especialidade: Programacao Logica Indutiva.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Sistemas Paralelos.

Organização de eventos

DUTRA, I. C. . Encontro Nacional de Inteligencia Artificial. 2007. (Congresso).

Participação em eventos

Encontro Nacional de Inteligencia Artificial.Encontro acional de Inteligencia Artificial. 2007. (Encontro).

International Confernece on Logic Programming. Membro do Comite de Programa. 2007. (Congresso).

III Workshop de Sistemas Operacionais.III Workshop de Sistemas Operacionais. 2006. (Simpósio).

IV Workshop em Computacao em Grids e Aplicacoes.IV Workshop de Aplicacoes em Grids e Aplicacoes. 2006. (Simpósio).

1st Doctoral Symposium of the Intl Conf on Logic Programming.1st Doctoral Symposium of the Intl Conf on Logic Programming. 2005. (Simpósio).

Colloquium on Implementation of Constraints and Logic Programming Systems.Colloquium on Implementation of Constraints and Logic Programming Systems. 2005. (Simpósio).

Workshop on Computational Methods in Biology.Workshop on Computational Methods in Biology. 2005. (Simpósio).

I Workshop em Sistemas Operacionais.I Workshop em Sistemas Operacionais. 2004. (Simpósio).

Colloquium on Implementation of Constraint and Logic Programming Systems. Colloquium on Implementation of Constraint and Logic Programming Systems. 2003. (Congresso).

III Brazilian Symposium of Mathematical and Computational Biology. III Brazilian Symposium of Mathematical and Computational Biology. 2003. (Congresso).

Practical Aspects of Declarative Languages. Practical Aspects of Declarative Languages. 2003. (Congresso).

Workshop on Constraint Logic Programming Systems. Workshop on Constraint Logic Programming Systems. 2003. (Congresso).

Workshop on Parallel and Distributed computing for Machine Learning. Workshop on Parallel and Distributed computing for Machine Learning. 2003. (Congresso).

Participação em bancas

Aluno: Luis Roberto Medeiros Lopes

DUTRA, I. C.. MAPKAT: A Logical Framework for Multi-Agent Planning. 2006. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Leslie Silva

DUTRA, I. C.. Modelo Matemático-Computacional da Gênese da Rede Idiotípica do Sistema Imunológico. 2006. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Rafael Mendes da Silva

AMORIM, C. L.;DUTRA, I. C.; LOQUES FILHO, O. G.. Tecnicas para Execucao Eficiente de Aplicacoes Multithread em um cluster de computadores. 2005. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Aloísio Carlos de Pina

ZAVERUCHA, G.; LEON, C. A. P.;DUTRA, I. C.. SUNRise: um algoritmo eficiente para aprendizado baseado em instancias. 2003. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Thobias Salazar Trevisan

AMORIM, C. L.;COSTA, V. S.; SOUZA, A. F.;DUTRA, I. C.. Um Mecanismo Modular e Eficiente para Compartilhamento de Memoria em Clusters. 2003. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Luciana Itida Ferrari

SILVA, J. C. P.; VASCONCELOS, A. T. R.;DUTRA, I. C.; SUAREZ, D. G. F.. Aplicação de Algoritmos de Aprendizado de Máquina Para Reconhecimento de Caixas SOS no Genoma da E. coli.. 2003. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Marcel Costa Almeida

DUTRA, I. C.. Uma Arquitetura Multi-Agente para Linhas de Transmissao de Energia Eletrica. 1999. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Ana Paula Centeno

DUTRA, I. C.. Penelope -- Um Modelo de Escalonador Hierárquico para Sistemas que exploram o Paralelismo OU em Programas em Lógica. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Huei Diana Lee

DUTRA, I. C.. Seleção de atributos importantes para a extração de conhecimento de bases de dados. 2005. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Carla Osthoff Ferreira de Barros

DUTRA, I. C.. Proposta e Avaliação de Mecanismos de Software de Memória Compartilhada Distribuída para E/S Paralela. 2000. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Enrique Vinicio Carrera Erazo

DUTRA, I. C.. Explorando Redes Óticas como Memorias Cache. 1999. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Luerbio Faria

DUTRA, I. C.. Alguns Resultados em Invariantes de n\~ao planaridade em Grafos: Uma Abordagem Estrutural e de Complexidade. 1998. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Pedro Porfirio Farias

DUTRA, I. C.. Prova de Teoremas utilizando Simplificacao por Eliminacao de Literais. 1998. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Jorge L

DUTRA, I. C.. V. Barbosa. HoloParadigma. 2001. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Leandro, Marcos e Eduardo

DUTRA, I. C.. Game Prolog. 2006. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro.

Aluno: Bruno Nicolau Nunes

SILVA, J. C. P.; LIMA, P. M. V.;DUTRA, I. C.. Um interpretador Prolog. 2006. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro.

Aluno: José Augusto Gomes de Araújo

BENEVIDES, M. F.;DUTRA, I. C.COSTA, V. S.. PLCPP - Uma linguagem de programação lógica. 2005. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro.

Aluno: Adriano Brito

SILVA, J. C. P.;DUTRA, I. C.; VELOSO, S. M.. Implementacao do mundo do Wumpus. 2003. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro.

Aluno: Thiago Guimarães

BENEVIDES, M. F.;DUTRA, I. C.; SANTOS, V. L. P.. Gerador de provas inteligente. 2003. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro.

Aluno: Mauricio Cescato, Aloisio De Pina e Joao Carlos Rodrigues

DUTRA, I. C.. Quaesitor: um meta-engine para pesquisa rápida e significativa na web. 2001. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro.

Aluno: Enio Romano Marins e Andre Langkjer

DUTRA, I. C.. Redes Neurais Artificiais: Avaliacao e Implementacao do Modelo de Hopfield. 1999 - Universidade do Estado do Rio de Janeiro.

Aluno: Luis Henrique Villaca e Mario Freire

DUTRA, I. C.. Administracao de Redes Heterogeneas. 1999. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro.

DUTRA, I. C.. Concurso Publico para Professor Adjunto na UERJ. 2004. Universidade do Estado do Rio de Janeiro.

Orientou

Juliana Santos

Aprendizado Relacional Estatístico aplicado a diagnóstico de câncer de pulmão; Início: 2008; Dissertação (Mestrado em Mestrado em Informática Médica) - Faculdade de Ciências da Universidade do Porto; (Orientador);

Ana Sarabando

Redes bayesianas dinâmicas para o diagnóstico de alguns tipos de câncer; Início: 2008; Dissertação (Mestrado em Mestrado em Informática Médica) - Faculdade de Ciências da Universidade do Porto; (Orientador);

Odair José Tavares

Estratégias de escalonamento para o Middleware gLite; Início: 2008; Dissertação (Mestrado em Mestrado em Ciência de Computadores) - Faculdade de Ciências da Universidade do Porto; (Orientador);

Gustavo Martins

Mineração de dados aplicada a problemas de dor crônica; Início: 2008; Dissertação (Mestrado em Mestrado em Ciência de Computadores) - Faculdade de Ciências da Universidade do Porto; (Orientador);

Laci Mary Barbosa Manhães

Aprendizado multi-classe em programacao logica indutiva; Início: 2006; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro; (Orientador);

Alberto Arkader Kopiler

Agentes Inteligentes com Aplicacoes em Sistemas de Potencia; Início: 2005; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro; (Orientador);

Luciana Itida Ferrari

Algoritmos de Mineracao de Dados para extracao de informacao de repertorio de anticorpos; Início: 2004; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro; (Orientador);

Adriano Caminha

Algoritmos eficientes para mineracao de dados biologicos; Início: 2003; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro; (Orientador);

Eduardo Pereira Gaspar de Oliveira

Um Estudo dos Protocolos de Coerencia para Sistemas Logicos Paralelos; 2005; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Coorientador: Ines de Castro Dutra;

Joao Victor Pap de Almeida

Integracao de SGBDs em ambientes de grid; 2005; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Coorientador: Ines de Castro Dutra;

André Oliveira

Estratégias de escalonamento para aplicaões MPI em ambientes de grid; 2005; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Coorientador: Ines de Castro Dutra;

Sergio Brauna da Silva

UM ESTUDO DO IMPACTO DE INFORMAÇÃO DE GRANULOSIDADE EM ESTRATÉGIAS DE ESCALONA MENTO PARA SISTEMAS PROLOG QUE EXPLORAM PARALELISMO-OU; 2004; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Ines de Castro Dutra;

José Afonso Lajas Sanches

Uma Ferramenta para Gerenciamento Automatico de Tarefas em Ambientes de Grid; 2004; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Ines de Castro Dutra;

Tatiana Cavalcanti Fernandes

MIGRAÇÃO DE UM SISTEMA DE LARGA ESCALA ESCRITO PARA MEMÓRIA COMPARTILHADA PARA AMBIENTE DE MEMÓRIA-COMPARTILHADA DISTRIBUÍDA; 2004; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ines de Castro Dutra;

Bernardo Fortunato da Costa

Escalonamento de Tarefas em Ambientes de Grid; 2004; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Ines de Castro Dutra;

Viviane Almeida Morelli

Implementacao e Analise de tecnicas de ensemble em Programacao Logica Indutiva; 2003; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Ines de Castro Dutra;

Marluce Rodrigues

Algoritmos de Arc-Consistency em Maquinascom Memoria Compartilhado-Distribuida; 2001; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ines de Castro Dutra;

Jose Carlos Cabrera Zuniga

Sistema Inteligente e Automatico para sistemas de TV a cabo; 2001; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ines de Castro Dutra;

Adriana Marino Carrusca

Analise de Politicas de Escalonamento para Sistemas Prolog que exploram Paralelismo OU; 2000; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Ines de Castro Dutra;

Vanusa Menditi Calegario

Analise de Desempenho de Sistemas de Programacao Logica; 1999; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ines de Castro Dutra;

Marcio Goncalves Silva

Impacto de Parametros Arquiteturais em Sistemas Paralelos de Programacao Logica; 1999; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ines de Castro Dutra;

Patrícia Kayser Vargas Mangan

GRAND: Um modelo de gerenciamento hierarquico para aplicacoes em ambientes de computacao em grade; 2006; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Ines de Castro Dutra;

Marluce Rodrigues Pereira

Particionamento Automatico de Restricoes; 2006; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Ines de Castro Dutra;

Rogerio Salvini

Algoritmos eficientes para descoberta de conhecimento; 2003; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Ines de Castro Dutra;

José Avelino Placca

Resolução de Conflitos em Sistemas Multi-Agentes; 2000; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Ines de Castro Dutra;

Aloisio Pina, Mauricio Cescato e Joao Carlos Rodrigues

Quaesitor: um meta-engine para pesquisa rápida e significativa na web; 2001; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro; Orientador: Ines de Castro Dutra;

Andre de Souza Langkjer e Enio Romano Marins

Estudo de Redes Neuronais na Implementacao de Memorias Associativas; 2000; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade do Estado do Rio de Janeiro; Orientador: Ines de Castro Dutra;

Luis Henrique Neves Villaca e Mario Jorge de Sousa Freire

SysManager; 1999; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro; Orientador: Ines de Castro Dutra;

Vinicius Dalto do Nascimento

Computacao em Grade; 2004; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ines de Castro Dutra;

Fabricio Couto Inácio

Síntese de Cláusulas em FPGAs; 1999; Iniciação Científica; (Graduando em Engenharia Eletrica) - Universidade Federal do Rio de Janeiro; Orientador: Ines de Castro Dutra;

Produções bibliográficas

RODRIGUES, ANDRÉ ; SILVA, CARLA ; BORGES, PAULO ; SILVA, SÉRGIO ; DUTRA, INÊS . Optimising the calculation of statistical functions. International Journal of Big Data Intelligence , v. 4, p. 123-139, 2017.
MARTÍNEZ-ANGELES, CARLOS ALBERTO ; WU, HAICHENG ; DUTRA, INÊS ; COSTA, VÍTOR SANTOS ; BUENABAD-CHÁVEZ, JORGE . Relational Learning with GPUs: Accelerating Rule Coverage. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING , v. 44, p. 663-685, 2016.
SANTOS COSTA, VÍTOR ; DUTRA, INÊS ; ROCHA, RICARDO . Threads and or-parallelism unified. Theory and Practice of Logic Programming (Online) , v. 10, p. 417-432, 2010.
VARGAS, P. K. ; DUTRA, I. C. ; NASCIMENTO, V. D. ; SILVA, L. C. ; SANTOS, L. A. S. ; GEYER, C. F. R. ; SCHULZE, B. . GRAND: Toward Scalabilty in Grid Environments. Concurrency and Computation. Practice & Experience , 2006.
CASTRO, M. C. S. ; PEREIRA, M. R. ; DUTRA, I. C. . Parallelisation of Arc-consistency Algorithms in a Centralised Memory Machine. Cadernos do IME. Série Informática , v. 13, p. 89-95, 2002.
MARTINS, E. R. ; WEDEMANN, R. S. ; LANGKJER, A. S. ; DUTRA, I. C. . Estudo e Aplicacao de Redes Neuronais na Implementacao de Memorias Associativas. Cadernos do IME. Série Informática , v. 13, p. 84-88, 2002.
COSTA, V. S. ; BIANCHINI, R. ; DUTRA, I. C. . Parallel Logic Programming Systems on Scalable Architectures. Journal of Parallel and Distributed Computing , v. 60, n.7, p. 835-852, 2000.
CORREA, R. (Org.) ; DUTRA, I. C. (Org.) ; FIALLOS, M. (Org.) ; GOMES, F. (Org.) . Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications. 1. ed. Kluwer Academic Publishers, 2002. 340p .
DUTRA, I. C. ; COSTA, V. S. (Org.) ; GUPTA, G. (Org.) ; PONTELLI, E. (Org.) ; CARRO, M. (Org.) ; KACSUK, P. (Org.) . PARALLELISM AND IMPLEMENTATION TECHNOLOGY FOR (CONSTRAINT) LOGIC PROGRAMMING. Elsevier, 2000.
DUTRA, I. C. ; CARRO, M. (Org.) ; COSTA, V. S. (Org.) ; GUPTA, G. (Org.) ; PONTELLI, E. (Org.) ; SILVA, F. A. (Org.) . Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science Publishers, 1999.
DAVIS, J. ; PAGE, D. ; BURNSIDE, E. ; DUTRA, I. C. ; RAMAKRISHNAN, R. ; SHAVLIK, J. ; COSTA, V. S. . Learning a new View of a Database: with an Application in Mammography. In: Lise Getoor and Ben Taskar. (Org.). Statistical Relational Learning. : MIT Press, 2007, v. , p. -.
MOONEY, R. J. ; MELVILLE, P. ; TANG, L. R. ; SHAVLIK, J. ; DUTRA, I. C. ; PAGE, D. ; COSTA, V. S. . Relational Data Mining with Inductive Logic Programming for Link Discovery. In: H. Kargupta & A. Joshi. (Org.). Data Mining: Next Generation Challenges and Future Directions. : AAAI/MIT Press, 2003, v. , p. -.
GEYER, C. F. R. ; VARGAS, P. K. ; DUTRA, I. C. . Parallelism in Logic Programming and Scheduling Issues. In: R. Correa, I. C. Dutra, M. Fiallos, F. Gomes. (Org.). Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications. 1ed.: Kluwer Academic Publishers, 2002, v. 1, p. 207-231.
FONSECA, N. ; COSTA, V. S. ; DUTRA, I. C. . VisAll: A New Tool to Visualise Parallel Execution of Logic Programs. In: I. C. Dutra; M. Carro; V. S. Costa; G. Gupta; E. Pontelli; F. Silva. (Org.). PARALLELISM AND IMPLEMENTATION OF LOGIC AND CONSTRAINT LOGIC PROGRAMMING. Commack, New York: Nova Science Publishers, Inc, 1999, v. , p. 1-20.
COSTA, B. F. ; DUTRA, I. C. ; MATTOSO, M. L. Q. . RL-based Scheduling Strategies in Actual Grid Environments. In: International Symposium on Advances in Parallel and Distributed Computing Techniques (APDCT-08), organized with ISPA08, 2008, Sydney. Proceedings do ISPA 2008. IEEE Computer Society, 2008.
PLACCA, J. A. ; DUTRA, I. C. ; BICHARRA, A. C. . Tricoord+: a Model for Conflict Resolution in Multiagent Systems. In: International Conference on Engineering Optimization (EngOpt 2008), 2008, Rio de Janeiro. Proceedings of the EngOpt 2008, 2008.
Kopiler, A. A. ; DUTRA, I. C. ; FRANCA, F. M. G. . Personal Autonomic Desktop Manager with a Circulatory Computing Approach. In: 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2008), 2008, Belfast. Proceedings of the 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2008), 2008. p. 119-127.
COSTA, B. F. ; DUTRA, I. C. ; MATTOSO, M. L. Q. . Aprendizado por Reforço aplicado a escalonamento em Grids. In: Workshop em Sistemas de Computação de Alto Desempenho (WSCAD), 2008, Campo Grande. Anais do Workshop em Sistemas de Computação de Alto Desempenho, 2008.
DUTRA, I. C. ; E. Silva ; M. Diniz ; A. Porto ; D. Carvalho ; P. Rausch ; F. Fernández-Nodarse ; D. López ; M. Fernández ; CRUZ, J. ; L. Enriquez ; A. Acero ; E. Montes ; J. A. Rubio-Montero . e-Learning Applications in the EELA Project. In: German e-Science Conference, 2007, Baden-Baden. German e-Science Conference 2007, 2007.
DUTRA, I. C. . Building a Network in Latin America: e-Infrastructure and Applications. In: Spanish Conference on e-Science Grid Computing 2007, 2007, Madri. Anais da Spanish Conference on e-Science Grid Computing 2007, 2007.
J. Casado ; R. Barbera ; D. Carvalho ; C. Cherubino ; L. N. Ciuffo ; DUTRA, I. C. ; P. Gavillet ; G. Lucet ; B. Marechal ; R. Mayo . Spain in the EELA Project. In: Spanish Conference on e-Science Grid Computing 2007, 2007, Madri. Anais da Spanish Conference on e-Science Grid Computing 2007, 2007.
PEREIRA, M. R. ; VARGAS, P. K. ; CASTRO, M. C. S. ; FRANCA, F. M. G. ; DUTRA, I. C. . Automatic Constraint Partitioning to Speedup CLP Execution. In: 19th International Symposium on Computer Architecture and High Performance Computing, 2007, Gramado. 19th International Symposium on Computer Architecture and High Performance Computing, 2007.
DUTRA, I. C. . Parallel Inductive Logic Programming in the EELA infrastructure. In: 1st EELA Conference, 2007, Catania. Proceedings of the 1st EELA Conference, 2007.
SALVINI, R. ; AGUILAR, E. ; DUTRA, I. C. . Skimmed Classifiers. In: Work in Progress Section of ILP'2007, 2007, Corvallis, Oregon. Work in Progress Section of ILP'2007, 2007.
R. Abarca ; C. Baeza ; M. Carrillo ; J. Casado ; A. Cofino ; DUTRA, I. C. ; F. Echeverría ; J. M. Gutierrez ; R. Miguel ; R. Mayo . Climate Applications in the EELA project. In: Congreso Nacional del Medio Ambiente, 2006, Madri. Anais do Congreso Nacional del Medio Ambiente, 2006.
VARGAS, P. K. ; SANTOS, L. A. S. ; GEYER, C. F. R. ; DUTRA, I. C. . An Implementation of the GRAND Hierarchical Application Management Model using the ISAM/EXEHDA system. In: III Workshop on Computational Grid and Applications, 2005, Petropolis. Proceedings of the III Workshop on Computational Grid and Applications, 2005.
SANCHES, J. A. L. ; VARGAS, P. K. ; DUTRA, I. C. ; COSTA, V. S. ; GEYER, C. F. R. . ReGS: user-level Reliability in a Grid Environment,. In: IEEE International Symposium on Cluster Computing and the Grid, 2005, Cardiff. Proceedings of the IEEE International Symposium on Cluster Computing and the Grid, 2005. v. 2. p. 718-725.
DAVIS, J. ; DUTRA, I. C. ; PAGE, D. ; COSTA, V. S. . Establishing Identity Equivalence in Multi-Relational Domains. In: International Conference on Intelligence Analysis, 2005, McLean. Proceedings of the First International Conference on Intelligence Analysis, 2005.
DAVIS, J. ; PAGE, D. ; DUTRA, I. C. ; RAMAKRISHNAN, R. ; COSTA, V. S. ; SHAVLIK, J. . View Learning for Statistical Relarional Learning: with an Application to Mammography. In: International Joint Conference on Artificial Intelligence, 2005, Edinburgh. Proceedings of the IJCAI 2005, 2005.
BURNSIDE, E. ; DAVIS, J. ; COSTA, V. S. ; DUTRA, I. C. ; KAHN, C. E. ; FINE, J. ; PAGE, D. . Knowledge Discovery from Structured Mammography Reports using Inductive Logic Programming. In: American Medical Informatics Association Annual Symposium, 2005, Washington. Proceedings of the AMIA Annual Symposium, 2005.
DAVIS, J. ; DUTRA, I. C. ; PAGE, D. ; COSTA, V. S. . An Integrated Approach to Learning Bayesian Networks of Rules. In: European Conference on Machine Learning, 2005, Porto. Proceedings of the European Conference on Machine Learning, Lecture Notes in Artificial Intelligence (LNAI), 2005. v. 3720.
VARGAS, P. K. ; DUTRA, I. C. ; NASCIMENTO, V. D. ; SANTOS, L. A. S. ; SILVA, L. C. ; GEYER, C. F. R. ; SCHULZE, B. . Hierarchical Submission on a Grid Environment. In: 3rd Workshop on Middleware for Grid Computing, 2005, Grenoble. Proceedings of the 3rd Workshop on Middleware for Grid Computing, 2005.
SALVINI, R. ; DUTRA, I. C. ; MORELLI, V. A. . Simple and Effective Classifiers to Model Biological Data. In: II International Symposium on Mathematical and Computational Biology, 2005, Petropolis. Anais do II International Symposium on Mathematical and Computational Biology. Singapore: Worls Scientific Publishing, 2005. p. 379-394.
NASCIMENTO, V. D. ; VARGAS, P. K. ; DUTRA, I. C. . Distribuição da Submissão de Tarefas em um Ambiente de Grade. In: Jornada de Iniciação Científica UFRJ, 2005, Rio de Janeiro. Jornada de Iniciação Científica UFRJ, 2005.
DAVIS, J. ; COSTA, V. S. ; ONG, I. M. ; PAGE, D. ; DUTRA, I. C. . Using Bayesian Classifiers to Combine Rules. In: 3rd Workshop on Multi-Relational Data Mining, 2004, Seattle, USA. Proceedings of the 3rd Worskhop on Multi-Relational Data Mining, 2004.
OLIVEIRA, E. P. G. ; RAMOS, F. ; CASTRO, M. C. S. ; DUTRA, I. C. . Analysis of Hybrid Coherence Protocols for Parallel Logic Programming Systems. In: 16th IASTED Intl Conf on Parallel and Distributed Computing and Systems, 2004, Cambridge, MA. 14th IASTED Intl Conf. on Parallel and Distributed Computing and Systems. Calgary: IASTED, 2004.
VARGAS, P. K. ; DUTRA, I. C. ; GEYER, C. F. R. . Application Partitioning and Hierarchical Management in Grid Environments. In: 1st International Middleware Doctoral Symposium, 2004, Toronto. Proceedings of the 1st Middleware Doctoral Symposium, 2004. p. 314-318.
PLACCA, J. A. ; DUTRA, I. C. ; BICHARRA, A. C. . Um Modelo de Resolucao de Conflitos em Sistemas MultiAgentes aplicado ao Projeto de uma Plataforma Offshore de Petroleo. In: 20o. Congresso Nacional de Transportes Maritimos, Construcao Naval e Offshore, 2004, Rio de Janeiro. Anais do 20o. Congresso Nacional de Transportes Maritimos, Construcao Naval e Offshore, 2004.
DUTRA, I. C. ; PAGE, D. ; COSTA, V. S. ; SHAVLIK, J. ; WADDELL, M. . Toward Automatic Management of Embarrassingly Parallel Applications. In: Europar 2003, 2003, Klagenfurt. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2003. v. 2790.
PEREIRA, M. R. ; VARGAS, P. K. ; FRANCA, F. M. G. ; CASTRO, M. C. S. ; DUTRA, I. C. . Applying Scheduling by Edge Reversal to Constraint Partitioning. In: The 15th Symposium on Computer The 15th Symposium on Computer Architecture and High Performance Computing, 2003, Sao Paulo. Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing, 2003.
GEYER, C. F. R. ; YAMIN, A. C. ; SILVA, L. C. ; DUTRA, I. C. ; PETEK, M. ; ADAMATI, D. F. ; AUGUSTIN, I. ; BARBOSA, J. L. V. . Regional Center and Grid Development in Brazil. In: LAFEX International School on High Energy Physics (LISHEP 2002), 2002, Rio de Janeiro. Proceedings of the International School on High Energy Physics, 2002.
DUTRA, I. C. ; PAGE, D. ; COSTA, V. S. ; SHAVLIK, J. . An Empirical Evaluation of Bagging in Inductive Logic Programming. In: International Conference on Inductive Logic Programming, 2002, Sidney. Lecture Notes in Computer Science.
MOONEY, R. J. ; MELVILLE, P. ; TANG, L. R. ; SHAVLIK, J. ; DUTRA, I. C. ; PAGE, D. ; COSTA, V. S. . Relational Data Mining with Inductive Logic Programming for Link Discovery. In: National Science Foundation Workshop on Next Generation Data Mining, 2002, Baltimore. Proceedings of the National Science Foundation Workshop on Next Generation Data Mining, 2002.
CANOLA, S. T. ; COSTA, V. S. ; DUTRA, I. C. . O Problema do Alinhamento da Unidade de Coerência em Sistemas de Memória Compartilhada Distribuída com Coerência baseada em Página. In: Workcomp, Workshop em Computacao, 2002, Sao Jose dos Campos. Anais do Workshop em Computacao 2002, 2002.
DUTRA, I. C. ; PEREIRA, M. R. ; CASTRO, M. C. S. . Parallelisation of a Finite Domain Constraint Solver. In: Workshop on Distributed Systems and Parallelism, 2002, Chile. Proceedings of the Workshop on Distributed Systems and Parallelism, 2002.
DUTRA, I. C. ; PEREIRA, M. R. ; CASTRO, M. C. S. . Arc-Consistency Algorithms on a software DSM platform. In: Colloquium on Implementation of Constraint Logic Programming Systems, 2001. Proceedings of the CICLOPS. Las Cruces: New Mexico State University, 2001. v. 1. p. 117-131.
DUTRA, I. C. ; CARRUSCA, A. M. . Or-Parallel Scheduling Strategies Revisited. In: XIII Simposio Brasileiro de Arquitetura de Computadores, 2000, Sao Pedro. Anais do XIII Simposio Brasileiro de Arquitetura de Computadores, 2000. p. 1-8.
BARBOSA, J. L. V. ; VARGAS, P. K. ; GEYER, C. F. R. ; DUTRA, I. C. . GRANLOG: An Integrated Granularity Analysis Model for Parallel Logic Programming. In: Worskhop on Parallelism and Implementation of (Constraint) Logic Programming Languages, 2000, Londres. Proceedings of the Workshop on Parallelism and Implementation of (Constraint) Logic Programming Languages, 2000. p. 74-88.
DUTRA, I. C. ; COSTA, V. S. ; BIANCHINI, R. . The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems. In: First International Conference on Computational Logic, 2000, Londres. Lecture Notes in Artificial Intelligence 1861. Londres: Springer-Verlag, 2000. v. 1. p. 1285-1299.
CALEGARIO, V. M. ; DUTRA, I. C. . Performance Evaluation of Or-Parallel Logic Programming Systems on Distributed Shared memory Architectures. In: Europar'99, 1999, Toulouse. Proceedings of the Europar'99, 1999. v. 1685. p. 1484-1491.
DUTRA, I. C. ; BARBOSA, J. L. V. ; COSTA, V. S. ; GEYER, C. F. R. . Using Compile-Time Granularity Information to Support Dynamic Work Distribution in Parallel Logic Programming Systems. In: Simposio Brasileiro de Arquitetura de Computadores, 1999, Natal. Anais do SBAC-PAD'99, 1999.
SILVA, M. G. ; DUTRA, I. C. ; COSTA, V. S. ; BIANCHINI, R. . The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. In: Intl Conference on Practical Aspects of Declarative Programming, 1999, San Antonio, Texas. Proceedings of the Intl Conf. on Practical Aspects of Declarative Programming, 1999. v. 1551. p. 122-136.
INACIO, F. C. ; FRANCA, F. M. G. ; DUTRA, I. C. . Síntese de Cláusulas em FPGAs. In: Jornada de Iniciação Científica UFRJ, 1999, Rio de Janeiro. Jornada de Iniciação Científica UFRJ, 1999.
FONSECA, N. ; DUTRA, I. C. ; COSTA, V. S. . VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs. In: Joint Intl Conference and Symposium on Logic Programming, 1998, Manchester. Proceedings of the Joint Intl Conf. and Symp. on Logic Programming, 1998. p. 100-114.
DUTRA, I. C. ; COSTA, V. S. . Evaluating The Impact Of Coherence Protocols On Parallel Logic Programming Systems. In: Euromicro 97, 1997. Proceedings of the Workshop on Parallel and Distributed Processing, Euromicro. p. 376-381.
DUTRA, I. C. ; COSTA, V. S. ; Parallel Logic Programming Systems On Scalable Multiprocessors. In: International Conference on Parallel Symbolic Computation, 1997. Proceedings of the International Conference on Parallel Symbolic Computation. Maui, Hawaii, USA. p. 58-67.
DUTRA, I. C. . Distributing And-Work And Or-Work In Parallel Logic Programming Systems. In: Hawaii International Conference on Systems and Sciences, 1996. Proceedings of the Hawaii International Conference on Systems and Sciences (HICSS 30). p. 646-655.
DUTRA, I. C. . Performance Analysis Of A Strategy To Distribute And-Work And Or-Work In Parallel Logic Programming Systems. In: Simposio Brasileiro de Arquitetura de Computadores (SBAC-PAD 95), 1995. Anais do Simposio Brasileiro de Arquitetura de Computadores. Canela, RS. p. 449-463.
DUTRA, I. C. . Strategies For Scheduling And- And Or-Work In Parallel Logic Programming Systems. In: 1994 International Logic Programming Symposium, 1994. Proceedings of the International Logic Programming Symposium, 1994. Ithaca, USA. p. 289-304.
ONG, I. M. ; COSTA, V. S. ; DUTRA, I. C. ; PAGE, D. . Mode Directed Path Finding. In: European Conference on Machine Learning, 2005, Porto. Proceedings of the European Conference on Machine Learning, Lecture Notes in Artificial Intelligence (LNAI), 2005. v. 3720. p. 673-681.
ONG, I. M. ; PAGE, D. ; DUTRA, I. C. ; COSTA, V. S. . Hyperpaths: Extending PathFinding to Moded Languages. In: 4th Workshop on Multi-Relational Data Mining, 2005, Chicago. Anais do 4th Workshop on Multi-Relational Data Mining, 2005. v. 1. p. 57-58.
DAVIS, J. ; BURNSIDE, E. ; PAGE, D. ; DUTRA, I. C. ; COSTA, V. S. . Learning Bayesian Networks of Rules with SAYU. In: 4th Workshop on Multi-Relational Data Mining, 2005, Chicago. Anais do 4th Workshop on Multi-Relational Data Mining, 2005. v. 1. p. 13-15.
VARGAS, P. K. ; DUTRA, I. C. ; GEYER, C. F. R. . Gerenciamento Hierárquico de Aplicações em Ambientes de Computação em Grade. In: Escola Regional de Alto Desempenho (ERAD 2004), 2004, Pelotas. Anais da Escola Regional de Alto Desempenho, 2004, 2004. p. 177-178.
DUTRA, I. C. . Tamagoshi: Plataforma para Avaliacao de Escalonamento de Tarefas em Programacao em Logica Paralela. In: SBAC-PAD, 1998, Buzios. Anais do Simposio Brasileiro de Computacao, 1998. p. 65-68.

Outras produções

DUTRA, I. C. ; MORELLI, V. A. . Using Ensembles of Clauses to Quickly Obtain Simpler and Effective Classifiers. 2004.

PEREIRA, M. R. ; VARGAS, P. K. ; FRANCA, F. M. G. ; CASTRO, M. C. S. ; DUTRA, I. C. . Applyng Scheduling by Edge Reversal to Constraint Partitioning. 2003.

VARGAS, P. K. ; DUTRA, I. C. ; GEYER, C. F. R. . Hierarchical Resource Management and Application Control in Grid Environments. 2003.

PEREIRA, M. R. ; DUTRA, I. C. ; CASTRO, M. C. S. . Paralellisation of Arc-Consistency Algorithms. 2002.

SILVA, M. G. ; DUTRA, I. C. ; BIANCHINI, R. ; COSTA, V. S. . The Influence of Parallel Computer Architectural Parameters on Parallel Logic Programming Systems. 1998.

CALEGARIO, V. M. ; DUTRA, I. C. . Performance Comparison between Conventional and Logic Programming Systems. 1998.

CALEGARIO, V. M. ; DUTRA, I. C. . Parallel Conventional Systems versus Parallel Logic Programming Systems on Distributed Shared Memory Architectures. 1998.

BIANCHINI, R. ; COSTA, V. S. ; DUTRA, I. C. . Evaluating the Impact of Coherence Protocols on Parallel Logic Programming Systems. 1996.

COSTA, V. S. ; BIANCHINI, R. ; DUTRA, I. C. . Analysing the Caching Behaviour of Parallel Logic Programming Systems. 1996.

DUTRA, I. C. ; BIANCHINI, R. ; AMORIM, C. L. ; LIMA, P. M. V. ; EIZIRIK, L. M. R. . Implementação de um Compilador Prolog. 1988.

BIANCHINI, R. ; DUTRA, I. C. ; LIMA, P. M. V. ; EIZIRIK, L. M. R. ; AMORIM, C. L. . Em Direcao a uma Estacao Prolog - Implementacao e Desempenho da Maquina Virtual. 1988.

DUTRA, I. C. ; BIANCHINI, R. ; LIMA, P. M. V. ; EIZIRIK, L. M. R. ; AMORIM, C. L. . Em Direção a uma Estação Prolog - Tradução de Programas. 1988.

Projetos de pesquisa

2008 - 2011

EELA-2: E-science grid facility for Europe and Latin America, Descrição: EELA-2 aims at building a high capacity, production-quality, scalable Grid Facility, providing round-the-clock, worldwide access to distributed computing, storage and network resources needed by the wide spectrum of Applications from European - Latin American Scientific Collaborations, with special focus on: Offering a complete set of versatile services fulfilling Applications requirements; Ensuring the long-term sustainability of the e-Infrastructure beyond the term of the project.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Ines de Castro Dutra - Integrante / Bernard Marechal - Coordenador., Financiador(es): Comissão Européia - Auxílio financeiro.

Prêmios

2005

Best technical paper, International Conference on Intelligence Analysis.

2003

Best application paper on High Performance Systems, NEC / SBAC-PAD 2003.

2001

Bolsa de Pos-Doutorado, CNPq.

1998

Bolsa PQ, CNPq.

1997

Bolsa de Pesquisador Visitante, JINCT, Portugal.

1994

Bolsa ERCIM, Comunidade Europeia.

1990

Bolsa de Doutorado, CNPq.

Histórico profissional

Endereço profissional

Faculdade de Ciências da Universidade do Porto, Departamento de Ciência de Computadores. , Rua do Campo Alegre, 1021, Campo Alegre, 4169-007 - Porto, - Portugal, Telefone: (351) 220402947, Fax: (351) 220402500, URL da Homepage:

Experiência profissional

2008 - 2011

Faculdade de Ciências da Universidade do Porto

Vínculo: Outro (especifique), Enquadramento Funcional: membro da equipe, membro do corpo editorial, Carga horária: 2

2007 - Atual

Universidade Federal do Rio de Janeiro

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

1998 - 2007

Universidade Federal do Rio de Janeiro

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

1985 - 1998

Universidade Federal do Rio de Janeiro

Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Atividades

07/2005
Direção e administração, Reitoria, Decanato do Centro de Tecnologia da Universidade Federal do Rio de Janeiro.,Cargo ou função, vice-coordenador de Programa.
01/1997
Ensino, Ciencia da Computacao, Nível: Graduação,Disciplinas ministradas, Inteligencia Artificial, Logica em Programacao
01/1995
Ensino, Engenharia de Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Topicos Especiais em Computacao de Alto Desempenho, Programacao Concorrente, Sistemas Operacionais, Topicos Especiais em Inteligencia Artificial, Topicos Especiais em Processamento Paralelo
12/1986
Pesquisa e desenvolvimento.,Linhas de pesquisa
12/1985 - 06/1994
Pesquisa e desenvolvimento, Núcleo de Tecnologia Educacional para a Saúde.