publicações selecionadas
-
artigo de conferência
- Smelling faults in spreadsheets. Proceedings-IEEE International Conference on Software Maintenance. 2014
-
artigo de revista
- Shortcut fusion rules for the derivation of circular and higher-order programs. Higher-Order and Symbolic Computation. 2011
-
documento
- Ranking programming languages by energy efficiency. Computational Methods in Applied Sciences. 2020
- Preface. Computational Methods in Applied Sciences. 2017
-
livro
-
teses