Regular Module Generation or Standard Cells: Two Alternative Implementations of a Library of Functional Building Blocks. - Evagelos Katsadas; Zohair Sahraoui; Maryse Wouters; Veerle Derudder; Ivo Bolsens; Paul Six; Hugo De Man (Synthesis for Control Dominated Circuits, 1992)

Timing optimization by bit-level arithmetic transformations. - Luc Rijnders; Zohair Sahraoui; Paul Six; Hugo De Man (EURO-DAC, 1995)

Search space reduction through clustering in test generation. - Zohair Sahraoui; Paul Six; Ivo Bolsens; Hugo De Man (EURO-DAC, 1995)

Techniques for Reducing the Number of Decisions and Backtracks in Combinational Test Generation. - Zohair Sahraoui; Francky Catthoor; Paul Six; Hugo De Man (J. Electron. Test., 1998)