Matrix Apriori: Speeding Up the Search for Frequent Patterns. - Judith Pavón; Sidney Viana; Santiago Gómez (Databases and Applications, 2006)

A Rule Repository for Active Database Systems. - Sidney Viana; Jorge Rady de Almeida Jr.; Judith Pavón (CLEI Electron. J., 2007)

Automatic analysis of requirements consistency with the B method. - Thiago C. de Sousa; Jorge R. Almeida Jr.; Sidney Viana; Judith Pavón (ACM SIGSOFT Softw. Eng. Notes, 2010)