LockED: Uma Ferramenta para o Controle de Alterações no Desenvolvimento Distribuído de Artefatos de Software. - Hugo Vidal Teixeira; Leonardo Gresta Paulino Murta; Cláudia Maria Lima Werner (SBES, 2001)

Model-Based Generation of Business Component Architectures. - Hugo Vidal Teixeira; Regina M. M. Braga; Cláudia Maria Lima Werner (EUROMICRO, 2004)

ABAT: An Approach for Building Maintainable Automated Functional Software Tests. - Marcos Kalinowski; Hugo Vidal Teixeira; Paul Johan Heinrich van Oppen (SCCC, 2007)