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
1 Ana Marilza Pernas FLEISCHMANN Ciências Exatas e da Terra Ciência da Computação
2 Antonio Carlos Da Rocha COSTA Ciências Exatas e da Terra Ciência da Computação
3 Gerson Geraldo Homrich CAVALHEIRO Ciências Exatas e da Terra Ciência da Computação
4 Giovani Rubert LIBRELOTTO Ciências Exatas e da Terra Ciência da Computação
5 Graçaliz Pereira DIMURO Ciências Exatas e da Terra Matemática
6 Jorge Luis Victória BARBOSA Ciências Exatas e da Terra Ciência da Computação
7 Luciana FOSS Ciências Exatas e da Terra Ciência da Computação
8 Renata Hax Sander REISER Ciências Exatas e da Terra Ciência da Computação
9 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.
  1. 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.
  2. Physical Sciences Computer Science (miscellaneous)
    Costa Michael ALEXANDRE; Perlin TIAGO; André Rauber Du BOIS; Cavalheiro GERSON. 2022. Ltms: um escalonador numa-aware para stm. In: Simpósio em sistemas computacionais de alto desempenho. Brasil.
  3. Physical Sciences Computer Science (miscellaneous)
    Conceição Jonathas Augusto De OLIVEIRA; André Rauber Du BOIS; Feitosa Samuel Da SILVA; Cavalheiro Gerson Geraldo HOMRICH; 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 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.
  5. Social Sciences & Humanities Education
    Yuri ROSA; Reiser RENATA; Cavalheiro SIMONE; Foss LUCIANA; André Rauber Du BOIS et al. 2021. Aventura espacial: proposta de atividade para o desenvolvimento do pensamento computacional. In: Workshop de informática na escola; 2021. Brasil.
  6. 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.
  7. 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.
  8. Physical Sciences Artificial Intelligence
    Diogo J CARDOSO; Luciana FOSS; André Rauber Du BOIS. 2021. A graph transformation system formalism for correctness of transactional memory algorithms. In: Simpósio brasileiro de linguagens de programação (sblp). Brasil.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. Social Sciences & Humanities Education
    Oliveira PLACIDA; Brandão GEAN; Foss LUCIANA; André Rauber Du BOIS; 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. Social Sciences & Humanities Education
    S S MARTIN; Simone CAVALHEIRO; Luciana FOSS; Reiser Renata Hax SANDER; 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. Brasil.
  28. 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.
  29. 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.
  30. 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.
  31. Physical Sciences Computer Science (miscellaneous)
    Dos Santos Maicon ANCA; André Rauber Du BOIS; Cavalheiro Gerson Geraldo HOMRICH. 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.
  32. 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.
  33. Physical Sciences Artificial Intelligence
    Ribeiro RODRIGO; André Rauber Du BOIS. 2017. Certified bit-coded regular expression parsing. In: The 21st brazilian symposium. Brasil.
  34. 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.
  35. 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.
  36. Physical Sciences Computer Science (miscellaneous)
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Pilla Mauricio LIMA; Renata Hax Sander REISER. 2016. Proposta de escalonamento de transações para stm haskell. In: Escola regional de alto desempenho. Brasil.
  37. Physical Sciences Artificial Intelligence
    Jonathas CONCEIÇÃO; André Rauber Du BOIS; Renata Hax Sander REISER. 2016. Adicionando transactional boosting em um compilador da linguagem haskell. In: Escola regional de alto desempenho. Brasil.
  38. 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.
  39. 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.
  40. 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.
  41. Physical Sciences Artificial Intelligence
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Muricio Lima PILLA; Gerson CAVALHEIRO. 2016. Concurrent hash tables for haskell. In: Brazilian simposium on programming languages. Brasil.
  42. 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.
  43. Social Sciences & Humanities Education
    Simone CAVALHEIRO; A PERNAS; M S 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.
  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. Social Sciences & Humanities Education
    Gustavo PINHO; Yuri R WEISSHAHN; Simone CAVALHEIRO; Reiser RENATA; C F B 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.
  46. Physical Sciences Computer Science Applications
    Dos Santos Maicon ANCA; André Rauber Du BOIS; Cavalheiro Gerson Geraldo H. 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.
  47. Physical Sciences Computer Science (miscellaneous)
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Muricio Lima PILLA; Gerson CAVALHEIRO. 2015. Composable memory transactions with eager version management. In: Acm sac. Brasil.
  48. 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.
  49. 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.
  50. 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.
  51. Physical Sciences Artificial Intelligence
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Pilla Mauricio LIMA; Renata Hax Sander REISER. 2015. Implementação de um algoritmo de tabela hash não bloqueante em haskell. In: Erad. Brasil.
  52. 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.
  53. 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.
  54. 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.
  55. Social Sciences & Humanities Language and Linguistics
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Muricio Lima PILLA; Renata Hax Sander REISER. 2015. Comparando o desempenho de implementações de tabelas hash concorrentes em haskell. In: Xvi simpósio em sistemas computacionais de alto desempenho (wscad). Brasil.
  56. Physical Sciences Computer Science (miscellaneous)
    Israel BARBARA; Nicolas De ARAUJO; Gerson CAVALHEIRO; André Rauber Du BOIS. 2015. Evaluating overhead and contention in concurrent accesses to a graph. In: Workshop on applications for multi-core architectures (wamca). Brasil.
  57. Physical Sciences Computer Science (miscellaneous)
    Bruno PINTO; Deives KIST; Gerson CAVALHEIRO; André Rauber Du BOIS. 2015. Kanga: a skeleton-based generic interface for parallel programming. In: Workshop on applications for multi-core architectures (wamca). Brasil.
  58. Social Sciences & Humanities Education
    G SANTOS; W SILVA; Simone CAVALHEIRO; Luciana FOSS; M S 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.
  59. Social Sciences & Humanities Linguistics and Language
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Muricio Lima PILLA; Renata Hax Sander REISER. 2015. Comparando o desempenho de implementações de tabelas hash concorrentes em haskell. In: Weit. Brasil.
  60. 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.
  61. 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.
  62. 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.
  63. 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.
  64. Physical Sciences Computer Science (miscellaneous)
    Deives KIST; Gerson CAVALHEIRO; André Rauber Du BOIS. 2014. Uma interface genérica baseada em esqueletos para estender as funcionalidade de athreads. In: Erad. Brasil.
  65. 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.
  66. 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.
  67. 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.
  68. Physical Sciences Computer Science (miscellaneous)
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Muricio Lima PILLA; Renata Hax Sander REISER. 2014. Implementação de algoritmos de tabelas hash concorrentes em haskell. In: Wscad-wic. Brasil.
  69. Social Sciences & Humanities Education
    Simone CAVALHEIRO; G M CAMPOS; P Finkenauer JUNIOR; R D LANGEMAN; D ANDRADE et al. 2014. Desenvolvendo habilidades do pensamento computacional no quarto ano do ensino fundamental. In: 32 seminário de extensão universitária da região sul. Brasil.
  70. Physical Sciences Computer Science (miscellaneous)
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Gerson CAVALHEIRO. 2013. Implementação de uma versão de stm haskell com versionamento adiantado. In: Erad 2013. Brasil.
  71. 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.
  72. 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.
  73. 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.
  74. Physical Sciences Computer Science (miscellaneous)
    Deives KIST; Gerson CAVALHEIRO; André Rauber Du BOIS. 2013. Interfaces para programação paralela; uma alternativa para anahy. In: Erad 2013. Brasil.
  75. 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.
  76. Physical Sciences Computer Science (miscellaneous)
    Alexandre LEMKE; Renata Hax Sander REISER; André Rauber Du BOIS; Muricio Lima PILLA. 2013. Towards aggregating fuzzy s-xor connectives. In: Weit. Brasil.
  77. 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.
  78. Physical Sciences Artificial Intelligence
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Gerson CAVALHEIRO. 2013. Uma implementação de stm haskell com versionamento adiantado. In: Wscad-wic. 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)
    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.
  82. 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.
  83. 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.
  84. 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.
  85. Life Sciences Neuroscience (miscellaneous)
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Gerson CAVALHEIRO. 2012. Verificando o desempenho e a eficiência energética das memórias transacionais. In: Erad 2012. Brasil.
  86. Physical Sciences Artificial Intelligence
    André Rauber Du BOIS. 2011. An implementation of composable memory transactions in haskell. In: International symposium software composition. Alemanha.
  87. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Gerson CAVALHEIRO. 2010. Pfun: a semi-explicit parallel purely functional language. In: Latin american conference on high performance computing (clcar). Brasil.
  88. Physical Sciences Computer Science (miscellaneous)
    Douglas PASQUALIN; Juliana VIZZOTTO; André Rauber Du BOIS. 2010. Linguagens de programação para a computação pervasiva. In: Erad 2010. 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 CAVALHEIRO. 2008. Design and implementation of a semi-explicit parallel purely functional language. In: 9th symposium trends in functional programming. Holanda.
  94. 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.
  95. Physical Sciences Computer Science (miscellaneous)
    Cícero Augusto De S CAMARGO; Lucas D FONSECA; Gerson 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.
  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. 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.
  99. 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.
  100. 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.
  101. 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.
  102. 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.
  103. 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.
  104. 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.
  105. 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.
  106. 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.
  107. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Phil TRINDER; Hans Wolfgang LOIDL. 2003. Towards a mobile haskell. In: Wflp. Brasil.
  108. Physical Sciences Computer Science (miscellaneous)
    Jorge Luis Victória BARBOSA; André Rauber Du BOIS; A R FRANCO; Cláudio Fernando Resin GEYER. 2003. Java como linguagem intermediária para compiladores multiparadigma. In: Clei. Bolívia.
  109. 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.
  110. 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.
  111. 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.
  112. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Jorge Luis Victória BARBOSA; Cláudio Fernando Resin GEYER. 2001. Holojava: translating a distributed multiparadigm language into java. In: Clei 2001. Venezuela.
  113. Life Sciences Neuroscience (miscellaneous)
    André Rauber Du BOIS; Jorge Luis Victória BARBOSA; Cláudio Fernando Resin GEYER. 2001. Adding functional programming into the holo language. In: Wflp 2001. Alemanha.
  114. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Antônio Carlos Da Rocha COSTA. 2001. Some experiences conecting functional languages and java. In: 3rd scottish functional programming workshop. Grã-Bretanha.
  115. 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.
  116. 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.
  117. Physical Sciences Computer Science (miscellaneous)
    André Rauber Du BOIS; Antônio Carlos Da Rocha COSTA. 1999. Programando os agentes micorsoft com a linguagem funcional haskell. In: Ofincina de inteligência artificial; 3. Brasil.
  118. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA. 1999. Trabalhando com polimorfismo e reuso de código na linguagem funcional haskell. In: Congresso nacional de matemática aplicada e computacional. Brasil.
  119. 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.
  120. Physical Sciences Artificial Intelligence
    André Rauber Du BOIS; Gerardo SCHNEIDER; Ederson ARAÚJO; Antônio Carlos Da Rocha COSTA. 1998. Comparando algoritmos funcionais e imperativos. In: Encontro regional de matemática aplicada e computacional. Brasil.
  121. Social Sciences & Humanities Language and Linguistics
    André Rauber Du BOIS; Gerardo SCHNEIDER; Ederson ARAÚJO; Renata Hax Sander REISER. 1997. A indução na programação funcional. In: Congresso nacional de matemática aplicada e computacional. Brasil.
  122. 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.
  123. 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
    Gonçalves Bruno CABREIRA; Soares João Eduardo SEFFRIN; Oliveira PLACIDA; Marques JONNHY; Cavalheiro Simone André Da COSTA 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. Physical Sciences Artificial Intelligence
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Pilla Maurício LIMA; Cavalheiro Gerson Geraldo H; Reiser Renata Hax SANDER. 2019. Comparing the performance of concurrent hash tables implemented in haskell. Science of computer programming. 173, 56-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
    Reiser RENATA; 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.
  8. Social Sciences & Humanities Linguistics and Language
    Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Maurício Lima PILLA; Reiser RENATA. 2016. Comparando o desempenho de implementações de tabelas hash concorrentes em haskell. Revista de informática teórica e aplicada: rita. 23, 193-209.
  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. Social Sciences & Humanities Education
    Simone CAVALHEIRO; Luciana FOSS; Marilton Sanchotene AGUIAR; André Rauber Du BOIS; Ana PERNAS et al. 2019. Explorando o pensamento computacional para a qualificação do ensino fundamental. In: Computação na educação básica. 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)
    Marco Tulio VALENTE; André Rauber Du BOIS. 2009. Proceedings of the third workshop on languages and tools for parallel and distributed programming. Brasil.
  7. 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.