DKDOnto: An Ontology to Support Software Development with Distributed Teams. - Rodrigo G. C. Rocha; Arthur Araújo; Diogo Cordeiro; Assuero Ximenes; Jean Teixeira 001; Gabriel Silva; Diogo Espinhara; Renan Fernandes; João Ambrósio; Marcos Pinheiro Duarte; Ryan R. Azevedo (KES, 2018)

A Connection Method for a Defeasible Extension of ALC. - Renan Fernandes; Fred Freitas; Ivan Varzinczak (Description Logics, 2021)

Sec-G Class of Distributions: Properties and Applications. - Luciano Souza; Wilson Rosa de Oliveira; Cícero Carlos Ramos de Brito; Christophe Chesneau; Renan Fernandes; Tiago A. E. Ferreira (Symmetry, 2022)

A connection method for a defeasible extension of ALCH. - Renan Fernandes; Fred Freitas; Ivan Varzinczak; Pedro Porfírio Muniz Farias (CoRR, 2023)

PolyCoP: A Connection Prover For (Possibly) Any Logical Language. - Renan Fernandes; Fred Freitas; Ivan Varzinczak; Pedro P. M. Farias (RuleML+RR (Companion), 2024)