On average power dissipation and random pattern testability of CMOS combinational logic networks. - Amelia Shen; Abhijit Ghosh; Srinivas Devadas; Kurt Keutzer (ICCAD, 1992)

Probabilistic construction and manipulation of free Boolean diagrams. - Amelia Shen; Srinivas Devadas; Abhijit Ghosh (ICCAD, 1993)

Probabilistic representation and manipulation of Boolean functions using free Boolean diagrams. - Amelia Shen (1994)

Probabilistic manipulation of Boolean functions using free Boolean diagrams. - Amelia Shen; Srinivas Devadas; Abhijit Ghosh (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995)