Ecumenical Modal Logic. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (DaLí, 2020)

A Pure View of Ecumenical Modalities. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (WoLLIC, 2021)

A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). - Alex Coto; Omar Inverso; Emerson Sales; Emilio Tuosto (TACAS (2), 2022)

Accurate Static Data Race Detection for C. - Emerson Sales; Omar Inverso; Emilio Tuosto (FM (1), 2024)

Separability and harmony in ecumenical systems. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (J. Log. Comput., 2025)