Du Bois, André

• Proceeding Series of the Brazilian Society of Computational and Applied Mathematics v. 5 n. 1 (2017): CNMAC (2016) - Resumos - Computação Científica
  Transactional Boosting in a Purely Functional Language
  Resumo  PDF
• Proceeding Series of the Brazilian Society of Computational and Applied Mathematics v. 5 n. 1 (2017): CNMAC (2016) - Resumos - Computação Científica
  Proposta de um Escalonador de Transações para uma Linguagem Funcional Pura
  Resumo  PDF
• Proceeding Series of the Brazilian Society of Computational and Applied Mathematics v. 5 n. 1 (2017): CNMAC (2016) - Resumos - Matemática Discreta
  Preserving properties of necessity and possibility connectives over dual and conjugate triangular norms
  Resumo  PDF