HEX: An instruction-driven approach to feature extraction. - Mark Hofmann; Ulrich Lauther (DAC, 1983)

Delay Optimization of Combinational Static CMOS Logic. - Mark Hofmann; Jae K. Kim (DAC, 1987)

Static low power verification at transistor level for SoC design. - Jérôme Lescot; Vincent Bligny; Dina Medhat; Didier Chollat-Namy; Ziyang Lu; Sophie Billy; Mark Hofmann (ISLPED, 2012)

A new approach using symbolic analysis to compute path-dependent effective properties preserving hierarchy. - Sridhar Srinivasan; Ellis Cohen; Mark Hofmann (SoCC, 2014)