Evaluating coverage of error detection logic for soft errors using formal methods. - Udo Krautz; Matthias Pflanz; Christian Jacobi 002; Hans-Werner Tast; Kai Weber 001; Heinrich Theodor Vierhaus (DATE, 2006)

IBM POWER6 accelerators: VMX and DFU. - Lee Eisen; John Wesley Ward III; Hans-Werner Tast; Nicolas Mäding; Jens Leenstra; Silvia M. Müller; Christian Jacobi 002; Jochen Preiss; Eric M. Schwarz; Steven R. Carlough (IBM J. Res. Dev., 2007)