Algebraic Decision Diagrams and their Applications. Iris Bahar, E. Frohm, C. Gaona, Gary Hachtel, Enrico Macii, Abelardo Pardo and Fabio Somenzi. ICCAD'93. Santa Clara, CA.

An ADD Based Algorithm for Shortest Path Back-Tracing of Large Graphs. Iris Bahar, Gary Hachtel, Enrico Macii, Abelardo Pardo, Massimo Poncino and Fabio Somenzi. VLSI Great Lakes Symposium. 1994.

Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. Gary Hachtel, Enrico Macii, Abelardo Pardo and Fabio Somenzi. EDAC'94. Paris, France.

Probabilistic Analysis of Large Finite State Machines. Gary Hachtel, Enrico Macii, Abelardo Pardo and Fabio Somenzi. DAC'94. San Diego, CA.

Re-Encoding Sequential Circuits to Reduce Power Dissipation. Gary Hachtel, Mariano Hermida, Abelardo Pardo, Massimo Poncino and Fabio Somenzi. ICCAD'94, San Jose, CA.

Re-Encoding Sequential Circuits to Reduce Power Dissipation. Gary Hachtel, Mariano Hermida, Abelardo Pardo, Massimo Poncino and Fabio Somenzi. Presented at the International Workshop on Low Power Design, Napa Valley, CA, 1994.

Computing the Maximum Power Cycles of a Sequential Circuit. Srilatha Manne, Abelardo Pardo, Iris Bahar, Gary Hachtel and Fabio Somenzi. DAC'95, San Francisco, CA.

CMOS Dynamic Power Estimation based on Collapsible Current Source Transistor Modeling. Abelardo Pardo, Iris Bahar, Srilatha Manne, Peter Feldmann, Gary Hachtel and Fabio Somenzi. International Symposium on Low Power Design. 1995. Danna Point, CA.

Markovian Analysis of Large Finite State Machines. Gary D. Hachtel, Enrico Macii, Abelardo Pardo, and Fabio Somenzi. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol 15, No 12, Dec 1996, pp. 1479-1493.

Algebraic Decision Diagrams and their Applications. Iris Bahar, E. Frohm, C. Gaona, Gary Hachtel, Enrico Macii, Abelardo Pardo and Fabio Somenzi. Journal of Formal Methods in System Design, Volume 10, Number 2/3, April/May 1997.