Authors: Di Benedetto, MD Sangiovanni-Vincentelli, A Villa, T

Citation: Md. Di Benedetto et al., Model matching for finite-state machines, IEEE AUTO C, 46(11), 2001, pp. 1726-1743

Authors: Goldberg, EI Carloni, LP Villa, T Brayton, RK Sangiovanni-Vincentelli, AL

Citation: Ei. Goldberg et al., Negative thinking in branch-and-bound: The case of unate covering, IEEE COMP A, 19(3), 2000, pp. 281-294

Authors: Villa, T Ceradini, F Bozzoni, I

Citation: T. Villa et al., Identification of a novel element required for processing of intron-encoded box C/D small nucleolar RNAs in Saccharomyces cerevisiae, MOL CELL B, 20(4), 2000, pp. 1311-1320

Authors: Lavagno, L Villa, T Sangiovanni-Vincentelli, AL

Citation: L. Lavagno et al., Advances in encoding for logic synthesis, VLSI DESIGN ENVIRONMENTS, 2000, pp. 186-216

Authors: Ayadi, L Callebaut, I Saguez, C Villa, T Mornon, JP Banroques, J

Citation: L. Ayadi et al., Functional and structural characterization of the Prp3 binding domain of the yeast Prp4 splicing factor, J MOL BIOL, 284(3), 1998, pp. 673-687