Circuit-Based Evaluation of the Arithmetic Transform of Boolean Functions. - René Krenz; Elena Dubrova; Andreas Kuehlmann (IWLS, 2002)

Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation. - René Krenz; Elena Dubrova; Andreas Kuehlmann (ISMVL, 2003)

Disjoint-support Boolean decomposition combining functional and structural methods. - Andrés Martinelli; René Krenz; Elena Dubrova (ASP-DAC, 2004)

Design and Analysis of a Self-Timed Duplex Communication System. - Alexandre Yakovlev; Stephen B. Furber; René Krenz; Alexandre V. Bystrov (IEEE Trans. Computers, 2004)

A fast algorithm for finding common multiple-vertex dominators in circuit graphs. - René Krenz; Elena Dubrova (ASP-DAC, 2005)

Improved Boolean function hashing based on multiple-vertex dominators. - René Krenz; Elena Dubrova (ASP-DAC, 2005)

Efficient computation of dominators in multiple-output circuit graphs. - René Krenz (ISCAS (3), 2005)