AsyncRFJ: an asynchronous approach to reactive object-oriented programming. - Diogo J. Cardoso; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta (SBLP, 2018)

A Graph Transformation System formalism for Software Transactional Memory Opacity. - Diogo J. Cardoso; Luciana Foss; André Rauber Du Bois (SBLP, 2019)

A Graph Transformation System formalism for correctness of Transactional Memory algorithms. - Diogo J. Cardoso; Luciana Foss; André Rauber Du Bois (SBLP, 2021)

An extension for Transactional Memory in OpenMP. - Andre D. Jardim; Kevin Oliveira; Diogo J. Cardoso; Daniel Di Domenico; André Rauber Du Bois; Gerson G. H. Cavalheiro (SBLP, 2021)

Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. - Diogo J. Cardoso; Luciana Foss; André Rauber Du Bois (SBLP, 2022)

Um Formalismo de Gramática de Grafos para Corretude de Memória Transacional de Software - Diogo J. Cardoso (2023)