Ambiente para Representação de Múltiplas Visões de Requisitos: O Metamodelo e Uma Linguagem de Transformação. - Tereza Gonçalves Kirner; Antônio Francisco do Prado; Maria Adriana Vidigal de Lima; Rogéria Cristiane Gratão (SBES, 1996)

Ambiente "CASE" com Múltiplas Visões de Requisitos e Implementação Automática utilizando o Sistema Transformacional Draco. - Maria Adriana Vidigal de Lima; Tathiana da Silva Barrére; Antônio Francisco do Prado; André Alves C. R. do Couto (SBES, 1997)

ToolRC : Ferramenta CASE Orientada a Objetos. - Antônio Francisco do Prado; André Alves Corrêa Ribeiro do Couto; Maria Adriana Vidigal de Lima; Tathiana Esteves da Silva (SBES, 1997)

Incremental Constraint Checking for XML Documents. - Maria Adriana Abrão; Béatrice Bouchou; Mirian Halfeld Ferrari Alves; Dominique Laurent 001; Martin A. Musicante (XSym, 2004)

Efficient Constraint Validation for Updated XML Database. - Béatrice Bouchou; Ahmed Cheriat; Mírian Halfeld Ferrari; Dominique Laurent 001; Maria Adriana Lima; Martin A. Musicante (Informatica (Slovenia), 2007)

Contraintes d'intégrité pour XML. Visite guidée par une syntaxe homogène. - Béatrice Bouchou; Mírian Halfeld Ferrari; Maria Adriana Lima (Tech. Sci. Informatiques, 2009)

Attribute Grammar for XML Integrity Constraint Validation. - Béatrice Bouchou; Mirian Halfeld Ferrari Alves; Maria Adriana Vidigal de Lima (DEXA (1), 2011)

A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates. - Béatrice Bouchou; Mirian Halfeld Ferrari Alves; Maria Adriana Vidigal de Lima (Trans. Large Scale Data Knowl. Centered Syst., 2012)