Hardware Acceleration for Model Checking. - Jens Brandt 001; Klaus Schneider 001; Adrian Willenbücher (MBMV, 2008)

Using IP Cores in Synchronous Languages. - Jens Brandt 001; Klaus Schneider 001; Adrian Willenbücher (MBMV, 2009)

Automatic Hard Block Inference on FPGAs. - Adrian Willenbücher; Klaus Schneider 001 (DSD, 2013)

A New Algorithm for Carry-Free Addition of Binary Signed-Digit Numbers. - Klaus Schneider 001; Adrian Willenbücher (FCCM, 2014)