A Tutorial Tool for Switch Logic. - Vinícius P. Correia; André Inácio Reis (MSE, 2001)

Comparing Transistor-Level Implementations of 4-Input Logic Functions. - Felipe Ribeiro Schneider; Vinícius P. Correia; Renato P. Ribas; André Inácio Reis (IWLS, 2002)

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

Compression and Technology Mapping of Logic Circuits. - Vinícius Pazutti Correia; André Inácio Reis (SBCCI, 2002)

Automatic Generation of Digital Cell Libraries. - João Daniel Togni; Felipe Ribeiro Schneider; Vinícius P. Correia; Renato P. Ribas; André Inácio Reis (SBCCI, 2002)

SIFU! - A Didactic Stuck-at Fault Simulator. - Vinícius P. Correia; Marcelo Lubaszewski; André Inácio Reis (MSE, 2003)

Advanced technology mapping for standard-cell generators. - Vinícius P. Correia; André Inácio Reis (SBCCI, 2004)