Reducing Power Dissipation after Technology Mapping by Structural Transformations. - Bernhard Rohfleisch; Alfred Kölbl; Bernd Wurth (DAC, 1996)

Symbolic RTL Simulation. - Alfred Kölbl; James H. Kukula; Robert F. Damiano (DAC, 2001)

Handling special constructs in symbolic simulation. - Alfred Kölbl; James H. Kukula; Kurt Antreich; Robert F. Damiano (DAC, 2002)

Verifikation digitaler Schaltungen mittels symbolischer Simulation. - Alfred Kölbl (Shaker, 2003)

Embedded tutorial: formal equivalence checking between system-level models and RTL. - Alfred Kölbl; Yuan Lu; Anmol Mathur (ICCAD, 2005)

Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation. - Alfred Kölbl; Carl Pixley (Int. J. Parallel Program., 2005)

Memory Modeling in ESL-RTL Equivalence Checking. - Alfred Kölbl; Jerry R. Burch; Carl Pixley (DAC, 2007)

Solver technology for system-level to RTL equivalence checking. - Alfred Kölbl; Reily Jacoby; Himanshu Jain; Carl Pixley (DATE, 2009)