Antonio Carlos da Rocha Costa

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


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 colaborador do Programa de Pós-Graduação em Engenharia de Computação da FURG e do Programa de Pós-Graduação em Informática na Educação da UFRGS. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, tendo atuado principalmente nos temas: Fundamentos da Inteligência Artificial e Sociedades de Agentes. Interesses atuais: Sociedades de Agentes, Lógica das Ciências Sociais, Fundamentos da Cognição dos Fenômenos Sociais. Repositório de trabalhos: http://sites/google.com/site/foundationsofagentsocieties. Atualmente é doutorando em filosofia junto ao Programa de Pós-graduação em Filosofia da PUCRS. (Texto informado pelo autor)


Identificação


Nome
Antonio Carlos da Rocha Costa
Nome em citações bibliográficas
COSTA, A. C. R.;DA ROCHA COSTA, ANTÔNIO CARLOS;DA ROCHA COSTA, A. C.;Costa, Antônio Carlos da Rocha;Costa, Antonio Carlos da Rocha


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


2017
Doutorado em andamento em Filosofia.
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
Título: Análise Lógica dos Fundamentos da Marxismo Estruturalista,
Orientador: Norman Roland Madarasz.
Palavras-chave: Louis Althusser; Alain Badiou; marxismo estruturalista; lógica hegeliana; materialismo dialético.
1988 - 1993
Doutorado 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
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 - 1980
Mestrado 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
Setores de atividade: Informática.
1982 - 1982
Especialização em Metodologia do Ensino Superior.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
1987 interrompida
Graduação interrompida em 1988 em Filosofia.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Ano de interrupção: 1988
1971 - 1977
Graduação em Engenharia Elétrica opção Eletrônica.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.




Atuação Profissional



Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

2012 - Atual
Vínculo: Bolsista, Enquadramento Funcional: Bolsa de Produtividade DT/2, Carga horária: 40
Outras informações
Período concedidos: 03/2012-02/2015 03/2015-02/2018

Vínculo institucional

1994 - 2011
Vínculo: Bolsa de Produtividade, Enquadramento Funcional: Pesquisador 2, Carga horária: 20

Atividades

03/1994 - Atual
Pesquisa e desenvolvimento , Conselho Nacional de Desenvolvimento Científico e Tecnológico, .


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

2015 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Prof. Colaborador do PGGComp/FURG

Vínculo institucional

2012 - 2015
Vínculo: Docente Permanente do PPGComp., Enquadramento Funcional: Docente Permenante do PPGComp/FURG, Carga horária: 20

Vínculo institucional

2010 - 2015
Vínculo: Servidor Público, Enquadramento Funcional: Prof. Adjunto - C3/FURG, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Nomeação em 03 de Março de 2010. Aposentadoria em 20 de Março de 2015.

Vínculo institucional

2012 - 2014
Vínculo: Coordenador do PPGComp, Enquadramento Funcional: Coordenador do PPGComp/FURG

Vínculo institucional

2009 - 2013
Vínculo: Docente Permanente do PPGMC, Enquadramento Funcional: Docente Permanente do PPGMC/FURG, Carga horária: 20
Outras informações
Docente Permanente do Programa de Pós-Graduação em Modelagem Computacional.

Atividades

09/2009 - Atual
Ensino, Modelagem Computacional, Nível: Pós-Graduação

Disciplinas ministradas
Simulação Social
09/2009 - 03/2015
Pesquisa e desenvolvimento , Programa de Pós-Graduação em Modelagem Computacional, .

Linhas de pesquisa
Sistemas Multiagentes

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 do Curso de Doutorado em Informática na Educação (PGIE/UFRGS), orientador de 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/2005
Ensino, 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/2005
Ensino, 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/1996
Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.

01/1980 - 07/1996
Ensino, 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/1996
Conselhos, Comissões e Consultoria, Instituto de Informática, Departamento de Informática Teórica.

Cargo ou função
Membro de comissão permanente.

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/1998
Ensino, 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/1998
Ensino, 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 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 - Atual
Ensino, 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 - Atual
Ensino, 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
7/2003 - 12/2003
Direçã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/2000
Direçã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).

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/2004
Conselhos, 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.

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.


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/2004
Conselhos, Comissões e Consultoria, Conselho Editorial da Revista Brasileira de Informática na Educação, .

Cargo ou função
Editor da RBIE/SBC.

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/2000
Conselhos, 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).

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/2006
Conselhos, Comissões e Consultoria, Conselho Municipal de Ciência e Tecnologia Prefeitura Municipal de Pelotas, .

Cargo ou função
Membro do Conselho Municipal de Ciência e Tecnologia.

Institute for the Bio-Cultural Study of Religion, IBCSR, Estados Unidos.
Vínculo institucional

2015 - Atual
Vínculo: Modeling Religion Project, Enquadramento Funcional: Member of the Advisory Board, Carga horária: 1
Outras informações
Subject: Formal languages for modeling the social aspects of religion.


Sociedade Brasileira de Filosofia Analítica, SBFA, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: Membro associado, Enquadramento Funcional: Membro associado



Linhas de pesquisa


1.
Arquitetura de Computadores e Sistemas Operacionais (como pesquisador financiado pela UFRGS, de 1980 a 1993)

Objetivo: 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)

Objetivo: 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
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)

Objetivo: 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
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)

Objetivo: 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
Setores de atividade: Educação.
Palavras-chave: Ambientes Cooperativos; Sistemas Multiagentes.
6.
Teorias e Modelos de Sociedades de Agentes (como pesquisador financiado pelo CNPq)

Objetivo: Desenvolvimento de teorias e modelos de sociedades de agentes, na perspectiva do Modelo PopOrg..
Palavras-chave: Sociedades de Agentes; Teorias e Modelos de Sociedades de Agentes; Modelo PopOrg.
7.
Modelos Formais para Ciências Sociais (como pesquisador financiado pelo CNPq)

Objetivo: Desenvolvimento e aplicação de modelos formais baseados em sociedades de agentes às Ciências Sociais, especialmente: Sociologia, Direito e Ciências Políticas..
Grande área: Ciências Humanas
Grande Área: Ciências Sociais Aplicadas / Área: Direito.
Grande Área: Ciências Humanas / Área: Ciência Política.
Palavras-chave: Modelos formais para Ciências Sociais; Sociedades de Agentes.
8.
Sistemas Multiagentes

Objetivo: Teoria e modelos de sociedades de agentes.


Projetos de pesquisa


2011 - Atual
MSPP: Modelagem e Simulação de Políticas Públicas (Bolsa de Produtividade em Desenvolvimento Tecnológico e Extensão Invovadora - CNPq/DT, Nível 2)
Descrição: Este projeto visa estabelecer uma metodologia de aplicação de modelos e técnicas de simulação social baseada em agentes à simulação de políticas públicas. A metodologia de modelagem e simulação de políticas públicas que se pretende estabelecer tem três fundamentos principais: (i) o modelo PopOrg de organização de sociedades de agentes; (ii) a plataforma Jason-Cartago para implementação de sistemas multiagentes normativos; e o reconhecimento da multiplicidade de formas que o processo de política pública pode adquirir nos vários contextos sócio-políticos (incluindo as diversas formas de redes e de comunidades de políticas). O projeto pretende alcançar também 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 Jason-Cartago.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Antonio Carlos da Rocha Costa - Coordenador / Graçaliz Pereira Dimuro - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 6
2010 - Atual
RS-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: Antonio Carlos da Rocha Costa - Integrante / Graçaliz Pereira Dimuro - Integrante / Ana Bazzan - Integrante / Diana Adamatti - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.Número de orientações: 2
1994 - 2010
Inteligê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: Antonio Carlos da Rocha Costa - Coordenador / Renata Hax Sander REISER - Integrante / Graçaliz Pereira Dimuro - Integrante.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 - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.


Outros Projetos


2003 - 2007
SignNet/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 profissional: (0) / Doutorado: (1) .
Integrantes: Antonio Carlos da Rocha Costa - Coordenador / 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.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


Membro de corpo editorial


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


Membro de comitê de assessoramento


2000 - 2002
Agência de fomento: Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul


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 - 2019
Periódico: Revista do CCEI
2009 - 2009
Periódico: Revista Brasileira de Computação Aplicada
2011 - 2011
Periódico: African Journal of Marketing Management
2011 - 2012
Periódico: TEMA. Tendências em Matemática Aplicada e Computacional
2016 - Atual
Periódico: Axiomathes (Padova)


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sociedades de Agentes.
2.
Grande área: Ciências Humanas / Área: Sociologia / Subárea: Modelos Formais para Ciências Sociais.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Apresentações formais da lógica hegeliana.


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


2010
Fernanda Mendez Jeannes (or.) - Prêmio Melhor Artigo do WESAAC 2010 (2o. Lugar), Sociedade Brasileira de Computação.
2010
Giovani Parente Farias (co-or.) - Prêmio Melhor Artigo do WESAAC 2010 (1o. Lugar), Sociedade Brasileira de Computação.
2008
Diego 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.
2007
Juliana Kaiser Vizzotto (or.) - 3o. Lugar - Concurso de Teses - Congresso da SBC 2007 (Orientada de Doutorado), Sociedade Brasileira de Computação.
2006
Marianne Rossi Stumpf (or.) - Menção Honrosa Tese Doutorado - Prêmio CAPES/PAPED - 2006, CAPES.
2005
Raquel 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.
1993
Martín Hötzel Escardó (or.) - Prêmio 2º Lugar - Concurso de Dissertações - Congresso da SBC, 1993, Sociedade Brasileira de Computação.
1990
Martín Hötzel Escardó (or.) - 1º Lugar - Concurso de Trabalhos de Iniciação - Congresso da SBC, 1990, Sociedade Brasileira de Computação.
1990
Ana Tereza de Castro Martins (co-or.) - Prêmio 3º Lugar - Concurso de Dissertações - Congresso da SBC, 1990, Sociedade Brasileira de Computação.


Produções



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

1.
DA ROCHA COSTA, ANTÔNIO CARLOS2018DA ROCHA COSTA, ANTÔNIO CARLOS. Exchange process-based social mechanisms and social functions: an operational approach to the macro functional aspects of agent societies. Computational and Mathematical Organization Theory, v. 24, p. 188-223, 2018.

2.
DA ROCHA COSTA, ANTÔNIO CARLOS2017DA ROCHA COSTA, ANTÔNIO CARLOS. Situated Ideological Systems: A Formal Concept, a Computational Notation, some Applications. Axiomathes (Padova), v. 27, p. 15-78, 2017.

3.
COSTA, A. C. R.2017COSTA, A. C. R.; Bavaresco, A. ; Orsini, F. . As Observações sobre a Quantidade e a Medida na Doutrina do Ser de Hegel. Considerações histórico-críticas.. REVISTA OPINIÃO FILOSÓFICA, v. 8, p. 432-449, 2017.

4.
DA ROCHA COSTA, ANTÔNIO CARLOS2016DA ROCHA COSTA, ANTÔNIO CARLOS. Elements for a Formal Model of Intentional Systems. Electronic Notes in Theoretical Computer Science, v. 324, p. 51-66, 2016.

5.
PANISSON, ALISON R.2016PANISSON, ALISON R. ; BORDINI, RAFAEL H. ; DA ROCHA COSTA, ANTÔNIO CARLOS . Towards Multi-Level Semantics for Multi-Agent Systems. Electronic Notes in Theoretical Computer Science, v. 324, p. 123-134, 2016.

6.
Costa, Antônio Carlos da Rocha2016Costa, Antônio Carlos da Rocha. Relativistic ontological realism. Revista Veritas, v. 61, p. 306-336, 2016.

7.
DA ROCHA COSTA, ANTÔNIO CARLOS2015DA ROCHA COSTA, ANTÔNIO CARLOS. Situated legal systems and their operational semantics. Artificial Intelligence and Law (Dordrecht. Print), v. 23, p. 43-102, 2015.

8.
PEREIRA DIMURO, GRAÇALIZ2015PEREIRA DIMURO, GRAÇALIZ ; DA ROCHA COSTA, ANTÔNIO CARLOS . Regulating social exchanges in open MAS: The problem of reciprocal conversions between POMDPs and HMMs. Information Sciences, v. 323, p. 16-33, 2015.

9.
OKUYAMA, Fabio Yoshimitsu2013OKUYAMA, Fabio Yoshimitsu ; BORDINI, Rafael Heitor ; COSTA, A. C. R. . Situated Normative Infra-structures: The Normative Object Approach. Journal of Logic and Computation (Print), v. 23, p. 397-424, 2013.

10.
BARBOSA, R. M.2011BARBOSA, 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.

11.
DIMURO, Graçaliz Pereira2011DIMURO, 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.

12.
FRANCO, M. H. I.2010FRANCO, M. H. I. ; COSTA, A. C. R. ; COELHO, H. . Exchange Values and Social Power Supporting the Choice of Partners. Revista Pueblos y Frontera Digital, v. 6, p. art_02, 2010.

13.
Farias, G. P.2010Farias, 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, 2010.

14.
AMARAL, R. B.2009AMARAL, 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.

15.
BERNARDI, Giliane2008BERNARDI, 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.

16.
VIZZOTO, Juliana Kaiser2008VIZZOTO, Juliana Kaiser ; COSTA, A. C. R. ; Sabry, A. . Quantum Arrows in Haskell. Electronic Notes in Theoretical Computer Science, v. 210, p. 139-152, 2008.

17.
DIMURO, Graçaliz Pereira2008DIMURO, 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.

18.
BEDREGAL, Benjamín Callejas2007BEDREGAL, 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.

19.
FRANCO, M. F.2007FRANCO, M. F. ; COSTA, A. C. R. . Dialogue Protocols for Argumentation about Exchange Values in Multiagent Systems. Scientia (Unisinos), v. 17, p. 36-44, 2007.

20.
DUARTE, Glaucius Décio2007DUARTE, 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.

21.
KREINOVICH, Vladik2006KREINOVICH, 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.

22.
SANTOS, André Vinícius dos2006SANTOS, 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.

23.
BERTOLETTI-DE-MARCHI, Ana Carolina2006BERTOLETTI-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.

24.
CARDOSO, Marcos Borba2006CARDOSO, 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.

25.
MARCHI, Ana Carolina Bertoletti de2006MARCHI, 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.

26.
DIMURO, Graçaliz Pereira2005DIMURO, 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.

27.
BORDINI, Rafael Heitor2005BORDINI, 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.

28.
COSTA, A. C. R.;DA ROCHA COSTA, ANTÔNIO CARLOS;DA ROCHA COSTA, A. C.;Costa, Antônio Carlos da Rocha;Costa, Antonio Carlos da Rocha2005 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.

29.
COSTA, A. C. R.;DA ROCHA COSTA, ANTÔNIO CARLOS;DA ROCHA COSTA, A. C.;Costa, Antônio Carlos da Rocha;Costa, Antonio Carlos da Rocha2005COSTA, 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.

30.
MARCHI, Ana Carolina Bertoletti de2005MARCHI, 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.

31.
AGUIAR, Marilton Sanchotene de2004AGUIAR, 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.

32.
REISER, Renata Hax Sander2004REISER, 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.

33.
RIZZI, Claudia Brandelero2004RIZZI, 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.

34.
REISER, Renata Hax Sander2004REISER, 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.

35.
MARCHI, Ana Carolina Bertoletti de2004MARCHI, 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.

36.
MORAES, Márcia Cristina2004MORAES, Márcia Cristina ; COSTA, A. C. R. . IMP-BDI: Improvisational BDI Architecture. Revista Tecnologia da Informação, v. 4, p. 67-75, 2004.

37.
SOUZA, Diego Lemos de2004SOUZA, 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.

38.
BARBOSA, R. M.2004BARBOSA, 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.

39.
COSTA, A. C. R.;DA ROCHA COSTA, ANTÔNIO CARLOS;DA ROCHA COSTA, A. C.;Costa, Antônio Carlos da Rocha;Costa, Antonio Carlos da Rocha2003COSTA, 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.

40.
BERTOLETTI, Ana Carolina2003BERTOLETTI, 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.

41.
REISER, Renata Hax Sander2003REISER, 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.

42.
REISER, Renata Hax Sander2003REISER, 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.

43.
REISER, Renata Hax Sander2002REISER, 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.

44.
CAMPOS, Marcilia Andrade2002CAMPOS, 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.

45.
MIRANDA, Raquel Mello de2002MIRANDA, 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.

46.
MIRANDA, Raquel Mello2001MIRANDA, 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.

47.
DIMURO, Graçaliz Pereira2000DIMURO, 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.

48.
DIMURO, Graçaliz Pereira2000DIMURO, 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.

49.
BEHAR, P. A.1999BEHAR, 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.

50.
CAMPOS, M. B.1998CAMPOS, 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.

51.
WAZLAWICK, R. S.1996WAZLAWICK, 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.

52.
COSTA, A. C. R.;DA ROCHA COSTA, ANTÔNIO CARLOS;DA ROCHA COSTA, A. C.;Costa, Antônio Carlos da Rocha;Costa, Antonio Carlos da Rocha1995 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, G. P. (Org.) ; ADAMATTI, D. F. (Org.) ; COELHO, H. (Org.) ; SICHMAN, J. S. (Org.) ; BALSA, J. (Org.) ; TEDESCO, P. (Org.) ; COSTA, A. C. R. (Org.) . 2012 Third Brazilian Workshop on Social Simulation (BWSS). 1. ed. Los Alamitos: IEEE CPS, 2012. v. 1. 142p .

2.
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. 132p .

3.
DIMURO, Graçaliz Pereira (Org.) ; FOSS, L. (Org.) ; AGUIAR, Marilton Sanchotene de (Org.) ; COSTA, S. A. (Org.) ; COSTA, A. C. R. (Org.) . Anais do WEIT 2011 - I Workshop-Escola de Informática Teórica. 1. ed. Pelotas: UFPEL, 2011. v. 1. 267p .

4.
COSTA, S. A. (Org.) ; FOSS, L. (Org.) ; AGUIAR, Marilton Sanchotene de (Org.) ; DIMURO, Graçaliz Pereira (Org.) ; COSTA, A. C. R. (Org.) . Post-Proceedings 2011 Workshop-School on Theoretical Computer Science - WEIT 2011.. 1. ed. New York: IEEE, 2011. v. 1. 163p .

5.
COSTA, A. C. R.; Vicari, R. M. (Org.) ; Tonidandel, F. (Org.) . Advance in Artificial Intelligence - SBIA 2010. 1. ed. Berlin: Springer, 2010. v. 1. 313p .

6.
COSTA, A. C. R.. Proceedings of BWSS - Brazilian Workshop on Social Simulation. Porto Alegre: SBC, 2008. v. 1.

7.
COSTA, A. C. R.. Anais do WESAAC 2007 - 1o. Workshop-Escola de Sistemas de Agentes para Ambientes Colaborativos. Pelotas: UCPel, 2007. v. 1. 180p .

8.
COSTA, A. C. R.; Portugal, R. (Org.) . Anais do WECIQ 2006 - 1o. Workshop-Escola de Computação e Informação Quântica. Pelotas: UCPel, 2006. v. 1. 286p .

9.
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. 135p .

10.
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. 57p .

11.
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.
COSTA, A. C. R.. Energy Systems in Material Agent Societies. In: Diana Francisca Adamatti; Mariela Inés Cortés; Anarosa Alves Brandão. (Org.). E-book do Wesaac: 11th Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações. 1ed.Rio Grande: Editora da FURG, 2017, v. 1, p. 35-46.

2.
Costa, Antonio Carlos da Rocha. Ecosystems as Agent Societies, Landscapes as Multi-Societal Agent Systems. In: Diana Francisca Adamatti. (Org.). Multi-Agent-Based Simulations Applied to Biological and Environmental Systems. 1ed.Hershey: IGI Global, 2016, v. 1, p. 25-43.

3.
COELHO, H. ; COSTA, A. C. R. ; TRIGO, P. . On Agent Interactions Governed by Morality. In: Diana Adamatti; Graçaliz Dimuro; Helder Coelho. (Org.). On Agent Interactions Governed by Morality. 1ed.Hershey: IGI Global, 2014, v. 1, p. 1-16.

4.
Rodrigues, L. M. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; EMMENDORFER, L. . A Multiagent System-Based Solution for Shipment Operations with Priorities in a Container Terminal. In: Gustavo Lugo; Jomi Hübner. (Org.). Post-Procedings of the 2011 Workshop and School of Agent Systems, their Environment and Applications (WESAAC). 1ed.New York: IEEE, 2012, v. 1, p. 28-36.

5.
COSTA, A. C. R.. The Cultural Level in Agent Societies. In: Gustavo A. Gimenez Lugo; Jomi F. Hübner; Cesar A. Tacla. (Org.). 2011 Workshop and School of Agent Systems, their Environment and Applications (WESAAC). 1ed.Los Alamitos: IEEE CPS, 2012, v. 1, p. 1-19.

6.
SANTOS, I. A. S. ; RODRIGUES, T. F. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; DIMURO, G. ; MANUEL, E. . Towards the Modeling of the Social Organization of an Experiment of Social Management of Urban Vegetable Gardens. In: Gustavo A. Giménez Lugo; Jomi F. Hübner; Cesar A. Tacla. (Org.). 2011 Workshop and School of Agent Systems, their Environment and Applications (WESAAC). 1ed.Los Alamitos: IEEE CPS, 2012, v. 1, p. 98-101.

7.
VEBER, D. L. ; COSTA, A. C. R. ; KRUSCHE, N. . Net Logo and the Climate Change Model as a Tool for the Simulation of the Greenhouse Effect. In: Gustavo A. Giménez Lugo; Jomi F. Hübner; Cesar A. Tacla. (Org.). 2011 Workshop and School of Agent Systems, their Environment and Applications (WESAAC). 1ed.Los Alamitos: IEEE CPS, 2012, v. 1, p. 104-106.

8.
SICHMAN, J. S. ; COSTA, A. C. R. ; Adamatti, D. ; DIMURO, Graçaliz Pereira ; LIMA NETO, F. B. ; BOMMEL, P. . An Overview of Social Simulation Research in Brazil. In: Graçaliz Pereira Dimuro; Diana Francisca Adamatti; Helder Coelho; Jaime Simão Sichman; João Balsa; Patrícia Tedesco; Antônio Carlos da Rocha Costa. (Org.). 2012 Brazilian Workshop on Social Simulation Advances in Social Simulation II. 1ed.Los Alamitos: IEEE CPS, 2012, v. 1, p. 18-22.

9.
COSTA, A. C. R.; DIMURO, Graçaliz Pereira . Elementary Social Functions: Concept and Interrelation to Social Dependence Relations. In: Graçaliz Pereira Dimuro; Diana Francisca Adamatti; Helder Coelho; Jaime Simão Sichman; João Balsa; Patrícia Tedesco; Antônio Carlos da Rocha Costa. (Org.). 2012 Third Brazilian Workshop on Social Simulation (BWSS). 1ed.Los Alamitos: IEEE CPS, 2012, v. 1, p. 23-30.

10.
MACEDO, L. F. K. ; DIMURO, Graçaliz Pereira ; AGUIAR, Marilton Sanchotene de ; COSTA, A. C. R. ; MATTOS, V. ; COELHO, H. . Analyzing the Evolution of Social Exchange Strategies in Social Preference-Based MAS through an Evolutionary Spatial Approach of the Ultimatum Game. In: Graçaliz Pereira Dimuro; Diana Francisca Adamatti; Helder Coelho; Jaime Simão Sichma; João Balsa; Patrícia Tedesco; Antônio Carlos da Rocha Costa. (Org.). 2012 Brazilian Workshop on Social Simulation, Advances in Social Simulation II. 1ed.Los Alamitos: IEEE CPS, 2012, v. 1, p. 83-90.

11.
SANTOS, F. P. ; RODRIGUES, T. F. ; Adamatti, D. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; DIMURO, G. ; MANUEL, E. . Modeling Role Interactions in a Social Organization for the Simulation of the Social Production and Management of Urban Ecosystems: The Case of San Jerónimo Vegetable Garden of Seville, Spain. In: Graçaliz Pereira Dimuro; Diana Francisca Adamatti; Helder Coelho; Jaime Simão Sichman; João Balsa; Patrícia Tedesco; Antônio Carlos da Rocha Costa. (Org.). 2012 Brazilian Workshop on Social Simulation, Advances in Social Simulation II. 1ed.Los Alamitos: IEEE CPS, 2012, v. 1, p. 136-139.

12.
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. 1ed.Los Alamitos: IEEE, 2011, v. 1, p. 66-73.

13.
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. 1ed.Los Alamitos: IEEE, 2011, v. 1, p. 74-81.

14.
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. 1ed.Los Alamitos: IEEE, 2011, v. 1, p. 96-102.

15.
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. 1ed.Los Alamitos: IEEE, 2011, v. 1, p. 15-20.

16.
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. 1ed.Los Alamitos: IEEE, 2011, v. 1, p. 103-110.

17.
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. 1ed.Los Alamitos: IEEE, 2011, v. 1, p. 119-126.

18.
SANTOS, I. A. S. ; RODRIGUES, T. F. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; DIMURO, G. ; MANUEL, E. . Towards the Modeling of the Social Organization of an Experiment of Social Management of Urban Vegetable Gardens. In: Gustavo Lugo; Jomi Hübner.. (Org.). Post-Procedings of the 2011 Workshop and School of Agent Systems, their Environment and Applications (WESAAC). 1ed.New York: IEEE, 2011, v. 1, p. 98-101.

19.
COSTA, A. C. R.. The Cultural Level of Agent Societies. In: Gustavo Lugo; Jomi Hubner. (Org.). Post-Procedings of the 2011 Workshop and School of Agent Systems, their Environment and Applications (WESAAC). 1ed.New York: IEEE, 2011, v. 1, p. 1-19.

20.
Rodrigues, L. M. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; EMMENDORFER, L. . A Multiagent System-Based Solution for Shipment Operations with Priorities in a Container Terminal. In: Gustavo A. Giménez Lugo;Jomi F. Hübner;Cesar A. Tacla. (Org.). A Multiagent System-Based Solution for Shipment Operations with Priorities in a Container Terminal. 1ed.Los Alamitos: IEEE CPS, 2011, v. 1, p. 28-36.

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

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

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

24.
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. 73ed.Rio Grande: Edigraf- Editora e Gráfica da Universidade Federal do Rio Grande, 2010, v. 1, p. -60.

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

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

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

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

29.
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). 1ed.Vienna: OFAI, 2010, v. 1, p. 459-464.

30.
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. 1ed.Hershey: IGI Global, 2009, v. 1, p. 419-445.

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

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

33.
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). 1ed.Heidelberg: Springer, 2007, v. 4389, p. 203-220.

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

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

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

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

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

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

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

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

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

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

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

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

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

47.
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. 1ed.Porto Alegre: SBC, 2004, v. 1, p. 121-148.

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

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

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

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

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

53.
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. 1999.

Trabalhos completos publicados em anais de congressos
1.
COSTA, A. C. R.. Elementary Economic Systems in Material Agent Societies. In: WESAAC 2018 - Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2018, Fortaleza. Anais do WESAAC 2018. Fortaleza: UECE, 2018. v. 1. p. 12-24.

2.
COSTA, A. C. R.. Two Concepts of Module, for Agent Societies and Inter-Societal Agent Systems. In: EMAS 2017 - Engineering Multi-Agent Systems, 2017, São Paulo. Proceedings of EMAS@AAMAS2017. São Paulo: IFAMAS, 2017. v. 1. p. 190-205.

3.
COSTA, A. C. R.. Energy Systems in Material Agent Societies. In: WESAAC 2017 - Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2017, São Paulo. Anais do WESAAC 2017. São Paulo: SBC, 2017. v. 1. p. 35-46.

4.
COSTA, A. C. R.. An Architecture for the Legal Systems of Compliance-Critical Agent Societies. In: COIN++ 2016 - Workshop on Coordination, Organizations, Institutions and Norms, 2016, The Hague. Proceedings of COIN++@ECAI2016. The Hague: IFAMAS, 2016. v. 1. p. 77-84.

5.
COSTA, A. C. R.. Moral Systems of Agent Societies: Some Elements for their Analysis and Design. In: EDIA 2016 - Workshop on Ethics in the Design of Intelligent Agents, 2016, The Hague. Proceedings of EDIA@ECAI 2016. The Hague: IFAMAS, 2016. v. 1. p. 34-49.

6.
COSTA, A. C. R.. Esboço de um Modelo Semântico Fenomenológico para Processos Intencionais de Agentes Computacionais. In: 3º Workshop-Escola de Informática Teórica ? WEIT 2015, 2015, Porto Alegre. Anais do WEIT 2015. Porto Alegre: UFRGS, 2015. v. 1. p. 106-113.

7.
PANISSON, A. R. ; BORDINI, Rafael Heitor ; COSTA, A. C. R. . Towards Multi-Level Semantics for Multi-Agent Systems. In: 3º Workshop-Escola de Informática Teórica ? WEIT 2015, 2015, Porto Alegre. Anais do WEIT 2015. Porto Alegre: UFRGS, 2015. v. 1. p. 230-237.

8.
COSTA, A. C. R.. Proposal for a Notion of Modularity in Multiagent Systems. In: EMAS 2014 - International Workshop on Engineering Multi-Agent Systems, 2014, Paris. Proceedings of EMAS 2014. Paris: IFAMAS, 2014. v. 1. p. 21-40.

9.
COSTA, A. C. R.. On the Basic Binding Structure of a Basic Interaction Scheme. In: 27th European Conference on Modelling and Simulation, 2013, Aalesund. Proceedings of ECMS 2013, 2013. v. 1. p. 907-913.

10.
RODRIGUES, T. F. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . A Communication Infrastructure Based on Artifacts for the JaCaMo Platform. In: 1st International Workshop on Engineering Multiagent Systems @ AAMAS 2013, 2013, Saint Paul. Proc. 1st International Workshop on Engineering Multiagent Systems @ AAMAS 2013. New York: IFAMAS, 2013. v. 1. p. 97-111.

11.
DOBRZANSKI, T. ; ALVES, G. V. ; COSTA, A. C. R. . Utilizando o MOISE+ na Modelagem de um Sistema Multiagente da Peça Auto da Compadecida. In: ENIAC 2013 ? X National Meeting on Artificial and Computational Intelligence, 2013, Fortaleza. Proc. ENIAC 2013 ? X National Meeting on Artificial and Computational Intelligence. SBC: Fortaleza, 2013. v. 1. p. 1-12.

12.
THOMASI, C. D. ; COSTA, A. C. R. . OrIAs: An Artifact-Based Micro-Organizational Level Infrastruture for Multiagent Systems. In: 11th European Workshop on Multi-Agent Systems, 2013, Toulouse. Proc. 11th European Workshop on Multi-Agent Systems. Toulouse: EUMAS, 2013. v. 1. p. 1-14.

13.
COSTA, A. C. R.. Toward a Formal Reconstruction of Kelsen?s Theory of Legal Systems. In: II Workshop-Escola de Informática Teórica - WEIT 2013, 2013, Rio Grande. Anais do WEIT 2013. Pelotas: UFPEL, 2013. v. 1. p. 1-8.

14.
SANTOS, F. P. ; RODRIGUES, T. F. ; DIMURO, G. ; Adamatti, D. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; MANUEL, E. . Modeling Role Interactions in a Social Organization for the Simulation of the Social Production and Management of Urban Ecosystems: the case of San Jerónimo Vegetable Garden of Seville, Spain. In: BWSS 2012 - The Third Brazilian Workshop on Social Simulation, 2012, Curitiba. Anais do BWSS 2012. Porto Alegre: SBC, 2012. v. 1. p. 1-16.

15.
MACEDO, L. F. ; DIMURO, Graçaliz Pereira ; AGUIAR, Marilton Sanchotene de ; COSTA, A. C. R. ; COELHO, H. M. F. ; MATTOS, V. . Analyzing the Evolution of Social Exchange Strategies in Social Preference-based MAS through an Evolutionary Spatial Approach of the Ultimatum Game. In: BWSS 2012 - The Third Brazilian Workshop on Social Simulation, 2012, Curitiba. Anais do BWSS 2012. Porto Alegre: SBC, 2012. v. 1. p. 1-16.

16.
COSTA, A. C. R.; DIMURO, Graçaliz Pereira . Elementary Social Functions: Concept and Interrelation to Social Dependence Relations. In: BWSS 2012 - The Third Brazilian Workshop on Social Simulation, 2012, Curitiba. Anais do BWSS 2012. Porto Alegre: SBC, 2012. v. 1. p. 1-16.

17.
Farias, G. P. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Um Modelo de Agente BDI-Fuzzy para Trocas de Serviços Não-Econômicos Baseado na Teoria das Trocas Sociais de Piaget. In: II CBSF - Segundo Congresso Brasileiro de Sistemas Fuzzy, 2012, Natal. Anais do CBSF. Natal: UFRN, 2012. v. 1. p. 1-12.

18.
SANTOS, I. A. S. ; MOTA, F. P. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Um framework para simulação de Políticas Públicas aplicado ao caso da Piracema, sob o olhar da Teoria dos Jogos. In: Encontro Nacional de Inteligência Artificial - ENIA 2012, 2012, Curitiba. Anais do ENIA 2012. Porto Alegre: SBC, 2012. v. 1. p. 1-12.

19.
SANTOS, F. P. ; DIMURO, G. ; RODRIGUES, T. F. ; Adamatti, D. ; DIMURO, Graçaliz Pereira ; MANUEL, E. ; COSTA, A. C. R. . Modelando a Organização Social de um SMA para Simulação dos Processos de Produção e Gestão Social de um Ecossistema Urbano: o caso da Horta San Jerónimo da cidade de Sevilla, Espanha. In: WESAAC 2012 - VI Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2012, Florianópolis. Anais do WESAAC 2012. Florianópolis: UFSC, 2012. v. 1. p. 93-104.

20.
DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Regulation of Social Exchanges in Open MAS: the problem of reciprocal conversions between POMDPs and HMMs. In: Workshop on Adaptive and Learning Agents - ALA 2012 / AAMAS 2012 -11th International Conference on Autonomous Agents and Multiagent Systems, 2012, Valencia, Espanha. Proceedings of AAMAS 2012 - ALA Workshop. Richland, South Carolina: IFAMAS, 2012. v. 1. p. 1-8.

21.
SANTOS, I. A. S. ; COSTA, A. C. R. . Simulando a Execução de Políticas Públicas através de Jason e CArtAgO. In: WESAAC 2012 - Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 2012, Florianópolis. Anais do WESAAC 2012. Florianópolis: UFSC, 2012. v. 1. p. 81-92.

22.
COSTA, A. C. R.; SANTOS, I. A. S. . Toward a Framework for Simulating Agent-Based Models of Public Policy Processes on the Jason-CArtAgO Platform. In: AMPLE@ECAI 2012 - 2nd International Workshop on Agent-based Modeling for Policy Engineering, European Conference on Artificial Intelligence, 2012, Montpellier, França. Proceedings of AMPLE@ECAI 2012. Montpellier: Université de Montpellier, 2012. v. 1. p. 1-15.

23.
GONCALVES, G. ; KRUSCHE, N. ; COSTA, A. C. R. . A Utilização de Sistemas Multiagentes para a Modelagem de Mudanças Climáticas. In: XVII Congresso Brasileiro de Meteorologia, 2012, Gramado. Anais do XVII Congresso Brasileiro de Meteorologia. Rio de Janeeiro: SBMet, 2012. v. 5. p. 1-6.

24.
Rodrigues, L. M. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Um Modelo Multiagente para Carregamento Compartilhado com Prioridades em um Terminal de Contê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.

25.
BRIAO, S. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. . Um Estudo para uma Proposta de Modelos de Tomada de Decisão em Interações Estratégicas para Sistemas Multiagentes em Ambientes de Informação Imperfeita. In: WEIT 2011 - Workshop-Escola de Informática Teórica, 2011, Pelotas. Anais do WEIT 2011. Rio Grande: FURG, 2011. v. 1. p. 190-200.

26.
COSTA, S. A. ; COSTA, A. C. R. ; DIMURO, Graçaliz Pereira . Towards Developmental Turing Machines. In: WEIT 2011 - Workshop-Escola de Informática Teórica, 2011, Pelotas. Anais do WEIT 2011. Pelotas: UFPEL, 2011. v. 1. p. 152-163.

27.
Rodrigues, L. M. ; DIMURO, Graçaliz Pereira ; COSTA, A. C. R. ; EMMENDORFER, L. . 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.

28.
COSTA, A. C. R.. Relativismo Epist?emico em Sociedades de Agentes: Uma Modelagem Semântica Preliminar. In: Workshop-Escola de Informática Teórica - WEIT 2011, 2011, Pelotas. Anais do WEIT 2011. Pelotas: UFPEL, 2012. v. 1. p. 122-133.

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

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

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

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

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

34.
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. CEUR Workshop Proceedings. Aachen: Sun SITE Central Europe/ RWTH Aachen University/Tilburg University, 2010. v. 627. p. 23/21-23/26.

35.
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. CEUR Workshop Proceedings. Aachen: Sun SITE Central Europe/ RWTH Aachen University/Tilburg University, 2010. v. 627. p. 41/23-41/30.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

190.
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.
PANISSON, ALISON R. ; BORDINI, RAFAEL H. ; COSTA, A. C. R. . Multi-Level Semantics with Vertical Integrity Constraints. In: ECAI 2016 - European Conference on Artificial Intelligence, 2016, The Hague. Proceedings of ECAI 2016. Amsterdam: IOS Press, 2016. v. 1. p. 1708-1709.

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

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

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

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

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

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

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

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

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

11.
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.
COSTA, A. C. R.. A Concept of Intentional System. In: IV Conference of the Brazilian Society for Analytic Philosophy, 2016, Campinas. Book of Abstracts - IV Conference of the Brazilian Society for Analytic Philosophy. Campinas: UNICAMP, 2016. v. 1. p. 148-149.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

33.
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.
Costa, Antônio Carlos da Rocha. An agent-oriented account of Piaget’s theory of interactional morality. AI & SOCIETY, 2018.

2.
DA ROCHA COSTA, ANTÔNIO CARLOS. Marx’s concept of distributive justice: an exercise in the formal modeling of political principles. AI & SOCIETY, 2017.

Apresentações de Trabalho
1.
COSTA, A. C. R.. Para uma Semântica Fenomenológica Formal de Processos Intencionais em Agentes Computacionais. 2015. (Apresentação de Trabalho/Congresso).

2.
COSTA, A. C. R.. Functional rights and duties at the micro and macro social levels. 2012. (Apresentação de Trabalho/Conferência ou palestra).

3.
COSTA, A. C. R.. Modelos de Computação: Uma Abordagem Sistêmica. 2011. (Apresentação de Trabalho/Conferência ou palestra).

4.
COSTA, A. C. R.. O Nível Cultural das Sociedades de Agentes. 2011. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Costa, Antônio Carlos da Rocha. Piaget, J.: Esquemas Matemáticos, Biológicos e Físicos 2017 (Publicação aberta).

2.
Costa, Antônio Carlos da Rocha. Agent Organizations and Agent Societies as Interoperable Modules for Agent and Conventional Software Systems 2017 (Publicação aberta).

3.
COSTA, A. C. R.. Um Protocolo para Registro de Avaliações de Objetos Trocados em Ambientes Virtuais de Aprendizagem 2015 (Publicação aberta).

4.
COSTA, A. C. R.. On the Legal Aspects of Agent Societies. DOI: 10.13140/2.1.4345.7923: www.ResearchGate.net, 2014 (Publicação aberta).

5.
COSTA, A. C. R.. On the Bases of an Architectural Style for Agent Societies: Concept and Core Operational Structure. DOI: 10.13140/2.1.4583.8720: www.ResearchGate.net, 2014 (Publicação aberta).

6.
COSTA, A. C. R.. Para a Explicitação dos 'Princípios a Priori' da Cognição dos Fenômenos Sociais. www.ResearchGate.net, 2014 (Publicação aberta).

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

8.
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).

9.
COSTA, A. C. R.. Seminário de Epistemologia da Inteligência Artificial - II. CPGCC/UFRGS, 1990 (Relatório Técnico).

10.
COSTA, A. C. R.. Seminário de Epistemologia da Inteligência Artificial - I. CPGCC/UFRGS, 1987 (Relatório Técnico).

11.
COSTA, A. C. R.. Para uma revisão epistemológica da Inteligência Artificial. CPGCC/UFRGS, 1986 (Relatório Técnico).

12.
COSTA, A. C. R.. Sobre os fundamentos da Inteligência Artificial. CPGCC/UFRGS, 1986 (Relatório Técnico).


Produção técnica
Assessoria e consultoria
1.
COSTA, A. C. R.. Avaliação de andamento do Projeto LOGIA (CNPq) em realização na UFC. 1997.

2.
COSTA, A. C. R.. Avaliação Técnica de Planos de Negócios submetidos ao SOFTEX. 1997.

Programas de computador sem registro
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.


Demais tipos de produção técnica
1.
COSTA, A. C. R.. Membro do Comitê de Programa do MASTA 2017 - Multi-Agent Systems: Theory and Applications. 2017. (Membro de Comitê de Programa).

2.
COSTA, A. C. R.. Membro do Comitê de Programa do EPIA 2017 - Encontro Português de Inteligência Artificial. 2017. (Membro de Comitê de Programa).

3.
COSTA, A. C. R.. Membro do Comitê de Programa do WESAAC 2017 - Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações. 2017. (Membro de Comitê de Programa).

4.
COSTA, A. C. R.. Membro do Comitê de Programa do COIN 2017 - Workshop on Coordination, Organizations, Institutions and Norms. 2017. (Membro de Comitê de Programa).

5.
COSTA, A. C. R.. Membro do Comitê de Programa do WCAMA 2017 - Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais. 2017. (Membro de Comitê de Programa).

6.
COSTA, A. C. R.. Membro do Comitê de Programa do CARe-MAS 2017 - Computational Accountability and Responsibility in Multiagent Systems. 2017. (Membro de Comitê de Programa).

7.
COSTA, A. C. R.. Membro do Comitê de Programa do BRACIS 2016 - Brazilian Conference on Intelligent Systems. 2016. (Membro de Comitê de Programa).

8.
COSTA, A. C. R.. Membro do Comitê de Programa do WCAMA 2016 - Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais. 2016. (Membro de Comitê de Programa).

9.
COSTA, A. C. R.. Membro do Comitê de Programa do WESAAC 2016 - Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações. 2016. (Membro de Comitê de Programa).

10.
COSTA, A. C. R.. Membro do Comitê de Programa do ENIAC 2016 - Encontro Nacional de Inteligência Artificial e Computacional. 2016. (Membro de Comitê de Programa).

11.
COSTA, A. C. R.. Membro do Comitê de Programa do AAMAS 2016 - International Conference on Artificial Agents and Multiagent Systems. 2015. (Membro de Comitê de Programa).

12.
COSTA, A. C. R.. Membro do Comitê de Programa do COIN@AAMAS 2016 - Workshop on Coordination, Organizations, Institutions and Norms. 2015. (Membro de Comitê de Programa).

13.
COSTA, A. C. R.. Membro do Comitê de Programa do WEIT 2015 - Workshop-Escola de Informática Teórica. 2015. (Membro de Comitê de Programa).

14.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIA - Brazilian Symposium on Artificial Intelligence. 2012. (Membro de Comitê de Programa).

15.
COSTA, A. C. R.. Membro do Comitê de Programa do SBRN - Brazilian Symposium on Neural Networks. 2012. (Membro de Comitê de Programa).

16.
COSTA, A. C. R.. Membro do Comitê de Programa do BWSS - Brazilian Workshop on Social Simulation. 2012. (Membro de Comitê de Programa).

17.
COSTA, A. C. R.. Membro do Comitê de Programa do COIN@AAMAS - Coordination, Organization, Institution and Norms in Agent Systems. 2012. (Membro de Comitê de Programa).

18.
COSTA, A. C. R.. Membro do Comitê Avaliador do CTDIA - Concurso de Teses e Dissertações de Inteligência Artificial. 2012. (Membro de Comitê de Programa).

19.
COSTA, A. C. R.. Membro do Comitê de Programa do ENIA - Encontro Nacional de inteligência Artificial. 2012. (Membro de Comitê de Programa).

20.
COSTA, A. C. R.. Membro do Comitê de Programa do MABS - 13th International Workshop on Multi-Agent Based Simulation. 2012. (Membro de Comitê de Programa).

21.
COSTA, A. C. R.. Membro do Comitê de Programa do WESAAC - Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações. 2012. (Membro de Comitê de Programa).

22.
COSTA, A. C. R.. Membro do Comitê de Programa do AutoSoft - 2nd Workshop on Autonomous Software Systems. 2011. (Membro de Comitê de Programa).

23.
COSTA, A. C. R.. Membro do Comitê de Programa do COIN@WI-AT - 13th International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems. 2011. (Membro de Comitê de Programa).

24.
COSTA, A. C. R.. Membro do Comitê de Programa do ENIA - Encontro Nacional de Inteligência Artificial 2011. 2011. (Membro de Comitê de Programa).

25.
COSTA, A. C. R.. Membro do Comitê de Programa do SSM@EPIA - Social Simulation and Modeling 2011. 2011. (Coordenação de Comitê de Programa).

26.
COSTA, A. C. R.. Membro do Comitê de Programa do IJCAI - 22nd International Joint Conference on Artificial Intelligence. 2011. (Membro de Comitê de Programa).

27.
COSTA, A. C. R.. Membro do Comitê de Programa do MASTA@EPIA - Multiagent Systems:Theory and Applications. 2011. (Membro de Comitê de Programa).

28.
COSTA, A. C. R.. Membro do Comitê de Programa do WCAMA - Workshop de Computação Aplicada ao Meio Ambiente. 2011. (Membro de Comitê de Programa).

29.
COSTA, A. C. R.. Membro da Comissão Organizadora do WEIT - Workshop-Escola de Informática Teórica. 2011. (Coordenação de Comitê de Programa).

30.
COSTA, A. C. R.. Membro do Comitê de Programa do WESAAC - Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações. 2011. (Membro de Comitê de Programa).

31.
COSTA, A. C. R.. Membro do Comitê de Programa do WSPI - I Workshop de Sistemas e Processos Industriais. 2011. (Membro de Comitê de Programa).

32.
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).

33.
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).

34.
COSTA, A. C. R.. Membro do Comitê de Programa do AutoSoft 2010 - 1st Workshop on Autonomous Software Systems. 2010. (Membro de Comitê de Programa).

35.
COSTA, A. C. R.. Membro do Comitê de Programa do BWSS 2010 - 2nd Brazilian Workshop on Social Simulation. 2010. (Membro de Comitê de Programa).

36.
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).

37.
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).

38.
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).

39.
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).

40.
COSTA, A. C. R.. Membro do Comitê de Programa do SBRN 2010 - 11th Brazilian Symposium on Neural Networks. 2010. (Membro de Comitê de Programa).

41.
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).

42.
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).

43.
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).

44.
COSTA, A. C. R.. Membro do Comitê de Programa do AAMAS 2009. 2009. (Participação em Comitê de Programa).

45.
COSTA, A. C. R.. Membro do Comitê de Programa do COIN@IJCAI 2009. 2009. (Participação em comitê de Programa).

46.
COSTA, A. C. R.. Membro do Comitê de Programa do COIN@AAMAS 2009. 2009. (Participação em Comitê de Programa).

47.
COSTA, A. C. R.. Membro do Comitê de Programa do COIN@MALLOW 2009. 2009. (Participação em Comitê de Programa).

48.
COSTA, A. C. R.. Membro do Comitê de Programa do ENIA 2009. 2009. (Participação em Comitê de Programa).

49.
COSTA, A. C. R.. Membro do Comitê de Programa do MASTA 2009. 2009. (Participação em Comitê de Programa).

50.
COSTA, A. C. R.. Membro do Comitê de Programa do OrgMod 2009. 2009. (Participação em Comitê de Programa).

51.
COSTA, A. C. R.. Membro do Comitê de Programa do PAAMS 2009. 2009. (Participação em Comitê de Programa).

52.
COSTA, A. C. R.. Membro do Comitê de Programa do SIRC 2009. 2009. (Participação em Comitê de Programa).

53.
COSTA, A. C. R.. Membro do Comitê de Programa do WCAMA 2009. 2009. (Participação em Comitê de Programa).

54.
COSTA, A. C. R.. Membro do Comitê de Programa do WESAAC 2009. 2009. (Participação em Comitê de Programa).

55.
COSTA, A. C. R.. Membro do Comitê de Programa do COIN@AAMAS 2008. 2008. (Participação em Comitê de Programa).

56.
COSTA, A. C. R.. Coordenador do Comitê de Programa do BWSS 2008. 2008. (Coordenação de Comitê de Programa).

57.
COSTA, A. C. R.. Membro do Comitê de Programa do CONAHPA 2008. 2008. (Participação em Comitê de Programa).

58.
COSTA, A. C. R.. Membro do Comitê de Programa do EOCS-MCP 2008. 2008. (Participação em Comitê de Programa).

59.
COSTA, A. C. R.. Membro do Comitê de Programa do GEOINFO 2008. 2008. (Participação em Comitê de Programa).

60.
COSTA, A. C. R.. Membro do Comitê de Programa do MICAI 2008. 2008. (Participação em Comitê de Programa).

61.
COSTA, A. C. R.. Membro do Comitê de Programa do WESAAC 2008. 2008. (Participação em Comitê de Programa).

62.
COSTA, A. C. R.. Membro do Comitê de Programa do ENIA 2007. 2007. (Participação em Comitê de Programa).

63.
COSTA, A. C. R.; Iochpe, C. . Coordenador do Comitê de Programa do GEOINFO 2007. 2007. (Coordenação de Comitê de Programa).

64.
COSTA, A. C. R.. Membro do Comitê de Programa do MASTA 2007. 2007. (Participação em Comitê de Programa).

65.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIE 2007. 2007. (Participação em Comitê de Programa).

66.
COSTA, A. C. R.. Membro do Comitê de Programa do WECIQ 2007. 2007. (Participação em Comitê de Programa).

67.
COSTA, A. C. R.. Coordenador do Comitê de Programa do WESAAC 2007. 2007. (Coordenação de Comitê de Programa).

68.
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).

69.
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).

70.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIA 2006 / IBERAMIA 2006. 2006. (Participação em Comitê de Programa).

71.
COSTA, A. C. R.. Membro do Comitê de Programa do Iberagens 2006. 2006. (Participação em Comitê de Programa).

72.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIE 2006. 2006. (Participação em Comitê de Programa).

73.
COSTA, A. C. R.. Membro do Comitê de Programa do OOOP 2005. 2005. (Participação em Comitê de Programa).

74.
COSTA, A. C. R.. Membro do Comitê de Programa do CTD-SBC 2005. 2005. (Participação em Comitê de Programa).

75.
COSTA, A. C. R.. Membro do Comitê de Programa do TMHLTIR 2005. 2005. (Participação em Comitê de Programa).

76.
COSTA, A. C. R.. Membro do Comitê de Programa do SEMISH 2005. 2005. (Participação em Comitê de Programa).

77.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIE 2005. 2005. (Participação em Comitê de Programa).

78.
COSTA, A. C. R.. Membro do Comitê de Programa do TALS 2005. 2005. (Participação em Comitê de Programa).

79.
COSTA, A. C. R.. Membro do Comitê de Programa do TEMA 2005. 2005. (Participação em Comitê de Programa).

80.
COSTA, A. C. R.. Membro do Comitê de Programa do WIE 2005. 2005. (Participação em Comitê de Programa).

81.
COSTA, A. C. R.. Membro do Comitê de Programa do ENIA 2005. 2005. (Participação em Comitê de Programa).

82.
COSTA, A. C. R.. Membro do Comitê de Programa do 1st LEDGRAPH. 2004. (Participação em Comitê de Programa).

83.
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).

84.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIA 2004. 2004. (Participação em Comitê de Programa).

85.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIE 2004. 2004. (Participação em Comitê de Programa).

86.
COSTA, A. C. R.. Membro do Comitê de Programa do ENIA 2003. 2003. (Participação em Comitê de Programa).

87.
COSTA, A. C. R.. Membro do Comitê de Programa do JAIA 2003. 2003. (Participação em Comitê de Programa).

88.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIE 2003. 2003. (Participação em Comitê de Programa).

89.
COSTA, A. C. R.. Membro do Comitê de Programa do WOLLIC 2003. 2003. (Participação em Comitê de Programa).

90.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIE 2002. 2002. (Participação em Comitê de Programa).

91.
COSTA, A. C. R.. Membro do Comitê de Programa do ENIA 2001. 2001. (Participação em Comitê de Programa).

92.
COSTA, A. C. R.. Membro do Comitê de Programa do JAIA 2001. 2001. (Participação em Comitê de Programa).

93.
COSTA, A. C. R.. Membro do Comitê de Programa do ERMAC 2001. 2001. (Participação em Comitê de Programa).

94.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIE 2001. 2001. (Participação em Comitê de Programa).

95.
COSTA, A. C. R.. Membro do Comitê de Programa do ICMAS 1998. 1998. (Participação em Comitê de Programa).

96.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIA 1998. 1998. (Participação em Comitê de Programa).

97.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIA 1994. 1994. (Participação em Comitê de Programa).

98.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIA 1989. 1989. (Participação em Comitê de Programa).

99.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIA 1987. 1987. (Participação em Comitê de Programa).

100.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIA 1986. 1986. (Participação em Comitê de Programa).

101.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIA 1986. 1986. (Participação em Comitê de Programa).

102.
COSTA, A. C. R.. Membro do Comitê de Programa do SBIA 1985. 1985. (Participação em Comitê de Programa).

103.
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 de trabalhos de conclusão
Mestrado
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.; 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.

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

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

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

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, congressos, exposições e feiras
1.
II Workshop em Nanociências.Minicurso: Computação Quântica. 2007. (Oficina).

2.
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).

3.
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).

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, congressos, exposições e feiras
1.
COSTA, A. C. R.. Coordenador Geral da JMSPP - Jornada de Modelagem e Simulação de Políticas Públicas. 2011. (Congresso).

2.
COSTA, A. C. R.. Membro da Comissão Organizadora do SSM@EPIA - Social Simultation and Modeling. 2011. (Congresso).

3.
COSTA, A. C. R.; Vicari, R. M. . Coordenador do Comitê de Programa do SBIA 2010. 2010. (Congresso).

4.
CAVALHEIRO, G. G. H. ; COSTA, A. C. R. . Coordenador Geral do CLEI 2009. 2009. (Congresso).

5.
Antunes, L. ; Janssen, M. ; COSTA, A. C. R. ; Gulyas, L. . Membro da Comissão Organizadora do SMM 2009. 2009. (Congresso).

6.
COSTA, A. C. R.. Coordenador geral do BWSS 2008. 2008. (Congresso).

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

8.
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).

9.
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).

10.
COSTA, A. C. R.; Portugal, R. . Coordenador geral do WECIQ 2006. 2006. (Congresso).

11.
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).

12.
COSTA, A. C. R.; Vicari, R. M. ; Mosca, P. R. F. . Coordenador Geral do SBIA 1984. 1984. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Newton Nyamasege Marube. A Definir. Início: 2016. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Iverton Adão da Silva dos Santos. Um Framework para Simulação de Políticas Públicas Utilizando a Plataforma Jason-CArtAgO. 2013. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal do Rio Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.

2.
André Mendes da Rosa. Modelos Baseados em Agentes de Processos Urbanos Espaciais. 2013. Dissertação (Mestrado em Engenharia de Computação) - Universidade Federal do Rio Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Antonio Carlos da Rocha Costa.

3.
Camila Thomasi. OrIAs: Uma Infraestrutura de Nível Micro-Organizacional Baseada em Artefatos para Sistemas Multiagentes. 2013. 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.

4.
Alexandre Hübner. Uma Linguagem Declarativa para Especificação de Instituições em Sociedades de Agentes. 2012. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal do Rio Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.

5.
Celso Nobre da Fonseca. Um Modelo Baseado em Agentes para a Simulação Experimental de Mecanismos de Controle da Disseminação da Dengue. 2011. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal do Rio Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Antonio Carlos da Rocha Costa.

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

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

8.
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, . Coorientador: Antonio Carlos da Rocha Costa.

9.
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, . Coorientador: Antonio Carlos da Rocha Costa.

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

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

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

13.
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, . Coorientador: Antonio Carlos da Rocha Costa.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

29.
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. Coorientador: Antonio Carlos da Rocha Costa.

30.
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. Coorientador: Antonio Carlos da Rocha Costa.

31.
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, . Coorientador: Antonio Carlos da Rocha Costa.

32.
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, . Coorientador: Antonio Carlos da Rocha Costa.

33.
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, . Coorientador: Antonio Carlos da Rocha Costa.

34.
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, . Coorientador: Antonio Carlos da Rocha Costa.

35.
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. Coorientador: Antonio Carlos da Rocha Costa.

36.
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. Coorientador: Antonio Carlos da Rocha Costa.

37.
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. Coorientador: Antonio Carlos da Rocha Costa.

38.
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, . Coorientador: Antonio Carlos da Rocha Costa.

39.
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, . Coorientador: Antonio Carlos da Rocha Costa.

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

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

42.
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, . Coorientador: Antonio Carlos da Rocha Costa.

43.
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.
Maria Isabel Giusti Moreira. Um Modelo de Sistema AVA-SMA orientado a Legisla ção. 2017. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.

2.
Clarissa Prevedello. COMUNIDADES DE PRÁTICA NO SERVIÇO PÚBLICO: estudo de caso no Núcleo de Gestão Ambiental Integrada da Reitoria do Instituto Federal Sul-rio-grandense. 2015. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul, . Orientador: Antonio Carlos da Rocha Costa.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

17.
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, . Coorientador: Antonio Carlos da Rocha Costa.

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

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

20.
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. Coorientador: Antonio Carlos da Rocha Costa.

21.
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. Coorientador: Antonio Carlos da Rocha Costa.

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

Supervisão de pós-doutorado
1.
Raquel de Miranda Barbosa. 2012. Universidade Federal do Rio Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Antonio Carlos da Rocha Costa.

Trabalho de conclusão de curso de graduação
1.
Thiago Fredes Rodrigues. Uma Infraestrutura de Comunicação Baseada em Artefatos para a Plataforma Jason. 2012. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande. Orientador: Antonio Carlos da Rocha Costa.

2.
Thiago Fredes Rodrigues. Uma Infraestrutura de Comunicação Baseada em Artefatos para a Plataforma JaCaMo. 2012. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Iniciação científica
1.
Ciebele Von Grol. Lógica, Argumentação e Teoria dos Jogos no Direito. 2013. Iniciação Científica. (Graduando em Direito) - Universidade Federal do Rio Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.

2.
Nadia Jaques. Modelos de Organização Social. 2012. Iniciação Científica. (Graduando em História) - Universidade Federal do Rio Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Antonio Carlos da Rocha Costa.

3.
Thiago Vinícius Pinheiro. Modelos de Simulação de Políticas Públicas. 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: Antonio Carlos da Rocha Costa.



Inovação



Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 13/12/2018 às 19:00:17