Highly Concurrent Locking in Shared Memory Database Systems. - Christian Jacobi 002; Cédric Lichtenau (Euro-Par, 1999)

Proving the Correctness of a Complete Microprocessor. - Christian Jacobi 002; Daniel Kroening (GI Jahrestagung, 2000)

Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. - Christian Jacobi 002 (CAV, 2002)

Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. - Michael Backes 001; Christian Jacobi 002; Birgit Pfitzmann (FME, 2002)

Formal verification of a fully IEEE compliant floating point unit. - Christian Jacobi 002 (2002)

Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. - Sven Beyer; Christian Jacobi 002; Daniel Kroening; Dirk Leinenbach; Wolfgang J. Paul (CHARME, 2003)

Cryptographically Sound and Machine-Assisted Verification of Security Protocols. - Michael Backes 001; Christian Jacobi 002 (STACS, 2003)

The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor. - Silvia M. Müller; Christian Jacobi 002; Hwa-Joon Oh; Kevin D. Tran; Scott R. Cottier; Brad W. Michael; Hiroo Nishikawa; Yonetaro Totsuka; Tatsuya Namatame; Naoka Yano; Takashi Machida; Sang H. Dhong (IEEE Symposium on Computer Arithmetic, 2005)

Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. - Viresh Paruthi; Christian Jacobi 002; Kai Weber 001 (CHARME, 2005)

Automatic Formal Verification of Fused-Multiply-Add FPUs. - Christian Jacobi 002; Kai Weber 001; Viresh Paruthi; Jason Baumgartner (DATE, 2005)

Formal Verification of the VAMP Floating Point Unit. - Christian Jacobi 002; Christoph Berg (Formal Methods Syst. Des., 2005)

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)

A fully pipelined single-precision floating-point unit in the synergistic processor element of a CELL processor. - Hwa-Joon Oh; Silvia M. Müller; Christian Jacobi 002; Kevin D. Tran; Scott R. Cottier; Brad W. Michael; Hiroo Nishikawa; Yonetaro Totsuka; Tatsuya Namatame; Naoka Yano; Takashi Machida; Sang H. Dhong (IEEE J. Solid State Circuits, 2006)

Putting it all together - Formal verification of the VAMP. - Sven Beyer; Christian Jacobi 002; Daniel Kröning; Dirk Leinenbach; Wolfgang J. Paul (Int. J. Softw. Tools Technol. Transf., 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)

Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. - Udo Krautz; Markus Wedler; Wolfgang Kunz; Kai Weber 001; Christian Jacobi 002; Matthias Pflanz (ASP-DAC, 2008)

Transactional Memory Architecture and Implementation for IBM System Z. - Christian Jacobi 002; Timothy J. Slegel; Dan F. Greiner (MICRO, 2012)

IBM zEnterprise 196 microprocessor and cache subsystem. - Fadi Busaba; Michael A. Blake; Brian W. Curran; Michael F. Fee; Christian Jacobi 002; Pak-kin Mak; Brian R. Prasky; Craig R. Walters (IBM J. Res. Dev., 2012)

IBM zEC12: The Third-Generation High-Frequency Mainframe Microprocessor. - C. Kevin Shum; Fadi Busaba; Christian Jacobi 002 (IEEE Micro, 2013)

The IBM z13 multithreaded microprocessor. - Brian W. Curran; Christian Jacobi 002; J. J. Bonanno; D. A. Schroter; K. J. Alexander; A. Puranik; Markus M. Helms (IBM J. Res. Dev., 2015)

IBM z14™: 14nm microprocessor for the next-generation mainframe. - Christopher J. Berry; James D. Warnock; John Isakson; John Badar; Brian Bell 001; Frank Malgioglio; Guenter Mayer; Dina Hamid; Jesse Surprise; David Wolpert 001; Ofer Geva; Bill Huott; et al. (ISSCC, 2018)

Design of the IBM z14 microprocessor. - Christian Jacobi 002; Anthony Saporito; Martin Recktenwald; Aaron Tsai; Ulrich Mayer; Markus M. Helms; Adam Collura; Pak-kin Mak; Robert J. Sonnelitter; Michael A. Blake; Tim Bronson; Arthur O'neill; et al. (IBM J. Res. Dev., 2018)

Performance innovations in the IBM z14 platform. - Craig R. Walters; David S. Hutton; Edward W. Chencinski; Christine Axnix; Ralf Winkelmann; Michael F. Fee; Anthony Saporito; Christian Jacobi 002 (IBM J. Res. Dev., 2018)

New database compression assists in the IBM z14 processor. - Christian G. Zoellin; Oliver Draese; Jonathan D. Bradbury; Christian Jacobi 002; Aditya Puranik; Peter Sutton; Robert Tokumaru (IBM J. Res. Dev., 2018)

IBM z14: Processor Characterization and Power Management for High-Reliability Mainframe Systems. - Christopher J. Berry; David Wolpert 001; Christos Vezyrtzis; Richard F. Rizzolo; Sean M. Carey; Yaniv Maroz; Hunter F. Shi; Dureseti Chidambarrao; Christian Jacobi 002; Anthony Saporito; Thomas Strach; Alper Buyuktosunoglu; et al. (IEEE J. Solid State Circuits, 2019)

Data Compression Accelerator on IBM POWER9 and z15 Processors : Industrial Product. - Bülent Abali; Bart Blaner; John J. Reilly; Matthias Klein; Ashutosh Mishra; Craig B. Agricola; Bedri Sendir; Alper Buyuktosunoglu; Christian Jacobi 002; William J. Starke; Haren Myneni; Charlie Wang (ISCA, 2020)

Design of the IBM z15 microprocessor. - Anthony Saporito; Martin Recktenwald; Christian Jacobi 002; Gerrit Koch; Deanna Postles Dunn Berger; Robert J. Sonnelitter; Craig R. Walters; Jang-Soo Lee; Cédric Lichtenau; Ulrich Mayer; Eduard Herkel; Stefan Payer; et al. (IBM J. Res. Dev., 2020)

History of IBM Z Mainframe Processors. - Christian Jacobi 002; Charles F. Webb (IEEE Micro, 2020)

Real-time AI for Enterprise Workloads: the IBM Telum Processor. - Christian Jacobi 002 (HCS, 2021)

AI accelerator on IBM telum processor: industrial product. - Cédric Lichtenau; Alper Buyuktosunoglu; Ramon Bertran; Peter Figuli; Christian Jacobi 002; Nikolaos Papandreou; Haris Pozidis; Anthony Saporito; Andrew Sica; Elpida Tzortzatos (ISCA, 2022)

Enterprise-Class Multilevel Cache Design: Low Latency, Huge Capacity, and High Reliability. - Deanna Postles Dunn Berger; Christian Jacobi 002; Craig R. Walters; Robert J. Sonnelitter; Mike Cadigan; Matthias Klein (IEEE Micro, 2023)