| 2005 | 
| 7 | EE | René Krenz,
Elena Dubrova:
A fast algorithm for finding common multiple-vertex dominators in circuit graphs.
ASP-DAC 2005: 529-532 | 
| 6 | EE | René Krenz,
Elena Dubrova:
Improved Boolean function hashing based on multiple-vertex dominators.
ASP-DAC 2005: 573-578 | 
| 5 | EE | René Krenz:
Efficient computation of dominators in multiple-output circuit graphs.
ISCAS (3) 2005: 2223-2226 | 
| 2004 | 
| 4 | EE | Andrés Martinelli,
René Krenz,
Elena Dubrova:
Disjoint-support Boolean decomposition combining functional and structural methods.
ASP-DAC 2004: 597-599 | 
| 3 | EE | Alexandre Yakovlev,
Stephen B. Furber,
René Krenz,
Alexandre V. Bystrov:
Design and Analysis of a Self-Timed Duplex Communication System.
IEEE Trans. Computers 53(7): 798-814 (2004) | 
| 2003 | 
| 2 | EE | René Krenz,
Elena Dubrova,
Andreas Kuehlmann:
Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation.
ISMVL 2003: 334- | 
| 2002 | 
| 1 |   | René Krenz,
Elena Dubrova,
Andreas Kuehlmann:
Circuit-Based Evaluation of the Arithmetic Transform of Boolean Functions.
IWLS 2002: 321-326 |