The design cube: a new model for VHDL designflow representation. - Wolfgang Ecker; Michael Hofmeister (EURO-DAC, 1992)

State look ahead technique for cycle optimization of interacting finite state Moore machines. - Wolfgang Ecker; Michael Hofmeister (ICCAD, 1993)

Graph covering projections arising from finite vector spaces over finite fields. - Michael Hofmeister (Discret. Math., 1995)

Enumeration of Concrete Regular Covering Projections. - Michael Hofmeister (SIAM J. Discret. Math., 1995)

On an Exact Sequence Related to a Graph. - Michael Hofmeister (Eur. J. Comb., 1996)

A Note on Counting Connected Graph Covering Projections. - Michael Hofmeister (SIAM J. Discret. Math., 1998)

Sets with involutions: Power group enumeration. - Michael Hofmeister (Eur. J. Comb., 2010)