Authors:
GOLDBERG EI
VILLA T
BRAYTON RK
SANGIOVANNIVINCENTELLI AL
Citation: Ei. Goldberg et al., THEORY AND ALGORITHMS FOR FACE HYPERCUBE EMBEDDING, IEEE transactions on computer-aided design of integrated circuits and systems, 17(6), 1998, pp. 472-488
Citation: T. Villa et al., PROCESSING OF THE INTRON-ENCODED U18 SMALL NUCLEOLAR RNA IN THE YEASTSACCHAROMYCES-CEREVISIAE RELIES ON BOTH EXONUCLEOLYTIC AND ENDONUCLEOLYTIC ACTIVITIES, Molecular and cellular biology, 18(6), 1998, pp. 3376-3383
Authors:
OLIVEIRA AL
CARLONI LP
VILLA T
SANGIOVANNIVINCENTELLI AL
Citation: Al. Oliveira et al., EXACT MINIMIZATION OF BINARY DECISION DIAGRAMS USING IMPLICIT TECHNIQUES, I.E.E.E. transactions on computers, 47(11), 1998, pp. 1282-1296
Authors:
KAM T
VILLA T
BRAYTON RK
SANGIOVANNIVINCENTELLI AL
Citation: T. Kam et al., IMPLICIT COMPUTATION OF COMPATIBLE SETS FOR STATE MINIMIZATION OF ISFSMS, IEEE transactions on computer-aided design of integrated circuits and systems, 16(7), 1997, pp. 657-676
Authors:
VILLA T
KAM T
BRAYTON RK
SANGIOVANNIVINCENTELLI AL
Citation: T. Villa et al., EXPLICIT AND IMPLICIT ALGORITHMS FOR BINATE COVERING PROBLEMS, IEEE transactions on computer-aided design of integrated circuits and systems, 16(7), 1997, pp. 677-691
Authors:
VILLA T
SALDANHA A
BRAYTON RK
SANGIOVANNIVINCENTELLI AL
Citation: T. Villa et al., SYMBOLIC 2-LEVEL MINIMIZATION, IEEE transactions on computer-aided design of integrated circuits and systems, 16(7), 1997, pp. 692-708
Authors:
KAM T
VILLA T
BRAYTON RK
SANGIOVANNIVINCENTELLI AL
Citation: T. Kam et al., THEORY AND ALGORITHMS FOR STATE MINIMIZATION OF NONDETERMINISTIC FSMS, IEEE transactions on computer-aided design of integrated circuits and systems, 16(11), 1997, pp. 1311-1322
Authors:
PRESUTTI C
VILLA T
HALL D
PERTICA C
BOZZONI I
Citation: C. Presutti et al., IDENTIFICATION OF THE CIS-ELEMENTS MEDIATING THE AUTOGENOUS CONTROL OF RIBOSOMAL-PROTEIN L2 MESSENGER-RNA STABILITY IN YEAST, EMBO journal, 14(16), 1995, pp. 4022-4030
Authors:
BORZINI P
RIVA M
DASSI M
PROSERPIO P
MESSINA A
GANGI L
GALESI A
VILLA T
SCIORELLI G
Citation: P. Borzini et al., A VERY SIMPLE METHOD FOR COUNTING WHITE CELLS IN PLATELET UNITS COLLECTED BY APHERESIS, Transfusion, 35(10), 1995, pp. 884-885
Authors:
SALDANHA A
VILLA T
BRAYTON RK
SANGIOVANNIVINCENTELLI AL
Citation: A. Saldanha et al., SATISFACTION OF INPUT AND OUTPUT ENCODING CONSTRAINTS, IEEE transactions on computer-aided design of integrated circuits and systems, 13(5), 1994, pp. 589-602
Citation: C. Presutti et al., THE PRIMARY SEQUENCE OF THE SCHIZOSACCHAROMYCES-POMBE PROTEIN HOMOLOGOUS TO SACCHAROMYCES-CEREVISIAE RIBOSOMAL-PROTEIN L2, Nucleic acids research, 21(16), 1993, pp. 3900-3900