Rede de Colaboração
Diretório de grupos de pesquisa
SciELO - artigos em texto completo

Antonio Carlos da Rocha Costa

Possui graduação em Engenharia Elétrica opção Eletrônica pela Universidade Federal do Rio Grande do Sul (1977), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1980), especialização em Metodologia do Ensino Superior pela Universidade Federal do Rio Grande do Sul (1981) e doutorado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1993). Atualmente é professor adjunto da Universidade Federal do Rio Grande (FURG) e professor orientador colaborador da Universidade Federal do Rio Grande do Sul, atuando junto ao Programa de Pós-Graduação em Computação e Programa de Pós-Graduação em Informática na Educação dessa universidade. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos temas: Fundamentos da Inteligência Artificial, Teoria da Computação Interativa, Sistemas Multiagentes e Simulação Social.
(Texto informado pelo autor)

Última atualização do currículo em 25/12/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/5601943285331545
Dados pessoais
NomeAntonio Carlos da Rocha Costa
Nome em citações bibliográficasCOSTA, A. C. R.
SexoMasculino
Endereço profissionalUniversidade Federal do Rio Grande, Centro de Ciências Computacionais.
Av. Itália km 8
Carreiros
96201-900 - Rio Grande, RS - Brasil - Caixa-Postal: 474
Telefone: (53) 32935069 Fax: (53) 32935105
URL da Homepage: http://rocha.c3.furg.br

Formação acadêmica/Titulação
1988 - 1993Doutorado em Computação .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Inteligência de Máquina: esboço de uma abordagem construtivista, Ano de Obtenção: 1993.
Orientador: José Mauro Volkmer de Castilho e Dalcidio Moraes Claudio.
Palavras-chave: Fundamentos da Inteligencia Artificial; Informatica Teorica; Inteligencia Artificial; Inteligencia Artificial Construtivista.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Setores de atividade: Informática.
1978 - 1980Mestrado em Computação .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Microprogramação e Projeto de Sistemas de Computação: Pré-projeto de um Núcleo de Sistema Operacional Multiprogramado., Ano de Obtenção: 1980.
Orientador: Simão Sirineo Toscani.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Microprogramacao; Migracao Vertical de Funcoes; Sistemas Operacionais.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
Setores de atividade: Informática.
1982 - 1982Especialização em Metodologia do Ensino Superior .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
1971 - 1977Graduação em Engenharia Elétrica opção Eletrônica .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Atuação profissional
Universidade Federal do Rio Grande, FURG, Brasil.
Vínculo institucional
2010 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Prof. Adjunto - Centro de Ciências Computac., Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Nomeado em 03 de Março de 2010. Em processo de admissão.
Vínculo institucional
2009 - Atual Vínculo: Docente Permanente do PPGMC, Enquadramento Funcional: Docente Permanente do PPGMC, Carga horária: 30
Outras informações Docente Permanente do Programa de Pós-Graduação em Modelagem Computacional.
Atividades
09/2009 - AtualPesquisa e desenvolvimento , Programa de Pós-Graduação em Modelagem Computacional, .
Linhas de pesquisa
Sistemas Robóticos e Autônomos
09/2009 - AtualEnsino, Modelagem Computacional, Nível: Pós-Graduação.
Disciplinas ministradas
Simulação Social
2011 - 2013Atividades de Participação em Projeto, Centro de Ciências Computacionais, .
Projetos de pesquisa
MSPP: Modelagem e Simulação de Políticas Públicas
2010 - 2013Atividades de Participação em Projeto, Centro de Ciências Computacionais, .
Projetos de pesquisa
RS-SOC: Rede Estadual de Simulação Social
Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional
1994 - 2011 Vínculo: Bolsa de Produtividade, Enquadramento Funcional: Pesquisador 2, Carga horária: 20
Atividades
03/1994 - AtualPesquisa e desenvolvimento .
Linhas de pesquisa
Inteligência Artificial (como pesquisador financiado pelo CNPq)
Informática Teórica (como pesquisador financiado pelo CNPq)
Informática na Educação (como pesquisador financiado pelo CNPq)
03/1994 - AtualAtividades de Participação em Projeto, Diretoria de Unidades de Pesquisa, .
Projetos de pesquisa
Inteligência Artificial Construtivista (Bolsa de Produtividade - CNPq)
Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul, FAPERGS, Brasil.
Vínculo institucional
2002 - 2004 Vínculo: Membro do Comitê M.E.C., Enquadramento Funcional: Assessor Científico, Carga horária: 0
Outras informações Membro do Comitê de Matemática, Estatística e Computação.
Atividades
8/2003 - 7/2004Conselhos, Comissões e Consultoria, Comitê de Matemática Estatística e Computação, .
Cargo ou função
Coordenador do Comitê de Matemática, Estatística e Computação/FAPERGS.
Sociedade Brasileira de Computação, SBC, Brasil.
Vínculo institucional
2007 - 2008 Vínculo: Fórum Coord. de Pósgraduação, Enquadramento Funcional: Coordenador Geral do POSCOMP 2008
Vínculo institucional
2005 - 2008 Vínculo: Fórum de Coord. Pósgraduação, Enquadramento Funcional: Membro do Fórum de Coord. de Pósgraduação
Vínculo institucional
2002 - 2004 Vínculo: Membro da CEIE/SBC, Enquadramento Funcional: Editor da RBIE/SBC, Carga horária: 5
Vínculo institucional
1997 - 2004 Vínculo: Membro da CEIE/SBC, Enquadramento Funcional: Membro do Conselho Editorial da RBIE/SBC, Carga horária: 1
Vínculo institucional
1984 - 1986 Vínculo: Membro da CEIA/SBC, Enquadramento Funcional: Coordenador da CEIA/SBC
Atividades
5/2002 - 11/2004Conselhos, Comissões e Consultoria, Conselho Editorial da Revista Brasileira de Informática na Educação, .
Cargo ou função
Editor da RBIE/SBC.
Conselho Municipal de Ciência e Tecnologia Prefeitura Municipal de Pelotas, CMTC, Brasil.
Vínculo institucional
2004 - 2007 Vínculo: Voluntário, Enquadramento Funcional: Conselheiro
Atividades
3/2004 - 12/2006Conselhos, Comissões e Consultoria, .
Cargo ou função
Membro do Conselho Municipal de Ciência e Tecnologia.
Université Joseph Fourrier, UJF, França.
Vínculo institucional
2009 - 2009 Vínculo: Professor, Enquadramento Funcional: Professor Visitante, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Professor visitante junto ao Groupe MAGMA, coordenado pelo Dr. Yves Demazeau, desenvolvendo as seguintes atividades: pesquisa sobre o tema da dinâmica das organizações de SMA (sistemas multiagentes); pesquisa sobre o tema da noção de expectativa em rotinas de organizações de SMA; revisão de texto de tese de doutoramento desenvolvida no grupo sob a orientação do Dr. Demazeau.
The University of Texas at El Paso, UTEP, Estados Unidos.
Vínculo institucional
2000 - 2000 Vínculo: Pesquisador visitante, Enquadramento Funcional: Pesquisador visitante, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Visita técnica ao Dr. Vladik Kreinovich, no Department of Computer Science da University of Texas at El Paso, realizando pesquisas sobre fundamentos e aplicações da Matemática Intervalar e da Computação Flexível.
Universidade Católica de Pelotas, UCPEL, Brasil.
Vínculo institucional
1998 - 2010 Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 40
Vínculo institucional
2005 - 2008 Vínculo: Celetista formal, Enquadramento Funcional: Coordenador do PPGINF/UCPel, Carga horária: 40
Atividades
3/2006 - AtualEnsino, Mestrado Em Ciência da Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Sistemas Multiagentes
Laboratório de Sistemas de Inteligência Artificial
Fundamentos da Inteligência Artificial Contemporânea
Lógica para Inteligência Artificial
Teoria da Computação
03/1998 - AtualEnsino, Bacharelado Em Informática, Nível: Graduação.
Disciplinas ministradas
Programação em Lógica
Algoritmos e Programação
Inteligência Artificial
Linguagens Formais e Autômatos
Lógica para Computação
Programação Funcional
Sistemas Multiagentes
Teoria da Computação
3/2000 - 12/2006Atividades de Participação em Projeto, ESCOLA DE INFORMÁTICA, .
Projetos de pesquisa
SignNet/PLN - Processamento de Línguas de Sinais
7/2003 - 12/2003Direção e administração, Reitoria, Pró-Reitoria de Pós-Graduação, Pesquisa e Extensão.
Cargo ou função
Membro da Comissão de Avaliação Institucional.
03/1998 - 12/2000Direção e administração, ESCOLA DE INFORMÁTICA, .
Cargo ou função
Coordenador do Curso de Mestrado Remoto em Ciência da Computação (Convênio UFRGS/UCPel).
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
Vínculo institucional
1996 - 1998 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
08/1996 - 02/1998Ensino, Bacharelado Em Informática, Nível: Graduação.
Disciplinas ministradas
Linguagens Formais e Autômatos
Sistemas Operacionais
Lógica para Computação
Teoria da Computação
08/1996 - 02/1998Ensino, Ciência da Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Informática na Educação
IA Distribuída
Lógica para Computação
Inteligência Artificial
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional
1996 - Atual Vínculo: Colaborador, Enquadramento Funcional: Professor orientador colaborador, Carga horária: 3
Outras informações Professor orientador colaborador do Curso de Pós-graduação em Ciência da Computação (CPGCC/UFRGS) e ao Curso de Doutorado em Informática na Educação (PGIE/UFRGS), orientando dissertações de mestrado e teses de doutoramento.
Vínculo institucional
1980 - 1996 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
03/1995 - 12/2005Ensino, Informática na Educação, Nível: Pós-Graduação.
Disciplinas ministradas
Inteligência Artificial Construtivista
Valores de Troca em Ambientes Colaborativos
03/1980 - 12/2005Ensino, Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Sistemas Multiagentes
Fundamentos Teórico-conceituais da Computação
Inteligência Artificial
Linguagens Formais e Autômatos
Lógica para Computação
Teoria da Computação
01/1980 - 7/1996Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.
Linhas de pesquisa
Arquitetura de Computadores e Sistemas Operacionais (como pesquisador financiado pela UFRGS, de 1980 a 1993)
Inteligência Artificial (como pesquisador financiado pela UFRGS, de 1983 a 1993)
01/1980 - 07/1996Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Lógica para Computação
Linguagens Formais e Autômatos
Inteligência Artificial
Sistemas Operacionais
Arquitetura de Computadores
Teoria da Computação
3/1995 - 3/1996Conselhos, Comissões e Consultoria, Instituto de Informática, Departamento de Informática Teórica.
Cargo ou função
Membro de comissão permanente.
Universidade Federal de Pelotas, UFPEL, Brasil.
Vínculo institucional
1999 - 2000 Vínculo: Colaborador, Enquadramento Funcional: Membro Externo da CIAG, Carga horária: 1
Atividades
11/1999 - 10/2000Conselhos, Comissões e Consultoria, Reitoria, Comissão Permanente de Pessoal Docente.
Cargo ou função
Consulto Externo da CIAG (Comiss. Instit. de Atribuição da GED).

Linhas de Pesquisa
1. Arquitetura de Computadores e Sistemas Operacionais (como pesquisador financiado pela UFRGS, de 1980 a 1993)
Objetivos: Investigar os modelos conceituais de caráter funcional e operacional, subjacentes às arquiteturas do computador de von Neumann e dos sistemas operacionais que as gerenciam..
Palavras-chave: Arquitetura de Computadores; Sistemas Operacionais.
2. Inteligência Artificial (como pesquisador financiado pela UFRGS, de 1983 a 1993)
3. Inteligência Artificial (como pesquisador financiado pelo CNPq)
Objetivos: Pesquisa de triplo âmbito: no âmbito epistemológico, investigação dos fundamentos conceituais da Inteligência Artificial; no âmbito teórico-formal, investigação dos modelos lógico-matemáticos do conceito de desenvolvimento de máquina e de computação interativa; no âmbito prático-aplicado, investigação dos princípios de utilização dos ambientes colaborativos..
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
Palavras-chave: Epistemologia da Inteligência Artificial; Sistemas Multiagentes; Inteligencia Artificial Construtivista; Lógica e Matemática da Computação; Ambientes Cooperativos.
4. Informática Teórica (como pesquisador financiado pelo CNPq)
Objetivos: Linha de pesquisa subordinada à linha de pesquisa de Inteligência Artificial, inserida no âmbito da pesquisa básica, visa investigar os modelos lógico-matemáticos capazes de representar os princípios da noção de desenvolvimento de máquina e da computação interativa..
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
Palavras-chave: Teoria da Computação Interativa; Máquina desenvolvimental.
5. Informática na Educação (como pesquisador financiado pelo CNPq)
Objetivos: Linha de pesquisa subordinada à linha de pesquisa em Inteligência Artificial, inserida no âmbito da pesquisa prática-aplicada, visa investigar o potencial das tecnologias de sistemas de agentes e de ambientes colaborativos no apoio a atividades de ensino presenciais e a distância..
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
Setores de atividade: Educação.
Palavras-chave: Ambientes Cooperativos; Sistemas Multiagentes.
6. Sistemas Robóticos e Autônomos

Projetos de Pesquisa
2011 - 2013MSPP: Modelagem e Simulação de Políticas Públicas
Descrição: Este projeto visa consolidar uma metodologia de aplicação de modelos e técnicas de simulação social baseada em agentes à simulação de políticas públicas. O projeto toma como estudo de caso a simulação de políticas públicas para a gestão social de ecossistemas urbanos. Em relação aos aspectos políticos e sócio-ambientais, a metodologia de modelagem e simulação que se pretende consolidar tem dois fundamentos principais: (i) o referencial teórico específico sobre políticas públicas para a gestão de ecossistemas urbanos elaborado por Esteban de Manuel; e (ii) o modelo conceitual de política pública proposto por Charles O. Jones. Em relação aos aspectos computacionais, propriamente ditos, a metodo\-logia de modelagem e simulação de políticas públicas que se pretende consolidar tem três fundamentos principais: (i) o modelo PopOrg de organização de sociedades de agentes; e (ii) a plataforma Jason-Moise-Cartago para implementação de sistemas multiagentes normativos. O projeto pretende alcançar uma formalização da noção de política pública que seja compatível com o modelo formal PopOrg e que possa ter uma implementação computacional adequada na plataforma JaCaMo (Jason-Moise-Cartago). Com base em tal modelo formal, o projeto pretende estabelecer uma metodologia, baseada em agentes, para modelagem e simulação de políticas públicas. .
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 2) .
Integrantes: Graçaliz Pereira Dimuro - Integrante / Antonio Carlos da Rocha Costa - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 3.
2010 - 2013RS-SOC: Rede Estadual de Simulação Social
Descrição: Este projeto visa apoiar os setores público e de negócios com o desenvolvimento de ferramentas do tipo laboratório para simulação e teste de políticas e ações ligadas à área de computação social. Para se atingir este objetivo, este projeto se encontra articulado em três eixos temáticos. Tais eixos são mobilidade urbana, gerenciamento de situações de emergência, e meio ambiente. No eixo voltado ao meio ambiente, é verificado que o gerenciamento de recursos naturais requer que o governo, os cidadãos e outros atores interajam via apoio de ferramentas computacionais. Desta forma, este subprojeto objetiva simular o desenvolvimento de sistemas de suporte à gestão que permitam testar ações na direção do desenvolvimento econômico sustentável. Os desafios envolvidos são o gerenciamento de um grande número de dados e a mediação entre os atores via computador. Para isto, mecanismos de confiança (trust) estão sendo desenvolvidos em áreas como inteligência artificial, sistemas multiagentes e redes sociais. No eixo de mobilidade urbana, a questão do provimento e difusão de informação aos usuários de sistemas de transporte é central. Porém, a fim de prover informação útil e no tempo requerido são necessárias ferramentas de simulação que possam lidar com a questão de como os motoristas e demais usuários processam e reagem à informação. Esta é uma questão difícil pois envolve roteamento e alocação dinâmicas. O gestor precisa de ferramentas ligadas a sistemas inteligentes de transporte para se anteciparem e lidarem com questões ligadas ao aumento da demanda por mobilidade. Prover informação é, entretanto, apenas um dos desafios abordados neste eixo, pois ele também objetiva apoiar o governo em outros níveis e tarefas como otimização e controle de tráfego, monitoramento de veículos, etc. O eixo gerenciamento de situações de emergência objetiva a simulação de situações críticas, como desastres e movimentação de multidões, através do uso de algoritmos para a co.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 5) / Mestrado acadêmico ( 1) / Doutorado ( 1) .
Integrantes: Graçaliz Pereira Dimuro - Integrante / Ana Bazzan - Integrante / Diana Adamatti - Coordenador / Antonio Carlos da Rocha Costa - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa.Número de orientações: 2.
2003 - 2007SignNet/PLN - Processamento de Línguas de Sinais
Descrição: O Projeto visa elaborar uma abordagem ao Processamento de Línguas de Sinais aplicada à análise de frases e textos de línguas de sinais, escritos no sistema SignWriting e representados em arquivos com formato SWML (SignWriting Markup Language). São objetivos do Projeto conceber modelos básicos de bancos de dados léxicos, analisadores morfológicos e sintáticos, tradutores de textos baseados em glosas e programas de síntese de sinais a partir de textos de línguas de sinais..
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação ( 4) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 1) .
Integrantes: Graçaliz Pereira Dimuro - Integrante / Marianne Rossi Stumpf - Integrante / Diogo Souza Madeira - Integrante / Ivana Gomes da Silva - Integrante / Juliano Baldez de Freitas - Integrante / Rúbia Medianeira Denardi - Integrante / Paulo Blauth Menezes - Integrante / Renata Vieira Palazzo - Integrante / Antonio Carlos da Rocha Costa - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Universidade Federal do Rio Grande do Sul - Cooperação.
Número de produções C, T & A: 5 / Número de orientações: 1.
1994 - 2010Inteligência Artificial Construtivista (Bolsa de Produtividade - CNPq)
Descrição: Este Projeto vem sendo apoiado pelo CNPq desde 1994, inicialmente com Bolsa de Pesquisa nível 2C e, a partir de 1998, com Bolsa de Produtividade em Pesquisa nível 2B (agora nível 2, simplesmente). O presente pedido de apoio visa continuar o trabalho por mais 3 (três) anos. O Projeto como um todo é continuação e ampliação da pesquisa iniciada com minha tese de doutoramento em Ciência da Computação, no PPGC/UFRGS, intitulada Inteligência de Máquina: esboço de uma abordagem construtivista . A tese teve cunho epistemológico. Consistiu em uma revisão crítica dos fundamentos da Inteligência Artificial (IA) e da Teoria da Computação (TC). Tomou como referencial analítico a epistemologia genética e a psicologia genética de Jean Piaget. Visou estabelecer a possibilidade conceitual de uma noção de inteligência de máquina enquanto estrutura de regulação das interações funcionais da máquina com o ambiente. Ao longo do desenvolvimento do Projeto, essa investigação fundamentadora da IA vem sendo aprofundada, com resultados interessantes, procurando estabelecer de modo formal as condições organizacionais e funcionais mínimas para que se possam identificar os elementos e processos de regulação que realizam a noção de inteligência de máquina, seja em máquinas existentes, seja em máquinas que apenas se está projetando. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 30) / Mestrado acadêmico ( 20) / Doutorado ( 10) .
Integrantes: Renata Hax Sander REISER - Integrante / Graçaliz Pereira Dimuro - Integrante / Antonio Carlos da Rocha Costa - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa..

Membro de corpo editorial
1997 - 2004 Periódico: Revista Brasileira de Informática na Educação
2002 - Atual Periódico: Revista do CCEI

Revisor de periódico
2007 - 2007 Periódico: Fuzzy Sets and Systems
2007 - 2008 Periódico: Autonomous Agents and Multi-Agent Systems
2008 - 2008 Periódico: Journal of the Brazilian Computer Society
2007 - 2007 Periódico: Revista de Informática Teórica e Aplicada
2007 - Atual Periódico: Revista do CCEI
2009 - Atual Periódico: Revista Brasileira de Computação Aplicada

Á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: Teoria da Computação.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Informática na Educação.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Francês Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Italiano Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Prêmios e títulos
2010Fernanda Mendez Jeannes (or.) - Prêmio Melhor Artigo do WESAAC 2010 (2o. Lugar), Sociedade Brasileira de Computação.
2010Giovani Parente Farias (co-or.) - Prêmio Melhor Artigo do WESAAC 2010 (1o. Lugar), Sociedade Brasileira de Computação.
2008Diego Rodrigues Pereira (co-or.) - 1o. Lugar no CTDIA (Concurso de Dissertações de Mestrado em Inteligência Artificial - SBIA 2008), Sociedade Brasileira de Computação.
2007Juliana Kaiser Vizzotto (or.) - 3o. Lugar - Concurso de Teses - Congresso da SBC 2007 (Orientada de Doutorado), Sociedade Brasileira de Computação.
2006Marianne Rossi Stumpf (or.) - Menção Honrosa Tese Doutorado - Prêmio CAPES/PAPED - 2006, CAPES.
2005Raquel de Miranda Barboza (or.) - 3o. Lugar - Concurso de Dissertações de Mestrado do XVI Simpósio Brasileiro de Informática na Educação, Sociedade Brasileira de Computação.
1993Martín Hötzel Escardó (or.) - Prêmio 2º Lugar - Concurso de Dissertações - Congresso da SBC, 1993, Sociedade Brasileira de Computação.
1990Martín Hötzel Escardó (or.) - 1º Lugar - Concurso de Trabalhos de Iniciação - Congresso da SBC, 1990, Sociedade Brasileira de Computação.
1990Ana Tereza de Castro Martins (co-or.) - Prêmio 3º Lugar - Concurso de Dissertações - Congresso da SBC, 1990, Sociedade Brasileira de Computação.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. BARBOSA, R. M. ; COSTA, A. C. R. . Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs. Revista de Informática Teórica e Aplicada (Impresso), v. 17, p. 389-411, 2011.
2. Farias, G. P. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Aplicação de Agentes BDI com Percepção Fuzzy no Modelo Presa-Predador. Revista de Informática Teórica e Aplicada (Impresso), v. 7, p. 299-324, 2011.
3. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; Gonçalves, L. V. ; Pereira, D. R. . Recognizing and learning models of social exchange strategies for the regulation of social interactions in open agent societies. Journal of the Brazilian Computer Society (Impresso), v. 17, p. 1-19, 2011.
4. FRANCO, M. H. I. ; COSTA, A. C. R. ; COELHO, H. . Exchange Values and Social Power Supporting the Choice of Partners. Pueblos y Fronteras Digital, v. 6, p. art_02, 2010.
5. AMARAL, R. B. ; REISER, Renata Hax Sander ; COSTA, A. C. R. . Interpretações do Interferômetro de Mach-Zehnder no Modelo qMG. TEMA. Tendências em Matemática Aplicada e Computacional, v. 10, p. 111-124, 2009.
6. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; Gonçalves, L. V. ; Hübner, A. . Interval-Valued Hidden Markov Models for Recognizing Personality Traits in Social Exchanges in Open Multiagent Systems. TEMA. Tendências em Matemática Aplicada e Computacional, v. 9, p. 83-93, 2008.
7. BERNARDI, Giliane ; COSTA, A. C. R. . Capacitação de Gestores de Universidades através da Utilização de Jogos de Empresas Baseados em Instituições Eletrônicas. Revista do CCEI, v. 12, p. 53-59, 2008.
8. VIZZOTO, Juliana Kaiser ; COSTA, A. C. R. ; Sabry, A. . Quantum Arrows in Haskell. Electronic Notes in Theoretical Computer Science, v. 210, p. 139-152, 2008.
9. BEDREGAL, Benjamín Callejas ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Hand Gesture Recognition in an Interval Fuzzy Approach. TEMA. Tendências em Matemática Aplicada e Computacional, v. 8, p. 21-31, 2007.
10. FRANCO, M. F. ; COSTA, A. C. R. . Dialogue Protocols for Argumentation about Exchange Values in Multiagent Systems. Scientia (Unisinos), v. 17, p. 36-44, 2007.
11. DUARTE, Glaucius Décio ; COSTA, A. C. R. ; CARNEIRO, M. L. F. . Diagramas MOISE+ para Organização de Cursos na UAB/CEFET-RS. RENOTE. Revista Novas Tecnologias na Educação, v. 5, p. 1-10, 2007.
12. KREINOVICH, Vladik ; KOSHEKEVA, Olga ; STARKS, Scott ; TUPELLY, Kavitha ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; VILLAVERDE, Karen . From Intervals to Domains: Towards a General Description of Validated Uncertainty, with Potential Applications to Geospatial and Meteorological Data. Journal of Computational and Applied Mathematics, v. 199, p. 411-417, 2006.
13. SANTOS, André Vinícius dos ; DIMURO, Graçaliz Pereira ; BARBOZA, Luciano Vitoria ; COSTA, A. C. R. ; REISER, Renata Hax Snder . Probabilidades Intervalares em Modelos Ocultos de Markov. TEMA. Tendências em Matemática Aplicada e Computacional, v. 7, p. 361-370, 2006.
14. BERTOLETTI-DE-MARCHI, Ana Carolina ; COSTA, A. C. R. . CV-Muzar - Um ambiente de suporte a comunidades virtuais para apoio à aprendizagem em museus. Revista Brasileira de Informática na Educação, v. 14, p. 226-236, 2006.
15. CARDOSO, Marcos Borba ; REISER, R. H. S. ; COSTA, A. C. R. . Uma Abordagem Funcional na Implementação do Algoritmo de Teleportação Quântica. TEMA. Tendências em Matemática Aplicada e Computacional, v. 7, p. 237-248, 2006.
16. MARCHI, Ana Carolina Bertoletti de ; COSTA, A. C. R. . Ampliando as Ações Educativas dos Museus por Meio da Formação de Comunidades Virtuais de Aprendizagem. Informática na Educação, v. 9, p. 84-96, 2006.
17. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; PALAZZO, Luiz Antônio Moro . System of Exchange Values as Tools for Multi-Agent Organizations. Journal of the Brazilian Computer Society, Porto Alegre, v. 11, n. 1, p. 31-50, 2005.
18. BORDINI, Rafael Heitor ; COSTA, A. C. R. ; HÜBNER, Jomi Fred ; MOREIRA, Álvaro Freitas ; OKUYAMA, Fabio Yoshimitsu ; VIEIRA, Renata . MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming. JASSS. Journal of Artificial Societies and Social Simulation, University of Surrey, UK, v. 8, n. 3, p. 1-27, 2005.
19.   COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Interactive Computation:Stepping Stone in the Pathway From Classical to Developmental Computation. Electronic Notes in Theoretical Computer Science, Amsterdam, v. 141, n. 5, p. 5-31, 2005.
20. COSTA, A. C. R. . Princípios de um Modelo Baseado em Valores de Troca para Avaliação de Situações de Cooperação. RENOTE. Revista Novas Tecnologias na Educação, CINTED-UFRGS, Porto Alegre, v. 3, n. 2, p. 1-11, 2005.
21. MARCHI, Ana Carolina Bertoletti de ; TESTA, C. D. ; COSTA, A. C. R. . Um Ambiente de Comunidade Virtual baseado em Objetos de Aprendizagem para Apoiar a Aprendizagem em Museus. RENOTE. Revista Novas Tecnologias na Educação, v. 3, p. 1-10, 2005.
22. AGUIAR, Marilton Sanchotene de ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . ICTM: An Interval Tessellation-Based Model for Reliable Topographic Segmentation. Numerical Algorithms, Dordrecht, v. 37, n. 1, p. 3-11, 2004.
23. REISER, Renata Hax Sander ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . The Interval Geometric Machine Model. Numerical Algorithms, Dordrecht, v. 37, n. 4, p. 357-366, 2004.
24. RIZZI, Claudia Brandelero ; COSTA, A. C. R. ; FRANCO, Sérgio Roberto Kieling . A cooperação presencial ou a distância em uma perspectiva piagetiana. Tecnologia Educacional, Rio de Janeiro, v. 32, n. 163/166, p. 125-135, 2004.
25. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . The Stochastic Geometric Machine Model. TEMA. Tendências em Matemática Aplicada e Computacional, São José dos Campos, v. 5, n. 2, p. 307-316, 2004.
26. MARCHI, Ana Carolina Bertoletti de ; COSTA, A. C. R. . Uma Proposta de Padrão de Metadados para Objetos de Aprendizagem de Museus de Ciências e Tecnologia. RENOTE. Revista Novas Tecnologias na Educação, v. 2, p. 1-10, 2004.
27. MORAES, Márcia Cristina ; COSTA, A. C. R. . IMP-BDI: Improvisational BDI Architecture. Revista Tecnologia da Informação, v. 4, p. 67-75, 2004.
28. SOUZA, Diego Lemos de ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; BARBOSA, R. M. . ENSINET/NAV: Uma ferramenta para estruturação de cursos baseados em objetos de aprendizagem. RENOTE. Revista Novas Tecnologias na Educação, v. 2, p. 1-9, 2004.
29. BARBOSA, R. M. ; COSTA, A. C. R. . GROA - um Gerenciador de Repositórios de Objetos de Aprendizagem. Cadernos de Informática (UFRGS), v. 4, p. 1-6, 2004.
30. COSTA, A. C. R. . Teoria Piagetiana das Trocas Sociais e sua Aplicação aos Ambientes de Ensino-aprendizagem. Informática na Educação, Porto Alegre, v. 6, n. 1, p. 1-10, 2003.
31. BERTOLETTI, Ana Carolina ; MORAES, Márcia Cristina ; MORAES, Roque ; COSTA, A. C. R. . Educar pela Pesquisa - uma abordagem para o desenvolvimento e utilização de softwares educacionais. RENOTE. Revista Novas Tecnologias na Educação, Porto Alegre, v. 1, n. 2, p. 1-10, 2003.
32. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . A Programming Language for the Interval Geometric Machine. Electronic Notes in Theoretical Computer Science, Amsterdam, v. 84, p. 1-12, 2003.
33. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . O Modelo de Máquina Geométrica Intervalar. TEMA. Tendências em Matemática Aplicada e Computacional, São Carlos, v. 4, n. 1, p. 109-118, 2003.
34. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . First Steps in the Construction of the Geometric Machine Model. TEMA. Tendências em Matemática Aplicada e Computacional, São Carlos, v. 3, n. 1, p. 183-192, 2002.
35. CAMPOS, Marcilia Andrade ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; ARAÚJO, João Francisco Fadrique ; DIAS, Aurélio Magalhães . Probabilidade Intervalar e Cadeias de Markov Intervalares no Maple. TEMA. Tendências em Matemática Aplicada e Computacional, São Carlos, v. 3, n. 2, p. 53-62, 2002.
36. MIRANDA, Raquel Mello de ; ISLABÃO, Márcia Hafelle ; SILVA, João Paulo Muller da ; BASTOS, Eduardo Nunes ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Idéias Iniciais para a Inclusão de Módulos de Monitoração e Avaliação do Sistema ENSINET. Cadernos de Informática (UFRGS), Porto Alegre, v. 2, n. 1, p. 33-38, 2002.
37. MIRANDA, Raquel Mello ; FRANCO, M. H. I. ; SILVA, João Paulo Muller da ; BASTOS, Eduardo Nunes ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Idéias iniciais para inclusão de Módulos de Monitoração e Avaliação do Sistema ENSINET. Cadernos de Informática (UFRGS), v. 2, p. 32-38, 2001.
38. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; CLAUDIO, D. M. . A Coherence space of rational intervals for a construction of IR. Reliable Computing, Dordrecht, Netherlands., v. 6, n. 2, p. 139-178, 2000.
39. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; RODRIGUES, F. P. M. . Uma Experiência de Ensino Integrado dos Fundamentos Matemáticos da Ciência da Computação. Revista Brasileira de Informática na Educação, Florianópolis, n. 7, p. 1-12, 2000.
40. BEHAR, P. A. ; COSTA, A. C. R. . Análise Lógico-Operatória do Ambiente de Desenvolvimento Cooperativo de Programação ENVY/400. Revista Brasileira de Informática na Educação, Florianópolis, SC., v. 4, p. 41-51, 1999.
41. CAMPOS, M. B. ; COSTA, A. C. R. ; Santarosa, L. M. C. . EDUSURDOS: rede como apoio à interação, construção e troca de informações sobre a Educação de Surdos. Informática na Educação, v. 1, p. 61-74, 1998.
42. WAZLAWICK, R. S. ; COSTA, A. C. R. . Non-Supervised Sensory-Motor Agents Learning. Revista de Informática Teórica e Aplicada, Porto Alegre, RS., v. 3, n. 1, p. 39-50, 1996.
43.   COSTA, A. C. R. ; CASTILHO, J. M. V. ; CLAUDIO, D. M. . Toward A Constructive Notion Of Functionality. Cybernetics and Systems, Viena, v. 26, n. 4, p. 443-480, 1995.
Livros publicados/organizados ou edições
1. DIMURO, Graçaliz Pereira (Org.) ; COSTA, A. C. R. (Org.) ; SICHMAN, J. S. (Org.) ; TEDESCO, P. (Org.) ; Adamatti, D. (Org.) ; BALSA, J. (Org.) ; Antunes, L. (Org.) . Advances in Social Simulation, Post-Proceedings of the Brazilian Workshop on Social Simulation. 1. ed. New York: IEEE, 2011. v. 1. 132 p.
2. COSTA, A. C. R. ; Vicari, R. M. ; Tonidandel, F. . Advance in Artificial Intelligence - SBIA 2010. 1. ed. Berlin: Springer, 2010. v. 1. 313 p.
3. COSTA, A. C. R. (Org.) . Proceedings of BWSS - Brazilian Workshop on Social Simulation. Porto Alegre: SBC, 2008. v. 1.
4. COSTA, A. C. R. (Org.) . Anais do WESAAC 2007 - 1o. Workshop-Escola de Sistemas de Agentes para Ambientes Colaborativos. Pelotas: UCPel, 2007. v. 1. 180 p.
5. COSTA, A. C. R. (Org.) ; Portugal, R. (Org.) . Anais do WECIQ 2006 - 1o. Workshop-Escola de Computação e Informação Quântica. Pelotas: UCPel, 2006. v. 1. 286 p.
6. STREITER, Oliver (Org.) ; VETTORI, Chiara (Org.) ; COSTA, A. C. R. (Org.) . Workshop on the Representation and Processing of Sign Languages/IV International Conference on Language Resources and Evaluation. Paris: European Language Resources Association - ELRA, 2004. v. 1. 135 p.
7. AGUIAR, Marilton Sanchotene de ; COSTA, Fábia Amorim da ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; SILVA, Rafael Krolow Santos . Modelos Matemáticos baseados em Autômatos Celulares para Geoprocessamento. 1. ed. São Carlos: Sociedade Brasileira de Matemática Aplicada e Computacional, 2004. v. 1. 57 p.
8. BARBOSA, R. M. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Estruturas Algébricas no Maple. 1. ed. Pelotas: Margens do Arroio Editora Virtual, 1999. v. 1.
Capítulos de livros publicados
1. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; Gonçalves, L. V. . On the Problem of Recognizing and Learning Observable Social Exchange Strategies in Open Societies. In: G.P. Dimuro; A.C.R. Costa; J. Sichman; P. Tedesco; D. Adamati; J. Balsa; L. Antunes.. (Org.). Advances in Social Simulation, Post-Proceedings of the Brazilian Workshop on Social Simulation. 1 ed. Los Alamitos: IEEE, 2011, v. 1, p. 66-73.
2. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . An Interactional Characterization of Social Functions. In: G.P. Dimuro; A.C.R. Costa; J. Sichman; P. Tedesco; D. Adamati; J. Balsa; L. Antunes. (Org.). Advances in Social Simulation, Post-Proceedings of the Brazilian Workshop on Social Simulation. 1 ed. Los Alamitos: IEEE, 2011, v. 1, p. 74-81.
3. Pereira, D. R. ; Gonçalves, L. V. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . An Analysis of Two Regulation Mechanisms for Personality-Based Social Exchange Processes. In: G.P. Dimuro; A.C.R. Costa; J. Sichman; P. Tedesco; D. Adamati; J. Balsa; L. Antunes. (Org.). Advances in Social Simulation, Post-Proceedings of the Brazilian Workshop on Social Simulation. 1 ed. Los Alamitos: IEEE, 2011, v. 1, p. 96-102.
4. COELHO, H. ; TRIGO, P. ; COSTA, A. C. R. . On the Operationality of Moral-Sense Decision Making. In: G.P. Dimuro; A.C.R. Costa; J. Sichman; P. Tedesco; D. Adamati; J. Balsa; L. Antunes. (Org.). Advances in Social Simulation, Post-Proceedings of the Brazilian Workshop on Social Simulation. 1 ed. Los Alamitos: IEEE, 2011, v. 1, p. 15-20.
5. FRANCO, M. H. I. ; COSTA, A. C. R. ; COELHO, H. . Simulating Argumentation about Exchange Values in Multi-agent Interactions. In: G.P. Dimuro; A.C.R. Costa; J. Sichman; P. Tedesco; D. Adamati; J. Balsa; L. Antunes. (Org.). Advances in Social Simulation, Post-Proceedings of the Brazilian Workshop on Social Simulation. 1 ed. Los Alamitos: IEEE, 2011, v. 1, p. 103-110.
6. COSTA, A. C. R. ; JEANNES, F. M. ; CAVA, U. A. . Equation-Based Models as Formal Specifications of Agent-Based Models for Social Simulation: Preliminary Issues. In: G.P. Dimuro; A.C.R. Costa; J. Sichman; P. Tedesco; D. Adamati; J. Balsa; L. Antunes. (Org.). Advances in Social Simulation, Post-Proceedings of the Brazilian Workshop on Social Simulation. 1 ed. Los Alamitos: IEEE, 2011, v. 1, p. 119-126.
7. Farias, G. P. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Agentes BDI com Percepção Fuzzy na Simulação de um Modelo Presa-Predador Fuzzy. In: D. F. Adamatti. (Org.). Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações - Artigos Selecionados das quatro primeiras edições. Rio Grande: Edigraf- Editora e Gráfica da Universidade Federal do Rio Grande, 2010, v. 1, p. 74-85.
8. Farias, G. P. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Analisando Trocas Sociais Baseadas em Personalidades Através de Cadeias de Markov Intervalares. In: D. F. Adamatti. (Org.). Analisando Trocas Sociais Baseadas em Personalidades Através de Cadeias de Markov Intervalares. Rio Grande: Edigraf- Editora e Gráfica da Universidade Federal do Rio Grande, 2010, v. 1, p. 13-23.
9. Hübner, A. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; MATTOS, V. ; HERNANDES, S. . Introdução da Dimensão Dialógica no Moise+, com Aplicação na Modelagem de Processos de Gestão em uma Universidade Comunitária. In: D.F. Adamatti. (Org.). Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações - Artigos Selecionados das quatro primeiras edições. Rio Grande: Edigraf- Editora e Gráfica da Universidade Federal do Rio Grande, 2010, v. 1, p. 138-149.
10. Gonçalves, L. V. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Uma arquitetura de Agentes BDI Híbridos para Auto-regulação de Trocas Sociais em Sistemas Multiagentes Abertos. In: D.F. Adamatti. (Org.). Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações - Artigos Selecionados das quatro primeiras edições. 73 ed. Rio Grande: Edigraf- Editora e Gráfica da Universidade Federal do Rio Grande, 2010, v. 1, p. -60.
11. BARBOSA, R. M. ; COSTA, A. C. R. ; TEDESCO, P. ; Mota, A. . Uso de CSP na Especificação Formal do Nível Micro-Organizacional de SMAs. Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações - Artigos Selecionados das quatro primeiras edições. Rio Grande: Edigraf- Editora e Gráfica da Universidade Federal do Rio Grande, 2010, v. 1, p. 86-94.
12. JEANNES, F. M. ; COSTA, A. C. R. . Modelo de Agente Econômico Cognitivo com Base no Conceito de Agentes BDI. In: D.F. Adamatti. (Org.). Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações - Artigos Selecionados das quatro primeiras edições. Rio Grande: Edigraf- Editora e Gráfica da Universidade Federal do Rio Grande, 2010, v. 1, p. 126-137.
13. Pereira, D. R. ; COSTA, A. C. R. . Teoria dos Jogos aplicada à coordenação de agentes, utilizando Teoria dos Valores de Troca. In: D.F. Adamatti. (Org.). Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações - Artigos Selecionados das quatro primeiras edições. Rio Grande: Edigraf- Editora e Gráfica da Universidade Federal do Rio Grande, 2010, v. 1, p. 150-161.
14. Hübner, A. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Extending the MOISE+ Organizational Model with the Dialogic Dimension. In: Botelho, S. S. C., Adamatti, D. and Rocha, L. A. O.. (Org.). Third Southern Conference on Computational Modeling (MCSUL), 2009 (Post-Proceedings, Revised Selected Papers). Los Alamitos: IEEE, 2010, v. 1, p. 130-135.
15. BARBOSA, R. M. ; COSTA, A. C. R. . Using CSP in the Formal Specification of the Micro-organizational level of Multiagent Systems. In: R. Trappl. (Org.). Cybernetics and Systems 2010 (Track: From Agent Theory to Agent Implementation AT2AI-7). 1 ed. Vienna: OFAI, 2010, v. 1, p. 459-464.
16.   COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . A Minimal Dynamical MAS Organization Model. In: Virginia Dignum. (Org.). Multiagent Systems - Semantics and Dynamics of Organization Models. 1 ed. Hershey: IGI Global, 2009, v. 1, p. 419-445.
17. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems. In: Sichman, J.; Noriega, P.; Padget, J.; Ossowski, S.. (Org.). Coordination, Organizations, Institutions and Norms in Multi-Agent Systems III. Revised selected papers of COIN Workshops 2007 (lecture Notes in Artificial Intelilgence). Berlin: Springer-Verlag, 2008, v. 4870, p. 139-154.
18. OKUYAMA, Fabio Yoshimitsu ; BORDINI, Rafael Heitor ; COSTA, A. C. R. . A Distributed Normative Infrastructure for Situated Multi-Agent Organisations. In: Matteo Baldoni;Tran Cao Son; M. Birna van Riemsdijk;Michael Winikoff. (Org.). Declarative Agent Languages and Technologies VI - DALT 2008 (LNCS 5397). Berlin: Springer, 2008, v. 1, p. 29-46.
19. OKUYAMA, Fabio Yoshimitsu ; BORDINI, Rafael Heitor ; COSTA, A. C. R. . Spatially Distributed Normative Infrastructure. In: Danny Weins, H. van Dyke Parunak, Fabien Michel. (Org.). Environments for Multi-Agent Systems III (LNAI 4389). 1 ed. Heidelberg: Springer, 2007, v. 4389, p. 203-220.
20. BEDREGAL, Benjamín Callejas ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Interval Fuzzy Rule-Based Hand Gesture Recognition. In: W. Luther; W. Otten. (Org.). IEEE Post-Proceedings of SCAN 2006 - Revised Selected Papers of the 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics. Los Alamitos: IEEE, 2007, v. 1, p. 1-11.
21. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; Gonçalves, L. V. ; Hübner, A. . Centralized Regulation of Social Exchanges between Personality-based Agents. In: P. Noriega; J. Vázquez-Salceda; G. Boella; O. Boissier; V. Dignum; N. Formara; E. Matson.. (Org.). Coordination, Organizations, Institutions and Norms in Multi-Agent Systems II. Revised selected papers from the COIN workshops held in AAMAS 2006 (Hakodate, Japan) and in ECAI 2006, (Riva del Garda, Italy) (LNAI 4386). Berlin: Springer, 2007, v. 4386, p. 338-354.
22. OKUYAMA, Fabio Yoshimitsu ; BORDINI, Rafael Heitor ; COSTA, A. C. R. . Spatially Distributed Normative Objects. In: Noriega, P., Vásquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E.. (Org.). Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006 Revised Selected Papers (LNAI 4386). Berlin: Springer, 2007, v. 1, p. 126-139.
23. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Quantifying Degrees of Dependence in Social Dependence Relations. In: Luis Antunes; Keiki Takayama. (Org.). The Seventh International Workshop on Multi-Agent Based Simulation (LNAI 4442). Berlin: Springer, 2007, v. 1, p. 172-187.
24. DUARTE, Glaucius Décio ; COSTA, A. C. R. ; CARNEIRO, M. L. F. . Reorganização de um Curso Técnico em Edificações com Base na Utilização de um Modelo de Agentes MOISE+EDU. In: Martín Llamas Nistal; Carlos Vaz de Carvalho; Carlos Rueda Artunduaga. (Org.). TICAI 2007 - TICs para el Aprendizaje de la Ingenieria. Universidad de Vigo: Vigo, Espanha, 2007, v. 1, p. 109-115.
25. AGUIAR, Marilton Sanchotene de ; DIMURO, Graçaliz Pereira ; COSTA, Fábia Amorim da ; SILVA, Rafael Krolow Santos ; ROSE, César de ; COSTA, A. C. R. ; KREINOVICH, Vladik . HPC-ICTM: the Interval Categorizer Tessellation-Based Model for High Performance Computing. In: Jack Dongarra; Kaj Madsen; Jerzy Wasniewsky. (Org.). Applied P arallel Computing: Revised Selected Papers of the 7th International Conference, PARA 2004, Lyngby, Denmark, June 20-23, 2004 (Lecture Notes in Computer Science). Berlim: Springer, 2006, v. 3732, p. 82-92.
26. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Interval-based Markov Decision Processes for Regulating Interactions Between Two Agents in Multi-Agent Systems. In: Jack Dongarra; Jack Madsen; Jerzy Wasniewsky. (Org.). Applied Parallel Computing: Revised Selected Papers of the 7th International Conference, PARA 2004, Lyngby, Denmark, June 20-23,2004 (Lecture Notes in Computer Science). Berlin: Springer, 2006, v. 3732, p. 102-111.
27. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . The Distributed Interval Geometric Machine Model.. In: Jack Dongarra; Kaj Madsen; Jerzy Wasniewsky. (Org.). Applied Parallel Computing: Revised Selected Papers of 7th International Conference, PARA 2004, Lyngby, Denmark, June 20-23, 2004 (Lecture Notes in Computer Science). Berlin: Springe, 2006, v. 3732, p. 179-188.
28. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Exchange Values and Self-Regulation of Exchanges in Multi-Agent Systems: the provisory, centralized model. In: Sven BRUECKNER; Giovanna Di Marzo SERUGENDO; David HALES; Franco ZAMBONELLI. (Org.). Engineering Self-Organising Systems: Revised Selected Papers of the Third International Workshop, ESOA 2005, Utrecht, The Netherland s, July 25, 2005 (Lecture Notes in Artificial Intellligence). Berlin: Springer, 2006, v. 3910, p. 75-89.
29. PALAZZO, Luiz Antônio Moro ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; SCHIRMBECK, Fernando . Real-Life Learning in Virtual Communities of Technology. In: Tom WEERT; Arthur TATNALL. (Org.). Information and Communication Technologies and Real-Life Learning: New Education for the Knowledge Society (IFIP International Federation for Information Processing Series). Berlin: Springer, 2006, v. 182, p. 167-177.
30. BEDREGAL, Benjamin René Callejas ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Fuzzy Rule-Based Hand Gesture Recognition. Artificial Intelligence in Theory and Practice (IFIP International Federation for Information Processing Series). Boston: Springer, 2006, v. 217, p. 285-294.
31. MARCHI, Ana Carolina Bertoletti de ; COSTA, A. C. R. . Um Ambiente Baseado em Objetos de Aprendizagem para Apoio à Aprendizagem em Museus. In: Adriano Canabarro Teixeira; Edemilson Jorge Ramos Brandão. (Org.). Tecendo Caminhos na Informática na Educação. Passo Fundo: Editora Universitária, 2006, v. 1, p. 81-103.
32. OKUYAMA, Fabio Yoshimitsu ; BORDINI, Rafael Heitor ; COSTA, A. C. R. . ELMS: An Environment Description Language for Multi-Agent Simulations. In: Danny Weyns; H. Van Dyke Parunak; Fabien Michel. (Org.). Environments for Multi-Agent Systems - E4MAS 2004 (LNCS 3374). Berlin: Springer, 2005, v. 1, p. 91-108.
33. AGUIAR, Marilton Sanchotene de ; COSTA, Fábia Amorim da ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; SILVA, Rafael Krolow Santos . Processamento Paralelo Aplicado a Modelos Matemáticos para Geoprocessamento. In: Adenauer Correia Yamin; Jorge Luis Victória Barbosa. (Org.). IV Escola Regional de Alto Desempenho - ERAD 2004. 1 ed. Porto Alegre: SBC, 2004, v. 1, p. 121-148.
34. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Programming in the geometric machine. In: Germano Lambert Torres; Jair Minoro Abe; Marcos Luiz Mucheroni; Paulo Estevão Cruvinel. (Org.). Advances in Intelligent Systems and Robotics (Frontiers in Artificial Intelligence and Applications). Amsterdam: IOS Press, 2003, v. 101, p. 85-102.
35. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Towards a domain-theoretic modelling of sensor data fusion. In: Germano Lambert Torres; Jair Minoro Abe; Marcos Luiz Mucheroni; Paulo Estevão Cruvinel. (Org.). Advances in Intelligent Systems and Robotics (Frontiers in Artificial Intelligence and Applications). Amsterdam: IOS Press, 2003, v. 101, p. 103-110.
36. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . SignWriting-Based Sign Language Processing. In: Ipke WACHSMUTH; Timo SOWA. (Org.). Gesture and Sign Language in Human-Computer Interaction (Lecture Notes in Artificial Intelligence). Berlim: Springer-Verlag, 2002, v. 2298, p. 202-205.
37. MORAES, Márcia Cristina ; MARCHI, Ana Carolina Bertoletti de ; COSTA, A. C. R. . Evaluating Usability of SAGRES Virtual Museum Considering Ergonomics Aspects and Virtual Guides. In: Deryn Watson; Jane Andersen. (Org.). Networking the Learner: Computers in Education. Copenhagen: Kluwer, 2002, v. 217, p. 353-362.
38. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Toward a Domain-Theoretic Modelling of Measuring Processes. In: J. Abe. (Org.). Logic, Artificial Intelligence and Robotics (Frontiers In Artificial Intelligence And Applications). Amsterdam: IOS Press, 2001, v. 71, p. 68-75.
39. COSTA, A. C. R. . Conceitos Elementares de Programacao Em Logica. In: Dalcidio Moraes Claudio; Laira Vieira Toscani; Tiarajú Asmuz Divério. (Org.). Fundamentos da Matemática Computacional. Porto Alegre: D.C.Luzzato Editores Ltda, 1987, v. , p. 0125-0136.
Textos em jornais de notícias/revistas
1. COSTA, A. C. R. . Colaboração no Diário Popular, de Pelotas, RS. Diário Popular, 30 dez. 1900.
Trabalhos completos publicados em anais de congressos
1. Rodrigues, L. M. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Um Modelo Multiagente para Carregamento Compartilhado com Prioridades em um Terminal de Conêineres: Combinando o Problema da Mochila com PDMs. In: V Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2011, Curitiba. Anais do WESAAC 2011. Curitiba : UTFPR, 2011. v. 1. p. 51-62.
2. Farias, G. P. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Agentes BDI com Percepção Fuzzy na Simulação de um Modelo Presa-Predador Fuzzy. In: WESAAC 2010: Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2010, Rio Grande. Anais do WESAAC 2010. Porto Alegre : FURG, 2010. v. 1. p. 1-12.
3. Hübner, A. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; MATTOS, V. ; HERNANDES, S. ; MAILANGE, M. . Introdução da Dimensão Dialógica no Moise+, com Aplicação na Modelagem de Processos de Gestão em uma Universidade Comunitária. In: WESAAC 2010: Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2010, Rio Grande. Anais do WESACC 2010. Rio Grande : FURG, 2010. v. 1. p. 65-76.
4. BARBOSA, R. M. ; COSTA, A. C. R. . Uso de CSP na Especificação Formal do Nível Micro-Organizacional de Sistemas Multiagentes. In: WESAAC 2010: Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2010, Rio Grande. Anais do WESAAC 2010. Rio Grande : FURG, 2010. v. 1. p. 13-21.
5. JEANNES, F. M. ; COSTA, A. C. R. . Um Modelo de Agente Econômico Cognitivo com Base no Conceito de Agentes BDI. In: WESAAC 2010: Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2010, Rio Grande. Anais do WESAAC 2010. Rio Grande : FURG, 2010. v. 1. p. 53-64.
6. Pereira, D. R. ; COSTA, A. C. R. . Teoria dos Jogos aplicada à coordenação de agentes, utilizando Teoria dos Valores de Troca. In: WESAAC 2010: Workshop-Escola de Sistemas Multiagentes, seus Ambientes e Aplicações, 2010, Rio Grande. Anais do WESAAC 2010. Rio Grande : FURG, 2010. v. 1. p. 77-88.
7. Hübner, A. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; MATTOS, V. . A Dialogic Dimension for the MOISE+ Organizational Model. In: The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)/LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2010), 2010, Lyon. Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas and Nicolas Maudet (Eds.), MALLOW 2010 - The Multi-Agent Logics, Languages, and Organisations Federated Workshops, CEUR-WS Workshop Proceedings Series. Aachen : Sun SITE Central Europe/ RWTH Aachen University/Tilburg University, 2010. v. 627. p. 23/21-23/26.
8. Farias, G. P. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . BDI Agents with Fuzzy Perception for Simulating Decision Making in Environments with Imperfect Information. In: The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)/Workshop on Multi-Agent Systems and Simulation (MAS&S 2010), 2010, Lyon. Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas and Nicolas Maudet (Eds.), MALLOW 2010 - The Multi-Agent Logics, Languages, and Organisations Federated Workshops, CEUR-WS Workshop Proceedings Series. Aachen : Sun SITE Central Europe/ RWTH Aachen University/Tilburg University, 2010. v. 627. p. 41/23-41/30.
9. Farias, G. P. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . BDI Agents with Fuzzy Perception. In: V Workshop on MSc Dissertation and PhD Thesis in Artificial Intelligence, 2010, São Bernardo do Campo. Anais do V Workshop on MSc Dissertation and PhD Thesis in Artificial Intelligence/Joint Conference SBIA/SBRN/JRI 2010. Porto Alegre : SBC, 2010. v. 1. p. 742-751.
10. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; Gonçalves, L. V. . On the Problem of Recognizing and Learning Observable Social Exchange Strategies in Open Societies. In: Second Brazilian Workshop on Social Simulation (BWSS 2010) at Joint Conferences XX SBIA/XI SBRN/IV JRI, 2010, São Bernardo do Campo. (P. T. Aquino Junior, Ed.) Workshop Proceedings/Joint Conference 2010. Porto Alegre : SBC, 2010. v. 1. p. 140-152.
11. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . An Interactional Characterization of Social Functions. In: Second Brazilian Workshop on Social Simulation - BWSS 2010 at Joint Conference SBIA/SBRN/JRI 2010, 2010, São Bernardo do Campo. (P. T. Aquino Junior, Ed.) Workshop Proceedings/Joint Conference 2010. Porto Alegre : SBC, 2010. v. 1. p. 105-117.
12. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; MUSSI, R. L. . Sobre Números Fuzzy Intervalares. In: Congresso Brasileiro de Sistemas Fuzzy, 2010, Sorocaba. Anais do CBSF 2010. São Carlos : UFSCar, 2010. v. 1. p. 162-169.
13. COELHO, H. ; COSTA, A. C. R. ; TRIGO, P. . On the Operationality of Moral-Sense Decision Making. In: Second Brazilian Workshop on Social Simulation (BWSS 2010) at Joint Conferences XX SBIA/XI SBRN/IV JRI, 2010, São Bernardo do Campo. (P. T. Aquino Junior, Ed.) Workshop Proceedings/Joint Conference 2010. Porto Alegre : SBC, 2010. v. 1. p. 11-22.
14. COELHO, H. ; COSTA, A. C. R. ; TRIGO, P. . Moral Minds as Multiple-Layer Organizations. In: 12th Ibero-American Conference on AI, 2010, Bahia Blanca. Angel Morales and Guillerno Simari (Eds.) Advances in Artificial Inteligence - IBERAMIA 2010, Lecture Notes In Artificial Intelligence. Berlin : Springer, 2010. v. 6433. p. 254-263.
15. COELHO, H. ; COSTA, A. C. R. ; TRIGO, P. . Decision Making for Agent Moral Conducts. In: INFORUM - Simpósio de Informática, 2010, Braga. INFORUM Proceedings. Braga : Universidade do Minho, 2010. v. 1. p. 1-12.
16. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Toward a Semantical Model of Organization Growth for Multiagent Systems. In: Computability in Europe 2009: Mathematical Theory and Computational Practice, 2009, Heidelberg. Proceedings of CiE 2009. Heidelberg : Universität Heidelberg, 2009. v. 1. p. 120-129.
17. BERNARDI, Giliane ; COSTA, A. C. R. . Aprendizagem Organizacional através de Simulação baseada em Instituições Eletrônicas e Agentes de Software. In: V Simpósio Brasileiro de Sistemas de Informação, 2009, Brasília. Anais do V Simpósio Brasileiro de Sistemas de Informação. Porto Alegre : SBC, 2009. v. 1.
18. DIMURO, Graçaliz Pereira ; SANTOS, André Vinícius dos ; BEDREGAL, Benjamin René Callejas ; COSTA, A. C. R. . Fuzzy Evaluation of Social Exchanges Between Personality-based Agents. In: 14th Portuguese Conference on Artificial Intelligence - EPIA'2009/Social Simulation and Modelling - SSM, 2009, 2009, Aveiro. L.S. Lopes, N. Lau, P. Mariano, L.M. Rocha (Eds.) New Trends in Artificial Intelligence. Aveiro : Universidade de Aveiro, 2009. v. 1. p. 451-462.
19. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; DUGDALE, J. ; DEMAZEAU, Y. . A Formal Notion of Objective Expectations in the Context of Multiagent Systems Routines. In: 14th Portuguese Conference on Artificial Intelligence - EPIA'2009/Multi-Agent Systems: Theory and Applications - MASTA 2009, 2009, Aveiro. L.S. Lopes, N. Lau, P. Mariano, L.M. Rocha (Eds.) New Trends in Artificial Intelligence. Aveiro : Universidade de Aveiro, 2009. v. 1. p. 367-378.
20. JEANNES, F. M. ; COSTA, A. C. R. . A Critical Study of the Coherence between EBMs and ABMs in the Simulation of the Hawks-Doves-LawAbiders Society. In: 14th Portuguese Conference on Artificial Intelligence - EPIA'2009/Social Simulation and Modelling - SSM 2009, 2009, Aveiro. L.S. Lopes, N. Lau, P. Mariano, L.M. Rocha (Eds.) New Trends in Artificial Intelligence. Aveiro : Universidade de Aveiro, 2009. v. 1. p. 475-486.
21. COELHO, H. ; COSTA, A. C. R. . On the Intelligence of Moral Agency. In: 14th Portuguese Conference on Artificial Intelligence - EPIA'2009/Social Simulation and Modelling - SSM 2009, 2009, Aveiro. Proceedings of EPIA 2009. Aveiro, Portugal : APPIA/Universidade de Aveiro, 2009. v. 1. p. 439-450.
22. Hübner, A. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Estendendo o Modelo Organizacional MOISE+ com a Dimensão Dialógica. In: 3rd Southern Conference on Computational Modeling, 2009, Rio Grande. Proceedings of MCSUL 2009. Rio Grande : FURG, 2009. v. 1. p. 1-6.
23. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Introducing Service Schemes and Systems Organization in the Theory of Interactive Computation. In: Fourth Conference on Computability in Europe: Logic and Theory of Algorithms, 2008, Atenas. Logic and Theory of Algorithms, Proceedings of CiE 2008. Atenas : Univ. Athens, 2008. v. 1. p. 87-96.
24. Pereira, D. R. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Constructing BDI Plans from Optimal POMDP Policies, with an Application to AgentSpeak Programming. In: XXXIV Conferência Latinoamericano de Informática, 2008, Buenos Aires. Anales CLEI 2008. Buenos Aires : SADIO, 2008. v. 1. p. 240-249.
25. Pereira, D. R. ; Gonçalves, L. V. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Contrasting Two Regulation Mechanisms for Personality-based Social Exchange Processes. In: 1st Brazilian Workshop on Social Simulation, 2008, Salvador. Proceedings of the BWSS 2008. Porto Alegre : SBC, 2008. v. 1. p. 1-12.
26. BERNARDI, Giliane ; COSTA, A. C. R. . Capacitação de Gestores de Instituições de Ensino Superior através da Simulação de Processos Administrativos utilizando a Abordagem de Instituições Eletrônicas. In: Workshop-Escola de Sistemas de Agentes para Ambientes Colaborativos, 2008. Anais do WESAAC 2008. Santa Cruz : UNISC. v. 1. p. 1-12.
27. Pereira, D. R. ; Gonçalves, L. V. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Towards the Self-regulation of Personality-based Social Exchange Processes in Multiagent Systems. In: 19th Brazilian Symposium on Artificial Intelligence, 2008, Salvador. G. Zaverucha and A. L. Costa (Eds.) Advances in Artificial Intelligence - SBIA 2008 Proceedings (Lecture Notes in Artificial Intelligence). Berlin : Springer, 2008. v. 5249. p. 113-123.
28. AMARAL, R. B. ; REISER, Renata Hax Sander ; COSTA, A. C. R. . Interpretações do Interferômetro de Mach-Zehnder no Modelo qMG. In: Congresso de Matemática Aplicada e Computacional, 2008, 2008, Belém. Anais do CNMAC 2008. Belém : SBMAC, 2008. v. 1. p. 1-10.
29. ISLABÃO, Márcia Hafelle ; COSTA, A. C. R. . Simulating Argumentation about Exchange Values in Multi-Agents Interactions. In: 19th Brazilian Symposium on Artificial Intelligence - Workshop on Social Simulation (SBIA - BWSS 2008), 2008, Salvador. Proceedings of BWSS 2009. Porto Alegre : SBC, 2009. v. 1. p. 1-12.
30. BERNARDI, Giliane ; COSTA, A. C. R. . Jogos de Empresa e Aprendizagem Organizacional: um Estudo de Caso de Simulação de Processos Organizacionais de uma Instituição de Educação Superior. In: SEGeT 2008 - V Simpósio de Excelência em Gestão e Tecnologia, 2008, Resende, RJ. Anais do SEGeT 2008 - V Simpósio de Excelência em Gestão e Tecnologia. Resende, RJ : Associação Educacional Dom Bosco, 2008. v. 1.
31. BERNARDI, Giliane ; COSTA, A. C. R. . Jogo de Empresa baseado em Agentes de Software e Instituições Eletrônicas para Aprendizagem Organizacional de Gestores de Instituições de Educação Superior. In: Jornadas Chilenas de Computación 2008 - Workshop en Agentes y Sistemas Colaborativos, 2008, Punta Arenas. Anales de las Jornadas Chilenas de Computación 2008. Santiago, Chile : Sociedad Chilena de Computación, 2008. v. 1.
32. COSTA, A. C. R. ; JEANNES, F. M. ; CAVA, U. A. . Equation based Models as Formal Specifications of Agent-based Models for Social Simulation: preliminary issues. In: BWSS 2008 - Brazilian Workshop on Social Simulation, 2008, Salvador. Proceedings of the BWSS 2008 - Brazilian Workshop on Social Simulation. Pelotas : UCPel/SBC, 2008. v. 1. p. 1-12.
33. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Towards a Domain-theoretic Model of Developmental Machines. In: CIE 2007 - Computability in Europe, Computation and Logic in the Real World, 2007, Siena. CIE 2007 - Computability in Europe, Computation and Logic in the Real World, 2007, Siena. Quaderni del Dipartimento di Scienze Matematiche e Informatiche. Siena : Universitá di Siena, 2007. v. 1. p. 114-122.
34. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . On the Notion of Developmental Computing Machine. In: XXXIV Seminário Integrado de Software e Hardware, 2007, 2007, Rio de Janeiro. Anais do SEMISH - XXXIV Seminário Integrado de Software e Hardware, 2007, Rio de Janeiro. SBC 2007. Porto Alegre : Sociedade Brasileira de Computação, 2007. v. 1. p. 2158-2172.
35. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Sketching an Abstract Model of Development for Information Processing Mechanisms. In: Congresso Ibero-Americano de Inovação Tecnológica e Áreas Estratégicas, II Workshop em Nanotecnologia e Computação Inspirada na Biologia, 2007, 2007, Rio de Janeiro. Anais do CITARE 2007. Rio de Janeiro : PUC-Rio, 2007. v. 1. p. 1-6.
36. FRANCO, M. F. ; COSTA, A. C. R. . Argumentation about Exchanges Values in Multiagent Systems and Collaborative Environments. In: WESAAC 2007 - Workshop-Escola de Sistemas de Agentes para Ambientes Colaborativos, 2007, Pelotas. Anais do WESAAC 2007. Pelotas : UCPel, 2007. v. 1. p. 1-12.
37. FRANCO, M. F. ; COSTA, A. C. R. . A Model for Negotiations about Exchanges Values in Multiagents Systems. In: ENIA - Encontro Nacional de Inteligência Artificial, 2007, Rio de Janeiro. Anais do ENIA 2007. Porto Alegre : Sociedade Brasileira de Computação, 2007. v. 1. p. 1-12.
38. GRIGOLETTI, P. S. ; COSTA, A. C. R. . Uma Arquitetura para Simulações Multiagentes Georeferenciadas e suas Extensões para o Contexto de Ambientes Colaborativos. In: WESAAC 2007 - Workshop-Escola de Sistemas de Agentes para Ambientes Colaborativos, 2007, Pelotas. Anais do WESAAC 2007. Pelotas : UCPel, 2007. v. 1. p. 1-10.
39. OKUYAMA, Fabio Yoshimitsu ; COSTA, A. C. R. . Plataforma MAS-SOC para Simulações Sociais. In: WESAAC 2007 - Workshop-Escola de Sistemas de Agentes para Ambientes Colaborativos, 2007, Pelotas. Anais do WESAAC 2007. Pelotas : UCPel, 2007. v. 1. p. 1-12.
40. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems. In: COIN@Durham - Coordination, Organization, Institutions and Norms in Agent Systems, 2007, Durham. Proceedings of COIN@Durham. Durham : University of Durham, 2007. v. 1. p. 41-52.
41. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . A Basis for an Exchange Value-based Operational Notion of Morality for Multiagent Systems. In: 13th Portuguese Conference on Artificial Intelligence EPIA 2007/MASTA 2007 - 4th Workshop on Multi-Agent Systems: Theory and Applications, 2007, Guimarães. Progress In Artificial Intelligence (Lecture Notes in Artificial Intelliegnce). Lisboa : Springer, 2007. v. 4874. p. 580-592.
42. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Toward a Model for the Programming of Quantum Movements in Nano-systems. In: WECIQ 2007 - 2o. Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do WECIQ 2007. Campina Grande : Universidade Federal de Campina Grande, 2007. v. 1. p. 151-157.
43. REISER, Renata Hax Sander ; COSTA, A. C. R. ; AMARAL, R. . Quantum Computing: Computation from Coherence Spaces. In: WECIQ 2007 - 2o. Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do WECIQ 2007. Campina Grande : Universidade Federal de Campina Grande, 2007. v. 1. p. 105-114.
44. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; Gonçalves, L. V. . Interval-Valued Hidden Markov Models for Recognizing Personality Traits in Social Exchanges in Open Multiagent Systems. In: XXX Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. Anais do XXX CNMAC. Rio de Janeiro : SBMAC, 2007. v. 1. p. 1-7.
45. FONSECA, V. S. ; REISER, Renata Hax Sander ; YAMIN, A. C. ; COSTA, A. C. R. . VirD-GM: Towards a Grid Computing Environment. In: Seventh IEEE International Symposium on ClusterComputing and the Grid CCGrid 2007, 2007, Rio de Janeiro. Web Proceedings on the CCGrid. New York : IEEE Computer Society, 2007. v. 1. p. 1-5.
46. REISER, Renata Hax Sander ; COSTA, A. C. R. ; AMARAL, R. B. . Coherence Space-based Models of Quantum Algorithms. In: Congresso Ibero-Americano de Inovação Tecnológica e Áreas Estratégicas, II Workshop em Nanotecnologia e Computação Inspirada na Biologia, 2007, Rio de Janeiro. Anais do CITARE 2007. Rio de Janeiro : PUC-RJ, 2007. v. 1. p. 1-12.
47. FONSECA, V. S. ; REISER, Renata Hax Sander ; YAMIN, A. C. ; COSTA, A. C. R. . VirD-GM: Introducing a Modelling and Execution Environment for the Distributed Geometric Machine Machine. In: Conferencia Latinoamericana de Informática, 2007, 2007, San José. Anais da Conferencia Latinoamericana de Informática - CLEI 2007. San José : CLEI, 2007. v. 1. p. 1-10.
48. OKUYAMA, Fabio Yoshimitsu ; BORDINI, Rafael Heitor ; COSTA, A. C. R. . Augmenting Multi-Agent Environment Descriptions with a Normative Infrastructure. In: VI ENIA - Encontro Nacional de Inteligência Artificial, 2007, Rio de Janeiro. XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre : Sociedade Brasileira de Computação, 2007. v. 1. p. 1391-1400.
49. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Quantifying Degrees of Dependence in Social Dependence Relations. In: SEVENTH INTERNATIONAL WORKSHOP ON MULTI-AGENT-BASED SIMULATION, MABS'06, AT FIFTH JOINT INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMAS, AAMAS 2006, 2006, Hakodate. Proceedings. Hakodate : Future University-Hakodate, 2006. p. 1-10.
50. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; BEDREGAL, Benjamín Callejas . Recognizing Hand Gestures Using a Fuzzy Rule-Based Method, and Representing Them with HamNoSys. In: SECOND WORKSHOP ON THE REPRESENTATION AND PROCESSING OF SIGN LANGUAGES:LEXICOGRAPHIC MATTERS AND DIDACTIC SCENARIOS, THE FIFTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, LREC 2006, 2006, Genoa. Proceedings. Paris : ELRA, 2006. p. 55-58.
51. KOSHELEVA, Olga ; SHPAK, Max ; CAMPOS, Marcilia Andrade ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Computing Linear and Nonlinear Normal Modes under Interval (and Fuzzy) Uncertainty. In: NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY CONFERENCE, NAFIPS 2006, 2006, Montreal. Proceedings. Montreal : NAFIPS, 2006. p. 1-6.
52. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; Gonçalves, L. V. ; Hübner, A. . Centralized Regulation of Social Exchanges between Personality-based Agents. In: Coordination, Organizati on, Institutions and Norms in Agent Systems (COIN 2006) at 17th European Conference on Artificial Intelligence (ECAI 2006), 2006, Riva del Garda. Proceedings. Riva del Garda : ITC irst, 2006. p. 16-23.
53. BEDREGAL, Benjamin René Callejas ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Fuzzy Rule-Based Hand Gestures Recognition for Sign Language Processing. In: Workshop on Computacional In telligence in (WCI'06) in International Joint Conference, 10th Ibero-American Artificial Intelligence Conference, 18th Brazilian A rtificial Intelligence Symposium, 9th Brazilian Neural Networks Symposium, IBERAMIA-SBIA-SBRN, 2006, Ribeirão Preto. Solange Oliveira Rezende and Antonio Carlos Roque da Silva Filho (Eds) Proceedings of ECI'06/BERAMIA-SBIA-SBRN. Ribeirão Preto : ICMC-USP, 2006. p. 1-6.
54. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; Gonçalves, L. V. ; Hübner, A. . Regulating Social Exchanges between Personality-based Non-transparent Agents. In: 5th Mexican Internation al Conference on Artificial Intelligence, 2006, Apizaco. MICAI 2006: Advances in Artificial Intelligence (Lecture Notes in Computer Science). Berlin : Springer, 2006. v. 4293. p. 1105-1115.
55. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; VIZZOTO, Juliana Kaiser ; REISER, Renata Hax Sander . Towards a Quantum Computational Geometry. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. A.C.R. Costa e R. Portugal (Eds.), Anais do WECIQ 2006. Pelotas : PPGING/UCPel, 2006. p. 179-188.
56. OKUYAMA, Fabio Yoshimitsu ; BORDINI, Rafael Heitor ; COSTA, A. C. R. . Spatially Distributed Normative Objects. In: Coordination, Organizati on, Institutions and Norms in Agent Systems (COIN 2006) at 17th European Conference on Artificial Intelligence (ECAI 2006), 2006, Riva del Garda. Proceedings. Riva del Garda : ITC irst, 2006. p. 57-62.
57. VIZZOTO, Juliana Kaiser ; COSTA, A. C. R. . Towards Quantum Haskell via Quantum Arrows. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. A.C.R. Costa e R. Portugal (Eds.), Anais do WECIQ 2006. Pelotas : PPGING/UCPel, 2006. p. 169-178.
58. BERTOLETTI-DE-MARCHI, Ana Carolina ; COSTA, A. C. R. . CV-Muzar: Incentivando a aprendizagem informal em museus com o uso da tecnologia de comunidades virtuais. In: XVII Simpósio de Informática na Educação, 2006, Brasília. Marco Aurelio de Carvalho e Edilson Ferneda. (Eds.) Anais do XVII SBIE. Brasília : Editora Positiva, 2006. p. 23-32.
59. BERTOLETTI-DE-MARCHI, Ana Carolina ; COSTA, A. C. R. ; MORAES, Roque . CV-Muzar: Um Ambiente de Apoio à Aprendizagem Informal em Museus através de um Entendimento do Aprender baseado na Comunicação e na Linguagem. In: VIII Congresso Iberoamericano de Informatica Educativa, 2006, San Jose. Anais do RIBIE 2006. San Jose, 2006. p. 1-10.
60. DIAS, Aurélio Magalhães ; COSTA, A. C. R. . Simulation of Social Processes Based on BDI Agents With Support to Exchange Values. In: JIISIC'06 - V Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento, 2006, Puebla. Memoria Técnica, Proceedings. Mexico, 2006. p. 1-10.
61. VIZZOTTO, J. K. ; COSTA, A. C. R. ; Sabry, A. . Quantum Arrows in Haskell. In: 4th International Workshop on Quantum Programming Languages, 2006, Oxford. Proceedings. Oxford, 2006. p. 1-10.
62. OKUYAMA, Fabio Yoshimitsu ; COSTA, A. C. R. ; BORDINI, R. H. . An Ontology for Defining Environments within Multi-Agent Simulations. In: WOMSDE 2006 - First Workshop on Ontologies and Metamodels in Software Engineering, 2006, Florianópolis. Proceedings. Florianópilis, 2006. p. 1-10.
63. Vargas, B. M. ; Antunes, M. S. ; LUZZARDI, Paulo Roberto Gomes ; COSTA, A. C. R. ; DUARTE, Glaucius Décio ; CAVA, Ricardo Andrade . PDA Sign Language Editor. In: IASTED International Conference and Advanced Techbology in Education, 2006, Lima. Proceedings of CATE 2006. Lima : IASTED, 2006. p. 1-4.
64. Antunes, M. S. ; Vargas, B. M. ; DUARTE, Glaucius Décio ; COSTA, A. C. R. ; LUZZARDI, Paulo Roberto Gomes ; CAVA, Ricardo Andrade . Editor da Língua de Sinais para PDA's. In: IV Congresso IBERDISCAP: Tecnologias de Apoio a Portadores de Deficiência, 2006, Vitória. Anais. Vitória : PPGEE/UFES, 2006. p. 1-4.
65. SILVA, Rafael Krolow Santos ; ROSE, César de ; AGUIAR, Marilton Sanchotene de ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . HPC-ICTM: a Parallel Model for Geographic Categorization. In: IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06), 2006, Sofia. IEEE Proceedings. Los Alamitos, CA, USA : IEEE Computer Society, 2006. p. 143-148.
66. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Quantifying Degrees of Dependence in Social Dependence Relations. In: Seventh International Workshop on Multi-Agent-Based Simulation, MABS'06, at Fifth Joint International Conference on Autonomous Agents and Multiagent Systemas, AAMAS 2006, 2006, Hakodate. Proceedings of Seventh International Workshop on Multi-Agent-Based Simulation, MABS'06. Hakodate : Future University, 2006. v. 1. p. 1-10.
67. MARCHI, Ana Carolina Bertoletti de ; COSTA, A. C. R. ; MORAES, Roque . Um Ambiente de Apoio à Aprendizagem Informal em Museus através de um Entendimento do Aprender baseado na Comunicação e na Linguagem. In: RBIE VIII - Congresso Iberoamericano de Informatica Educativa, 2006. Anais do RBIE VIII - Congresso Iberoamericano de Informatica Educativa. Costa Rica : RBIE. v. 1. p. 1-10.
68. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Exchange Values and Self-Regulation of Exchanges in Multi-Agent Systems: the provisory, centralized model.. In: FOURTH INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS/WS16 ENGENEERING SEL-ORGANIZATIONS APPLICATIONS ESOA 2005, 2005, Utrecht. S. Brueckner, G.M. Serugendo, D. Hales, F. Zambonelli (Eds.) Proceedings of The Third International Workshop ESOA 2005 at AAMAS 2005. Utrecht : Universiteit Utrecht, 2005. v. 1. p. 92-106.
69. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation. In: EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE 2005/WORKSHOP ON THE FOUNDATIONS OF INTERACTIVE COMPUTATION, 2005, Eddinburgh. Goldin D.; Viroli, M. (Eds.) Proceedings of ETAPS 2005/FINCO 2005. Edinburgh : LFCS/University of Edinburgh, 2005. v. 1. p. 1-12.
70. MARKOV, Svetoslav ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . On the Relation Inclusion of Zonotopes in the Plane. In: THIRTY FOURTH SPRING CONFERENCE OF THE UNION OF BULGARIAN MATHEMATICIANS, 2005, Borovets. Mathematics and Education in Mathematics 2005. Sofia : Union of Bulgarian Mathematicians, 2005. v. 1. p. 128-135.
71. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Qualitative Markov Decision Processes and the Coordination of Social Exchanges in Multi-Agent Systems. In: WORKSHOP ON GAME THEORETIC AND DECISION THEORETIC AGENTS/NINETEENTH INTERNATIONAL JOINT CONFERENCES IN ARTIFICIAL INTELIGENCE, 2005, Edinburgh. P. Gmytrasiewics, S. Parsons (Eds.t) Proceedings of GTDT/IJCAI'05. Edinburgh : University of Edinburgh, 2005. v. 1. p. 1-15.
72. MORAES, Márcia Cristina ; COSTA, A. C. R. . Improvisational Directors and Creative Processes in Multi-Agent Systems. In: WORKSHOP ON COMPUTATIONAL CREATIVITY/INTERNATIONAL JOINT CONFERENCES IN ARTIFICIAL INTELIGENCE, 2005, Edinburgh. P. Gervás, T. Veale, A. Pease Proceedings of CC'05/IJCAI'05. Madrid : Universidad Complutense de Madrid, 2005. v. 1. p. 1-12.
73. MORAES, Márcia Cristina ; COSTA, A. C. R. . Improvisational Multi-Agent Organization: Using Director Agent to Coordinate Improvisational Agents. In: IAT 2005 - IEEE/WIC/ACM Intl. Joint Conf. on Intelligent Agent Technology, 2005, Compiègne. Proceedings. New York : IEEE, 2005. v. 1. p. 1-4.
74. SANTOS, André Vinícius dos ; DIMURO, Graçaliz Pereira ; BARBOZA, Luciano Vitoria ; REISER, Renata Hax Sander ; COSTA, A. C. R. ; CAMPOS, Marcília Andrade . Probabilidades Intervalares em Modelos Ocultos de Markov. In: XXVIII Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo. Anais do XXVIII CNMAC. São Paulo : SBMAC, 2005. v. 1. p. 1-6.
75. MORAES, Márcia Cristina ; COSTA, A. C. R. . Enhancing Interaction Through Improvisational Interface Agents. In: 8th IFIP World Conference on Computers in Education, 2005, Cape Town. Proceedings of the WCCE 2005. Cape Town : IFIP/University of Stelienbosch, 2005. v. 1. p. 1-8.
76. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Objective Degrees of Dependence in Social Dependence Relations. In: 12TH PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2005, Covilhã. C. Bento, A. Cardoso and G. Dias (eds.), IEEE Proceedings of EPIA 2005. Piascataway : IEEE, 2005. v. 1. p. 313-316.
77. VIZZOTO, Juliana Kaiser ; COSTA, A. C. R. . Concurrent Quantum Programming in Haskell. In: VII Congresso Brasileiro de Redes Neurais, 2005, Natal. Adrião Duarte Dória Neto, Jorge Dantas de Melo, André Laurindo Maitelli and Allan de Medeiros Martins (Eds.) Proceedings of CBRN 2005. Natal : UFRN, 2005. v. 1. p. 1-6.
78. PRESTES, Diego Galho ; REISER, Renata Hax Sander ; CARDOSO, Marcos Borba ; COSTA, A. C. R. . Estendendo o Modelo de Máquina Geométrica a um Ambiente de Programação Visual. In: XXXI Conferencia Latinoamericana de Informatica, 2005, Cali. Anales do CLEI 2005. Pontificia Univers. Javeriana : Cali, 2005. v. 1. p. 273-284.
79. MIRANDA, Raquel Mello de ; COSTA, A. C. R. . GROA - A System for the Management of Learning Objects Repositories. In: The 8th IFIP World Conference on Computers in Education, 2005, Cape Town. Proceedings of WCCE 2005. Cape Town : IFIP/University of Stelienbosch, 2005. v. 1. p. 1-6.
80. BERTOLETTI-DE-MARCHI, Ana Carolina ; BARBOSA, R. M. ; COSTA, A. C. R. . A Learning Objects Repository Management System for Museum Education. In: Museums and the Web 2005, 2005, Vancouver. Proceedings of Museums and the Web 2005. Toronto : Archives & Museum Informatics, 2004. v. 1.
81. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; FREITAS, Juliano Balestra de . A Sign Matching Technique to Support Searches in Sign Language Texts. In: 4th International Conference on Language Resourcesand Evaluation/Workshop on the Representation and Processing of Sign Languages, 2004, Lisboa. Proceedings of LREC 2004. Paris : European Language Resources Association - ELRA, 2004. v. 1. p. 41-36.
82. AGUIAR, Marilton Sanchotene de ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; KREINOVICH, Vladik ; SILVA, Rafael Krolow Santos . HPC-ICTM: the interval categorizer tesselation-based model for high perfomance computing. In: Workshop on State-of-the-Art in Scientific Computing/Mini-Symposium on Interval Methods, 2004, Lyngby. Proceedings of PARA'04. Lyngby : Technical University of Denmark, 2004. p. 1-7.
83. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Interval-Based Markov Decision Processes for Planning Interactions in Multi-Agent Systems. In: Workshop on State-of-the-Art in Scientific Computing/Mini-Symposium on Interval Methods, 2004, Lyngby. Proceedings of PARA'04. Lyngby : Technical University of Denmark, 2004. p. 51-58.
84. REISER, Renata Hax Sander ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; AGUIAR, Marilton Sanchotene de . The Distributed Version of the Interval Geometric Machine. In: Workshop on State-of-the-Art in Scientific Computing/Mini-Symposium on Interval Methods, 2004, Lyngby. Proceedings of PARA'04. Lyngby : Technical University of Denmark, 2004. p. 107-114.
85. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; KREINOVICH, Vladik . Modelling Measurements as Timed Information Processes in Simplex Domains. In: 10th IMEKO International Symposium Advanves on Measurement Sciences, 2004, Saint-Petersburg. Proceedings. Tomsk : International Measurement Confederation/Tomsk Polytechnic University, 2004. v. 1. p. 71-76.
86. OKUYAMA, Fabio Yoshimitsu ; BORDINI, Rafael Heitor ; COSTA, A. C. R. . ELMS: An Environment Description Language for Multi-Agent Simulations . In: First International Workshop on Environments for Multiagent Systems/Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004, New York. Lecture Notes in Computer Science. Berlin : Sprimger Verlag, 2004. p. 1-10.
87. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . The Case for Using Exchange Values in the Modelling of Collaborative Learning Interaction. In: 7th International Conference on Intelligent Tutoring Systems/2nd International Workshop on Designing Computational Models of Collaborative Learning Interaction, 2004, Maceió. Proceedings of ITS2004 Workshop W9. Pittsburgh/Recife : Mostow, J. (Carnegie Mellon University), Tedesco, P. (UFPE), 2004. p. 19-24.
88. SILVA, Letícia Garcia da ; COSTA, A. C. R. ; FRANCO, Sergio Roberto Leilling . Virtual Learning Communities Based on Piaget's Social Interaction Theory and Supported by Peer-to-Peer Networks. In: 7th International Conference on Intelligent Tutoring Systems/International Workshop on Social and Emotional Intelligemce in Learning Envoronments, 2004, Maceió. Proceedings of ITS2004 Workshop W7. Pittsburgh/Recife : Mostow, J. (Carnegie Mellon University); Tedesco, P. (UFPE) (Eds.), 2004. p. 48-52.
89. DUARTE, Glaucius Décio ; LUZZARDI, Paulo Roberto Gomes ; CAVA, Ricardo Andrade ; COSTA, A. C. R. . An Algotithm for the Obtainment of an Intersection Graph of Scan Lines for the Determination of Similarities Between Two Monochrome Two Dimensional Forms. In: 7th International Conference on Intelligent Tutoring Systems/International Workshop on Distance Learning Environments for Digital Graphic Representation, 2004, Maceió. Proceedings of ITS2004 1rst LEDGRAPH Workshop. Pittsburgh/Recife : Mostow, J. (Carnegie Mellon University); Tedesco, P. (UFPE), 2004. p. 96-103.
90. SOUZA, Diego Lemos de ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Descrevendo as Ferramentas Disponíveis no Ambiente de Ensino ENSINET. In: XIX Taller Internacional de Software Educativo, 2004, Santiago. Proceedings of TISE 2004. Santiago : Universidad de Chile, 2004. p. 1-10.
91. PALAZZO, Luiz Antônio Moro ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; SCHIRMBECK, Fernando . Real-Life Learning in Virtual Communities of Technology. In: IFIP INFORMATION AND COMMUNICATION TECHNOLOGIES AND REAL LIFE LEARNING, 2004, Melbourne. IFIP Proceedings, 2004. p. 1-8.
92. AGUIAR, Marilton Sanchotene de ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; SILVA, Rafael Krolow Santos ; COSTA, Fábia Amorim da ; KREINOVICH, Vladik . The Multi-Layered Interval Categorizer Tesselation-Based Model. In: VI BRAZILIAN SYMPOSIUM GEOINFORMATICS, 2004, Campos do Jordão. IFIP Proceddings of GEOINFO 2004. São José dos Campos : INPE/IFIP-WG2.6 (Databases), 2004. p. 437-454.
93. BERTOLETTI-DE-MARCHI, Ana Carolina ; COSTA, A. C. R. . MT/M-LOM- UMA PROPOSTA DE AMBIENTE PARA AUXILIAR A APRENDIZAGEM EM MUSEUS. In: VII Congresso IberoAmericano de Informátca Educativa, 2004, Monterrey. Actas. Monterrey : RIBIE/Universidad de Monterrey, 2004. p. 1-10.
94. MIRANDA, Raquel Mello de ; COSTA, A. C. R. . Estruturação de Objetos de Aprendizagem no Sistema GROA. In: VII Congresso IberoAmericano de Informátca Educativa, 2004, Monterrey. Actas. Monterrey : RIBIE/Universidad de Monterrey, 2004. p. 1-8.
95. MORAES, Márcia Cristina ; COSTA, A. C. R. . AGENTES IMPROVISACIONAIS DE INTERFACE: APERFEIÇOANDO A INTERAÇÃO ATRAVÉS DA ANALOGIA POR SIMILARIDADE. In: VII Congresso IberoAmericano de Informátca Educativa, 2004, Monterrey. Actas. Monterrey : RIBIE/Universidad de Monterrey, 2004. p. 1-10.
96. DUARTE, Glaucius Décio ; COSTA, A. C. R. . Proposta de uma Metodologia para Modelagem de Sistemas Especialistas em Construção Civil. In: X Congreso Argentino de Ciencias da la Computacion, 2004, Buenos Aires. Proceedings of CACIC 2004. Buenos Aires : Universidad Nacional de la Matanza, 2004. p. 1-10.
97. MIRANDA, Raquel Mello de ; COSTA, A. C. R. . Utilização de Mapas de Tópicos para estruturação cognitiva de objetos de aprendizagem no sistema GROA. In: Taller Internacional de Software Educativo, 2004, Santiago. Anales. Santiago : Universidad de Chile, 2004. v. 1. p. 1-8.
98. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . A Programming Language for the Interval Geometric Machine. In: 10TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2003, Ouro Preto. Proceedings. Amsterdam : Elsevier, 2003. p. 143-154.
99. BASTOS, Eduardo Nunes ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . ENSINET: uma Solução Software Livre para Apoio ao Ensino Semi-Presencial utilizando a Internet. In: IV WORKSHOP DE SOFTWARE LIVRE, 2003, Porto Alegre. Anais do IV WSL. Porto Alegre : Evangraf, 2003. v. 1. p. 55-58.
100. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . SignWriting and SWML: Paving the Way to Sign Language Processing. In: TRAITEMENT AUTOMATIQUE DES LANGUES NATURELLES/WORKSHOP ON NATURAL LANGUAGE PROCESSING OF MINORITY LANGUAGES AND SMALL LANGUAGES, 2003, Batz-sur-Mer. Acte of TALN 2003. Nantes : Université de Nantes, 2003. v. 2. p. 193-202.
101.   RODRIGUES, Maira Ribeiro ; COSTA, A. C. R. ; BORDINI, Rafael . A System of Exchange Values to Support Social Interactions in Artificial Societes. In: 2nd. Int. Conf. on Autonomous Agents and Multiagent Systems, 2003, Melbourne. Proceedings of AAMAS 2003, 2003. v. 1. p. 1-8.
102. RODRIGUES, Maira Ribeiro ; COSTA, A. C. R. . Using Qualitative Exchange Values to Improve the Modelling of Social Interactions. In: 4th Work. on Agent Based Simulation, 2003, Melbourne. Lecture Notes in Artificial Intelligence. Berlin : Springer, 2003. v. 1. p. 1-16.
103. SILVA, Rafael Krolow Santos ; COSTA, Fábia Amorim da ; AGUIAR, Marilton Sanchotene de ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Uma Ferramenta Baseada em Autômatos Celulares Intervalares para para a Categorização de Áreas Geográficas Conforme a Declividade . In: I Workshop de Tecnologia da Informação Aplicada ao Meio Ambiente/III Congresso Brasileiro de Computação, 2003, Itajaí. Anais do III CBComp. Itajaí : Universidade do Vale do Itajaí, 2003. v. 1. p. 1-10.
104. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; CARDOSO, Marcos Borba . Specifying the Geometric Machine Visual Language. In: 2003 IEEE Symposium on Visual Languages and Formal Methods, 2003, Aukland. Anais of IEEE VLFM'2003. Washington D.C. : IEEE Computer Society, 2003. v. 1. p. 1-3.
105. SILVA, Rafael Krolow Santos ; AGUIAR, Marilton Sanchotene de ; DIMURO, Graçaliz Pereira ; COSTA, Fábia Amorim da ; COSTA, A. C. R. . Topo-ICTM: Uma Ferramenta para Categorização Topográfica Baseada no Modelo de Tesselação Intervalar . In: XXIX Conferencia Latinoamericana de Informatica, 2003, La Paz. Memorias do Clei. La Paz : UNIVERSIDAD MAYOR DE SAN ANDRÉS, 2003. v. 1. p. 1-12.
106. REISER, Renata Hax Sander ; CARDOSO, Marcos Borba ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Utilizando a Programação Visual no Modelo de Máquina Geométrica . In: XXIX Conferencia Latinoamericana de Informatica, 2003, La Paz. Memorias del Clei 2003. La Paz : Universidad Mayor de SanAndrés, 2003. v. 1. p. 1-12.
107. RIZZI, Claudia Brandelero ; DONADUZZI, Sílvia Jenny ; WELTER, Rafael ; COSTA, A. C. R. ; FRANCO, Sérgio Roberto Kieling . Experimentos Computacionais com Grupamentos Lógico-Matemáticos de Jean Piaget. In: XIV Simpósio Brasileiro de Informática na Educação, 2003, Rio de Janeiro. Anais do SBIE 2003. Rio de Janeiro : UFRJ/SBC, 2003. v. 1. p. 513-522.
108. BERTOLETTI, Ana Carolina ; MORAES, Márcia Cristina ; MORAES, Roque ; COSTA, A. C. R. . SAEP-NET - Sistema de Apoio ao Educar pela Pesquisa na Internet.. In: XIV Simpósio Brasileiro de Informática na Educação, 2003, Rio de Janeiro. Anais do SBIE 2003. Rio de Janeiro : UFRJ/SBC, 2003. v. 1. p. 93-100.
109. MIRANDA, Raquel Mello de ; COSTA, A. C. R. . Um Estudo sobre Especificações e Padrões de Metadados para Objetos de Aprendizagem.. In: VII Oficina de Inteligência Artificial, 2003, Pelotas. Anais da VII OIA. Pelotas : Educat, 2003. v. 1. p. 1-8.
110. COSTA, A. C. R. . Possíveis Aplicações da Psicologia de Kurt Lewin aos Sistemas Multiagentes.. In: VII Oficina de Inteligência Artificial, 2003, Pelotas. Anais. Pelotas : Educat, 2003. v. 1. p. 1-12.
111. MORAES, Márcia Cristina ; COSTA, A. C. R. . A Proposal for Structuring the Coordination Space of Multiagent Systems . In: XXIII International Conference of the Chilean Computer Science Society, 2003, Santiago. Proceedings, 2003. v. 1. p. 1-10.
112. MORAES, Márcia Cristina ; COSTA, A. C. R. . Estruturando o Espaço de Coordenação de Sistemas Multiagentes . In: IV Encontro Nacional de Inteligência Artificial, 2003, Campinas. Anais do ENIA 2003. Porto Alegre : SBC, 2003. v. 1. p. 1-10.
113. KREINOVICH, Vladik ; NGUYEN, Hung T ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; BEDREGAL, Benjamin René Callejas . A New Differential Formalism for Interval-Valued Functions and Its Potential Use in Detecting 1-D Landscape Features. In: International Conference on Intelligent Technologies, 2003, Chiang Mai. Proceedings of InTech'03. Chiang Mai : Chiang Mai University, 2003. v. 1. p. 491-498.
114. MORAES, Márcia Cristina ; BERTOLETTI, Ana Carolina ; COSTA, A. C. R. ; MORAES, Roque . Education through research: a new approach for the development and use of educational systems. In: The IASTED International Conference on Computers and Advanced Technology in Education, 2003, Rhode. Proceedings. Calgary : Acta Press, 2003. p. 1-10.
115. MORAES, Márcia Cristina ; BERTOLETTI, Ana Carolina ; COSTA, A. C. R. . Evaluating Usability of SAGRES Virtual Museum Considering Ergonomic Aspects and Virtual Guides. In: 7th World Conference on Computers in Education - WCCE, 2002, Copenhagen. Proceedings. Dordrecht : Kluwer Academic Publisher, 2001. p. 353-362.
116. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; PALAZZO, Luiz Antônio Moro ; MIRANDA, Raquel Mello . Sites Internos Adaptativos para o Sistema ENSINET. In: III Workshop de Software Livre, 2002, Porto Alegre. Fórum Internacional de Software Livre - Programação, Anais e Expositores. Porto Alegre : SBC, 2002. v. 1. p. 102-105.
117. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Towards an Automata-Based Navigational Model for the Specification of Web Sites. In: 5th Workshop on Formal Methods, 2002, Gramado. Anais, 2002. p. 1-16.
118. PALAZZO, Luiz Antônio Moro ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira ; SCHIRMBECK, Fernando . Comunidades Virtuais de Formação Tecnológica: fundamentação pedagógica e metodologia de construção. In: Simpósio Brasileiro de Informática na Educação, SBIE 2002, 2002, Canoas. Anais, 2002. v. 1. p. 1-10.
119. TORCHELSEN, R. P. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Editor para Textos Escritos em SignWriting. In: XXVIII Conferencia Latinoamericana de Informática, 2002, Montevideo. Anais, 2002. v. 1. p. 1-10.
120. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; REISER, Renata Hax Sander ; SOUZA, P. L. R. . Modelos de Markov e Aplicações . In: VI Oficina de Inteligência Artificial, 2002, Pelotas. Anais. Pelotas : EDUCAT, 2002. v. 1. p. 37-59.
121. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Uma Estrutura Formal Normativa para Sistemas Computacionais . In: VI Oficina de Inteligência Artificial, 2002, Pelotas. Anais. Pelotas : EDUCAT, 2002. v. 1. p. 77-83.
122. MORAES, Márcia Cristina ; COSTA, A. C. R. . How Planning Becomes Improvisation? - A Constraint Based Approach for Director Agents in Improvisational Systems. In: XVI Brazilian Symposium on Artificial Intelligence, 2002, Porto de Galinhas. Lecture Notes in Artificial Intelligence. Berlin : Springer, 2002. v. 2507. p. 97-106.
123. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Supporting Deaf Sign Languages in Written Form on the Web. In: 10TH WORLD WIDE WEB CONFERENCE, 2001, Hong Kong. Posters Proceedings. Hong Kong : CD&E Dept, The Chinese University of Hong Kong, 2001. v. 1. p. 1-10.
124. MIRANDA, Raquel Mello ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Um Ambiente de Suporte ao Ensino Integrado dos Fundamentos Matemáticos da Ciência da Computação utilizando o ZOPE. In: WORKSHOP DE SOFTWARE LIVRE 2001, 2001, Porto Alegre. Anais do WSL. Porto Alegre : SBC, 2001. v. 1. p. 40-42.
125. ALVES, G. V. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Um Editor de Provas para a Lógica Proposional. In: XXVII CONFERÊNCIA LATINOAMERICANA DE INFORMATICA, 2001, Merida. Memorias. Ciudad de Merida : Universidad de Los Andes, 2001. v. 1. p. 1-12.
126. BERTOLETTI, Ana Carolina ; MORAES, Márcia Cristina ; COSTA, A. C. R. . Providing Personal Assistance in the SAGRES Virtual Museum. In: Museums and the Web 2001, 2001, Seattle. Proceedings, 2001. v. 1. p. 1-10.
127. AGUIAR, Marilton Sanchotene de ; COSTA, A. C. R. . Autômatos Celulares para Análise da Monotonicidade da Declividade de Áreas Geológicas. In: III Workshop Brasileiro de GeoInformática, 2001, Rio de Janeiro. Anais do III GeoInfo. Rio de Janeiro : SBC, 2001. v. 1. p. 87-94.
128. BERTOLETTI, Ana Carolina ; MORAES, Márcia Cristina ; COSTA, A. C. R. . Avaliação do Módulo de Aprendizagem do Museu Virtual SAGRES quanto a Usabilidade de um Software Educacional. In: Simpósio Brasileiro de Informática na Educação, 2001, Vitória. Anais do SBIE 2001. Vitória : SBC, 2001. v. 1. p. 1-9.
129. VIZZOTTO, J. K. ; MARTINI, A. ; COSTA, A. C. R. . Reutilizando Provadores de Teoremas através de Mapeamentos entre Instituicoes. In: IV Workshop on Formal Methods, 2001, Rio de Janeiro. Anais do WMF. Rio de Janeiro : SBC, 2001. v. 1. p. 101-106.
130. MORAES, Márcia Cristina ; BERTOLETTI, Ana Carolina ; COSTA, A. C. R. . Estudo e Avaliação da Usabilidade de Agentes Improvisacionais de Interface. In: Info2001-IHC, 2001, Florianópolis. Info2001-IHC, 2001. v. 1. p. 1-10.
131. BOIS, André Rauber Du ; COSTA, A. C. R. . Some Experiences Connecting Functional Languages and Java. In: 3rd Scottish Functional Programming Workshop, 2001, Edinburgh. Proceedings, 2001.
132. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . A first attempt at giving a domain-theoretic model for machine development. In: WAIT 2000 - WORKSHOP ARGENTINO DE INFORMÁTICA/XXIX JORNADAS ARGENTINAS DE INFORMÁTICA E INVESTIGACIÓN OPERATIVA, 2000, Tandil. Proceedings. Buenos Aires : SADIO, 2000. p. 1-6.
133. ALVES, G. V. ; MIRANDA, Raquel Mello ; ISLABÃO, Márcia Hafelle ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; DUARTE, Glaucius Décio . Materiais Didáticos Interativos para o Ensino Integrado dos Fundamentos da Computação. In: CLEI 2000 - CONFERENCIA LATINOAMERICANA DE INFORMATICA, 2000, Atizapán de Zaragoza. Memorias. Cidade do Mexico : TEC de Monterrey, 2000. p. 1-12.
134. BOIS, André Rauber Du ; COSTA, A. C. R. . Functional Beans. In: 9th International Workshop on Functional and Logic Programming (WFLP'2000), 2000, Benicàssim. Functional and Logic Programming. Valencia : Editorial de la Universidad Politécnica de Valencia, 2000. p. 470-479.
135. COSTA, A. C. R. ; MORAES, Márcia Cristina ; RODRIGUES, M. R. . Improvisational Interface Agents for E-Commerce Systems. In: International ICSC Congress on Intelligent Systems & Applications/Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce, 2000, Wollongong. Intelligent Systems & Applications. Wetaskiwin : ICSC Academic Press, 2000. v. 1. p. 446-451.
136. REISER, Renata Hax Sander ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Deriving um-recursive functions from some categories of unary systems. In: 2. Workshop de Métodos Formais, 1999, Florianópolis. Anais do 2. Workshop de Métodos Formais. Florianópolis, 1999. v. 1.
137. MORAES, Márcia Cristina ; BERTOLETTI, Ana Carolina ; COSTA, A. C. R. . Virtual guides to assist visitors in the SAGRES Virtual Museum. In: SCCC'99 - XIX International Conference of the Chilean Computer Science Society, 1999, Talca, Chile. Proceedigns. Talca, Chile : IEEE Computer Society, 1999. v. 1. p. 35-42.
138. MORAES, Márcia Cristina ; COSTA, A. C. R. . Uma arquitetura multiagente par apoiar a visitação de museus virtuais. In: XXV CLEI - Conferência Latino-americana de Informática, 1999, Asunción, Paraguai. Anales, 1999. v. 2. p. 737-746.
139. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; CLAUDIO, D. M. . A Construção de Representações Globais em Espaços Coerentes Bi-estruturados, com aplicação em Computação Científica. In: XXV CLEI - Conferencia Latinoamericana de Informatica, 1999, Asunción, Paraguai. Anales, 1999. v. 2. p. 673-648.
140. BERTOLETTI, Ana Carolina ; MORAES, Márcia Cristina ; COSTA, A. C. R. . Museu Virtual SAGRES: incorporando agentes de software para apoiar a visitação. In: XXVI Seminário Integrado de Software e Hardware, 1999, Rio de Janeiro. Anais, 1999. v. 1. p. 89-103.
141. BERTOLETTI, Ana Carolina ; COSTA, A. C. R. . SAGRES - A Virtual Museum. In: Museums and the Web 1999, 1999, New Orleans, USA. Museums and the Web 1999 - Selected papers from an international conference, 1999. v. 1.
142. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; CLAUDIO, D. M. . A bi-structured coherence space for a global representation of the system IR of real intervals. In: International Conference on Information Technology, 1999, Bhubaneswar. CIT'99 - Trends in Information Technology. New Delhi : Tata McGraw-Hill Publishing Company Limited, 1999. v. 1. p. 173-178.
143. MORAES, Márcia Cristina ; BERTOLETTI, Ana Carolina ; COSTA, A. C. R. . The SAGRES virtual museum with software agents to stimulate the visiting of museums. In: WebNet'99 -World Conference on the WWW and Internet, 1999. Proceedings, 1999.
144. BOIS, André Rauber Du ; COSTA, A. C. R. . Programando os Agentes Micorsoft com a Linguagem Funcional Haskell. In: 3a. Oficina de Inteligência Artificial, 1999, Pelotas. Anais da 3a. Oficina de Inteligência Artificial. Pelotas : EDUCAT, 1999. v. 1.
145. BORGES, C. ; LIMA, J. V. L. ; COSTA, A. C. R. . Services To Aid Information Consumption. In: EUROMEDIA 98, 1998, Leicester, Inglaterra. EUROMEDIA 98. Leicester, Inglaterra, 1998. v. 1.
146. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . A Topological Characterization For The Bi-Structured Interval Coherence Space.. In: WFM 98 - I Workshop de Métodos Formais, 1998, Porto Alegre. A Topological Characterization for the Bi-Structured Interval Coherence Space. Porto Alegre, RS : CPGCC/UFRGS, 1998. v. 1.
147. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . A Categorial Study Of Primitive Recursion On Natural Nnumbers. In: WFM 98 - I Workshop de Métodos Formais, 1998, Porto Alegre. A Categorial Study of Primitive Recursion on Natural Nnumbers. Porto Alegre, RS : CPGCC/UFRGS, 1998. v. 1.
148. BEHAR, P. A. ; COSTA, A. C. R. . Análise Lógico-Operatória do Microsft Netmeeting 2.0 Beta 4. In: RIBIE 98 - Congresso da Rede Ibero Americadna de Informática na Educação, 1998, Brasília, DF. Análise lógico-operatória do Microsft Netmeeting 2.0 Beta 4, 1998. v. 1.
149. COSTA, A. C. R. . Current Research Work In Theoretical Computer Science At Esin/Ucpel. In: 98 - I Workshop de Métodos Formais, 1998, Porto Alegre. Current Research Work in Theoretical Computer Science at ESIN/UCPel, 1998. v. 1.
150. HÜBNER, J. F. ; COSTA, A. C. R. . Identificação de Papéis Por Observação de Comportamento de Agentes. In: IBERAMIA 98 - VI Iberoamerican Conference on Artificial Intelligence, 1998, Lisboa, Portugal. Identificação de Papéis por Observação de Comportamento de Agentes, 1998. v. 1.
151. MORAES, Márcia Cristina ; COSTA, A. C. R. . A System Of Improvisational Agents For The Assistance Of Visits To Museums. In: 2nd Iberoamerican Workshop on Distributed Artificial Intelligence and Multiagent Systems, 1998, Toledo, Espanha. A system of improvisational agents for the assistance of visits to museums, 1998. v. 1.
152. MACEDO, D. R. ; COSTA, A. C. R. . Um Sistema de Geração de Diciónarios de Línguas de Sinais. In: Primer Congresso Iberolatinoamericano de Informática Educativa Especial, 1998, Neuquén, Argentina. Um sistema de geração de diciónarios de Línguas de Sinais, 1998. v. 1.
153. BEHAR, P. A. ; COSTA, A. C. R. . Caracterização Operatória do Processo Interativo de Um Sujeito Coletivo Com Ferramentas Computacionais Cooperativas. In: SBIE 97, 1997, São José dos Campos, SP. SBIE 97. São José dos Campos, SP., 1997. v. 1. p. 313-330.
154. CAMPOS, M. B. ; COSTA, A. C. R. . Edusurdos: Rede Como Apoio À Interação, Construção e Troca de Informações Sobre A Educação de Surdos. In: SBIE 97, 1997, São José dos Campos, SP. SBIE 97. São José dos Campos, SP., 1997. v. 1. p. 395-407.
155. BEHAR, P. A. ; COSTA, A. C. R. . Concepts For The Logical-Operatory Modeling Of Cooperative Computational Environments. In: 1997 IFIP WG-3.3 and WG-3.6 Joint Working Conference, 1997, Madrid, Espanha. The Virtual Campus: Trends for Higher Education and Training, 1997. v. 1.
156. SELLANES, R. G. S. ; COSTA, A. C. R. . Coherence Spaces As Event Structures And Concrete Data Structures. In: Congresso da SBC 97, 1997, Brasília, DF. XXIV SEMISH, 1997. v. 1. p. 423-434.
157. BEHAR, P. A. ; COSTA, A. C. R. . Base Models For Organizing The Logical-Operatory Analysis Of Cooperative Computational Environments. In: ED-MEDIA/ED-TELECOM ´97, 1997, Calgary, Canda. ED-MEDIA/ED-TELECOM ´97, 1997. v. 1. p. 1349-1354.
158. BEHAR, P. A. ; COSTA, A. C. R. . Sobre La Lectura de Las Operaciones Infralógicas de Sujetos En Interacción Con Un Editor Gráfico. In: Congresso Internacional de Informatica Educativa, 1996, Buenos Aires, Argentina. Congresso Internacional de Informatica Educativa, 1996. v. 1.
159. BEHAR, P. A. ; COSTA, A. C. R. . Operatory Logical Analysis Of The Collective Knowledge Construction Process In A Cooperative Computational Environment. In: International Conference on Information Systems Analysis and Synthesis - ISAS '96, 1996, Orlando, USA. International Conference on Information Systems Analysis and Synthesis - ISAS '96, 1996. v. 1.
160.   DEMAZEAU, Y. ; COSTA, A. C. R. . Populations and Organizations in Open Multi-agent Systems. In: PDAI 96 - 1st National Symposium on Parallel and Distributed AI, 1996, Hyderabad. Proceedings of PDAI'96. Hyderabad : International Institute of Information Technology, 1996. v. 1. p. 1-10.
161. COSTA, A. C. R. . A Net Based Model for Logic Machines. In: COGNITIVA 85, 1985, Paris. Proceedings of COGNITIVA 85. Paris : CESTA - Centre d'Etudes des Systèmes et des Technologies Avancées, 1985. v. 1. p. 1-10.
162. COSTA, A. C. R. . Uma Semântica Operacional para a Interpretação Concorrente de Programas em Lógica. In: INFORMATICA'84 - XVII Congresso Nacional de Informática, 1984, Rio de Janeiro. Anais do XVII Congresso Nacional de Informática. Rio de Janeiro : SUCESU, 1984. v. 1. p. 1-10.
163. COSTA, A. C. R. . Modelagem do Computador de von Neumann através de Redes de Canais e Agências. In: VIII SEMISH, 1981, Florianópolis. Anais do VIII SEMISH. Florianópolis : UFSC, 1981. v. 1. p. 1-15.
Resumos expandidos publicados em anais de congressos
1. RODRIGUES, T. F. ; SANTOS, I. A. S. ; DIMURO, G. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Modelando a Organização Social de um Experimento de Gestão Social de Hortas Urbanas. In: V Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2011, Curitiba. Anais do WESAAC 2011. Curitiba : UTFPR, 2011. v. 1. p. 163-166.
2. ROSA, S. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Estendendo o Modelo de Organização de Sistemas Multiagentes PopOrg com Unidades Organizacionais Recursivas. In: Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações - WESAAC 2010, 2010, Rio Grande. Anais do WESAAC 2010. Rio Grande : FURG, 2010. v. 1. p. 143-146.
3. RODRIGUES, T. F. ; DIMURO, G. ; VON GROL, C. ; PINHEIRO, T. V. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Simulação Baseada em Agentes de Processos de Gestão Social de Ecossistemas Urbanos: o caso das hortas urbanas da cidade de Sevilla. In: 4th Southern Conference on Computational Modeling/IX Encontro Regional de Matemática Aplicada e Computacional, 2010, Rio Grande. Anais do 4MCSUL/IX ERMAC. Rio Grande : FURG, 2010. v. 1. p. 257-260.
4. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Introducing Social Groups and Group Exchanges in the PopOrg Model. In: The 8th International Conference on Autonomous Agents and Multiagent Systems, 2009, Budapest. Proceedings of AAMAS 2009. Richland : IFAAMAS, 2009. v. 1. p. 1297-1298.
5. Farias, G. P. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Um Modelo de Percepção Fuzzy para Agentes BDI. In: 3rd Southern Conference on Computational Modeling, 2009, Rio Grande. Proceedings of MCSUL 2009. Rio Grande : FURG, 2009. v. 1. p. 1-4.
6. OKUYAMA, Fabio Yoshimitsu ; BORDINI, R. H. ; COSTA, A. C. R. . A Distributed Normative Infrastructure for Situated Multi-Agent Organisations. In: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008, Estoril. Proceedings of AAMAS 2008. Estoril : IFAMAS, 2008. v. 3. p. 1501-1504.
7. FRANCO, M. F. ; COSTA, A. C. R. . Towards a Protocol for Negotiations about Exchange Values Involved in Multiagent Interactions. In: Workshop on Computational Models of Natural Argument (CMNA VII): Twentieth International Joint Conference on Artificial Intelligence (IJCAI), 2007, 2007, Hyderabad. Proceedings of the IJCAI-07 Workshop on (CMNA'07). Hyderabad : IJCAI, 2007. v. 1. p. 1-5.
8. COSTA, A. C. R. ; SOUSA, Paulo Luis Rosa . Symbolic Objects and Symbolic Behaviours: Cognitive Support for Emotion and Motivation in Rational Agents. In: Symposium on Agents that Want and Like: Motivational and Emotinal Roots of Cognition and Action/AISB'05 Convention: Social Intelligence and Interaction in Animals, Robots and Agents, 2005, Hatfield. Proceedings of AISB 2005. Brighton : AISB, 2005. v. 1. p. 108-109.
9. BERTOLETTI-DE-MARCHI, Ana Carolina ; COSTA, A. C. R. . M-LOM: A Proposal to Extend the IEEE LOM to Support Learning in Museums. In: The 8th IFIP World Conference on Computers in Education, 2005, Cape Town. Proceedings of WCCE 2005. Cape Town : IFIP/University of Stelienbosch, 2005. v. 1. p. 1-4.
10. FREITAS, Juliano Baldez de ; COSTA, A. C. R. . SWDB: Um Sistema de Diconários para as Lìnguas de Sinais Usadas pelos Surdos. In: Conferencia IADIS Ibero-Americana WWW/Internet 2004, 2004, Madrid. Conferencia IADIS Ibero-Americana WWW/Internet 2004. Madrid : IADIS, 2004. v. 1. p. 523-526.
Resumos publicados em anais de congressos
1. SILVA, C. E. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Especificando Rotinas Organizacionais de Sistemas Multiagentes: Detecção de Desvios com Base no Conceito de Expectativas. In: WESAAC 2010: Workshop-Escola de Sistemas Multiagentes, seus Ambientes e Aplicações, 2010, Rio Grande. Anais do WESAAC 2010. Rio Grande : FURG, 2010. v. 1. p. 139-142.
2. Farias, G. P. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Um Modelo Híbrido de Agente BDI-Fuzzy. In: WESAAC 2010: Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2010, Rio Grande. Anais do WESAAC 2010. Rio Grande : FURG, 2010. v. 1. p. 147-150.
3. BEDREGAL, Benjamin René Callejas ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Interval Fuzzy Rule-Based Hand Recognition. In: 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006, Duisburg. Book of Abstracts of SCAN 2006. Duisburg : University of Duisburg-Essen, 2006. p. 107-108.
4. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; Gonçalves, L. V. ; Hübner, A. . Interval-Valued Hidden Markov Models for Recognizing Personality Traits in Social Exchanges in Open Multiagent Systems. In: 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006, Duisburg. Bool of Abstracts of SCAN 2006. Duisburg : University of Duisburg-Essen, 2006. p. 148-150.
5. COSTA, A. C. R. ; VIZZOTO, Juliana Kaiser ; DIMURO, Graçaliz Pereira ; REISER, Renata Hax Sander . Introducing Intervals and More Complex Geometrical Objects into Quantum Computing. In: 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006, Duisburg. Book of Abstracts of SCAN 2006. Duisburg : University of Duisburg-Essen, 2006. p. 131-132.
6. BEDREGAL, Benjamin René Callejas ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Hand Gesture Recognition in an Interval Approach. In: XXIX Congresso Nacional de Matemática Aplicada e Computacional, 2006, Campinas. Anais. Campinas : IMECC/UNICAMP-SBMAC, 2006.
7. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; Gonçalves, L. V. ; Hübner, A. . Applying Interval-Valued Hidden Markov Models fpr Recognizing Personality Traits In Multiagent Systems. In: XXIX Congresso Nacional de Matemática Aplicada e Computacional, 2006, Campinas. Anais. Campinas : IMECC/UNICAMP-SBMAC, 2006.
8. COSTA, A. C. R. ; VIZZOTTO, J. K. ; DIMURO, Graçaliz Pereira . Introducing Quantum Graphs for the Semantic Modelling of Quantum Programs. In: XXIX Congresso Nacional de Matemática Aplicada e Computacional, 2006, Campinas. Anais. Campinas : IMECC/UNICAMO-SBMAC, 2006.
9. Boeira, V. B. ; COSTA, A. C. R. . As variações fonológicas nas línguas de sinais sob o enfoque da Teoria da Otimidade. In: CELSUL 2006 - Círculo de Estudos Lingüísticos do Sul, 2006, Pelotas. Anais. Pelotas : Educat, 2006.
10. COSTA, A. C. R. ; SOUSA, Paulo Luis Rosa . The BDI-Based Modeling of Freud's Psysic Apparatus. In: Annual Meeting of the Society for Psychotherapy Research, 2005, Montreal. Proceedings of SPR 2005. Montreal : SPR, 2005. v. 1.
11. KREINOVICH, Vladik ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; KOSHEKEVA, Olga ; STARKS, Scott ; TUPELLY, Kavitha ; VILLAVERDE, Karen . From Intervals to Domains: A General Description of Validated Uncertainty, with Applications to Geospacial and Meteorological Data.. In: 11th GAMM-IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING, COMPUTER ARITHMETIC, AND VALIDATED NUMERICS, 2004, Fukuoka. Scan 2004 Book of Abstracts. Fukuoka : GAMM, IMACS, Kyushu University, 2004. p. 72-73.
12. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Information Fusion Processes under a Domain Approach. In: XXVII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2004, Porto Alegre. CD do CNMAC 2004. São José dos Campos : SBMAC, 2004. p. 488-488.
13. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Markov Decision Processes Based on Interval Mathematics and Its Applications.. In: XXVII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2004, Porto Alegre. São José dos Campos : SBMAC, 2004. p. 44-44.
14. VIZZOTO, Juliana Kaiser ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Teoria dos Domínios e Computação Quântica. In: XXVII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2004, Porto Alegre. CD do CNMAC 2004. São José dos Campos : SBMAC, 2004. p. 43-43.
15. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . The Quantum Geometric Machine Model. In: 11th GAMM-IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING, COMPUTER ARITHMETIC, AND VALIDATED NUMERICS, 2004, Fukuoka. Fukuoka : GAMM, IMACS, Kyushu University, 2004. p. 96-96.
16. COSTA, A. C. R. . Retrospectiva dos Trabalhos em Matemática Intervalar na ESIN/UCPel. In: XXVII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2004, Porto Alegre. CD do CNMAC 2004. São José dos Campos : SBMAC, 2004. p. 55-55.
17. COSTA, A. C. R. ; REISER, Renata Hax Sander . The quantum extension of the Geometric Machine Model. In: XXVII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2004, Porto Alegre. CD do CNMAC 2004. São José dos Campos : SBMAC, 2004. p. 48-48.
18. COSTA, A. C. R. ; MORAES, Márcia Cristina . Proposta de um Espaço de Coordenação Tridimensional para Sistemas Multiagente. In: IV Encontro Nacional de Inteligência Artificial, 2003, Campinas. Anais. Porto Alegre : SBC, 2003. v. 1. p. 1-10.
19. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . The Geometric Machine Model. In: XXIV Congresso Nacional de Matemática Aplicada e Computacional, 2002, Belo Horizonte. Resumo das Comunicações. Rio de Janeiro : SBMAC, 2001.
20. CAMPOS, Marcília Andrade ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; ARAÚJO, J. F. F. . Probabilidade Intervalar no Maple. In: XXIV Congresso Nacional de Matemática Aplicada e Computacional, 2002, Belo Horizonte. Resumos das Comunicações. Rio de Janeiro : SBMAC, 2001.
21. TORCHELSEN, R. P. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Editor para Textos de Línguas de Sinais Escritos em Sign Writing. In: V Symposium on Human Factors in Computer Systems, 2002, Fortaleza. Proceedings of IHC 2002, 2002. v. 1. p. 363-366.
22. COSTA, A. C. R. . Sites Internos Adapatativos para o Sistema ENSINET . In: III Workshop de Software Livre, 2002, Porto Alegre. Anais, 2002. v. 1. p. 102-105.
23. COSTA, A. C. R. ; AGUIAR, Marilton Sanchotene de ; DIMURO, Graçaliz Pereira . A Bi-Dimensional Categorizer Interval Cellular Automata Model for the Analysis of the Declivity of Topographical Regions. In: 10th Intl. Symp. Scientific Computing, Computer Arithmetic and Validated Numerics - SCAN 2002, 2002, Paris. Book of Abstracts, 2002. v. 1. p. 175-175.
24. COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Probabilistic Coherence Spaces . In: 10th Intl. Symp. Scientific Computing, Computer Arithmetic and Validated Numerics - SCAN 2002, 2002, Paris. Book of Abstracts, 2002. v. 1. p. 149-149.
25. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . The Interval Geometric Machine . In: 10th Intl. Symp. Scientific Computing, Computer Arithmetic and Validated Numerics - SCAN 2002, 2002, Paris. Book of Abstracts, 2002. v. 1. p. 68-68.
26. TORCHELSEN, R. P. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Editor para Textos em Língua de Sinais Escritos em SignWriting. In: XIII Simpósio Brasileiro de Informática na Educação, 2002, Novo Hamburgo. Anais. Porto Alegre : SBC, 2002. v. 1. p. 655-655.
27. BOIS, André Rauber Du ; COSTA, A. C. R. . Distributed Execution of Functional and Logic Programming. In: EUROCAST 2001 - Eight International Conference on Computer Aided Systems Theory Formal Methods and Tools For Computer Science, 2001, Las Palmas de Gran Canaria. Lecture Notes in Computer Science. Berlin : Springer, 2001. v. 2178. p. 1-10.
28. CAMPOS, Marcília Andrade ; DIMURO, Graçaliz Pereira ; KREINOVICH, Vladik ; COSTA, A. C. R. . A Natural General Approach to Uncertainty (Including Interval Uncertainty) and its Relation to Domain Theory and Simplicial Complexes. . In: : 9TH GAMM/IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING, COMPUTER ARITHMETIC AND VALIDATED NUMERICS/INTERNATIONAL CONFERENCE ON INTERVAL METHODS IN SCIENCE AND ENGINEERING, 2000, Karlsruhe. Book of Abstracts. Karlsruhe : Ed. S. Dietrich, A. Faxious, N. Bierlox, Institut für Angewandte Mathematik/Universität Karlsrhue, 2000. p. 57-57.
29. REISER, Renata Hax Sander ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Coherent Space Semantics of Interval Computation Processes. In: SCAN 2000 - 9TH GAMM - IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING, COMPUTER ARITHMETIC, AND VALIDATED NUMERICA - E INTERVAL 2000- INTERNATIONAL CONFERENCE ON INTERVAL METHODS IN SCIENCE AND ENGINEERING, 2000, Karlsrhue. Book of Abstracts. Karlsrhue : Ed. S. Dietrich, A. Facius, N. Bierlox, Institut für Angewandte Mathematik/Universität Karlsrhue, 2000. p. 156-156.
30. DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; CLAUDIO, D. M. . A measure system for the bi-structures coherence space of rational intervals. In: IV International Conference on Interval Methods and their Application to Global Optimization, 1998, Nanjing, China. Proceedings, 1998. v. 1. p. 21-25.
31. COSTA, A. C. R. ; DEMAZEAU, Y. . Toward A Formal Model Of Multi-Agent Systems With Dynamic Organizations. In: ICMAS 96, 1996, Kyoto, Japão. 2nd. Int'l Conf. On Mutiagent Systems - ICMAS '96. Kyoto, Japão : IEEE, 1996. v. 1.
32. BORDINI, R. H. ; COSTA, A. C. R. ; HÜBNER, J. F. ; VICCARI, R. M. . Linguistic Support For Agent Migration. In: ICMAS-95, 1995, San Francisco, USA. ICMAS-95, 1995. v. 1. p. 143.
Artigos aceitos para publicação
1. OKUYAMA, Fabio Yoshimitsu ; COSTA, A. C. R. ; BORDINI, Rafael Heitor . Situated Normative Infra-structures: The Normative Objects Approach. Journal of Logic and Computation (Print), 2011.
Demais tipos de produção bibliográfica
1. COSTA, A. C. R. . Corpus de textos de LIBRAS (Língua Brasileira de Sinais) 2004 (Corpus de textos de LIBRAS (Língua Brasileira de Sinais)).
2. COSTA, A. C. R. . Repositório de Textos sobre Teoria dos Valores de Troca 2004 (Repositório de Textos sobre Teoria dos Valores de Trocas).
3. COSTA, A. C. R. . Seminário de Epistemologia da Inteligência Artificial - II. CPGCC/UFRGS, 1990 (Relatório Técnico).
4. COSTA, A. C. R. . Seminário de Epistemologia da Inteligência Artificial - I. CPGCC/UFRGS, 1987 (Relatório Técnico).
5. COSTA, A. C. R. . Sobre os fundamentos da Inteligência Artificial. CPGCC/UFRGS, 1986 (Relatório Técnico).
6. COSTA, A. C. R. . Para uma revisão epistemológica da Inteligência Artificial. CPGCC/UFRGS, 1986 (Relatório Técnico).
Produção técnica
Softwares sem registro de patente
1. BARBOSA, R. M. ; COSTA, A. C. R. . Marcador de Partes de Discurso para Textos de Línguas de Sinais escritos em SignWriting. 2007.
2. MIRANDA, Raquel Mello de ; COSTA, A. C. R. . GROA - Gerenciador de Repositórios de Objetos de Aprendizagem. 2004.
3. TORCHELSEN, R. P. ; COSTA, A. C. R. . SW-Edit: um editor para textos de línguas de sinais escritos em SignWriting. 2002.
4. COSTA, A. C. R. ; MARRONI, F. V. . Projeto Pelotas Memória/UCPel. 2001.
5. MIRANDA, Raquel Mello de ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . ENSINET - Ambiente Baseado na Web para apoio ao Ensino Semi-presencial. 2001.
Trabalhos técnicos
1. COSTA, A. C. R. . Avaliação de Projetos de Pesquisa da UNIOESTE. 2003.
2. COSTA, A. C. R. . Avaliação de andamento do Projeto LOGIA (CNPq) em realização na UFC. 1997.
3. COSTA, A. C. R. . Avaliação Técnica de Planos de Negócios submetidos ao SOFTEX. 1997.
Demais tipos de produção técnica
1. COSTA, A. C. R. ; Vicari, R. M. ; Tonidandel, F. . Coordenador Geral do Comitê de Programa do SBIA 2010 - 20th Brazilian Workshop on Artificial Intelligence. 2010. (Coordenação de Comitê de Programa).
2. COSTA, A. C. R. . Membro de Comitê de Programa do AAMAS 2010 - International Conference on Autonomous Agents and Multiagent Systems. 2010. (Membro de Comitê de Programa).
3. COSTA, A. C. R. . Membro do Comitê de Programa do AutoSoft 2010 - 1st Workshop on Autonomous Software Systems. 2010. (Membro de Comitê de Programa).
4. COSTA, A. C. R. . Membro do Comitê de Programa do BWSS 2010 - 2nd Brazilian Workshop on Social Simulation. 2010. (Membro de Comitê de Programa).
5. COSTA, A. C. R. . Membro do Comitê de Programa do COIN@MALLOW 2010 - 11th Workshop on Coordination, Organization, Institutions and Norms. 2010. (Membro de Comitê de Programa).
6. COSTA, A. C. R. . Membro do Comitê de Programa do COIN@AAMAS2010 - 9th Workshop on Coordination, Organization, Institutions and Norms. 2010. (Membro de Comitê de Programa).
7. COSTA, A. C. R. . Membro do Comitê de Programa do GEOINFO 2010 - XI Simpósio Brasileiro de GeoInformática. 2010. (Membro de Comitê de Programa).
8. COSTA, A. C. R. . Membro do Comitê de Programa do PAAMS 2010 - 8th Conference on Practical Applications of Agents and Multiagent Systems. 2010. (Membro de Comitê de Programa).
9. COSTA, A. C. R. . Membro do Comitê de Programa do SBRN 2010 - 11th Brazilian Symposium on Neural Networks. 2010. (Membro de Comitê de Programa).
10. COSTA, A. C. R. . Membro do Comitê de Programa do WESAAC 2010 - Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações. 2010. (Membro de Comitê de Programa).
11. COSTA, A. C. R. . Membro do Comitê de Programa do WCAMA 2010 - Workshop de Computação Aplicada ao Meio Ambiente. 2010. (Membro de Comitê de Programa).
12. COSTA, A. C. R. . Membro do Comitê de Programa do Workshop on the Representation and Processing of Sign Languages 2010 (at LREC 2010). 2010. (Membro de Comitê de Programa).
13. COSTA, A. C. R. . Membro do Comitê de Programa do AAMAS 2009. 2009. (Participação em Comitê de Programa).
14. COSTA, A. C. R. . Membro do Comitê de Programa do COIN@IJCAI 2009. 2009. (Participação em comitê de Programa).
15. COSTA, A. C. R. . Membro do Comitê de Programa do COIN@AAMAS 2009. 2009. (Participação em Comitê de Programa).
16. COSTA, A. C. R. . Membro do Comitê de Programa do COIN@MALLOW 2009. 2009. (Participação em Comitê de Programa).
17. COSTA, A. C. R. . Membro do Comitê de Programa do ENIA 2009. 2009. (Participação em Comitê de Programa).
18. COSTA, A. C. R. . Membro do Comitê de Programa do MASTA 2009. 2009. (Participação em Comitê de Programa).
19. COSTA, A. C. R. . Membro do Comitê de Programa do OrgMod 2009. 2009. (Participação em Comitê de Programa).
20. COSTA, A. C. R. . Membro do Comitê de Programa do PAAMS 2009. 2009. (Participação em Comitê de Programa).
21. COSTA, A. C. R. . Membro do Comitê de Programa do SIRC 2009. 2009. (Participação em Comitê de Programa).
22. COSTA, A. C. R. . Membro do Comitê de Programa do WCAMA 2009. 2009. (Participação em Comitê de Programa).
23. COSTA, A. C. R. . Membro do Comitê de Programa do WESAAC 2009. 2009. (Participação em Comitê de Programa).
24. COSTA, A. C. R. . Membro do Comitê de Programa do COIN@AAMAS 2008. 2008. (Participação em Comitê de Programa).
25. COSTA, A. C. R. . Coordenador do Comitê de Programa do BWSS 2008. 2008. (Coordenação de Comitê de Programa).
26. COSTA, A. C. R. . Membro do Comitê de Programa do CONAHPA 2008. 2008. (Participação em Comitê de Programa).
27. COSTA, A. C. R. . Membro do Comitê de Programa do EOCS-MCP 2008. 2008. (Participação em Comitê de Programa).
28. COSTA, A. C. R. . Membro do Comitê de Programa do GEOINFO 2008. 2008. (Participação em Comitê de Programa).
29. COSTA, A. C. R. . Membro do Comitê de Programa do MICAI 2008. 2008. (Participação em Comitê de Programa).
30. COSTA, A. C. R. . Membro do Comitê de Programa do WESAAC 2008. 2008. (Participação em Comitê de Programa).
31. COSTA, A. C. R. . Membro do Comitê de Programa do ENIA 2007. 2007. (Participação em Comitê de Programa).
32. COSTA, A. C. R. ; Iochpe, C. . Coordenador do Comitê de Programa do GEOINFO 2007. 2007. (Coordenação de Comitê de Programa).
33. COSTA, A. C. R. . Membro do Comitê de Programa do MASTA 2007. 2007. (Participação em Comitê de Programa).
34. COSTA, A. C. R. . Membro do Comitê de Programa do SBIE 2007. 2007. (Participação em Comitê de Programa).
35. COSTA, A. C. R. . Membro do Comitê de Programa do WECIQ 2007. 2007. (Participação em Comitê de Programa).
36. COSTA, A. C. R. . Coordenador do Comitê de Programa do WESAAC 2007. 2007. (Coordenação de Comitê de Programa).
37.
VIZZOTO, Juliana Kaiser ; COSTA, A. C. R. . Linguagens de Programação Quântica: um apanhado geral. 2006. (Curso de curta duração ministrado/Extensão).
38. COSTA, A. C. R. . Membro do Comitê de Programa do 2nd. Workshop on Representation and Processing of Sign Languages. 2006. (Participação como Membro de Comitê de Programa).
39. COSTA, A. C. R. . Membro do Comitê de Programa do SBIA 2006 / IBERAMIA 2006. 2006. (Participação em Comitê de Programa).
40. COSTA, A. C. R. . Membro do Comitê de Programa do Iberagens 2006. 2006. (Participação em Comitê de Programa).
41. COSTA, A. C. R. . Membro do Comitê de Programa do SBIE 2006. 2006. (Participação em Comitê de Programa).
42. COSTA, A. C. R. . Membro do Comitê de Programa do OOOP 2005. 2005. (Participação em Comitê de Programa).
43. COSTA, A. C. R. . Membro do Comitê de Programa do CTD-SBC 2005. 2005. (Participação em Comitê de Programa).
44. COSTA, A. C. R. . Membro do Comitê de Programa do ENIA 2005. 2005. (Participação em Comitê de Programa).
45. COSTA, A. C. R. . Membro do Comitê de Programa do TMHLTIR 2005. 2005. (Participação em Comitê de Programa).
46. COSTA, A. C. R. . Membro do Comitê de Programa do SEMISH 2005. 2005. (Participação em Comitê de Programa).
47. COSTA, A. C. R. . Membro do Comitê de Programa do SBIE 2005. 2005. (Participação em Comitê de Programa).
48. COSTA, A. C. R. . Membro do Comitê de Programa do TALS 2005. 2005. (Participação em Comitê de Programa).
49. COSTA, A. C. R. . Membro do Comitê de Programa do TEMA 2005. 2005. (Participação em Comitê de Programa).
50. COSTA, A. C. R. . Membro do Comitê de Programa do WIE 2005. 2005. (Participação em Comitê de Programa).
51. COSTA, A. C. R. . Membro do Comitê de Programa do 1st LEDGRAPH. 2004. (Participação em Comitê de Programa).
52. COSTA, A. C. R. . Membro do Comitê de Programa do 1st Workshop on Representation and Processing of Sign Languages. 2004. (Participação em Comitê de Programa).
53. COSTA, A. C. R. . Membro do Comitê de Programa do SBIA 2004. 2004. (Participação em Comitê de Programa).
54. COSTA, A. C. R. . Membro do Comitê de Programa do SBIE 2004. 2004. (Participação em Comitê de Programa).
55. COSTA, A. C. R. . Membro do Comitê de Programa do ENIA 2003. 2003. (Participação em Comitê de Programa).
56. COSTA, A. C. R. . Membro do Comitê de Programa do JAIA 2003. 2003. (Participação em Comitê de Programa).
57. COSTA, A. C. R. . Membro do Comitê de Programa do SBIE 2003. 2003. (Participação em Comitê de Programa).
58. COSTA, A. C. R. . Membro do Comitê de Programa do WOLLIC 2003. 2003. (Participação em Comitê de Programa).
59. COSTA, A. C. R. . Membro do Comitê de Programa do SBIE 2002. 2002. (Participação em Comitê de Programa).
60. COSTA, A. C. R. . Membro do Comitê de Programa do ENIA 2001. 2001. (Participação em Comitê de Programa).
61. COSTA, A. C. R. . Membro do Comitê de Programa do JAIA 2001. 2001. (Participação em Comitê de Programa).
62. COSTA, A. C. R. . Membro do Comitê de Programa do ERMAC 2001. 2001. (Participação em Comitê de Programa).
63. COSTA, A. C. R. . Membro do Comitê de Programa do SBIE 2001. 2001. (Participação em Comitê de Programa).
64. COSTA, A. C. R. . Membro do Comitê de Programa do ICMAS 1998. 1998. (Participação em Comitê de Programa).
65. COSTA, A. C. R. . Membro do Comitê de Programa do SBIA 1998. 1998. (Participação em Comitê de Programa).
66. COSTA, A. C. R. . Membro do Comitê de Programa do SBIA 1994. 1994. (Participação em Comitê de Programa).
67. COSTA, A. C. R. . Membro do Comitê de Programa do SBIA 1989. 1989. (Participação em Comitê de Programa).
68. COSTA, A. C. R. . Membro do Comitê de Programa do SBIA 1987. 1987. (Participação em Comitê de Programa).
69. COSTA, A. C. R. . Membro do Comitê de Programa do SBIA 1986. 1986. (Participação em Comitê de Programa).
70. COSTA, A. C. R. . Membro do Comitê de Programa do SBIA 1986. 1986. (Participação em Comitê de Programa).
71. COSTA, A. C. R. . Membro do Comitê de Programa do SBIA 1985. 1985. (Participação em Comitê de Programa).
72. COSTA, A. C. R. ; Vicari, R. M. . Coordenador do Comitê de Programa do 1o. SBIA. 1984. (Coordenação de Comitê de Programa).

Bancas
Participação em bancas examinadoras
Dissertações
1. COSTA, A. C. R.; VIEIRA, Renata; Lima, V. L. S.. Participação em banca de Josiane Fontoura dos Anjos Brandolt. Uso de relações semântico-estruturais no aprimoramento do cálculo de similaridade semântica: um estudo voltado a estruturas ontológicas em Língua Portuguesa. 2009. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.
2. COSTA, A. C. R.; Lula Jr., B.. Participação em banca de Cheyenne Ribeiro Guedes. Uma abordagem quântica para o uso de expressões regulares. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
3. COSTA, A. C. R.; Silveira, R. A.; Nassar, S. M.. Participação em banca de Beatriz Wilges. Um sistema de acompanhamento dos estudantes em ambiente virtual de ensino-aprendizagem. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.
4. COSTA, A. C. R.; Roisenberg, M.. Participação em banca de Bruno Panerai Velloso. Proposta de uma metodologia baseada na teoria da percolação para configuração dos parâmetros de um algoritmo de Inteligência de Enxames. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.
5. TOSCANI, L. V.; MARTINI, A. R. B.; COSTA, A. C. R.. Participação em banca de Marnes Augusto Hoff. Grafos Internos e Multirrelações como "Spans" - Propriedades e Composicionalidade. 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
6. BEHAR, P. A.; FRANCO, Sérgio Roberto Kieling; COSTA, A. C. R.. Participação em banca de Alexandra Lorandi Macedo. Aprendizagem em Ambientes Virtuais: o olhar do aluno sobre o próprio aprender. 2005. Dissertação (Mestrado em Educação) - Universidade Federal do Rio Grande do Sul.
7. LAMB, L. C.; MARTINI, A. R. B.; COSTA, A. C. R.. Participação em banca de Karina Girardi Roggia. Categoria de Grafos Parciais com Homomorfismos Totais: Teoria e Aplicações. 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
8. COSTA, A. C. R.; Menezes, P. F. B.; LAMB, L. C.; Haeusler, E. H.. Participação em banca de Karina Girardi Roggia. Categoria de Grafos Parciais com Homomorfismos Totais: Teorias e Aplicações. 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
9. COSTA, A. C. R.; Bins Filho, J. C.. Participação em banca de Simone Regina Ceolim. A Aplicação da Técnica Snakes em Estruturas Celulares. 2004. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.
10. COSTA, A. C. R.; Freitas, C. M. D. S.; MARTINI, A. R. B.. Participação em banca de Christine Vieira Scarpato. Investigação e Aplicação de Algumas Operações Categoriais entre Atores de uma Animação Baseados em Autômatos Finitos com Saída. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
11. COSTA, A. C. R.; Lara, A. T. S.; Santarosa, L. M. C.; Baptista, C. R.. Participação em banca de Cristiane de Barros Castilho. Informática na Educação de Surdos: processo de apropriação da escrita de Língua de Sinais e da escrita da Língua Portuguesa. 2004. Dissertação (Mestrado em Educação) - Universidade Federal do Rio Grande do Sul.
12. COSTA, A. C. R.; LISBÔA, M. L. B.; Haeusler, E. H.. Participação em banca de Claudio Naoto Fuzitaki. Mapeamento da Linguagem Nautilus para Java. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
13. COSTA, A. C. R.; BEHAR, P. A.; FRANCO, Sérgio Roberto Kieling; Valentini, C. B.. Participação em banca de Alexandra Lorandi Macedo. Aprendizagem em ambientes virtuais: um foco no olhar do aluno. 2004. Dissertação (Mestrado em Educação) - Universidade Federal do Rio Grande do Sul.
14. COSTA, A. C. R.; MOREIRA, Álvaro Freitas; VIEIRA, Renata. Participação em banca de Fabio Yoshimitsu Okuyama. Descrição e Geração de Ambientes para Simulações com Sistemas Multiagentes. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
15. COSTA, A. C. R.; BEDREGAL, Benjamin René Callejas; Dória Neto, A. D.; Santiago, R. H. N.. Participação em banca de Maria Mônica Macêdo Torres Silveira. Teoria Fuzzy Intervalar: uma proposta de integração da Matemática Intervalar à Teoria Fuzzy. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
16. COSTA, A. C. R.; Vicari, R. M.; Giraffa, L. M. M.. Participação em banca de Alessandra Pereira Rodrigues. E-Avalia - Um Agente para Avaliação de Ensino-Aprendizagem em Educação a Distância. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
17. COSTA, A. C. R.; PALAZZO, Luiz Antônio Moro; Giggi, G.. Participação em banca de José Antônio Colvara de Oliveira. Utilização Espontânea da Internet pelo Público Adolescente: uma pesquisa junto a estudantes do ensino médio do Colégio Anglicano Santa Margarida, Pelotas-RS. 2001. Dissertação (Mestrado em Educação) - Universidade Federal de Pelotas.
18. COSTA, A. C. R.; Orth, A. I.. Participação em banca de Adéle Malta Pontes. Estudo da Percepção de Signos por Sujeitos Inseridos em Diferentes Meios Culturais: um passo inicial para o desenvolvimento de uma interface voltada a usuários surdos. 2000. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.
19. COSTA, A. C. R.; Barone, D.. Participação em banca de Mauro Enrique de Souza Munõz. Proposta de um Modelo de Esquema Cognitivo Sensório-Motor Inspirado na Teoria de Jean Piaget. 1999. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
20. COSTA, A. C. R.; Bernardes, N. M. G.. Participação em banca de Helena Sloczinski. Pontos de Referenciais para Rupturas Paradigmáticas em Face às Exigências da Tecnologia Informática no Limiar do Próximo Milênio. 1998. Dissertação (Mestrado em Educação) - Pontifícia Universidade Católica do Rio Grande do Sul.
21. COSTA, A. C. R.; Azeredo, P. A.; Barbosa, V. C.. Participação em banca de Otília Werner. Uma Máquina Abstrata Estendida para o Paralelismo E na Programação em Lógica. 1994. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
Teses de doutorado
1. SICHMAN, J. S.; Silva, P. S. M.; COSTA, A. C. R.; COSTA, A. H. R.; LUCENA, C. J. P.. Participação em banca de Luciano dos Reis Coutinho. Interoperabilidade Organizacional em Sistemas Multiagentes Abertos Baseados em Engenharia Dirigida por Modelos. 2009. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
2. COSTA, A. C. R.; KRAHE, J. L.; DALLE, P.; LANG, B.. Participação em banca de Guylhem AZNAR. Informatisation d'une forme écrite de la Langue des Signes Française. 2007. Tese (Doutorado em Informatique) - Université Toulouse III Paul Sabatier.
3. PRIMO, A. F. T.; LAURINO, D.; COSTA, A. C. R.. Participação em banca de Patrícia Brandalise Scherer Bassani. Mapeamento das Interações em Ambiente Virtual de Aprendizagem: uma possibilidade de avaliação em educação à distância. 2006. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul.
4. PALAZZO, Luiz Antônio Moro; RIBEIRO, A. M.; COSTA, A. C. R.. Participação em banca de Clairmont Borges. Serviços para Auxiliar Decisão Mediante Incerteza. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
5. COSTA, A. C. R.; Axt, M.; CAPPARELLI, S.. Participação em banca de Alex Fernando Teixeira Primo. Interação mediada pelo computador: a comunicação e a educação a distância segundo uma perspectiva sistêmico-relacional. 2003. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
6. COSTA, A. C. R.; Queiroz, R. J. G. B.; Finger, M.. Participação em banca de Anjolina Grisi de Oliveira. Proofs from a Geometric Perspective. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
7. COSTA, A. C. R.; Queiroz, R. J. G. B.; CLAUDIO, D. M.; Moreira, A. M.; CAMPOS, Marcília Andrade. Participação em banca de Regivan Hugo Nunes Santiago. Teoria das Equações Intervalares Locais. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Qualificações de doutorado
1. HOISEL, E. C. S.; CUNHA, E. L.; COSTA, A. C. R.. Participação em banca de Marília Costa Mattos. Subjetividades Pós-adâmicas: Desdobramento do Mito Frankenstein na Contemporaneidade. 2005. Exame de qualificação (Doutorando em Letras e Lingüística) - Universidade Federal da Bahia.
2. LISBÔA, M. L. B.; MARTINI, A. R. B.; COSTA, A. C. R.. Participação em banca de Júlio Henrique Araújo Pereira Machado. Modelando Transações em Diagramas UML. 2005. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Eventos
Participação em eventos
1. II Workshop em Nanociências.Minicurso: Computação Quântica. 2007. (Oficina).
2. IBERAGENTS'2006 - Ibero-American Workshop on Multiagent Systems at International Joint Conference, 10th Ibero-American Artificial Intelligence Conference, 18th Brazilian Artificial Intelligence Symposium, 9th Brazilian Neural Networks Symposium.Palestra Convidada: An exchange value-based foundation for the ethics of artificial agents. 2006. (Congresso).
3. CONAPHA 2006 - Congresso Nacional de Ambientes Hipermídia de Aprendizagem.Palestra Convidada: Valores de Troca em Ambientes Cooperativos: A Necessidade de Suporte de Hipermídia. 2006. (Congresso).
4. TemPós.Palestra Convidada: História das Idéias na área da Inteligência Artificial. 2005. (Encontro).
5. TIL 2004 - Workshop em Tecnologia da Informação e da Linguagem Humana.Palestra Convidada: Um Convite ao Processamento de Línguas de Sinais. 2004. (Congresso).
Organização de eventos
1. COSTA, A. C. R. ; Vicari, R. M. . Coordenador do Comitê de Programa do SBIA 2010. 2010. (Congresso).
2. CAVALHEIRO, G. G. H. ; COSTA, A. C. R. . Coordenador Geral do CLEI 2009. 2009. (Congresso).
3. Antunes, L. ; Janssen, M. ; COSTA, A. C. R. ; Gulyas, L. . Membro da Comissão Organizadora do SMM 2009. 2009. (Congresso).
4. COSTA, A. C. R. . Coordenador geral do BWSS 2008. 2008. (Congresso).
5. COSTA, A. C. R. ; MARCHI, Ana Carolina Bertoletti de ; DIMURO, Graçaliz Pereira ; MORAES, Márcia Cristina ; BEHAR, P. A. ; JAQUES, P. . Membro da Comissão Organizadora do WESAAC 2007. 2007. (Congresso).
6. Vinhas, L. ; COSTA, A. C. R. ; Iochpe, C. ; Câmara, G. ; Seki, D. ; Ferreira, H. S. ; Cunha, J. ; Santos, T. G. ; Braga, T. S. . Membro da Comissão Organizadora do GEOINFO 2007. 2007. (Congresso).
7. Assis, F. M. ; Fechine, J. M. ; Lima, A. F. ; COSTA, A. C. R. ; Albert, B. ; Lavor, C. ; Gurjão, E. C. ; Gomes, H. M. ; Portugal, R. ; Ramos, R. V. . Membro da Comissão Organizadora do WECIQ 2007. 2007. (Congresso).
8. COSTA, A. C. R. ; Portugal, R. . Coordenador geral do WECIQ 2006. 2006. (Congresso).
9. STREITER, Oliver ; VETTORI, Chiara ; COSTA, A. C. R. . Membro da Comissão Organizadora do 1st Workshop on the Representation and Processing of Sign Languages. 2004. (Congresso).
10. COSTA, A. C. R. ; Vicari, R. M. ; Mosca, P. R. F. . Coordenador Geral do SBIA 1984. 1984. (Congresso).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Celso Nobre da Fonseca. Um Modelo Baseado em Agentes para a Simulação Experimental de Mecanismos de Controle da Disseminação da Dengue. Início: 2011. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal do Rio Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
2. Camila Gadret de Oliveira. Uma Teoria do Processamento de Sinais Discretos. Início: 2011. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal do Rio Grande, Universidade Federal do Rio Grande. (Orientador).
3. Paulo Marques da Silva. Modelagem do Mercado Financeiro Baseada em Agentes. Início: 2011. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul. (Orientador).
4. Alexandre Hübner. Uma Linguagem Declarativa para Especificação de Instituições em Sociedades de Agentes. Início: 2010. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal do Rio Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
Tese de doutorado
1. Maria Isabel Giusti Moreira. Algoritmos Culturais e aplicações. Início: 2010. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul. (Orientador).
2. Diego Rodrigues Pereira. Agentes Híbridos BDI-POMDP. Início: 2008. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
Iniciação científica
1. Thiago Vinícius Pinheiro. Modelos de Simulação de Políticas Públicas. Início: 2010. Iniciação científica (Graduando em Bacharelado em Direito) - Universidade Federal do Rio Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. Fernanda Mendez Jeannes. Um Modelo de Agente Econômico Cognitivo em um Sistema Microeconômico com Base no Conceito de Agentes BDI. 2009. Dissertação (Mestrado em Informática) - Universidade Católica de Pelotas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Antonio Carlos da Rocha Costa.
2. Rosaura Espírito Santo da Silva. Um Modelo Baseado em Instituições Eletrônicas para Utilização, Certificação e Autenticação de uma Biblioteca Digital Temática. 2008. Dissertação (Mestrado em Informática) - Universidade Católica de Pelotas, . Orientador: Antonio Carlos da Rocha Costa.
3. Diego Rodrigues Pereira. Extraindo Planos para Agentes BDI baseados em políticas ótimas de POMDPs, com aplicação na auto-regulação de trocas sociais em sistemas multiagentes. 2008. Dissertação (Mestrado em Informática) - Universidade Católica de Pelotas, . Co-Orientador: Antonio Carlos da Rocha Costa.
4. André Vinícius dos Santos. Modelos de Decisão baseados em Lógica Fuzzy para Sistemas de Valores de Troca, em Agentes BDI. 2008. Dissertação (Mestrado em Informática) - Universidade Católica de Pelotas, . Co-Orientador: Antonio Carlos da Rocha Costa.
5. Pablo Souza Grigoletti. Uma Arquitetura Baseada em Sistemas Multiagentes para Simulações em Geoprocessamento. 2007. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
6. Oscar Giancarlo Pacheco Calcin. Bayes Jason. 2006. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
7. Eduardo Monks. Planejamento de Capacidade em Redes Corporativas para Implementação de Serviços VoIP. 2006. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
8. Rúbia Medianeira Denardi. AGA-SW: Síntese de Animações de Sinais. 2006. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Antonio Carlos da Rocha Costa.
9. Alexandre Figueiredo Fachinello. Framework Baseado em Agentes para Sistemas de Rastreabilidade. 2005. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
10. Raquel Mello de Miranda. Gerenciador de Repositório de Objetos de Aprendizagem. 2004. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
11. Renata Vieira Palazzo. Sistemas de Valores de Troca para Plataforma de Sistemas Multiagentes. 2004. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
12. Maíra Ribeiro Rodrigues. Um Sistema de Valores de Troca para Modelagem de Interações em Sociedades Artificiais. 2003. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
13. Andréia Bernardini. Avaliação em Ambientes baseados na Web para suporte ao ensino. 2003. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
14. João Abelar Martins Costa. Desenvolvimento de um esquema XML para banco de dados sobre ovinos. 2002. 86 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
15. Elci Noble Machado. Metapsicologia: princípios para um conceito alternativo de cognição em Inteligência Artificial. 2002. 77 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
16. André Rauber Du Bois. Implementação distribuída de linguagens funcionais em Java. 2001. 80 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
17. Simone André da Costa. Estudo dos Espaços Coerentes do ponto de vista da Teoria dos Topos. 2000. 100 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
18. Márcia Cristina MORAES. Uma Arquitetura de Agentes Improvisacionais para Apoio a Visitação de Museus Baseada em Computadores. 1999. 0 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
19. Daniela Remião de MACEDO. SignDic - um sistema para geração de bancos de dados léxicos para linguagens de sinais. 1999. 0 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
20. Renata Hax Sander Reiser. Um Estudo da Categoria dos Espaços Coerentes Gerados Por Conjuntos Básicos Com Aplicação Em Análise Intervalar. 1997. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Antonio Carlos da Rocha Costa.
21. Ana Carolina Bertoletti. SAGRES - Um Sistema com Apresentação Adaptável de Informações e Suporte à Interação em Grupo. 1997. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
22. Francisco Alberto Rheinganz Silveira. Uso do software Mathematica para ensino de Matemática Elementar. 1997. 0 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
23. Ruben Gerardo Schneider Sellanes. Estratégias de Computação Sequenciais e Paralelas Em Espaços Coerentes. 1996. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Antonio Carlos da Rocha Costa.
24. Jomi Fred Hübner. Estudo sobre migração de agentes. 1995. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Antonio Carlos da Rocha Costa.
25. Rafael Heitor Bordini. Suporte Linguístico Para Migração de Agentes (Co-Orientação). 1994. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Co-Orientador: Antonio Carlos da Rocha Costa.
26. Martín Höetzel Escardó. Números naturais parciais. 1993. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Antonio Carlos da Rocha Costa.
27. Liliana Passerino. Um sistema de tipos para linguagens de representação estruturada de conhecimento. 1992. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Antonio Carlos da Rocha Costa.
28. Marcos Eduardo Casa. Modelos computacionais de conceitos: abordagem cognitiva. 1992. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Antonio Carlos da Rocha Costa.
29. João Carlos Gluz. Formalização de um Modelo de Representação de Conhecimentos Orientado a Objetos. 1991. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Antonio Carlos da Rocha Costa.
30. Raul Sidnei Wazlawick. Um papel para a lógica intraproposicional de Jean Piaget na representação de conhecimento de senso-comum. 1991. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Antonio Carlos da Rocha Costa.
31. Luiz Antônio Moro Palazzo. Representação de conhecimento: programação em lógica e o modelo de hiperredes. 1991. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Antonio Carlos da Rocha Costa.
32. Renata Vieira. Um estudo comparativo entre semântica de Montague e semântica de linguagens de programação: a noção de intensão. 1990. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Co-Orientador: Antonio Carlos da Rocha Costa.
33. Ana Teresa de Castro Martins. Um sistema de revisão de crenças para resolução de problemas. 1990. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Antonio Carlos da Rocha Costa.
34. José Carlos Bins Filho. Máquinas de Claúsulas - arquitetura e modelo de execução de cláusulas Prolog. 1990. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Antonio Carlos da Rocha Costa.
35. Mara Abel. Um Prototipo de Sistema Especialista Aplicado A Geologia. 1988. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
36. Paulo Roberto Ferrari Mosca. Programação em lógica, Montague e regras livres de contexto: teoria formalizada em lógica de um processador para a língua portuguêsa. 1988. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
37. Flávio Moreira de Oliveira. Aplicação de Sistemas Especialistas em Colocação e Roteamento de Circuitos Integrados. 1987. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Antonio Carlos da Rocha Costa.
38. Roberto Porto Löw. Um Interpretador Para A Linguagem Prolog.. 1985. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
Tese de doutorado
1. Raquel de Miranda Barbosa. Especificação Formal de Organizações de Sistemas Multiagentes. 2011. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Antonio Carlos da Rocha Costa.
2. Glaucius Décio Duarte. Uma Metodologia para Modelagem da Organização e Reorganização de Cursos com Base em Sistemas Multiagentes. 2008. 0 f. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
3. Fabio Yoshimitsu Okuyama. Modelo MAS-SOC: Integrando Ambientes e Organizações para Simulações Baseadas em Sistemas Multiagente Situados. 2008. 0 f. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
4. Márcia Häfele Islabão Franco. Mecanismo de Interação entre Agentes: Construção e Avaliação de Trocas Sociais. 2008. 0 f. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Antonio Carlos da Rocha Costa.
5. José Antônio Colvara de Oliveira. Robótica como interface da tomada de consciência da ação e do conhecimento do objeto, através da metacognição como propulsora da produção do conhecimento. 2008. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
6. Giliane Bernardi. Instituições Eletrônicas no Desenvolvimento de Jogos de Emprsa para o Treinamento de Coordenadores de Cursos de Graduação. 2008. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
7. Ana Carolina Bertoletti de Marchi. Um ambiente de suporte a comunidades virtuais baseadas em repositórios de objetos de aprendizagem para apoio à aprendizagem informal em museus. 2006. 0 f. Tese - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
8. Juliana Kaiser Vizzoto. Structuring General and Complete Quantum Computations in Haskell: The Arrows ApproachModelos semânticos para Computação Quântica. 2006. 0 f. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
9. Marianne Rossi Stumpf. Aprendizagem de escrita de língua de sinais pelo sistema Signwriting: línguas de sinais no papel e no computador. 2005. 397 f. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Antonio Carlos da Rocha Costa.
10. Letícia Garcia. Trocas de Valores em Ambientes de Ensino-aprendizagem baseados na Tecnologia P2P. 2005. 0 f. Tese - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
11. Márcia Cristina Moraes. Agentes Improvisacionais como Agentes Deliberativos. 2004. 0 f. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
12. Isolda Giani de Lima. Melhoria nas Condições de Aprendizagem da Matemática: o apoio ao professor. 2004. 0 f. Tese - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
13. Laurete Zanol Sauer. Melhoria nas Condições de Aprendizagem da Matemática: o apoio ao aluno. 2004. 200 f. Tese - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
14. Marilton Sanchotene de Aguiar. Um Modelo Categorizador Intervalar n-Dimensional com L-Camadas Baseado em Tesselacoes. 2004. 120 f. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
15. Carla Beatris Valentini. Tecendo e aprendendo: redes sociocognitivas e autopoiéticas em ambientes virtuais de aprendizagem. 2003. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul, . Co-Orientador: Antonio Carlos da Rocha Costa.
16. Renata Hax Sander Reiser. A Máquina Geométrica - um modelo para representação de processos paralelos e não-determinísticos utilizando como estrutura os Espaços Coerentes. 2002. 100 f. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Antonio Carlos da Rocha Costa.
17. Claudia Brandelero Rizzi. Agentes Cooperativos Piagetianos. 2002. 0 f. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.
18. Luiz Antônio Moro Palazzo. Modelos proativos para hipermídia adaptativa. 2000. 0 f. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Antonio Carlos da Rocha Costa.
19. Graçaliz Pereira Dimuro. Uma Representação Construtiva Global Para Os Números Reais Em Espaços Coerentes Biestruturados. 1998. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Antonio Carlos da Rocha Costa.
20. Patrícia Alejandra BEHAR. Modelagem Lógico-Operatória de Ambientes Computacionais Para Construção Cooperativa de Conhecimentos. 1998. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
Trabalho de conclusão de curso de graduação
1. Vanessa Maia Berny. Implementação de um Sistema de Informações Geográfico com Modelo de Objetos Temporal. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas. Orientador: Antonio Carlos da Rocha Costa.
2. Diego Lemos de Souza. ENSINET/NAV: Uma Ferramenta Baseada em Autômatos de Navegação para Criação e Gerenciamento de Cursos On-lin. 2003. 51 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas, Universidade Católica de Pelotas. Orientador: Antonio Carlos da Rocha Costa.
3. Fabiana Zaffalon Ferreira da Rocha. Proposta de um Padrão Manuscrito para Reconhecimento Automático dos Símbolos do Sistema SignWriting (SW). 2003. 68 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas. Orientador: Antonio Carlos da Rocha Costa.
4. Gleifer Vaz Alves. Implementação de Estruturas de Controle para Estratégias de Prova em um Provador de Teoremas. 2002. 100 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
5. Rafael Pezzin Torchelsen. Editor para Textos de Línguas de Sinais Escritos em SignWriting. 2002. 100 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
6. Raquel Mello de Miranda. ENSINET - um ambiente para ensino integrado baseado na Internet. 2001. 70 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Católica de Pelotas, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Antonio Carlos da Rocha Costa.
7. Rafael Cunha Cardoso. WebMail - um sistema de correio eletrônico para mensagens escritas em linguas de sinais. 2001. 60 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Católica de Pelotas, Universidade Católica de Pelotas. Orientador: Antonio Carlos da Rocha Costa.
8. Rodrigo Prestes Machado. SAM - Um protocolo simples para serviço de agentes. 2001. 70 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Católica de Pelotas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.
9. Marcelo da Silveira Siedler. Um componente ActiveX para exibição de textos de línguas de sinais em páginas HTML. 2001. 80 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Católica de Pelotas, Universidade Católica de Pelotas. Orientador: Antonio Carlos da Rocha Costa.
10. André Guerreiro Cantarelli. Um sistema de informação para a estação ecológica do Taim. 2001. 70 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Católica de Pelotas, Universidade Católica de Pelotas. Orientador: Antonio Carlos da Rocha Costa.
11. Márcia Hafelle Islabão. Uma linguagem de programação baseada no modelo dos espaços coerentes. 2001. 80 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Católica de Pelotas, Universidade Católica de Pelotas. Orientador: Antonio Carlos da Rocha Costa.
12. Alexandre Figueiredo Fachinello. Uma linguagem baseada em RDF para representação de experimentos interativos. 2001. 70 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Católica de Pelotas, Universidade Católica de Pelotas. Orientador: Antonio Carlos da Rocha Costa.
13. João Carlos Gluz. Proposta de um gerenciador de bases frames. 1987. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul. Orientador: Antonio Carlos da Rocha Costa.
14. Alexis Cabeda. Programação em lógica temporal. 1987. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul. Orientador: Antonio Carlos da Rocha Costa.
15. Vanderlei Moraes Rodrigues. Uma linguagem de frames. 1987. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul. Orientador: Antonio Carlos da Rocha Costa.
16. José Carlos Bins Filho. Processamento de informações temporais. 1985. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul. Orientador: Antonio Carlos da Rocha Costa.
17. Wagner Campos Sanz. Processador de Macros. 1984. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul. Orientador: Antonio Carlos da Rocha Costa.
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 14:54:00