Plataforma CpE

Busque por temas e encontre especialistas

André Rauber du Bois

Dados pessoais

  • HS Health Sciences
  • LS Life Sciences
  • MU Multidisciplinary
  • PS Physical Sciences
  • SH Social Sciences & Humanities
Nome Links Grande Área Área
Ana Marilza Pernas FLEISCHMANN Ciências Exatas e da Terra Ciência da Computação
Antonio Carlos da Rocha COSTA Ciências Exatas e da Terra Ciência da Computação
Gerson Geraldo Homrich CAVALHEIRO 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
Graçaliz Pereira DIMURO Ciências Exatas e da Terra Matemática
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
Marilton Sanchotene de AGUIAR 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, considerando todas as publicações.
Figura 1. ASJC mais frequente por ano.
Tabela 1. Frequência de ASJC (código, nome e grupo) por ano.
Código Nome Grupo Ano Frequência
1712 Software Physical Sciences 2023 2
1701 Computer Science (miscellaneous) Physical Sciences 2022 2
3304 Education Social Sciences & Humanities 2022 1
1203 Language and Linguistics Social Sciences & Humanities 2022 1
3304 Education Social Sciences & Humanities 2021 3
1702 Artificial Intelligence Physical Sciences 2021 1
1701 Computer Science (miscellaneous) Physical Sciences 2021 1
2801 Neuroscience (miscellaneous) Life Sciences 2021 1
1701 Computer Science (miscellaneous) Physical Sciences 2020 4
1702 Artificial Intelligence Physical Sciences 2020 2
1706 Computer Science Applications Physical Sciences 2020 1
1700 General Computer Science Physical Sciences 2020 1
2801 Neuroscience (miscellaneous) Life Sciences 2020 1
1701 Computer Science (miscellaneous) Physical Sciences 2019 3
1702 Artificial Intelligence Physical Sciences 2019 2
1706 Computer Science Applications Physical Sciences 2019 1
3304 Education Social Sciences & Humanities 2019 1
1701 Computer Science (miscellaneous) Physical Sciences 2018 4
1702 Artificial Intelligence Physical Sciences 2018 2
3304 Education Social Sciences & Humanities 2018 2
1706 Computer Science Applications Physical Sciences 2018 1
1203 Language and Linguistics Social Sciences & Humanities 2018 1
3310 Linguistics and Language Social Sciences & Humanities 2018 1
1702 Artificial Intelligence Physical Sciences 2017 1
1701 Computer Science (miscellaneous) Physical Sciences 2017 1
1706 Computer Science Applications Physical Sciences 2017 1
2801 Neuroscience (miscellaneous) Life Sciences 2017 1
1702 Artificial Intelligence Physical Sciences 2016 6
1701 Computer Science (miscellaneous) Physical Sciences 2016 4
3304 Education Social Sciences & Humanities 2016 4
2201 Engineering (miscellaneous) Physical Sciences 2016 1
3310 Linguistics and Language Social Sciences & Humanities 2016 1
1701 Computer Science (miscellaneous) Physical Sciences 2015 5
1702 Artificial Intelligence Physical Sciences 2015 2
1706 Computer Science Applications Physical Sciences 2015 1
3304 Education Social Sciences & Humanities 2015 1
2800 General Neuroscience Life Sciences 2015 1
3310 Linguistics and Language Social Sciences & Humanities 2015 1
2801 Neuroscience (miscellaneous) Life Sciences 2015 1
3201 Psychology (miscellaneous) Social Sciences & Humanities 2015 1
1701 Computer Science (miscellaneous) Physical Sciences 2014 3
1702 Artificial Intelligence Physical Sciences 2014 2
1706 Computer Science Applications Physical Sciences 2014 1
1700 General Computer Science Physical Sciences 2014 1
1203 Language and Linguistics Social Sciences & Humanities 2014 1
3310 Linguistics and Language Social Sciences & Humanities 2014 1
2801 Neuroscience (miscellaneous) Life Sciences 2014 1
1701 Computer Science (miscellaneous) Physical Sciences 2013 6
1702 Artificial Intelligence Physical Sciences 2013 2
3310 Linguistics and Language Social Sciences & Humanities 2013 2
1705 Computer Networks and Communications Physical Sciences 2013 1
3304 Education Social Sciences & Humanities 2013 1
1203 Language and Linguistics Social Sciences & Humanities 2013 1
2801 Neuroscience (miscellaneous) Life Sciences 2013 1
1701 Computer Science (miscellaneous) Physical Sciences 2012 2
2204 Biomedical Engineering Physical Sciences 2012 1
3304 Education Social Sciences & Humanities 2012 1
2102 Energy Engineering and Power Technology Physical Sciences 2012 1
2801 Neuroscience (miscellaneous) Life Sciences 2012 1
1702 Artificial Intelligence Physical Sciences 2011 1
1706 Computer Science Applications Physical Sciences 2011 1
1701 Computer Science (miscellaneous) Physical Sciences 2010 1
3201 Psychology (miscellaneous) Social Sciences & Humanities 2010 1
1701 Computer Science (miscellaneous) Physical Sciences 2009 3
3310 Linguistics and Language Social Sciences & Humanities 2009 1
3101 Physics and Astronomy (miscellaneous) Physical Sciences 2009 1
1701 Computer Science (miscellaneous) Physical Sciences 2008 2
1706 Computer Science Applications Physical Sciences 2008 1
3304 Education Social Sciences & Humanities 2008 1
3310 Linguistics and Language Social Sciences & Humanities 2008 1
2801 Neuroscience (miscellaneous) Life Sciences 2008 1
1701 Computer Science (miscellaneous) Physical Sciences 2007 3
1203 Language and Linguistics Social Sciences & Humanities 2007 2
1702 Artificial Intelligence Physical Sciences 2006 1
1701 Computer Science (miscellaneous) Physical Sciences 2006 1
1706 Computer Science Applications Physical Sciences 2006 1
3304 Education Social Sciences & Humanities 2006 1
1203 Language and Linguistics Social Sciences & Humanities 2005 3
2801 Neuroscience (miscellaneous) Life Sciences 2005 1
1701 Computer Science (miscellaneous) Physical Sciences 2004 1
3201 Psychology (miscellaneous) Social Sciences & Humanities 2004 1
1701 Computer Science (miscellaneous) Physical Sciences 2003 3
1702 Artificial Intelligence Physical Sciences 2002 1
2208 Electrical and Electronic Engineering Physical Sciences 2002 1
1701 Computer Science (miscellaneous) Physical Sciences 2001 2
1702 Artificial Intelligence Physical Sciences 2001 1
2801 Neuroscience (miscellaneous) Life Sciences 2001 1
1203 Language and Linguistics Social Sciences & Humanities 2000 1
1701 Computer Science (miscellaneous) Physical Sciences 1999 1
1203 Language and Linguistics Social Sciences & Humanities 1999 1
1702 Artificial Intelligence Physical Sciences 1998 1
1203 Language and Linguistics Social Sciences & Humanities 1998 1
1203 Language and Linguistics Social Sciences & Humanities 1997 1
1702 Artificial Intelligence Physical Sciences 1996 1
3201 Psychology (miscellaneous) Social Sciences & Humanities 1996 1
  1. Physical Sciences Software
    Ramos JERÔNIMO; Du Bois Andre RAUBER; Gerson Geraldo Homrich CAVALHEIRO. 2023. Obstruction-free distributed transactional memory. In: Sblp 2023: xxvii brazilian symposium on programming languages. Brasil.
  2. Physical Sciences Software
    Du Bois Andre RAUBER; Gerson Geraldo Homrich CAVALHEIRO. 2023. Gpotion: an embedded dsl for gpu programming in elixir. In: Sblp 2023: xxvii brazilian symposium on programming languages. Brasil.
  3. Physical Sciences Computer Science (miscellaneous)
    Conceição Jonathas Augusto De OLIVEIRA; Du Bois André RAUBER; Feitosa Samuel Da SILVA; Gerson Geraldo Homrich CAVALHEIRO; Ribeiro Rodrigo GERALDO. 2022. Open transactional actions: interacting with non-transactional resources in stm haskell. In: Haskell '22: 15th acm sigplan international haskell symposium. Brasil.
  4. Physical Sciences Computer Science (miscellaneous)
    Costa Michael ALEXANDRE; Perlin TIAGO; Du Bois André RAUBER; Gerson Geraldo Homrich CAVALHEIRO. 2022. Ltms: um escalonador numa-aware para stm. In: Simpósio em sistemas computacionais de alto desempenho. Brasil.
  5. Social Sciences & Humanities Language and Linguistics
    Cardoso Diogo J; Foss LUCIANA; André Rauber Du BOIS. 2022. Exploring opacity software transactional memory in haskell through graph transformation. In: Sblp 2022: xxvi brazilian symposium on programming languages. Brasil.
  6. Physical Sciences Artificial Intelligence
    Douglas PASQUALIN; Matthias DIENER; André Rauber Du BOIS; Pilla Mauricio L. 2021. Sharing-aware data mapping in software transactional memory. In: International conference on embedded computer systems: architectures; modeling and simulation (samos xxi). Brasil.
  7. Social Sciences & Humanities Education
    Yuri ROSA; Renata Hax Sander REISER; Oliveira PLACIDA; Luciana FOSS; Cavalheiro SIMONE et al. 2021. Proposta de atividade lúdica e desplugada aplicando a metodologia do pensamento computacional. In: Simpósio brasileiro de educação em computação; 2021; brasil. Brasil.
  8. Social Sciences & Humanities Education
    Oliveira PLACIDA; Jonnhy MARQUES; Simone CAVALHEIRO; Luciana FOSS; Renata Hax Sander REISER et al. 2021. Jogo de rpg para o desenvolvimento de habilidades do pensamento computacional no ensino fundamental. In: Workshop sobre educação em computação; 2021. Brasil.
  9. Physical Sciences Computer Science (miscellaneous)
    Cardoso DIOGO; Luciana FOSS; Du Bois ANDRE. 2021. A graph transformation system formalism for correctness of transactional memory algorithms. In: Sblp'21: 25th brazilian symposium on programming languages. Brasil.
  10. Life Sciences Neuroscience (miscellaneous)
    André JARDIM; Diogo J CARDOSO; Daniel Di DOMENICO; André Rauber Du BOIS; Gerson CAVALHEIRO. 2021. An extension for transactional memories in modern multithreaded programming tools. In: Simpósio brasileiro de linguagens de programação (sblp). Brasil.
  11. Social Sciences & Humanities Education
    Yuri ROSA; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS et al. 2021. Aventura espacial: proposta de atividade para o desenvolvimento do pensamento computacional. In: Wie - cbie 2021 workshop de informática na escola. Brasil.
  12. Life Sciences Neuroscience (miscellaneous)
    Pasqualin Douglas PEREIRA; Diener MATTHIAS; André Rauber Du BOIS; Pilla Mauricio LIMA. 2020. Thread affinity in software transactional memory. In: 2020 19th international symposium on parallel and distributed computing (ispdc). Brasil.
  13. Physical Sciences Computer Science (miscellaneous)
    Pasqualin Douglas PEREIRA; Diener MATTHIAS; André Rauber Du BOIS; Pilla Mauricio LIMA. 2020. Online sharing-aware thread mapping in software transactional memory. In: 2020 ieee 32nd international symposium on computer architecture and high performance computing (sbacpad). Brasil.
  14. Physical Sciences Computer Science (miscellaneous)
    Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS. 2020. Towards an extrinsic formalization of featherweight java in agda. In: Simposio latinoamericano de teoría computacional - xlvi conferencia latinoamericana de informática (clei 2020). Brasil.
  15. Physical Sciences Artificial Intelligence
    Elton Máximo CARDOSO; Rodrigo Geraldo RIBEIRO; Feitosa Samuel S; Leonardo Vieira Dos Santos REIS; André Rauber Du BOIS. 2020. The design of a verified derivative-based parsing tool for regular expressions. In: Simposio latinoamericano de teoría computacional - xlvi conferencia latinoamericana de informática (clei 2020). Brasil.
  16. Physical Sciences Computer Science (miscellaneous)
    Henry PEREIRA; André JARDIM; André Rauber Du BOIS; Cavalheiro Gerson Geraldo H. 2020. Estudo da viabilidade de uma interface para memórias transacionais em openmp. In: Xxi simpósio em sistemas computacionais de alto desempenho (wscad 2020). Brasil.
  17. Physical Sciences Computer Science Applications
    Douglas PASQUALIN; Matthias DIENER; André Rauber Du BOIS; Pilla Mauricio LIMA. 2020. Characterizing the sharing behavior of applications using software transactional memory. In: 2020 benchcouncil international symposium on benchmarking; measuring and optimizing (bench'20). Brasil.
  18. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Rodrigo Geraldo RIBEIRO. 2019. Hmusic: a domain specific language for music programming and live coding. In: International conference on new interfaces for musical expression (nime). Brasil.
  19. Social Sciences & Humanities Education
    Cardozo AMANDA; Gayer CATHERINE; Cavalheiro SIMONE; Foss LUCIANA; André Rauber Du BOIS et al. 2019. Flexible assessment in digital teaching-learning processes: case studies via computational thinking. In: Xxx simpósio brasileiro de informática na educação (brazilian symposium on computers in education). Brasil.
  20. Physical Sciences Computer Science (miscellaneous)
    Feitosa Samuel S; Alejandro Serrano MENA; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS. 2019. An inherently-typed formalization for featherweight java. In: Brazilian symposium on programming languages (sblp). Brasil.
  21. Physical Sciences Computer Science Applications
    Diogo J CARDOSO; Luciana FOSS; André Rauber Du BOIS. 2019. A graph transformation system formalism for software transactional memory opacity. In: Brazilian symposium on programming languages (sblp). Brasil.
  22. Physical Sciences Artificial Intelligence
    André Rauber Du BOIS; Rodrigo Geraldo RIBEIRO. 2019. Combining effects in a music programming language based on patterns. In: Brazilian symposium on computer music (sbcm). Brasil.
  23. Physical Sciences Computer Science (miscellaneous)
    Oliveira PLACIDA; Brandão GEAN; Luciana FOSS; Bois Andre DU; Aguiar MARILTON et al. 2019. Proposta e aplicação de atividades para o desenvolvimento das habilidades de organização de informação e pensamento algorítmico. In: Xxv workshop de informática na escola. Brasil.
  24. Physical Sciences Computer Science Applications
    Lucas AGOSTINI; Feitosa Samuel S; Anderson AVILA; Renata Hax Sander REISER; André Rauber Du BOIS. 2018. Representing intuitionistic fuzzy bi-implications through quantum computing. In: 37th north american fuzzy information processing society annual conference; (nafips 2018). Brasil.
  25. Social Sciences & Humanities Education
    Amanda Argou CARDOZO; Catherine GAYER; Raíssa PINTO; Renata Hax Sander REISER; Clause PIANA et al. 2018. Avaliação de discentes na promoção do ensino e da aprendizagem de habilidades via pensamento computacional. In: Congresso brasileiro de sistemas fuzzy ? cbsf. Brasil.
  26. Physical Sciences Computer Science (miscellaneous)
    Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS. 2018. Property-based testing for lambda expressions semantics in featherweight java. In: Xxii brazilian symposium on programming languages - sblp '18. Brasil.
  27. Social Sciences & Humanities Language and Linguistics
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Cavalheiro Gerson Geraldo HOMRICH; Pilla Mauricio LIMA. 2018. Escalonamento de transações a nível de usuário em haskell. In: Simpósio de sistemas computacionais de alto desempenho (wscad). Brasil.
  28. Physical Sciences Artificial Intelligence
    Jonathas CONCEIÇÃO; André Rauber Du BOIS; Rodrigo Geraldo RIBEIRO. 2018. Transactional boosting no glasgow haskell compiler. In: Simpósio de sistemas computacionais de alto desempenho (wscad). Brasil.
  29. Physical Sciences Computer Science (miscellaneous)
    Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS. 2018. A type-directed algorithm to generate well-typed featherweight java programs. In: Simpósio brasilero de métodos formais (sbmf 2018). Brasil.
  30. Physical Sciences Computer Science (miscellaneous)
    Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS. 2018. Generating random well-typed featherweight java programs using quickcheck. In: Sltc - xliv conferência latino-americana de informática (clei 2018). Brasil.
  31. Physical Sciences Computer Science (miscellaneous)
    Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS. 2018. Formalizing java 8 features using featherweight java. In: Wtdsoft 2018. Brasil.
  32. Social Sciences & Humanities Education
    Simão MARTIN; Cavalheiro SIMONE; Renata Hax Sander REISER; Foss L; Ana Rita MAZZINI et al. 2018. Soccercraft: relato de atividade para ensino aprendizagem de habilidades do pensamento computacional aplicada no sexto ano do ensino fundamental. In: Workshop sobre educação em computação (wei_csbc). Brasil.
  33. Physical Sciences Computer Science Applications
    Dos Santos Maicon ANCA; Du Bois Andre RAUBER; Gerson Geraldo Homrich CAVALHEIRO. 2017. A user-level scheduling framework for bot applications on private clouds. In: 2017 29th international symposium on computer architecture and high performance computing (sbacpad). Brasil.
  34. Life Sciences Neuroscience (miscellaneous)
    Teixeira Felipe L; Pilla Mauricio L; André Rauber Du BOIS; Mosse DANIEL. 2017. Impact of version management for transactional memories on phase-change memories. In: 2017 international symposium on computer architecture and high performance computing workshops (sbacpadw). Brasil.
  35. Physical Sciences Artificial Intelligence
    Ribeiro RODRIGO; André Rauber Du BOIS. 2017. Certified bit-coded regular expression parsing. In: The 21st brazilian symposium. Brasil.
  36. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Rodrigo Geraldo RIBEIRO. 2017. A domain specific language for drum beat programming. In: Brazilian symposium on computer music. Brasil.
  37. Physical Sciences Computer Science (miscellaneous)
    Dos Santos Maicon ANCA; Du Bois Andre R; Gerson Geraldo Homrich CAVALHEIRO. 2016. A user level approach to schedule bot applications on private clouds. In: 2016 ieee 15th international symposium on network computing and applications (nca). Brasil.
  38. Physical Sciences Artificial Intelligence
    Rodrigo Medeiros DUARTE; André Rauber Du BOIS; Maurício Lima PILLA; Gerson Geraldo Homrich CAVALHEIRO; Renata Hax Sander REISER. 2016. Concurrent hash tables for haskell. In: Simpósio brasileiro de linguagens de programação. Brasil.
  39. Physical Sciences Computer Science (miscellaneous)
    Michael Alexandre COSTA; Felipe TEIXEIRA; Maurício Lima PILLA; André Rauber Du BOIS. 2016. Comparação das bibliotecas de stm tinystm e swisstm; com o benchmark lee- tm. In: Escola regional de alto desempenho. Brasil.
  40. Physical Sciences Computer Science (miscellaneous)
    Jeronimo RAMOS; André Rauber Du BOIS; Maurício Lima PILLA. 2016. Um estudo sobre stm para arquiteturas distribuídas. In: Escola regional de alto desempenho. Brasil.
  41. Physical Sciences Engineering (miscellaneous)
    Felipe TEIXEIRA; Maurício Lima PILLA; André Rauber Du BOIS. 2016. Caracterização do consumo de energia dos diferentes versionamentos de dados da biblioteca tinystm em uma memória pcm. In: Escola regional de alto desempenho. Brasil.
  42. Physical Sciences Computer Science (miscellaneous)
    Jeronimo RAMOS; André Rauber Du BOIS; Pilla Mauricio LIMA. 2016. An embedded domain specific language for distributed memory transactions in java. In: Acm/sigapp symposium on applied computing (sac). Brasil.
  43. Physical Sciences Artificial Intelligence
    Feitosa Samuel S; Vizzotto Juliana K; Piveta Eduardo K; André Rauber Du BOIS. 2016. A monadic semantics for quantum computing in featherweight java. In: Brazilian simposium on programming languages. Brasil.
  44. Social Sciences & Humanities Education
    Yuri R WEISSHAHN; Gustavo PINHO; Simone CAVALHEIRO; C F B PIANA; André Rauber Du BOIS et al. 2016. Representação e análise de dados no quinto ano do ensino fundamental: proposta de atividade e relato de aplicação. In: Xxii workshop de informática na escola. Brasil.
  45. Physical Sciences Artificial Intelligence
    Jonathas A O CONCEIÇÃO; André Rauber DUBOIS; Renata Hax Sander REISER. 2016. Adicionando transactional boosting em um computador da linguagem haskell. In: Erad/rs 2016 - xvi escola regional de alto desempenho. Brasil.
  46. Social Sciences & Humanities Education
    Rodrigo M DUARTE; André Rauber DUBOIS; Maurício Lima PILLA; Renata Hax Sander REISER. 2016. Proposta de escalonamento de transações para stm haskell. In: Erad/rs 2016 - xvi escola regional de alto desempenho. Brasil.
  47. Social Sciences & Humanities Education
    Gustavi PINHO; Yuri WEISSHAHN; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; C PIANA et al. 2016. Pensamento computacional no ensino fundamental: relato de atividade de introdução a algoritmos. In: Xxii workshop de informática na escola. Brasil.
  48. Social Sciences & Humanities Education
    Simone André Da Costa CAVALHEIRO; Ana Marilza Pernas FLEISCHMANN; Marilton Sanchotene De AGUIAR; Luciana FOSS; André Rauber Du BOIS et al. 2016. Information organization via computational thinking: case study in a primary school classroom. In: 24º wei - workshop sobre educação em computação. Brasil.
  49. Physical Sciences Computer Science (miscellaneous)
    Duarte Rodrigo MEDEIROS; Du Bois André RAUBER; Pilla Maurício LIMA; Gerson Geraldo Homrich CAVALHEIRO. 2015. Composable memory transactions with eager version management. In: The 30th annual acm symposium. Brasil.
  50. Physical Sciences Computer Science (miscellaneous)
    Barbara Israel Da SILVA; Araujo Nicolas O DE; Bois Andre Rauber DU; Gerson Geraldo Homrich CAVALHEIRO. 2015. Evaluating overhead and contention in concurrent accesses to a graph. In: Ieee 27th international symposium on computer architecture and highperformance computing workshops; sbacpadw 2015. Brasil.
  51. Physical Sciences Artificial Intelligence
    Kist DEIVES; Pinto BRUNO; Bazo RODRIGO; Bois Andre Rauber DU; Gerson Geraldo Homrich CAVALHEIRO. 2015. Kanga: a skeleton-based generic interface for parallel programming. In: 2015 international symposium on computer architecture and high performance computing workshop (sbacpadw). Brasil.
  52. Life Sciences General Neuroscience
    Felipe TEIXEIRA; Muricio Lima PILLA; André Rauber Du BOIS. 2015. Inversao de bit cuma alternativa na redução do desgaste de memórias pcm. In: Erad. Brasil.
  53. Physical Sciences Computer Science (miscellaneous)
    Jeronimo RAMOS; André Rauber Du BOIS; Muricio Lima PILLA. 2015. Uma linguagem de domínio especifico baseada em monadas com suporte a memória transacional distribuída em java. In: Erad. Brasil.
  54. Social Sciences & Humanities Linguistics and Language
    Thais HUBNER; Duarte Rodrigo MEDEIROS; André Rauber Du BOIS. 2015. Avaliação de árvores rubro negras em haskell usando diferentes mecanismos de programação concorrente. In: Erad. Brasil.
  55. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Pilla Mauricio LIMA; Rafael BANDEIRA. 2015. Composable memory transactions for java using a monadic intermediate language. In: Brazilian symosium on programming languages. Alemanha.
  56. Physical Sciences Computer Science Applications
    Timoteo RICO; Muricio Lima PILLA; André Rauber Du BOIS. 2015. Energy consumption and scalability evaluation for software transactional memory on a real computing environment. In: Workshop on applications for multi-core architectures (wamca). Brasil.
  57. Life Sciences Neuroscience (miscellaneous)
    Felipe TEIXEIRA; Muricio Lima PILLA; Daniel MOSSÉ; André Rauber Du BOIS. 2015. Impact of version management on transactional memories performance. In: Workshop on applications for multi-core architectures (wamca). Brasil.
  58. Social Sciences & Humanities Psychology (miscellaneous)
    Michael Alexandre COSTA; Felipe TEIXEIRA; Muricio Lima PILLA; André Rauber Du BOIS. 2015. Avaliação dos padrões de escrita em benchmarks stm. In: Erad. Brasil.
  59. Physical Sciences Artificial Intelligence
    Rodrigo M DUARTE; André Rauber DUBOIS; Pilla MAURICIO; Renata Hax Sander REISER. 2015. Implementação de um algoritmo de tabela hash não bloquenate em haskell. In: Erad 2015 - escola regional de alto desempenho. Brasil.
  60. Physical Sciences Computer Science (miscellaneous)
    Rodrigo M DUARTE; André Rauber DUBOIS; Maurício Lima PILLA; Renata Hax Sander REISER. 2015. Comparando o desempenho de implementações de tabelas hash concorrentes em haskell. In: Wscad 2015 - xvi simpósio em sistemas computacionais de alto desempenho. Brasil.
  61. Social Sciences & Humanities Education
    Gustavo SANTOS; Wine SILVA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Marilton Sanchotene De AGUIAR et al. 2015. Proposta de atividade para o quinto ano do ensino fundamental: algoritmos desplugados. In: Xxi workshop de informática na escola (wie). Brasil.
  62. Physical Sciences General Computer Science
    Simone André Da Costa CAVALHEIRO; Gleider M De CAMPOS; Plínio Finkenauer JUNIOR; Rafael Dias LAGEMANN; Daiane ANDRADE et al. 2014. Desenvolvendo habilidades do pensamento computacional no quarto ano do ensino fundamental. In: 32o seminário de extensão universitária da região sul. Brasil.
  63. Physical Sciences Computer Science (miscellaneous)
    Deives Mesquita KIST; Gerson Geraldo Homrich CAVALHEIRO; André Rauber Du BOIS. 2014. Uma interface genérica baseada em esqueletos para estender as funcionalidades de athreads. In: Xiv escola regional de alto desempenho. Brasil.
  64. Physical Sciences Artificial Intelligence
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Muricio Lima PILLA. 2014. Um estudo comparativo entre algoritmos de tabelas hash concorrente em haskell. In: Erad. Brasil.
  65. Life Sciences Neuroscience (miscellaneous)
    Felipe TEIXEIRA; Muricio Lima PILLA; André Rauber Du BOIS. 2014. Análise de escritas em memórias transacionais em relação ao tempo de execução. In: Erad. Brasil.
  66. Social Sciences & Humanities Linguistics and Language
    Jeronimo RAMOS; André Rauber Du BOIS; Muricio Lima PILLA. 2014. Uma linguagem de domínio específico para memória transacional distribuída em java. In: Erad. Brasil.
  67. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Muricio Lima PILLA; Duarte Rodrigo MEDEIROS. 2014. Transactional boosting for haskell. In: Brazilian symposium on programming languages (sblp). Brasil.
  68. Physical Sciences Computer Science (miscellaneous)
    Felipe TEIXEIRA; Muricio Lima PILLA; André Rauber Du BOIS; Daniel MOSSÉ. 2014. Profiling patterns of bit flipping for software transactional memories. in: international symposium on computer architecture and high performance computing. In: Profiling patterns of bit flipping for software transactional memories. in: international symposium on computer architecture and high performance computing. Brasil.
  69. Physical Sciences Computer Science Applications
    G M CAMPOS; Simone CAVALHEIRO; Luciana FOSS; Ana PERNAS; C F B PIANA et al. 2014. Organização de informações via pensamento computacional: relato de atividade aplicada no ensino fundamental. In: Xix workshop de informática na escola (wie 2014); 2014; dourados. anais do xix workshop de informática na escola. Brasil.
  70. Physical Sciences Artificial Intelligence
    Rodrigo M DUARTE; André Rauber DUBOIS; Maurício Lima PILLA; Renata Hax Sander REISER. 2014. Implementação de algoritmos de tabelas hash concorrentes em haskell. In: Wscad 2014 - xv simpósio em sistemas computacionais de alto desempenho. Brasil.
  71. Physical Sciences Computer Science (miscellaneous)
    Rodrigo Medeiros DUARTE; André Rauber Du BOIS; Gerson Geraldo Homrich CAVALHEIRO. 2013. Uma implementação de stm haskell com versionamento adiantado. In: Workshop de iniciação científica (wscad-ssc 2013). Brasil.
  72. Social Sciences & Humanities Linguistics and Language
    Rodrigo Medeiros DUARTE; André Rauber Du BOIS; Gerson Geraldo Homrich CAVALHEIRO. 2013. Implementação de uma versão de stm haskell com versionamento adiantado. In: Xiii escola regional de alto desempenho (erad 2013). Brasil.
  73. Physical Sciences Computer Science (miscellaneous)
    Deives Mesquita KIST; Gerson Geraldo Homrich CAVALHEIRO; André Rauber Du BOIS. 2013. Interfaces para programação paralela; uma alternativa para anahy. In: Xiii escola regional de alto desempenho (erad 2013). Brasil.
  74. Physical Sciences Computer Networks and Communications
    Timoteo RICO; Muricio Lima PILLA; André Rauber Du BOIS; Duarte Rodrigo MEDEIROS. 2013. Análise do consumo de energia e desempenho de memórias transacionais em software em cenário de alta contenção. In: Erad 2013. Brasil.
  75. Physical Sciences Artificial Intelligence
    Jeronimo RAMOS; André Rauber Du BOIS; Muricio Lima PILLA. 2013. Avaliação de memórias transacionais para máquinas numa. In: Erad 2013. Brasil.
  76. Physical Sciences Computer Science (miscellaneous)
    Rafael BANDEIRA; André Rauber Du BOIS; Muricio Lima PILLA. 2013. Avaliação do novo sitema de execução de transações da cmtjava. In: Erad 2013. Brasil.
  77. Life Sciences Neuroscience (miscellaneous)
    Felipe TEIXEIRA; Rodolfo FAVERETTO; Muricio Lima PILLA; André Rauber Du BOIS. 2013. Impacto de uma arquitetura híbrida com memória pcm e memória dram; em memórias transacionais. In: Erad 2013. Brasil.
  78. Physical Sciences Computer Science (miscellaneous)
    Jeronimo RAMOS; André Rauber Du BOIS; Muricio Lima PILLA. 2013. Uma linguagem de domínio específico baseada em mônadas para transações distribuídas em java. In: Weit. Brasil.
  79. Social Sciences & Humanities Education
    Felipe TEIXEIRA; Pilla Mauricio LIMA; André Rauber Du BOIS; Daniel MOSSÉ. 2013. Análise do consumo de energia das escritas das memórias transacionais em memória pcm. In: Wscad-wic. Brasil.
  80. Physical Sciences Artificial Intelligence
    Timoteo RICO; Muricio Lima PILLA; André Rauber Du BOIS; Duarte Rodrigo MEDEIROS. 2013. Scalability of software transactional memory. In: Workshop de modelos de programação paralela. Brasil.
  81. Physical Sciences Computer Science (miscellaneous)
    Alexander LEMKE; Renata Hax Sander REISER; Maurício Lima PILLA; André Rauber DUBOIS. 2013. Towards aggregating fuzzy s-xor connectives. In: Weit 2013 - second workshop school on theoretical computer science. Brasil.
  82. Life Sciences Neuroscience (miscellaneous)
    Rodrigo Medeiros DUARTE; André Rauber Du BOIS; Gerson Geraldo Homrich CAVALHEIRO. 2012. Verificando o desempenho e a eficiência energética das memórias transacionais. In: Escola regional de alto desempenho; xii. Brasil.
  83. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Pilla Mauricio LIMA; Duarte Rodrigo MEDEIROS. 2012. A high-level implementation of stm haskell with write/write conflict detection. In: 2012 3rd workshop on applications for multicore architectures (wamca). Brasil.
  84. Physical Sciences Energy Engineering and Power Technology
    Timoteo RICO; Muricio Lima PILLA; André Rauber Du BOIS. 2012. Energy consumption on software transactional memories. In: I workshop de modelos para programação paralela. Brasil.
  85. Physical Sciences Biomedical Engineering
    Felipe TEIXEIRA; Muricio Lima PILLA; André Rauber Du BOIS. 2012. Impacto do uso de phase-change memory em memórias transacionais em software. In: Wscad-wic. Brasil.
  86. Social Sciences & Humanities Education
    Rafael BANDEIRA; André Rauber Du BOIS; Muricio Lima PILLA. 2012. Implementação de um esquema de invalidação mista na linguagem cmtjava. In: Escola regional de alto desempenho. Brasil.
  87. Physical Sciences Artificial Intelligence
    André Rauber Du BOIS. 2011. An implementation of composable memory transactions in haskell. In: International symposium software composition. Alemanha.
  88. Physical Sciences Computer Science (miscellaneous)
    Douglas Pereira PASQUALIN; Juliana Kaizer VIZZOTTO; Giovani Rubert LIBRELOTTO; Andre Rauber Du BOIS. 2010. Linguagens de programação para a computação pervasiva. In: Erad 2010 - escola regional de alto desempenho. Brasil.
  89. Social Sciences & Humanities Psychology (miscellaneous)
    Marcos ECHEVARRIA; André Rauber Du BOIS. 2010. Melhorando o desempenho da cmtjava com versionamento de dados adiantado. In: Erad 2010. Brasil.
  90. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Marcos ECHEVARRIA. 2009. A domain specific language for composable memory transactions in java. In: Ifip workshop on domain specific languages (dsl 2009). Grã-Bretanha.
  91. Physical Sciences Physics and Astronomy (miscellaneous)
    Juliana VIZZOTTO; André Rauber Du BOIS; Amr SABRY. 2009. The arrow calculus as a quantum programming language. In: Wollic. Japão.
  92. Physical Sciences Computer Science (miscellaneous)
    Marcos ECHEVARRIA; André Rauber Du BOIS. 2009. Um sistema de versionamento adiantado para a linguagem cmtjava. In: Languages and tools for parallel and distributed programming. Brasil.
  93. Social Sciences & Humanities Linguistics and Language
    André Rauber Du BOIS; Gerson Geraldo Homrich CAVALHEIRO. 2008. Design and implementation of a semi-explicit parallel purely functional language. In: 9th symposium on trends in functional programming. Brasil.
  94. Social Sciences & Humanities Education
    Cícero Agusto De Souza CAMARGO; Lucas Dutra FONSECA; Gerson Geraldo Homrich CAVALHEIRO; André Rauber Du BOIS. 2008. Adaptação da linguagem pfun para ambientes com a memória compartilhada. In: Languages and tools for parallel and distributed programming. Brasil.
  95. Physical Sciences Computer Science Applications
    Juliana VIZZOTTO; André Rauber Du BOIS. 2008. Modelling parallel quantum computing using transactional memory. In: Quantum physics and logic development of computational models. Islândia.
  96. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Mauro Strelow STORCH; Adenaeur Correa YAMIN. 2008. Patterns of mobile computation in java. In: Conferencia latinoamericana de informática. Argentina.
  97. Life Sciences Neuroscience (miscellaneous)
    André Rauber Du BOIS; Juliana VIZZOTTO. 2008. Memórias transacionais e sua programação usando stm haskell. In: Simposio brasileiro de linguagens de programacao. Brasil.
  98. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Adenauer Correia YAMIN; Maurício Lima PILLA; Gerson Geraldo Homrich CAVALHEIRO. 2007. Pfun: a semi-explicit parallel purely functional language. In: Workshop on languages and tools for parallel and distributed programming (ltpd 2007). Brasil.
  99. Physical Sciences Computer Science (miscellaneous)
    Mauro Strelow STORCH; André Rauber Du BOIS; Adenaeur Correa YAMIN. 2007. Aplicando padrões de projeto em computação móvel. In: Latin american conference on pattern languages of programming. Brasil.
  100. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Adenaeur Correa YAMIN; Gerson CAVALHEIRO; Muricio Lima PILLA. 2007. Pfun: a semi-explicit purely functional language. In: Workshop on languages and tools for parallel and distributed programming. Brasil.
  101. Physical Sciences Computer Science (miscellaneous)
    Eduardo MOLLER; Muricio Lima PILLA; Wagner Al ALAM; Adenaeur Correa YAMIN; André Rauber Du BOIS. 2007. Gerenciamento de dispositivos de borda reconfiguráveis na computação pervasiva. In: Iworkshop on pervasive and ubiquitous computing. Brasil.
  102. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Hans Wolfgang LOIDL; Phil TRINDER. 2006. Strong mobility in mobile haskell. In: Simposio brasileiro de linguagens de programacao. Brasil.
  103. Physical Sciences Computer Science Applications
    Zara FIELD; Phil TRINDER; André Rauber Du BOIS. 2006. A comparative evaluation of three mobile languges. In: Proc. 3rd mobility conference 2006. Tailândia.
  104. Physical Sciences Artificial Intelligence
    Zara FIELD; Phil TRINDER; André Rauber Du BOIS. 2006. Two executable mobililty design patterns: mfold and mmap. In: Pattern languages of programs (plop'06). Estados Unidos.
  105. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Hans Wolfgang LOIDL; Phil TRINDER. 2005. Mhaskell: mobile computation in a purely functional language. In: Brazilian symposium on programming languages. Brasil.
  106. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Phil TRINDER; Hans Wolfgang LOIDL. 2005. Strong mobility in mobile haskell. In: 17th international workshop on implementation and application of functional languages. Grã-Bretanha.
  107. Social Sciences & Humanities Psychology (miscellaneous)
    André Rauber Du BOIS; Phil TRINDER; Hans Wolfgang LOIDL. 2004. Towards mobility skeletons. In: Constructive methods for parallel programming (cmpp04). Grã-Bretanha.
  108. Physical Sciences Computer Science (miscellaneous)
    Jorge Luis Victória BARBOSA; André R Du BOIS; Laerte K FRANCO; Cláudio F R GEYER. 2003. Java como linguagem intermediária para compiladores multiparadigma. In: Xxix conferência latinoamericana de informática (clei). Bolívia.
  109. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Phil TRINDER; Hans Wolfgang LOIDL. 2003. Towards a mobile haskell. In: Wflp. Brasil.
  110. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Phil TRINDER; Hans Wolfgang LOIDL. 2003. Implementing mobile haskell. In: Fourth international symposium on trends in functional programming. Grã-Bretanha.
  111. Physical Sciences Electrical and Electronic Engineering
    André Rauber Du BOIS; Phil TRINDER; Hans Wolfgang LOIDL. 2002. Thread migration in a parallel graph reducer. In: International workshop on the implementation of functional languages. Espanha.
  112. Physical Sciences Artificial Intelligence
    André Rauber Du BOIS; Robert POINTON; Hans Wolfgang LOIDL; Phil TRINDER. 2002. Implementing declarative parallel bottom-avoiding choice. In: Sbac-pad. Brasil.
  113. Physical Sciences Computer Science (miscellaneous)
    Jorge Luis Victória BARBOSA; André R Du BOIS; Altino PAVAN; Cláudio F R GEYER. 2001. Holojava: translating a distributed multiparadigm language into java. In: Xxvii congresso latino americano de informática (clei). Venezuela.
  114. Physical Sciences Artificial Intelligence
    André R Du BOIS; Jorge Luis Victória BARBOSA; Cláudio F R GEYER. 2001. Adding functional programming into the hololanguage. In: X international conference on functional and logic programming (cflp). Alemanha.
  115. Life Sciences Neuroscience (miscellaneous)
    André Rauber Du BOIS; Antonio Carlos Da Rocha COSTA. 2001. Some experiences connecting functional languages and java. In: 3rd scottish functional programming workshop. Escócia.
  116. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Antônio Carlos Da Rocha COSTA. 2001. Distributed execution of functional programs on the jvm. In: Eurocast 2001 - eight international conference on computer aided systems theory formal methods and tools for computer science. Espanha.
  117. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Antônio Carlos Da Rocha COSTA. 2000. Funcitonal beans. In: 9th international workshop on functional and logic programming. Espanha.
  118. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO. 1999. Trabalhando com polimorfismo e reuso de código na linguagem funcional haskell. In: Xxii congresso nacional de matemática aplicada e computacional. Brasil.
  119. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Antonio Carlos Da Rocha COSTA. 1999. Programando os agentes micorsoft com a linguagem funcional haskell. In: 3a. oficina de inteligência artificial. Brasil.
  120. Physical Sciences Artificial Intelligence
    André Rauber Du BOIS; Ederson M ARAUJO; Rubem Gerardo SCHNEIDER; Graçaliz Pereira DIMURO. 1998. Comparando algoritmos funcionais e imperativos. In: V encontro regional de matemática aplicada e computacional. Brasil.
  121. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Gerardo SCHNEIDER. 1998. Listas em haskell. In: Cnmac - congresso nacional de matemática aplicada e computacional. Brasil.
  122. Social Sciences & Humanities Language and Linguistics
    André Rauber DUBOIS; Gerardo SCHENEIDER; Renata Hax Sander REISER. 1997. A indução na programação funcional. In: Congresso nacional de matemática aplicada e computacional. Brasil.
  123. Social Sciences & Humanities Psychology (miscellaneous)
    André Rauber Du BOIS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER. 1996. Lógica intervalar e a regra de inferência lógica intervalar. In: Encontro regional de matemática aplicada e computacional. Brasil.
  124. Physical Sciences Artificial Intelligence
    André Rauber Du BOIS; Renata Hax Sander REISER; Graçaliz Pereira DIMURO. 1996. Lógica intervalar. In: Congresso nacional de matemática aplicada e computacional. Brasil.
  1. Social Sciences & Humanities Education
    Bruno Cabreira GONÇALVES; Jonnhy MARQUES; João Eduardo Seffrin SOARES; Plácida OLIVEIRA; Simone André Da Costa CAVALHEIRO et al. 2022. Jogo de rpg para o desenvolvimento de habilidades do pensamento computacional no ensino fundamental: jogo digital e formação de professores. Revista brasileira de informática na educação (rbie). 30, 262-291.
  2. Physical Sciences Computer Science (miscellaneous)
    Feitosa SAMUEL; Ribeiro RODRIGO; André Rauber Du BOIS. 2020. A type-directed algorithm to generate random well-typed java 8 programs. Science of computer programming. 196, 102494-.
  3. Physical Sciences Artificial Intelligence
    André Rauber Du BOIS; Ribeiro RODRIGO; Amaro MAYCON. 2020. A mechanized proof of a textbook type unification algorithm. Revista de informática teórica e aplicada: rita. 27, 13-24.
  4. Physical Sciences Artificial Intelligence
    Feitosa Samuel S; Vizzotto Juliana K; Eduardo Kessler PIVETA; André Rauber Du BOIS. 2019. A monadic semantics for quantum computing in an object oriented language. Science of computer programming. 173, 37-55.
  5. Social Sciences & Humanities Linguistics and Language
    Duarte Rodrigo MEDEIROS; Du Bois André RAUBER; Pilla Maurício LIMA; Cavalheiro Gerson Geraldo H; Renata Hax Sander REISER. 2018. Comparing the performance of concurrent hash tables implemented in haskell. Science of computer programming. 173, 53-70.
  6. Physical Sciences Artificial Intelligence
    Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS. 2018. Formal semantics for java-like languages and research opportunities. Revista de informática teórica e aplicada: rita. 25, 62-74.
  7. Physical Sciences Artificial Intelligence
    Rodrigo M DUARTE; Bois Andre DU; Maurício Lima PILLA; Renata Hax Sander REISER. 2016. Comparando o desempenho de implementações de tabelas hash concorrentes em haskell. Revista de informática teórica e aplicada (impresso). 23, 193-.
  8. Physical Sciences Artificial Intelligence
    Renata Hax Sander REISER; Lemke ALEXANDRE; Avila ANDERSON; Vieira JÚLIA; Pilla MAURÍCIO et al. 2016. Interpretations on quantum fuzzy computing: intuitionistic fuzzy operations × quantum operators. Electronic notes in theoretical computer science. 324, 135-150.
  9. Social Sciences & Humanities Linguistics and Language
    Feitosa Samuel S; Vizzotto Juliana K; Piveta Eduardo K; André Rauber Du BOIS. 2016. Fjquantum - a quantum object oriented language. Electronic notes in theoretical computer science. 324, 67-77.
  10. Physical Sciences Computer Science Applications
    Vizzotto Juliana KAIZER; André Rauber Du BOIS. 2011. Modelling parallel quantum computing using transactional memory. Electronic notes in theoretical computer science. 270, 183-190.
  11. Social Sciences & Humanities Education
    André Rauber Du BOIS; Hans Wolfgang LOIDL; Phil TRINDER. 2006. Strong mobility in mobile haskell. Jucs - journal of universal computer science. 12, 868-884.
  12. Life Sciences Neuroscience (miscellaneous)
    André Rauber Du BOIS; Phil TRINDER; Hans Wolfgang LOIDL. 2005. Towards mobility skeletons. Parallel processing letters. Estados Unidos. 15, (3) 273-288.
  13. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Phil TRINDER; Hans Wolfgang LOIDL. 2005. Mhaskell: mobile computation in a purely functional language. Jucs - journal of universal computer science. Alemanha. 11, (7) 1234-1254.
  1. Physical Sciences General Computer Science
    Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Marilton Sanchotene De AGUIAR; André Rauber Du BOIS; Ana Marilza FLEISCHMANN et al. 2020. Explorando o pensamento computacional para a qualificação do ensino fundamental. In: Computação na educação básica: fundamentos e experiências. Brasil.
  2. Physical Sciences Computer Science (miscellaneous)
    Gerson CAVALHEIRO; André Rauber Du BOIS. 2014. Ferramentas modernas para programação multicore. In: Atualizações em informática (anais csbc). Brasil.
  3. Physical Sciences Computer Science (miscellaneous)
    Timoteo RICO; Rafael BANDEIRA; André Rauber Du BOIS; Muricio Lima PILLA. 2013. Programação de máquinas multicor usando memórias transacionais em software. In: Erad 2013. Brasil.
  4. Physical Sciences Computer Science (miscellaneous)
    Marcos ECHEVARRIA; André Rauber Du BOIS. 2009. Cmtjava: uma linguagem de domínio específico para programação de memórias transacionais em java. In: Desafios e avanços em computação; inovações e tecnologia. Brasil.
  5. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS. 2008. Memórias transacionais e troca de mensagens: duas alternativas para a programação de máquinas multi-core. In: 8 escola regional de alto desempenho. Brasil.
  6. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Hans Wolfgang LOIDL; Phil TRINDER. 2004. Implementing mobile haskell. In: Trends in functional programming. Brasil.
  1. Physical Sciences Artificial Intelligence
    André Rauber Du BOIS; Phil TRINDER. 2016. Science of computer programming (special issue extended selected paper from sblp). Brasil.
  2. Social Sciences & Humanities Linguistics and Language
    André Rauber Du BOIS; Phil TRINDER. 2013. Programming languages. proceedings of sblp 2013. lncs. Brasil.
  3. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Phil TRINDER. 2013. Anais do simpósio brasileiro de linguagens de programação. Brasil.
  4. Physical Sciences Computer Science (miscellaneous)
    Muricio Lima PILLA; Gerson CAVALHEIRO; André Rauber Du BOIS; Cristiano Bonato BOTH. 2012. X escola regional de redes de computadores. Brasil.
  5. Social Sciences & Humanities Linguistics and Language
    André Luís De Medeiros SANTOS; João SARAIVA; André Rauber Du BOIS. 2009. Anais do xiii brazilian symposium on programming languages. Brasil.
  6. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Francisco Heron De Carvalho JUNIOR. 2007. Proceedings of the first workshop on languages and tools for parallel and distributed programming. Brasil.