publicações selecionadas artigo académico A study of risk-aware program transformation. International Journal on Software Tools for Technology Transfer. 2015 documento A comparison betwee DSLs and GPLs for the implementation of unidirectional and bidirectional transformations 2014 Calculating fault propagation in functional programs 2013 Developing tools for the team orienteering problem: a simple genetic algorithm 2013
outras atividades de investigação Qais: Análise quantititativa de sistemas reactivos: fundamentos e algoritmos