Signs of Heritage - An Agent-Based Model of the Dynamics of Heritage Categories. - Rodrigo Nicolau Almeida; Nuno David (IEEE Trans. Comput. Soc. Syst., 2019)

Heritage Interpretation Simulation Dataset. - Rodrigo Nicolau Almeida; Nuno David (IEEE DataPort, 2019)

Π2-Rule Systems and Inductive Classes of Gödel Algebras. - Rodrigo Nicolau Almeida (CoRR, 2023)

Coalgebraic Semantics for Intuitionistic Modal Logic. - Rodrigo Nicolau Almeida; Nick Bezhanishvili (AiML, 2024)

Unification With Simple Variable Restrictions and Admissibility of Π2-Rules. - Rodrigo Nicolau Almeida; Silvio Ghilardi (AiML, 2024)

Unification with Simple Variable Restrictions and Admissibility of Π2-rules. - Rodrigo Nicolau Almeida; Silvio Ghilardi (CoRR, 2024)

Polyatomic logics and generalized Blok-Esakia theory. - Rodrigo Nicolau Almeida (J. Log. Comput., 2024)

Π2-rule systems and inductive classes of Gödel algebras. - Rodrigo Nicolau Almeida (Ann. Pure Appl. Log., 2025)