André Rauber Du Bois

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

Á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
Antonio Carlos Da Rocha COSTA		Ciências Exatas e da Terra	Ciência da Computação
Claudio Fernando Resin GEYER		Ciências Exatas e da Terra	Ciência da Computação
Giovani Rubert LIBRELOTTO		Ciências Exatas e da Terra	Ciência da Computação
Jorge Luis Victória BARBOSA		Ciências Exatas e da Terra	Ciência da Computação
Luciana FOSS		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
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 → 4

Mapa de calor das categorias ASJC por ano
Categoria ASJC	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
1701 · Computer Science (miscellaneous)	0	0	1	1	0	1	0	2	1	0	1	3	2	4	1	0	2	4	3	2	4	1	4	3	4	1	2	0	3	1	0
1712 · Software	0	0	1	0	0	3	0	1	0	0	0	0	1	0	1	0	0	2	1	4	4	0	0	1	0	0	0	2	2	2	0
1702 · Artificial Intelligence	0	0	0	1	0	0	1	0	0	0	1	0	0	0	0	1	0	2	1	0	3	1	2	2	2	1	0	0	0	0	0
3304 · Education	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	1	1	1	1	2	0	2	2	0	2	1	0	1	1	1
1706 · Computer Science Applications	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	1	1	0	1	1	1	1	1	1	1	1	0	0	0	3	0
1203 · Language and Linguistics	0	1	0	0	0	0	0	0	0	3	0	1	0	0	0	0	0	1	1	0	0	0	1	0	0	0	1	0	0	0	0
2801 · Neuroscience (miscellaneous)	0	0	0	0	0	0	0	0	0	1	0	0	1	0	0	0	0	1	1	1	0	1	0	0	1	1	0	0	0	0	0
3310 · Linguistics and Language	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	1	1	1	1	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	2	0	0	0	0	0	0	0	0	0	2	0
3201 · Psychology (miscellaneous)	1	0	0	0	0	0	0	0	1	0	0	0	0	0	1	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0
2614 · Theoretical Computer Science	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	1	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	1	0	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	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2201 · Engineering (miscellaneous)	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
2204 · Biomedical Engineering	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
2208 · Electrical and Electronic Engineering	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
2601 · Mathematics (miscellaneous)	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
2604 · Applied Mathematics	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
2800 · General 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
3101 · Physics and Astronomy (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

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2021	Trabalho em evento	Proposta de Atividade Lúdica e Desplugada Aplicando a Metodologia do Pensamento Computacional. Yuri ROSA; Renata Hax Sander REISER; Oliveira PLACIDA; Luciana FOSS; Cavalheiro SIMONE et al Simpósio Brasileiro de Educação em Computação; 2021; Brasil.	SH Education
2021	Trabalho em evento	Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental Oliveira PLACIDA; Jonnhy MARQUES; Simone CAVALHEIRO; Luciana FOSS; Renata Hax Sander REISER et al Workshop sobre Educação em Computação; 2021	SH Education
2021	Trabalho em evento	A Graph Transformation System formalism for correctness of Transactional Memory algorithms Diogo J CARDOSO; Luciana FOSS; André Rauber Du BOIS Simpósio Brasileiro de Linguagens de Programação (SBLP)	PS Computer Science (miscellaneous)
2021	Trabalho em evento	An Extension for Transactional Memories in Modern Multithreaded Programming Tools André JARDIM; Diogo J CARDOSO; Daniel Di DOMENICO; André Rauber Du BOIS; Gerson CAVALHEIRO Simpósio Brasileiro de Linguagens de Programação (SBLP)	LS Neuroscience (miscellaneous)
2020	Trabalho em evento	Thread Affinity in Software Transactional Memory Pasqualin Douglas PEREIRA; Diener MATTHIAS; André Rauber Du BOIS; Pilla Mauricio LIMA 2020 19th International Symposium on Parallel and Distributed Computing (ISPDC) DOI 10.1109/ispdc51135.2020.00033 ISBN 9781728189468	LS Neuroscience (miscellaneous)
2020	Trabalho em evento	Online Sharing-Aware Thread Mapping in Software Transactional Memory Pasqualin Douglas PEREIRA; Diener MATTHIAS; André Rauber Du BOIS; Pilla Mauricio LIMA 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBACPAD) DOI 10.1109/sbac-pad49847.2020.00016 ISBN 9781728199245	PS Computer Science (miscellaneous)
2020	Trabalho em evento	Towards an Extrinsic Formalization of Featherweight Java in Agda Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS Simposio Latinoamericano de Teoría Computacional - XLVI Conferencia Latinoamericana de informática (CLEI 2020)	PS Computer Science (miscellaneous)
2020	Trabalho em evento	The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions Elton Máximo CARDOSO; Rodrigo Geraldo RIBEIRO; Feitosa Samuel S; Leonardo Vieira Dos Santos REIS; André Rauber Du BOIS Simposio Latinoamericano de Teoría Computacional - XLVI Conferencia Latinoamericana de informática (CLEI 2020)	PS Artificial Intelligence
2020	Trabalho em evento	Estudo da Viabilidade de uma Interface para Memórias Transacionais em OpenMP Henry PEREIRA; André JARDIM; André Rauber Du BOIS; Cavalheiro Gerson Geraldo H XXI Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2020)	PS Computer Science (miscellaneous)
2020	Trabalho em evento	Characterizing the Sharing Behavior of Applications using Software Transactional Memory Douglas PASQUALIN; Matthias DIENER; André Rauber Du BOIS; Pilla Mauricio LIMA 2020 BenchCouncil International Symposium on Benchmarking; Measuring and Optimizing (Bench'20)	PS Computer Science Applications
2020	Artigo em periódico	A type-directed algorithm to generate random well-typed Java 8 programs Feitosa SAMUEL; Ribeiro RODRIGO; André Rauber Du BOIS SCIENCE OF COMPUTER PROGRAMMING DOI 10.1016/j.scico.2020.102494 ISSN 0167-6423	PS Computer Science (miscellaneous)
2020	Artigo em periódico	A Mechanized Proof of a Textbook Type Unification Algorithm André Rauber Du BOIS; Ribeiro RODRIGO; Amaro MAYCON REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA DOI 10.22456/2175-2745.100968 ISSN 2175-2745	PS Artificial Intelligence
2019	Capítulo de livro	Explorando o pensamento computacional para a qualificação do ensino fundamental Simone CAVALHEIRO; Luciana FOSS; Marilton Sanchotene AGUIAR; André Rauber Du BOIS; Ana PERNAS et al Computação na educação básica ISBN 9786581334031	SH Education
2019	Trabalho em evento	Hmusic: a domain specific language for music programming and live coding André Rauber Du BOIS; Rodrigo Geraldo RIBEIRO International conference on new interfaces for musical expression (NIME) ISBN 2220-4806	PS Computer Science (miscellaneous)
2019	Trabalho em evento	Flexible Assessment in Digital Teaching-Learning Processes: Case Studies via Computational Thinking Cardozo AMANDA; Gayer CATHERINE; Cavalheiro SIMONE; Foss LUCIANA; André Rauber Du BOIS et al XXX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education) DOI 10.5753/cbie.sbie.2019.429	SH Education
2019	Trabalho em evento	An Inherently-Typed Formalization for Featherweight Java Feitosa Samuel S; Alejandro Serrano MENA; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS Brazilian Symposium on Programming Languages (SBLP)	PS Computer Science (miscellaneous)
2019	Trabalho em evento	A Graph Transformation System formalism for Software Transactional Memory Opacity Diogo J CARDOSO; Luciana FOSS; André Rauber Du BOIS Brazilian Symposium on Programming Languages (SBLP)	PS Computer Science Applications
2019	Trabalho em evento	Proposta e Aplicação de Atividades para o Desenvolvimento das Habilidades de Organização de Informação e Pensamento Algorítmico Oliveira PLACIDA; Brandão GEAN; Foss LUCIANA; André Rauber Du BOIS; Aguiar MARILTON et al XXV Workshop de Informática na Escola DOI 10.5753/cbie.wie.2019.618	PS Computer Science (miscellaneous)
2019	Trabalho em evento	Combining Effects in a Music Programming Language based on Patterns André Rauber Du BOIS; Rodrigo Geraldo RIBEIRO Brazilian Symposium on Computer Music (SBCM)	PS Artificial Intelligence
2019	Artigo em periódico	A monadic semantics for quantum computing in an object oriented language Feitosa Samuel S; Vizzotto Juliana K; Eduardo Kessler PIVETA; André Rauber Du BOIS SCIENCE OF COMPUTER PROGRAMMING ISSN 0167-6423	PS Artificial Intelligence
2019	Artigo em periódico	Comparing the performance of concurrent hash tables implemented in Haskell Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Pilla Maurício LIMA; Cavalheiro Gerson Geraldo H; Reiser Renata Hax SANDER SCIENCE OF COMPUTER PROGRAMMING DOI 10.1016/j.scico.2018.06.004 ISSN 0167-6423	PS Software
2018	Trabalho em evento	Representing Intuitionistic Fuzzy Bi-Implications through Quantum Computing Lucas AGOSTINI; Feitosa Samuel S; Anderson AVILA; Renata Hax Sander REISER; André Rauber Du BOIS 37th North American Fuzzy Information Processing Society Annual Conference; (NAFIPS 2018)	PS Computer Science Applications
2018	Trabalho em evento	Avaliação de Discentes na Promoção do Ensino e da Aprendizagem de Habilidades via Pensamento Computacional Amanda Argou CARDOZO; Catherine GAYER; Raíssa PINTO; Renata Hax Sander REISER; Clause PIANA et al Congresso Brasileiro de Sistemas Fuzzy ? CBSF	SH Education
2018	Trabalho em evento	Property-based testing for lambda expressions semantics in featherweight Java Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS XXII Brazilian Symposium on Programming Languages - SBLP '18	PS Computer Science (miscellaneous)
2018	Trabalho em evento	Escalonamento de Transações a Nível de Usuário em Haskell Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Cavalheiro Gerson Geraldo HOMRICH; Pilla Mauricio LIMA Simpósio de Sistemas Computacionais de Alto Desempenho (WSCAD)	SH Language and Linguistics

2021 Trabalho em evento

SH Education

Proposta de Atividade Lúdica e Desplugada Aplicando a Metodologia do Pensamento Computacional.

Simpósio Brasileiro de Educação em Computação; 2021; Brasil.

Yuri ROSA; Renata Hax Sander REISER; Oliveira PLACIDA; Luciana FOSS; Cavalheiro SIMONE et al

2021 Trabalho em evento

SH Education

Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental

Workshop sobre Educação em Computação; 2021

Oliveira PLACIDA; Jonnhy MARQUES; Simone CAVALHEIRO; Luciana FOSS; Renata Hax Sander REISER et al

2021 Trabalho em evento

PS Computer Science (miscellaneous)

A Graph Transformation System formalism for correctness of Transactional Memory algorithms

Simpósio Brasileiro de Linguagens de Programação (SBLP)

Diogo J CARDOSO; Luciana FOSS; André Rauber Du BOIS

2021 Trabalho em evento

LS Neuroscience (miscellaneous)

An Extension for Transactional Memories in Modern Multithreaded Programming Tools

Simpósio Brasileiro de Linguagens de Programação (SBLP)

André JARDIM; Diogo J CARDOSO; Daniel Di DOMENICO; André Rauber Du BOIS; Gerson CAVALHEIRO

2020 Trabalho em evento

LS Neuroscience (miscellaneous)

Thread Affinity in Software Transactional Memory

2020 19th International Symposium on Parallel and Distributed Computing (ISPDC)

Pasqualin Douglas PEREIRA; Diener MATTHIAS; André Rauber Du BOIS; Pilla Mauricio LIMA

DOI ISBN 9781728189468

2020 Trabalho em evento

PS Computer Science (miscellaneous)

Online Sharing-Aware Thread Mapping in Software Transactional Memory

2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBACPAD)

Pasqualin Douglas PEREIRA; Diener MATTHIAS; André Rauber Du BOIS; Pilla Mauricio LIMA

DOI ISBN 9781728199245

2020 Trabalho em evento

PS Computer Science (miscellaneous)

Towards an Extrinsic Formalization of Featherweight Java in Agda

Simposio Latinoamericano de Teoría Computacional - XLVI Conferencia Latinoamericana de informática (CLEI 2020)

Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS

2020 Trabalho em evento

PS Artificial Intelligence

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions

Simposio Latinoamericano de Teoría Computacional - XLVI Conferencia Latinoamericana de informática (CLEI 2020)

Elton Máximo CARDOSO; Rodrigo Geraldo RIBEIRO; Feitosa Samuel S; Leonardo Vieira Dos Santos REIS; André Rauber Du BOIS

2020 Trabalho em evento

PS Computer Science (miscellaneous)

Estudo da Viabilidade de uma Interface para Memórias Transacionais em OpenMP

XXI Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2020)

Henry PEREIRA; André JARDIM; André Rauber Du BOIS; Cavalheiro Gerson Geraldo H

2020 Trabalho em evento

PS Computer Science Applications

Characterizing the Sharing Behavior of Applications using Software Transactional Memory

2020 BenchCouncil International Symposium on Benchmarking; Measuring and Optimizing (Bench'20)

Douglas PASQUALIN; Matthias DIENER; André Rauber Du BOIS; Pilla Mauricio LIMA

2020 Artigo em periódico

PS Computer Science (miscellaneous)

A type-directed algorithm to generate random well-typed Java 8 programs

SCIENCE OF COMPUTER PROGRAMMING

Feitosa SAMUEL; Ribeiro RODRIGO; André Rauber Du BOIS

DOI ISSN 0167-6423

2020 Artigo em periódico

PS Artificial Intelligence

A Mechanized Proof of a Textbook Type Unification Algorithm

REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA

André Rauber Du BOIS; Ribeiro RODRIGO; Amaro MAYCON

DOI ISSN 2175-2745

2019 Capítulo de livro

SH Education

Explorando o pensamento computacional para a qualificação do ensino fundamental

Computação na educação básica

Simone CAVALHEIRO; Luciana FOSS; Marilton Sanchotene AGUIAR; André Rauber Du BOIS; Ana PERNAS et al

ISBN 9786581334031

2019 Trabalho em evento

PS Computer Science (miscellaneous)

Hmusic: a domain specific language for music programming and live coding

International conference on new interfaces for musical expression (NIME)

André Rauber Du BOIS; Rodrigo Geraldo RIBEIRO

ISBN 2220-4806

2019 Trabalho em evento

SH Education

Flexible Assessment in Digital Teaching-Learning Processes: Case Studies via Computational Thinking

XXX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education)

Cardozo AMANDA; Gayer CATHERINE; Cavalheiro SIMONE; Foss LUCIANA; André Rauber Du BOIS et al

DOI

2019 Trabalho em evento

PS Computer Science (miscellaneous)

An Inherently-Typed Formalization for Featherweight Java

Brazilian Symposium on Programming Languages (SBLP)

Feitosa Samuel S; Alejandro Serrano MENA; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS

2019 Trabalho em evento

PS Computer Science Applications

A Graph Transformation System formalism for Software Transactional Memory Opacity

Brazilian Symposium on Programming Languages (SBLP)

Diogo J CARDOSO; Luciana FOSS; André Rauber Du BOIS

2019 Trabalho em evento

PS Computer Science (miscellaneous)

Proposta e Aplicação de Atividades para o Desenvolvimento das Habilidades de Organização de Informação e Pensamento Algorítmico

XXV Workshop de Informática na Escola

Oliveira PLACIDA; Brandão GEAN; Foss LUCIANA; André Rauber Du BOIS; Aguiar MARILTON et al

DOI

2019 Trabalho em evento

PS Artificial Intelligence

Combining Effects in a Music Programming Language based on Patterns

Brazilian Symposium on Computer Music (SBCM)

André Rauber Du BOIS; Rodrigo Geraldo RIBEIRO

2019 Artigo em periódico

PS Artificial Intelligence

A monadic semantics for quantum computing in an object oriented language

SCIENCE OF COMPUTER PROGRAMMING

Feitosa Samuel S; Vizzotto Juliana K; Eduardo Kessler PIVETA; André Rauber Du BOIS

ISSN 0167-6423

2019 Artigo em periódico

PS Software

Comparing the performance of concurrent hash tables implemented in Haskell

SCIENCE OF COMPUTER PROGRAMMING

Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Pilla Maurício LIMA; Cavalheiro Gerson Geraldo H; Reiser Renata Hax SANDER

DOI ISSN 0167-6423

2018 Trabalho em evento

PS Computer Science Applications

Representing Intuitionistic Fuzzy Bi-Implications through Quantum Computing

37th North American Fuzzy Information Processing Society Annual Conference; (NAFIPS 2018)

Lucas AGOSTINI; Feitosa Samuel S; Anderson AVILA; Renata Hax Sander REISER; André Rauber Du BOIS

2018 Trabalho em evento

SH Education

Avaliação de Discentes na Promoção do Ensino e da Aprendizagem de Habilidades via Pensamento Computacional

Congresso Brasileiro de Sistemas Fuzzy ? CBSF

Amanda Argou CARDOZO; Catherine GAYER; Raíssa PINTO; Renata Hax Sander REISER; Clause PIANA et al

2018 Trabalho em evento

PS Computer Science (miscellaneous)

Property-based testing for lambda expressions semantics in featherweight Java

XXII Brazilian Symposium on Programming Languages - SBLP '18

Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS

2018 Trabalho em evento

SH Language and Linguistics

Escalonamento de Transações a Nível de Usuário em Haskell

Simpósio de Sistemas Computacionais de Alto Desempenho (WSCAD)

Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Cavalheiro Gerson Geraldo HOMRICH; Pilla Mauricio LIMA