SisECO: Design of an Echo-Canceling IC for Base Band Modems. - Luciano Agostini; Georg Stemmer; A. Prado; Roberto Pacheco; T. Campos; Sergio Bampi; Ricardo Reis 001 (SBCCI, 2000)

Testability Properties of Vertex Precedent BDDs. - André Inácio Reis; A. Prado; Marcelo Lubaszewski (SBCCI, 2000)

Testability Properties of BDDs. - Felipe S. Marques 001; Vinícius P. Correia; A. Prado; Marcelo Lubaszewski; André Inácio Reis (SBCCI, 2002)