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
2002	Trabalho em evento	Sites Internos Adapatativos para o Sistema ENSINET Antonio Carlos Da Rocha COSTA III Workshop de Software Livre	SH Education
2002	Trabalho em evento	Uma Estrutura Formal Normativa para Sistemas Computacionais Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO VI Oficina de Inteligência Artificial	PS Artificial Intelligence
2002	Trabalho em evento	A Bi-Dimensional Categorizer Interval Cellular Automata Model for the Analysis of the Declivity of Topographical Regions Antonio Carlos Da Rocha COSTA; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO 10th Intl. Symp. Scientific Computing; Computer Arithmetic and Validated Numerics - SCAN 2002	PS Modeling and Simulation
2002	Trabalho em evento	Probabilistic Coherence Spaces Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO 10th Intl. Symp. Scientific Computing; Computer Arithmetic and Validated Numerics - SCAN 2002	PS Artificial Intelligence
2002	Trabalho em evento	The Interval Geometric Machine Renata Hax Sander REISER; Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO 10th Intl. Symp. Scientific Computing; Computer Arithmetic and Validated Numerics - SCAN 2002	SH Psychology (miscellaneous)
2002	Trabalho em evento	Editor para Textos em Língua de Sinais Escritos em SignWriting Rafael Pezzin TORCHELSEN; Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO XIII Simpósio Brasileiro de Informática na Educação	SH Language and Linguistics
2002	Trabalho em evento	How Planning Becomes Improvisation? - A Constraint Based Approach for Director Agents in Improvisational Systems Márcia Cristina MORAES; Antonio Carlos Da Rocha COSTA XVI Brazilian Symposium on Artificial Intelligence ISBN 35400012	PS Computer Science (miscellaneous)
2002	Artigo em periódico	First Steps in the Construction of the Geometric Machine Model Renata Hax Sander REISER; Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO TEMA. Tendências em Matemática Aplicada e Computacional ISSN 1677-1966	SH Education
2002	Artigo em periódico	Probabilidade Intervalar e Cadeias de Markov Intervalares no Maple Marcilia Andrade CAMPOS; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; João Francisco Fadrique ARAÚJO; Aurélio Magalhães DIAS TEMA. Tendências em Matemática Aplicada e Computacional ISSN 1677-1966	PS Artificial Intelligence
2002	Artigo em periódico	Idéias Iniciais para a Inclusão de Módulos de Monitoração e Avaliação do Sistema ENSINET Raquel Mello De MIRANDA; Márcia Hafelle ISLABÃO; João Paulo Muller Da SILVA; Eduardo Nunes BASTOS; Graçaliz Pereira DIMURO et al Cadernos de Informática (UFRGS) ISSN 1519-132X	SH Education
2001	Capítulo de livro	Toward a Domain-Theoretic Modelling of Measuring Processes Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA Logic; Artificial Intelligence and Robotics (Frontiers In Artificial Intelligence And Applications) ISBN 1586032062	PS Computational Theory and Mathematics
2001	Trabalho em evento	Distributed Execution of Functional and Logic Programming André Rauber Du BOIS; Antonio Carlos Da Rocha COSTA EUROCAST 2001 - Eight International Conference on Computer Aided Systems Theory Formal Methods and Tools For Computer Science	PS Artificial Intelligence
2001	Trabalho em evento	Supporting Deaf Sign Languages in Written Form on the Web Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO 10TH WORLD WIDE WEB CONFERENCE	SH Language and Linguistics
2001	Trabalho em evento	Um Ambiente de Suporte ao Ensino Integrado dos Fundamentos Matemáticos da Ciência da Computação utilizando o ZOPE Raquel Mello MIRANDA; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA WORKSHOP DE SOFTWARE LIVRE 2001	PS Computer Science (miscellaneous)
2001	Trabalho em evento	Um Editor de Provas para a Lógica Proposional Gleifer Vaz ALVES; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA XXVII CONFERÊNCIA LATINOAMERICANA DE INFORMATICA	PS Logic
2001	Trabalho em evento	Providing Personal Assistance in the SAGRES Virtual Museum Ana Carolina BERTOLETTI; Márcia Cristina MORAES; Antonio Carlos Da Rocha COSTA Museums and the Web 2001	SH Museology
2001	Trabalho em evento	Autômatos Celulares para Análise da Monotonicidade da Declividade de Áreas Geológicas Marilton Sanchotene De AGUIAR; Antonio Carlos Da Rocha COSTA III Workshop Brasileiro de GeoInformática ISBN 85884421	PS Geology
2001	Trabalho em evento	Avaliação do Módulo de Aprendizagem do Museu Virtual SAGRES quanto a Usabilidade de um Software Educacional Ana Carolina BERTOLETTI; Márcia Cristina MORAES; Antonio Carlos Da Rocha COSTA Simpósio Brasileiro de Informática na Educação	PS Computer Science Applications
2001	Trabalho em evento	Reutilizando Provadores de Teoremas através de Mapeamentos entre Instituicoes Juliana K VIZZOTTO; Alfio MARTINI; Antonio Carlos Da Rocha COSTA IV Workshop on Formal Methods	PS Artificial Intelligence
2001	Trabalho em evento	Estudo e Avaliação da Usabilidade de Agentes Improvisacionais de Interface Márcia Cristina MORAES; Ana Carolina BERTOLETTI; Antonio Carlos Da Rocha COSTA Info2001-IHC	PS Human-Computer Interaction
2001	Trabalho em evento	Some Experiences Connecting Functional Languages and Java André Rauber Du BOIS; Antonio Carlos Da Rocha COSTA 3rd Scottish Functional Programming Workshop	LS Neuroscience (miscellaneous)
2001	Artigo em periódico	Idéias iniciais para inclusão de Módulos de Monitoração e Avaliação do Sistema ENSINET Raquel Mello MIRANDA; Márcia Häfele Islabão FRANCO; João Paulo Muller Da SILVA; Eduardo Nunes BASTOS; Antonio Carlos Da Rocha COSTA et al Cadernos de Informática (UFRGS) ISSN 1519-132X	PS Computer Science Applications
2000	Trabalho em evento	A first attempt at giving a domain-theoretic model for machine development Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA WAIT 2000 - WORKSHOP ARGENTINO DE INFORMÁTICA/XXIX JORNADAS ARGENTINAS DE INFORMÁTICA E INVESTIGACIÓN OPERATIVA	PS Artificial Intelligence
2000	Trabalho em evento	Materiais Didáticos Interativos para o Ensino Integrado dos Fundamentos da Computação Gleifer Vaz ALVES; Raquel Mello MIRANDA; Márcia Hafelle ISLABÃO; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA et al CLEI 2000 - CONFERENCIA LATINOAMERICANA DE INFORMATICA	PS Computer Science Applications
2000	Trabalho em evento	A Natural General Approach to Uncertainty (Including Interval Uncertainty) and its Relation to Domain Theory and Simplicial Complexes. Marcília Andrade CAMPOS; Graçaliz Pereira DIMURO; Vladik KREINOVICH; Antonio Carlos Da Rocha COSTA : 9TH GAMM/IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING; COMPUTER ARITHMETIC AND VALIDATED NUMERICS/INTERNATIONAL CONFERENCE ON INTERVAL METHODS IN SCIENCE AND ENGINEERING	PS Artificial Intelligence

2002 Trabalho em evento

SH Education

Sites Internos Adapatativos para o Sistema ENSINET

III Workshop de Software Livre

Antonio Carlos Da Rocha COSTA

2002 Trabalho em evento

PS Artificial Intelligence

Uma Estrutura Formal Normativa para Sistemas Computacionais

VI Oficina de Inteligência Artificial

Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

2002 Trabalho em evento

PS Modeling and Simulation

A Bi-Dimensional Categorizer Interval Cellular Automata Model for the Analysis of the Declivity of Topographical Regions

10th Intl. Symp. Scientific Computing; Computer Arithmetic and Validated Numerics - SCAN 2002

Antonio Carlos Da Rocha COSTA; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO

2002 Trabalho em evento

PS Artificial Intelligence

Probabilistic Coherence Spaces

10th Intl. Symp. Scientific Computing; Computer Arithmetic and Validated Numerics - SCAN 2002

Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

2002 Trabalho em evento

SH Psychology (miscellaneous)

The Interval Geometric Machine

10th Intl. Symp. Scientific Computing; Computer Arithmetic and Validated Numerics - SCAN 2002

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

2002 Trabalho em evento

SH Language and Linguistics

Editor para Textos em Língua de Sinais Escritos em SignWriting

XIII Simpósio Brasileiro de Informática na Educação

Rafael Pezzin TORCHELSEN; Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

2002 Trabalho em evento

PS Computer Science (miscellaneous)

How Planning Becomes Improvisation? - A Constraint Based Approach for Director Agents in Improvisational Systems

XVI Brazilian Symposium on Artificial Intelligence

Márcia Cristina MORAES; Antonio Carlos Da Rocha COSTA

ISBN 35400012

2002 Artigo em periódico

SH Education

First Steps in the Construction of the Geometric Machine Model

TEMA. Tendências em Matemática Aplicada e Computacional

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

ISSN 1677-1966

2002 Artigo em periódico

PS Artificial Intelligence

Probabilidade Intervalar e Cadeias de Markov Intervalares no Maple

TEMA. Tendências em Matemática Aplicada e Computacional

Marcilia Andrade CAMPOS; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA; João Francisco Fadrique ARAÚJO; Aurélio Magalhães DIAS

ISSN 1677-1966

2002 Artigo em periódico

SH Education

Idéias Iniciais para a Inclusão de Módulos de Monitoração e Avaliação do Sistema ENSINET

Cadernos de Informática (UFRGS)

Raquel Mello De MIRANDA; Márcia Hafelle ISLABÃO; João Paulo Muller Da SILVA; Eduardo Nunes BASTOS; Graçaliz Pereira DIMURO et al

ISSN 1519-132X

2001 Capítulo de livro

PS Computational Theory and Mathematics

Toward a Domain-Theoretic Modelling of Measuring Processes

Logic; Artificial Intelligence and Robotics (Frontiers In Artificial Intelligence And Applications)

Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA

ISBN 1586032062

2001 Trabalho em evento

PS Artificial Intelligence

Distributed Execution of Functional and Logic Programming

EUROCAST 2001 - Eight International Conference on Computer Aided Systems Theory Formal Methods and Tools For Computer Science

André Rauber Du BOIS; Antonio Carlos Da Rocha COSTA

2001 Trabalho em evento

SH Language and Linguistics

Supporting Deaf Sign Languages in Written Form on the Web

10TH WORLD WIDE WEB CONFERENCE

Antonio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

2001 Trabalho em evento

PS Computer Science (miscellaneous)

Um Ambiente de Suporte ao Ensino Integrado dos Fundamentos Matemáticos da Ciência da Computação utilizando o ZOPE

WORKSHOP DE SOFTWARE LIVRE 2001

Raquel Mello MIRANDA; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA

2001 Trabalho em evento

PS Logic

Um Editor de Provas para a Lógica Proposional

XXVII CONFERÊNCIA LATINOAMERICANA DE INFORMATICA

Gleifer Vaz ALVES; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA

2001 Trabalho em evento

SH Museology

Providing Personal Assistance in the SAGRES Virtual Museum

Museums and the Web 2001

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

2001 Trabalho em evento

PS Geology

Autômatos Celulares para Análise da Monotonicidade da Declividade de Áreas Geológicas

III Workshop Brasileiro de GeoInformática

Marilton Sanchotene De AGUIAR; Antonio Carlos Da Rocha COSTA

ISBN 85884421

2001 Trabalho em evento

PS Computer Science Applications

Avaliação do Módulo de Aprendizagem do Museu Virtual SAGRES quanto a Usabilidade de um Software Educacional

Simpósio Brasileiro de Informática na Educação

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

2001 Trabalho em evento

PS Artificial Intelligence

Reutilizando Provadores de Teoremas através de Mapeamentos entre Instituicoes

IV Workshop on Formal Methods

Juliana K VIZZOTTO; Alfio MARTINI; Antonio Carlos Da Rocha COSTA

2001 Trabalho em evento

PS Human-Computer Interaction

Estudo e Avaliação da Usabilidade de Agentes Improvisacionais de Interface

Info2001-IHC

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

2001 Trabalho em evento

LS Neuroscience (miscellaneous)

Some Experiences Connecting Functional Languages and Java

3rd Scottish Functional Programming Workshop

André Rauber Du BOIS; Antonio Carlos Da Rocha COSTA

2001 Artigo em periódico

PS Computer Science Applications

Idéias iniciais para inclusão de Módulos de Monitoração e Avaliação do Sistema ENSINET

Cadernos de Informática (UFRGS)

Raquel Mello MIRANDA; Márcia Häfele Islabão FRANCO; João Paulo Muller Da SILVA; Eduardo Nunes BASTOS; Antonio Carlos Da Rocha COSTA et al

ISSN 1519-132X

2000 Trabalho em evento

PS Artificial Intelligence

A first attempt at giving a domain-theoretic model for machine development

WAIT 2000 - WORKSHOP ARGENTINO DE INFORMÁTICA/XXIX JORNADAS ARGENTINAS DE INFORMÁTICA E INVESTIGACIÓN OPERATIVA

Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA

2000 Trabalho em evento

PS Computer Science Applications

Materiais Didáticos Interativos para o Ensino Integrado dos Fundamentos da Computação

CLEI 2000 - CONFERENCIA LATINOAMERICANA DE INFORMATICA

Gleifer Vaz ALVES; Raquel Mello MIRANDA; Márcia Hafelle ISLABÃO; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA et al

2000 Trabalho em evento

PS Artificial Intelligence

A Natural General Approach to Uncertainty (Including Interval Uncertainty) and its Relation to Domain Theory and Simplicial Complexes.

: 9TH GAMM/IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING; COMPUTER ARITHMETIC AND VALIDATED NUMERICS/INTERNATIONAL CONFERENCE ON INTERVAL METHODS IN SCIENCE AND ENGINEERING

Marcília Andrade CAMPOS; Graçaliz Pereira DIMURO; Vladik KREINOVICH; Antonio Carlos Da Rocha COSTA