Antonio Carlos Da Rocha Costa

Dados pessoais

Lattes
Grupos de Pesquisa
Genealogia Acadêmica

Nacionalidade: Brasileira
Grande área de atuação: Ciências Exatas e da Terra
Área de atuação: Ciência da Computação

Publicações

Total: 392

Área temática ASJC

Percentual das publicações classificadas

HS Ciências da Saúde
LS Ciências da Vida
MU Multidisciplinar
PS Ciências Físicas
SH Ciências Sociais e Humanidades

Categoria ASJC

Categorias ASJC mais frequentes

Nome	Vínculo	Grande área de atuação	Área de atuação
Nome	Vínculo	Grande área de atuação	Área de atuação
Ana Carolina Bertoletti De MARCHI		Ciências Exatas e da Terra	Ciência da Computação
André Rauber Du BOIS		Ciências Exatas e da Terra	Ciência da Computação
Claudia Brandelero RIZZI		Ciências Exatas e da Terra	Ciência da Computação
Diana Francisca ADAMATTI		Ciências Exatas e da Terra	Ciência da Computação
Fabio Yoshimitsu OKUYAMA		Ciências Exatas e da Terra	Ciência da Computação
Giliane BERNARDI		Ciências Exatas e da Terra	Ciência da Computação
Glaucius Décio DUARTE		Ciências Humanas	Educação
Jose Valdeni De LIMA		Ciências Exatas e da Terra	Ciência da Computação
Luiz Antônio Moro PALAZZO		Ciências Exatas e da Terra	Ciência da Computação
Márcia De Borba CAMPOS		Ciências Exatas e da Terra	Ciência da Computação
Márcia Häfele Islabão FRANCO		Ciências Exatas e da Terra	Ciência da Computação
Maria Isabel Giusti MOREIRA		Ciências Exatas e da Terra	Ciência da Computação
Marilton Sanchotene De AGUIAR		Ciências Exatas e da Terra	Ciência da Computação
Patricia Alejandra BEHAR	Membro	Ciências Humanas	Educação
Raul Sidnei WAZLAWICK		Ciências Exatas e da Terra	Ciência da Computação
Renata Hax Sander REISER		Ciências Exatas e da Terra	Ciência da Computação
Rosa Maria VICARI	Membro	Ciências Exatas e da Terra	Ciência da Computação
Simone André Da Costa CAVALHEIRO		Ciências Exatas e da Terra	Ciência da Computação
Viviane Leite Dias De MATTOS		Engenharias	Engenharia de Produção

Figura 1

Número de publicações por ano e por tipo

Todas as publicações do perfil

Figura 2

Categorias ASJC mais frequentes por ano

A cor dos pontos identifica a categoria predominante

Figura 3

Mapa de calor das categorias ASJC por ano

Frequências absolutas; cores mais escuras indicam mais publicações. Todas as categorias ASJC e anos disponíveis, sem aplicar os filtros da página.

Escala: 0 → 11

Mapa de calor das categorias ASJC por ano
Categoria ASJC	1981	1984	1985	1987	1995	1996	1997	1998	1999	2000	2001	2002	2003	2004	2005	2006	2007	2008	2009	2010	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025
1701 · Computer Science (miscellaneous)	0	1	1	1	1	3	1	3	2	1	1	3	4	5	7	7	8	8	4	10	7	3	0	0	1	1	1	1	2	0	0	1	0	0	0
1702 · Artificial Intelligence	1	0	0	0	1	2	0	0	0	2	2	3	5	4	6	7	11	5	2	7	0	2	2	2	0	5	0	0	2	2	1	1	0	0	0
3304 · Education	0	0	0	0	0	0	1	1	1	0	0	4	5	8	0	4	1	0	1	5	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0
1706 · Computer Science Applications	0	0	0	0	0	0	0	2	0	1	2	0	4	4	2	4	1	1	0	0	1	3	1	0	0	0	0	0	0	0	0	0	0	0	0
1211 · Philosophy	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	1	1	0	3	3	3	4	1	3	2
2601 · Mathematics (miscellaneous)	0	0	0	0	0	0	0	1	0	2	0	1	1	3	1	2	0	0	0	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1803 · Management Science and Operations Research	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	2	0	1	1	3	2	0	0	0	0	0	1	0	0	0	0	0	0	0
3201 · Psychology (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	1	1	0	1	3	0	0	2	1	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1203 · Language and Linguistics	0	0	0	0	0	0	0	0	0	0	1	2	2	2	0	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0
3310 · Linguistics and Language	0	0	0	0	0	0	0	1	0	1	0	1	0	1	0	0	0	0	0	1	0	0	1	0	1	0	1	0	0	0	0	1	0	0	0
2614 · Theoretical Computer Science	0	0	0	0	0	0	0	0	1	1	0	0	0	0	0	0	1	0	0	0	4	0	0	0	1	0	0	0	0	0	0	0	0	0	0
2801 · Neuroscience (miscellaneous)	0	0	0	0	0	0	0	0	0	0	1	0	0	0	1	1	2	0	0	1	1	0	0	0	0	0	0	1	0	0	0	0	0	0	0
1700 · General Computer Science	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	0	1	0	0	0	1	0	1	0	0	0	0	1	0	0
1703 · Computational Theory and Mathematics	0	0	0	0	0	0	1	0	1	0	1	0	0	1	1	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0
1709 · Human-Computer Interaction	0	0	0	0	0	0	1	0	1	0	1	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2604 · Applied Mathematics	0	0	0	0	0	0	0	1	0	0	0	0	1	1	0	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1105 · Ecology; Evolution; Behavior and Systematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	3	0	0	0	0	0	0	0	0	0	0	0	0	0
1209 · Museology	0	0	0	0	0	0	0	0	2	0	1	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3101 · Physics and Astronomy (miscellaneous)	0	0	0	0	0	0	0	0	1	0	0	0	0	1	0	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3301 · Social Sciences (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0	0	0	0	0	0	0	1	0	0	1
1207 · History and Philosophy of Science	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	1
2201 · Engineering (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	0	0	0
1401 · Business; Management and Accounting (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	1	0	0	0	0	0	0	0
1403 · Business and International Management	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1707 · Computer Vision and Pattern Recognition	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2611 · Modeling and Simulation	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2612 · Numerical Analysis	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3309 · Library and Information Sciences	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3312 · Sociology and Political Science	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0
1201 · Arts and Humanities (miscellaneous)	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1704 · Computer Graphics and Computer-Aided Design	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1705 · Computer Networks and Communications	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0
1712 · Software	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1804 · Statistics; Probability and Uncertainty	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1903 · Computers in Earth Sciences	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1907 · Geology	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2204 · Biomedical Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2301 · Environmental Science (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0
2602 · Algebra and Number Theory	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2605 · Computational Mathematics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2608 · Geometry and Topology	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2609 · Logic	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2610 · Mathematical Physics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2613 · Statistics and Probability	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0
2738 · Psychiatry and Mental Health	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0
2805 · Cognitive Neuroscience	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0
3207 · Social Psychology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3307 · Human Factors and Ergonomics	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3308 · Law	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0
3315 · Communication	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2000	Trabalho em evento	Coherent Space Semantics of Interval Computation Processes Renata Hax Sander REISER; Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO 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	SH Linguistics and Language
2000	Trabalho em evento	Functional Beans André Rauber Du BOIS; Antonio Carlos Da Rocha COSTA 9th International Workshop on Functional and Logic Programming (WFLP'2000)	PS Theoretical Computer Science
2000	Trabalho em evento	Improvisational Interface Agents for E-Commerce Systems Antonio Carlos Da Rocha COSTA; Márcia Cristina MORAES; Maíra Ribeiro RODRIGUES International ICSC Congress on Intelligent Systems & Applications/Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce ISBN 390645424X	PS Computer Science (miscellaneous)
2000	Artigo em periódico	A Coherence space of rational intervals for a construction of IR Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO Reliable Computing ISSN 1385-3139	PS Mathematics (miscellaneous)
2000	Artigo em periódico	Uma Experiência de Ensino Integrado dos Fundamentos Matemáticos da Ciência da Computação Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; Francisco De Paula Marques RODRIGUES Revista Brasileira de Informática na Educação ISSN 1414-5685	PS Mathematics (miscellaneous)
1999	Livro	Estruturas Algébricas no Maple Raquel De Miranda BARBOSA; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA —	PS Algebra and Number Theory
1999	Trabalho em evento	Deriving um-recursive functions from some categories of unary systems Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA 2. Workshop de Métodos Formais	PS Theoretical Computer Science
1999	Trabalho em evento	Virtual guides to assist visitors in the SAGRES Virtual Museum Márcia Cristina MORAES; Ana Carolina BERTOLETTI; Antonio Carlos Da Rocha COSTA SCCC'99 - XIX International Conference of the Chilean Computer Science Society ISBN 0769502962	PS Human-Computer Interaction
1999	Trabalho em evento	Uma arquitetura multiagente par apoiar a visitação de museus virtuais Márcia Cristina MORAES; Antonio Carlos Da Rocha COSTA XXV CLEI - Conferência Latino-americana de Informática ISBN 9992581700	SH Education
1999	Trabalho em evento	A Construção de Representações Globais em Espaços Coerentes Bi-estruturados; com aplicação em Computação Científica Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO XXV CLEI - Conferencia Latinoamericana de Informatica ISBN 9992581700	PS Physics and Astronomy (miscellaneous)
1999	Trabalho em evento	Museu Virtual SAGRES: incorporando agentes de software para apoiar a visitação Ana Carolina BERTOLETTI; Márcia Cristina MORAES; Antonio Carlos Da Rocha COSTA XXVI Seminário Integrado de Software e Hardware	SH Museology
1999	Trabalho em evento	SAGRES - A Virtual Museum Ana Carolina BERTOLETTI; Antonio Carlos Da Rocha COSTA Museums and the Web 1999	SH Arts and Humanities (miscellaneous)
1999	Trabalho em evento	A bi-structured coherence space for a global representation of the system IR of real intervals Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO International Conference on Information Technology ISBN 0074637479	PS Computational Theory and Mathematics
1999	Trabalho em evento	The SAGRES virtual museum with software agents to stimulate the visiting of museums Márcia Cristina MORAES; Ana Carolina BERTOLETTI; Antonio Carlos Da Rocha COSTA WebNet'99 -World Conference on the WWW and Internet	SH Museology
1999	Trabalho em evento	Programando os Agentes Micorsoft com a Linguagem Funcional Haskell André Rauber Du BOIS; Antonio Carlos Da Rocha COSTA 3a. Oficina de Inteligência Artificial	PS Computer Science (miscellaneous)
1999	Artigo em periódico	Análise Lógico-Operatória do Ambiente de Desenvolvimento Cooperativo de Programação ENVY/400 Patrícia Alejandra BEHAR; Antonio Carlos Da Rocha COSTA Revista Brasileira de Informática na Educação ISSN 1414-5685	PS Computer Science (miscellaneous)
1998	Trabalho em evento	Services To Aid Information Consumption Clairmont BORGES; José Valdeni De Lima LIMA; Antonio Carlos Da Rocha COSTA EUROMEDIA 98	PS Computer Science Applications
1998	Trabalho em evento	A Topological Characterization For The Bi-Structured Interval Coherence Space. Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA WFM 98 - I Workshop de Métodos Formais	PS Geometry and Topology
1998	Trabalho em evento	A Categorial Study Of Primitive Recursion On Natural Nnumbers Renata Hax Sander REISER; Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO WFM 98 - I Workshop de Métodos Formais	PS Mathematics (miscellaneous)
1998	Trabalho em evento	A measure system for the bi-structures coherence space of rational intervals Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO IV International Conference on Interval Methods and their Application to Global Optimization	PS Applied Mathematics
1998	Trabalho em evento	Análise Lógico-Operatória do Microsft Netmeeting 2.0 Beta 4 Patrícia Alejandra BEHAR; Antonio Carlos Da Rocha COSTA RIBIE 98 - Congresso da Rede Ibero Americadna de Informática na Educação	PS Computer Science (miscellaneous)
1998	Trabalho em evento	Current Research Work In Theoretical Computer Science At Esin/Ucpel Antonio Carlos Da Rocha COSTA 98 - I Workshop de Métodos Formais	PS Computer Science (miscellaneous)
1998	Trabalho em evento	Identificação de Papéis Por Observação de Comportamento de Agentes J F HÜBNER; Antonio Carlos Da Rocha COSTA IBERAMIA 98 - VI Iberoamerican Conference on Artificial Intelligence	PS Computer Science (miscellaneous)
1998	Trabalho em evento	A System Of Improvisational Agents For The Assistance Of Visits To Museums Márcia Cristina MORAES; Antonio Carlos Da Rocha COSTA 2nd Iberoamerican Workshop on Distributed Artificial Intelligence and Multiagent Systems	PS Computer Science Applications
1998	Trabalho em evento	Um Sistema de Geração de Diciónarios de Línguas de Sinais Daniela Remião De MACEDO; Antonio Carlos Da Rocha COSTA Primer Congresso Iberolatinoamericano de Informática Educativa Especial	SH Linguistics and Language

2000 Trabalho em evento

SH Linguistics and Language

Coherent Space Semantics of Interval Computation Processes

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

Renata Hax Sander REISER; Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

2000 Trabalho em evento

PS Theoretical Computer Science

Functional Beans

9th International Workshop on Functional and Logic Programming (WFLP'2000)

André Rauber Du BOIS; Antonio Carlos Da Rocha COSTA

2000 Trabalho em evento

PS Computer Science (miscellaneous)

Improvisational Interface Agents for E-Commerce Systems

International ICSC Congress on Intelligent Systems & Applications/Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce

Antonio Carlos Da Rocha COSTA; Márcia Cristina MORAES; Maíra Ribeiro RODRIGUES

ISBN 390645424X

2000 Artigo em periódico

PS Mathematics (miscellaneous)

A Coherence space of rational intervals for a construction of IR

Reliable Computing

Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO

ISSN 1385-3139

2000 Artigo em periódico

PS Mathematics (miscellaneous)

Uma Experiência de Ensino Integrado dos Fundamentos Matemáticos da Ciência da Computação

Revista Brasileira de Informática na Educação

Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; Francisco De Paula Marques RODRIGUES

ISSN 1414-5685

1999 Livro

PS Algebra and Number Theory

Estruturas Algébricas no Maple

—

Raquel De Miranda BARBOSA; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA

1999 Trabalho em evento

PS Theoretical Computer Science

Deriving um-recursive functions from some categories of unary systems

2. Workshop de Métodos Formais

Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA

1999 Trabalho em evento

PS Human-Computer Interaction

Virtual guides to assist visitors in the SAGRES Virtual Museum

SCCC'99 - XIX International Conference of the Chilean Computer Science Society

Márcia Cristina MORAES; Ana Carolina BERTOLETTI; Antonio Carlos Da Rocha COSTA

ISBN 0769502962

1999 Trabalho em evento

SH Education

Uma arquitetura multiagente par apoiar a visitação de museus virtuais

XXV CLEI - Conferência Latino-americana de Informática

Márcia Cristina MORAES; Antonio Carlos Da Rocha COSTA

ISBN 9992581700

1999 Trabalho em evento

PS Physics and Astronomy (miscellaneous)

A Construção de Representações Globais em Espaços Coerentes Bi-estruturados; com aplicação em Computação Científica

XXV CLEI - Conferencia Latinoamericana de Informatica

Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO

ISBN 9992581700

1999 Trabalho em evento

SH Museology

Museu Virtual SAGRES: incorporando agentes de software para apoiar a visitação

XXVI Seminário Integrado de Software e Hardware

Ana Carolina BERTOLETTI; Márcia Cristina MORAES; Antonio Carlos Da Rocha COSTA

1999 Trabalho em evento

SH Arts and Humanities (miscellaneous)

SAGRES - A Virtual Museum

Museums and the Web 1999

Ana Carolina BERTOLETTI; Antonio Carlos Da Rocha COSTA

1999 Trabalho em evento

PS Computational Theory and Mathematics

A bi-structured coherence space for a global representation of the system IR of real intervals

International Conference on Information Technology

Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO

ISBN 0074637479

1999 Trabalho em evento

SH Museology

The SAGRES virtual museum with software agents to stimulate the visiting of museums

WebNet'99 -World Conference on the WWW and Internet

Márcia Cristina MORAES; Ana Carolina BERTOLETTI; Antonio Carlos Da Rocha COSTA

1999 Trabalho em evento

PS Computer Science (miscellaneous)

Programando os Agentes Micorsoft com a Linguagem Funcional Haskell

3a. Oficina de Inteligência Artificial

André Rauber Du BOIS; Antonio Carlos Da Rocha COSTA

1999 Artigo em periódico

PS Computer Science (miscellaneous)

Análise Lógico-Operatória do Ambiente de Desenvolvimento Cooperativo de Programação ENVY/400

Revista Brasileira de Informática na Educação

Patrícia Alejandra BEHAR; Antonio Carlos Da Rocha COSTA

ISSN 1414-5685

1998 Trabalho em evento

PS Computer Science Applications

Services To Aid Information Consumption

EUROMEDIA 98

Clairmont BORGES; José Valdeni De Lima LIMA; Antonio Carlos Da Rocha COSTA

1998 Trabalho em evento

PS Geometry and Topology

A Topological Characterization For The Bi-Structured Interval Coherence Space.

WFM 98 - I Workshop de Métodos Formais

Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA

1998 Trabalho em evento

PS Mathematics (miscellaneous)

A Categorial Study Of Primitive Recursion On Natural Nnumbers

WFM 98 - I Workshop de Métodos Formais

Renata Hax Sander REISER; Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

1998 Trabalho em evento

PS Applied Mathematics

A measure system for the bi-structures coherence space of rational intervals

IV International Conference on Interval Methods and their Application to Global Optimization

Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; Dalcidio Moraes CLAUDIO

1998 Trabalho em evento

PS Computer Science (miscellaneous)

Análise Lógico-Operatória do Microsft Netmeeting 2.0 Beta 4

RIBIE 98 - Congresso da Rede Ibero Americadna de Informática na Educação

Patrícia Alejandra BEHAR; Antonio Carlos Da Rocha COSTA

1998 Trabalho em evento

PS Computer Science (miscellaneous)

Current Research Work In Theoretical Computer Science At Esin/Ucpel

98 - I Workshop de Métodos Formais

Antonio Carlos Da Rocha COSTA

1998 Trabalho em evento

PS Computer Science (miscellaneous)

Identificação de Papéis Por Observação de Comportamento de Agentes

IBERAMIA 98 - VI Iberoamerican Conference on Artificial Intelligence

J F HÜBNER; Antonio Carlos Da Rocha COSTA

1998 Trabalho em evento

PS Computer Science Applications

A System Of Improvisational Agents For The Assistance Of Visits To Museums

2nd Iberoamerican Workshop on Distributed Artificial Intelligence and Multiagent Systems

Márcia Cristina MORAES; Antonio Carlos Da Rocha COSTA

1998 Trabalho em evento

SH Linguistics and Language

Um Sistema de Geração de Diciónarios de Línguas de Sinais

Primer Congresso Iberolatinoamericano de Informática Educativa Especial

Daniela Remião De MACEDO; Antonio Carlos Da Rocha COSTA