A simplification before and during generation methodology for symbolic large-circuit analysis. - Oscar Guerra; Juan D. Rodríguez-García; Elisenda Roca; Francisco V. Fernández 001; Ángel Rodríguez-Vázquez (ICECS, 1998)

An Accurate Error Control Mechanism for Simplification Before Generation Algorihms. - Oscar Guerra; Juan D. Rodríguez-García; Elisenda Roca; Francisco V. Fernández 001; Ángel Rodríguez-Vázquez (DATE, 1999)

An error-controlled methodology for approximate hierarchical symbolic analysis. - Oscar Guerra; Juan D. Rodríguez-García; Elisenda Roca; Francisco V. Fernández 001; Ángel Rodríguez-Vázquez (ISCAS, 2000)