Matching in the presence of don't cares and redundant sequential elements for sequential equivalence checking. - Solaiman Rahim; Bruno Rouzeyre; Lionel Torres; Jérôme Rampon (HLDVT, 2003)

A Flip-Flop Matching Engine to Verify Sequential Optimizations. - Solaiman Rahim; Bruno Rouzeyre; Lionel Torres (Comput. Artif. Intell., 2004)

A fast and accurate methodology for power estimation and reduction of programmable architectures. - Erwan Piriou; Raphaël David; Fahim Rahim; Solaiman Rahim (DATE, 2013)

Reducing power with activity trigger analysis. - Jan Láník; Julien Legriel; Erwan Piriou; Emmanuel Viaud; Fahim Rahim; Oded Maler; Solaiman Rahim (MEMOCODE, 2015)