System Design Modification with Actions. - Maria Viviane de Menezes; Silvio do Lago Pereira; Leliane Nunes de Barros (SBIA, 2010)

Model Update for Automated Planning. - Maria Viviane de Menezes; Leliane Nunes de Barros (AAAI, 2011)

On the revision of planning tasks. - Andreas Herzig; Maria Viviane de Menezes; Leliane Nunes de Barros; Renata Wassermann (ECAI, 2014)

Symbolic Planning for Strong-Cyclic Policies. - Viviane M. Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes (BRACIS, 2019)

Specifying Preferences over Policies Using Branching Time Temporal Logic. - Warlles Carlos Costa Machado; Viviane Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes (BRACIS (1), 2023)

NADIA - Natural DeductIon proof Assistant: Um Assistente de provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados. - Davi Romero de Vasconcelos; Maria Viviane de Menezes (Revista Brasileira de Informática na Educ., 2024)

Planning for Temporally Extended Goals based on alpha-CTL. - Viviane Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes; Silvio do Lago Pereira (AAMAS, 2025)

Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional e Lógica de Predicados. - Francisco Leonardo Batista Martins; Augusto César Araújo de Oliveira; Davi Romero de Vasconcelos; Maria Viviane de Menezes (Revista Brasileira de Informática na Educ., 2025)