Revision of CTL Models. - Paulo T. Guerra; Renata Wassermann (IBERAMIA, 2010)

Belief Revision on Computation Tree Logic. - Paulo T. Guerra; Renata Wassermann (IJCAI, 2011)

Toward the Revision of CTL Models through Kripke Modal Transition Systems. - Paulo T. Guerra; Aline Andrade; Renata Wassermann (SBMF, 2013)

Time Series Forecasting for Purposes of Irrigation Management Process. - Dieinison Jack Freire Braga; Ticiana L. Coelho da Silva; Atslands Rego da Rocha; Gustavo Coutinho; Regis Pires Magalhães; Paulo T. Guerra; José A. F. de Macêdo (SBBD, 2018)

Two AGM-style characterizations of model repair. - Paulo T. Guerra; Renata Wassermann (Ann. Math. Artif. Intell., 2019)

Time Series Forecasting to Support Irrigation Management. - Dieinison Jack Freire Braga; Ticiana L. Coelho da Silva; Atslands Rego da Rocha; Gustavo Coutinho; Regis Pires Magalhães; Paulo T. Guerra; José A. F. de Macêdo; Simone D. J. Barbosa (J. Inf. Data Manag., 2019)

Revising System Specifications in Temporal Logic. - Paulo T. Guerra; Renata Wassermann (J. Log. Lang. Inf., 2022)

Análise da Robustez de Algoritmos de Aprendizado de Máquina em Dados do Transtorno do Espectro Autista. - Saulo B. F. Lino; Lívia A. Cruz; Paulo T. Guerra (SBBD, 2024)