Renata Hax Sander Reiser

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: 581

Á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
Aline Brum LORETO		Ciências Exatas e da Terra	Ciência da Computação
Ana Marilza Pernas FLEISCHMANN		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
Antônia Jocivania PINHEIRO		Não informada	Não informada
Antonio Carlos Da Rocha COSTA		Ciências Exatas e da Terra	Ciência da Computação
João Ladislau Barbará LOPES		Ciências Exatas e da Terra	Ciência da Computação
Luciana FOSS		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
Simone André Da Costa CAVALHEIRO		Ciências Exatas e da Terra	Ciência da Computaçã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 → 15

Mapa de calor das categorias ASJC por ano
Categoria ASJC	1994	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	2026
1702 · Artificial Intelligence	0	2	3	0	3	1	1	1	6	6	4	1	5	2	4	4	5	7	10	10	10	6	10	11	7	4	1	6	3	2	6	15	4
1701 · Computer Science (miscellaneous)	1	0	0	0	0	1	4	0	6	12	5	5	0	5	4	2	7	3	6	11	9	8	10	3	3	6	5	3	4	4	0	2	1
3304 · Education	1	3	0	0	0	0	0	3	0	1	0	0	0	0	1	1	0	3	0	6	1	5	4	4	3	0	1	3	1	0	1	0	0
1706 · Computer Science Applications	0	0	0	0	0	0	0	0	0	0	2	0	1	0	2	5	4	1	2	2	2	3	2	0	0	3	0	3	3	0	0	2	1
2601 · Mathematics (miscellaneous)	2	0	1	0	0	2	0	0	0	0	2	2	1	3	2	3	2	0	1	1	0	0	0	1	2	1	2	0	0	0	0	0	0
2801 · Neuroscience (miscellaneous)	0	0	0	1	1	0	2	0	0	0	0	0	0	0	0	0	3	0	1	1	3	1	2	1	0	2	1	1	1	0	0	0	0
3101 · Physics and Astronomy (miscellaneous)	0	0	1	0	0	0	0	0	0	0	1	0	2	1	1	0	1	1	2	3	0	0	2	1	1	0	1	0	1	0	0	0	0
1700 · General Computer Science	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	3	0	0	0	0	0	0	0	0	0	0	0	0	9	0	0	0
2201 · Engineering (miscellaneous)	0	0	0	0	0	0	0	0	0	2	0	0	0	1	1	0	1	2	0	0	0	2	1	1	0	1	0	0	0	0	0	0	0
3201 · Psychology (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	1	0	1	0	1	0	1	2	0	0	1	0	2	0	0	0	0	0
3310 · Linguistics and Language	0	0	0	0	0	0	0	0	1	0	0	0	0	1	0	0	0	1	1	0	1	1	1	0	1	1	1	1	0	0	0	0	0
2604 · Applied Mathematics	0	0	0	1	1	1	0	0	1	0	3	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2
2614 · Theoretical Computer Science	0	0	0	0	0	1	0	0	0	0	0	0	1	0	0	0	0	1	0	0	0	3	0	1	0	1	0	1	0	0	0	1	0
1203 · Language and Linguistics	0	0	0	1	0	2	0	0	1	0	0	0	0	0	0	0	1	0	0	2	0	1	1	0	0	0	0	0	0	0	0	0	0
1703 · Computational Theory and Mathematics	0	0	0	0	0	0	0	0	0	0	1	0	0	1	0	0	0	2	0	0	0	0	0	0	0	1	0	0	0	0	2	1	0
1803 · Management Science and Operations Research	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	1	4	0	1
2605 · Computational Mathematics	0	0	0	1	0	0	0	0	1	1	1	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1708 · Hardware and Architecture	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	0	0	0	2	0	0
2609 · Logic	0	0	2	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	1	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	0	1	0	0	0	2	1	0	0	0	0	0	0	0	0	0	0	0	0
2102 · Energy Engineering and Power Technology	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0	0	0	0	0	0	0	0
1201 · Arts and Humanities (miscellaneous)	0	0	0	0	0	0	0	0	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
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	0	0	0	1	0	0	0	0	0	0	1
1712 · Software	0	0	0	0	0	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
2204 · Biomedical Engineering	0	0	0	0	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
2208 · Electrical and Electronic Engineering	0	0	0	0	0	0	0	0	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
2606 · Control and Optimization	0	0	0	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
2805 · Cognitive Neuroscience	0	0	0	0	0	0	0	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
1101 · Agricultural and Biological Sciences (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	0	0	0	0	0	0	0
1102 · Agronomy and Crop Science	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
1401 · Business; Management and Accounting (miscellaneous)	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
1707 · Computer Vision and Pattern Recognition	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
1802 · Information Systems and Management	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
1804 · Statistics; Probability and Uncertainty	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
2002 · Economics and Econometrics	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	0
2607 · Discrete Mathematics and Combinatorics	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
2610 · Mathematical Physics	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
2612 · Numerical Analysis	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	0	0
2613 · Statistics and Probability	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
2738 · Psychiatry and Mental Health	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
2739 · Public Health; Environmental and Occupational Health	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
2802 · Behavioral Neuroscience	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
3100 · General Physics and Astronomy	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
3107 · Atomic and Molecular Physics; and Optics	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
3200 · General Psychology	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

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2002	Trabalho em evento	Probabilistic Coherence Spaces Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA 10TH GAMM-IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING; COMPUTER ARITHMETIC AND VALIDATED NUMERICS	PS Artificial Intelligence
2002	Trabalho em evento	Interval Probabilities with an Application to Interval Markov Chains Marcília CAMPOS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER 10TH GAMM-IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING; COMPUTER ARITHMETIC AND VALIDATED NUMERICS	PS Artificial Intelligence
2002	Trabalho em evento	A Bi-Dimensional Categorizer Interval Cellular Automata Model for the Analysis of the Declivity of Topological Regions Marilton Sanchotene AGUIAR; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER 10TH GAMM-IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING; COMPUTER ARITHMETIC AND VALIDATED NUMERICS	PS Artificial Intelligence
2002	Trabalho em evento	Uma Linguagem Visual para Processos Concorrentes Marcos Borba CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA SIRC - 1ºSIMPÓSIO DE INFOMÁTICA DA REGIÃO CENTRO DO RIO GRANDE DO SUL	SH Language and Linguistics
2002	Trabalho em evento	Uma Linguagem Visual para Processos Computacionais Representados na Máquina Geométrica. Renata Hax Sander REISER; Marcos Borba CARDOSO; Antônio Carlos Da Rocha COSTA XXV CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL	PS Computer Science (miscellaneous)
2002	Trabalho em evento	ATI:LINUX : Portando as Bibliotecas Intervalares do Ambiente de Técnicas Intervalares para a Linguagem PYTHON Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER ERMAC_ Encontro Regional da Matemática Aplicada e Computacional	PS Computer Science (miscellaneous)
2002	Trabalho em evento	Uma Linguagem Visual para Processos Computados na Máquina Geométrica Marcos CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA XII Salão de Iniciação Científica da UFRGS	PS Computer Science (miscellaneous)
2002	Trabalho em evento	Towards Interval Markov Models Graçaliz Pereira DIMURO; Marcília Andrade CAMPOS; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA XXV CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL	PS Artificial Intelligence
2002	Trabalho em evento	Implementações do Ambiente ATI/LINUX Aurélio Magalhães DIAS; Marilton Sanchotene AGUIAR; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER Congresso de Matemática Aplicada e Computacional	PS Computer Science (miscellaneous)
2002	Trabalho em evento	The interval geometric machine Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA XXV Congresso Nacional de Matemática Aplicada e Computacional	PS Applied Mathematics
2002	Artigo em periódico	First Steps in the Construction of the Geometric Machine Model Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO Tendências em Matemática Aplicada e Computacional DOI 10.5540/tema.2002.03.01.0183 ISSN 2179-8451	PS Computational Mathematics
2001	Trabalho em evento	Um Modelo de Máquina Geométrica Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO XXIV Congresso Nacional de Matemática Aplicada e Computacional	PS Artificial Intelligence
2001	Trabalho em evento	Um Ambiente Iintegrado para o Ensino e Pesquisa em Matemática Intervalar Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER XXIV Congresso Nacional de Matemática Aplicada e Computacional	SH Education
2001	Trabalho em evento	Ensino e Pesquisa em Matemática Intervalar Aurélio Magalhães DIAS; Renata Hax Sander REISER; Graçaliz Pereira DIMURO CIC UCPel/UFel	SH Education
2001	Trabalho em evento	Um Ambiente para o Ensino e Pesquisa em Matemática Intervalar Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER VIII Salão de Iniciação Científica da UFRGS	SH Education
2000	Trabalho em evento	Toward a Coherent Semantic for Interval Concurrent Processes Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO XXIII Congresso Nacional de Matemática Aplicada e Computacional	LS Neuroscience (miscellaneous)
2000	Trabalho em evento	Coherence Semantic in Interval Computation Processes Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO International Symposium on Scientific Computing; Computer Arithemtic; and Validated Numerics/International Conference on Interval Methods in Science and eEngineering	LS Neuroscience (miscellaneous)
2000	Trabalho em evento	A Biblioteca Mat-Int: Um Tutorial Interativo para a Biblioteca Intervalar Mat-Int Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL	PS Computer Science (miscellaneous)
2000	Trabalho em evento	Biblioteca Intervalar Mat-Int: um Tutorial Interativo Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER CONGRESSO REGIONAL DE INICIAÇÃO CIENTÍFICA E TECNOLÓGICA EM ENGENHARIA	PS Computer Science (miscellaneous)
2000	Trabalho em evento	Biblioteca Intervalar Mat-Int: um Tutorial Interativo no Maple In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER XXII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTAIONAL	PS Artificial Intelligence
2000	Trabalho em evento	Matemática Intervalar: Um Tutorial Interativo para a Biblioteca Mat-Int Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER In: SIMPÓSIO INTERNACIONAL DE INICIAÇÃO CIENTÍFICA DA UNIVERSIDADE DE SÃO PAULO	PS Computer Science (miscellaneous)
2000	Trabalho em evento	Matemática Intervalar: Um Tutorial para a Biblioteca Mat-Int Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER XII Salão de Iniciação Científica da UFRGS	PS Computer Science (miscellaneous)
1999	Trabalho em evento	Análise Categórica da Recursao Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO MINISSIMPOSIO EM FUNDAMENTOS MATEMÁTICOS DA COMPUTAÇÃO	SH Language and Linguistics
1999	Trabalho em evento	Deriving mu-recursive functions from some categories of unary systems. Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO II WORKSHOP ON FORMAL METHODS XIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE	PS Theoretical Computer Science
1999	Trabalho em evento	Represeting r e ir in coherence sapces. Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO XXII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTAIONAL	SH Language and Linguistics

2002 Trabalho em evento

PS Artificial Intelligence

Probabilistic Coherence Spaces

10TH GAMM-IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING; COMPUTER ARITHMETIC AND VALIDATED NUMERICS

Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA

2002 Trabalho em evento

PS Artificial Intelligence

Interval Probabilities with an Application to Interval Markov Chains

10TH GAMM-IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING; COMPUTER ARITHMETIC AND VALIDATED NUMERICS

Marcília CAMPOS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER

2002 Trabalho em evento

PS Artificial Intelligence

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

10TH GAMM-IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING; COMPUTER ARITHMETIC AND VALIDATED NUMERICS

Marilton Sanchotene AGUIAR; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER

2002 Trabalho em evento

SH Language and Linguistics

Uma Linguagem Visual para Processos Concorrentes

SIRC - 1ºSIMPÓSIO DE INFOMÁTICA DA REGIÃO CENTRO DO RIO GRANDE DO SUL

Marcos Borba CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA

2002 Trabalho em evento

PS Computer Science (miscellaneous)

Uma Linguagem Visual para Processos Computacionais Representados na Máquina Geométrica.

XXV CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL

Renata Hax Sander REISER; Marcos Borba CARDOSO; Antônio Carlos Da Rocha COSTA

2002 Trabalho em evento

PS Computer Science (miscellaneous)

ATI:LINUX : Portando as Bibliotecas Intervalares do Ambiente de Técnicas Intervalares para a Linguagem PYTHON

ERMAC_ Encontro Regional da Matemática Aplicada e Computacional

Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER

2002 Trabalho em evento

PS Computer Science (miscellaneous)

Uma Linguagem Visual para Processos Computados na Máquina Geométrica

XII Salão de Iniciação Científica da UFRGS

Marcos CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA

2002 Trabalho em evento

PS Artificial Intelligence

Towards Interval Markov Models

XXV CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL

Graçaliz Pereira DIMURO; Marcília Andrade CAMPOS; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA

2002 Trabalho em evento

PS Computer Science (miscellaneous)

Implementações do Ambiente ATI/LINUX

Congresso de Matemática Aplicada e Computacional

Aurélio Magalhães DIAS; Marilton Sanchotene AGUIAR; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER

2002 Trabalho em evento

PS Applied Mathematics

The interval geometric machine

XXV Congresso Nacional de Matemática Aplicada e Computacional

Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA

2002 Artigo em periódico

PS Computational Mathematics

First Steps in the Construction of the Geometric Machine Model

Tendências em Matemática Aplicada e Computacional

Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

DOI ISSN 2179-8451

2001 Trabalho em evento

PS Artificial Intelligence

Um Modelo de Máquina Geométrica

XXIV Congresso Nacional de Matemática Aplicada e Computacional

Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

2001 Trabalho em evento

SH Education

Um Ambiente Iintegrado para o Ensino e Pesquisa em Matemática Intervalar

XXIV Congresso Nacional de Matemática Aplicada e Computacional

Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER

2001 Trabalho em evento

SH Education

Ensino e Pesquisa em Matemática Intervalar

CIC UCPel/UFel

Aurélio Magalhães DIAS; Renata Hax Sander REISER; Graçaliz Pereira DIMURO

2001 Trabalho em evento

SH Education

Um Ambiente para o Ensino e Pesquisa em Matemática Intervalar

VIII Salão de Iniciação Científica da UFRGS

Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER

2000 Trabalho em evento

LS Neuroscience (miscellaneous)

Toward a Coherent Semantic for Interval Concurrent Processes

XXIII Congresso Nacional de Matemática Aplicada e Computacional

Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

2000 Trabalho em evento

LS Neuroscience (miscellaneous)

Coherence Semantic in Interval Computation Processes

International Symposium on Scientific Computing; Computer Arithemtic; and Validated Numerics/International Conference on Interval Methods in Science and eEngineering

Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

2000 Trabalho em evento

PS Computer Science (miscellaneous)

A Biblioteca Mat-Int: Um Tutorial Interativo para a Biblioteca Intervalar Mat-Int

ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL

Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER

2000 Trabalho em evento

PS Computer Science (miscellaneous)

Biblioteca Intervalar Mat-Int: um Tutorial Interativo

CONGRESSO REGIONAL DE INICIAÇÃO CIENTÍFICA E TECNOLÓGICA EM ENGENHARIA

Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER

2000 Trabalho em evento

PS Artificial Intelligence

Biblioteca Intervalar Mat-Int: um Tutorial Interativo no Maple In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL

XXII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTAIONAL

Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER

2000 Trabalho em evento

PS Computer Science (miscellaneous)

Matemática Intervalar: Um Tutorial Interativo para a Biblioteca Mat-Int

In: SIMPÓSIO INTERNACIONAL DE INICIAÇÃO CIENTÍFICA DA UNIVERSIDADE DE SÃO PAULO

Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER

2000 Trabalho em evento

PS Computer Science (miscellaneous)

Matemática Intervalar: Um Tutorial para a Biblioteca Mat-Int

XII Salão de Iniciação Científica da UFRGS

Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER

1999 Trabalho em evento

SH Language and Linguistics

Análise Categórica da Recursao

MINISSIMPOSIO EM FUNDAMENTOS MATEMÁTICOS DA COMPUTAÇÃO

Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

1999 Trabalho em evento

PS Theoretical Computer Science

Deriving mu-recursive functions from some categories of unary systems.

II WORKSHOP ON FORMAL METHODS XIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE

Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO

1999 Trabalho em evento

SH Language and Linguistics

Represeting r e ir in coherence sapces.

XXII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTAIONAL

Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO