Proving the PCP-Theorem. - Volker Heun; Wolfgang Merkle; Ulrich Weigand (Lectures on Proof Verification and Approximation Algorithms, 1997)

Zur deskriptiven Komplexität von monadischen Logiken der zweiten Stufe. - Ulrich Weigand (2000)

Contributions to the GNU Compiler Collection. - David Edelsohn; Wolfgang Gellerich; Mustafa Hagog; Dorit Naishlos; Mircea Namolaru; Eberhard Pasch; Hartmut Penner; Ulrich Weigand; Ayal Zaks (IBM Syst. J., 2005)

Dynamic code footprint optimization for the IBM Cell Broadband Engine. - Tobias Werth; Tobias Flossmann; Michael Klemm; Dominic Schell; Ulrich Weigand; Michael Philippsen (IWMSE@ICSE, 2009)

Reengineering a server ecosystem for enhanced portability and performance. - Michael Gschwind; Ulrich Weigand (IBM J. Res. Dev., 2018)