Get started
Author

Christian Jacobi

Observed names: C. Jacobi, Jacobi, Christian
Institution: IBM (United States)
ORCID: 0000-0003-0522-1630
Observed ORCID: 0000-0003-0522-1630
OpenAlex ID: A5040039726
Transactional Memory Architecture and Implementation for IBM System Z
2012 · Christian Jacobi, Timothy Slegel, et al. · IEEE/ACM International Symposium on Microarchitecture (MICRO) · 147
Design and microarchitecture of the IBM System z10 microprocessor
2009 · C.-L. K. Shum, F. Busaba, et al. · IBM Journal of Research and Development · 109
IBM POWER6 accelerators: VMX and DFU
2007 · L. Eisen, J. W. Ward, et al. · IBM Journal of Research and Development · 99
Putting it all together – Formal verification of the VAMP
2006 · Sven Beyer, Christian Jacobi, et al. · International Journal on Software Tools for Technology Transfer · 95
Cryptographically Sound and Machine-Assisted Verification of Security Protocols
2003 · Michael Backes, Christian Jacobi · Lecture notes in computer science · 62
A Fully Pipelined Single-Precision Floating-Point Unit in the Synergistic Processor Element of a CELL Processor
2006 · H.-J. Oh, S.M. Mueller, et al. · IEEE Journal of Solid-State Circuits · 61
Data Compression Accelerator on IBM POWER9 and z15 Processors : Industrial Product
2020 · Bulent Abali, Bart Blaner, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 57
Evaluating Coverage of Error Detection Logic for Soft Errors using Formal Methods
2006 · U. Krautz, M. Pflanz, et al. · Design, Automation, and Test in Europe · 56
The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor
2005 · S.M. Mueller, C. Jacobi, et al. · IEEE Symposium on Computer Arithmetic (ARITH) · 51
Using threads in interactive systems
1993 · Carl Hauser, Christian Jacobi, et al. · ACM SIGOPS Symposium on Operating Systems Principles (SOSP) · 48
Automatic Formal Verification of Fused-Multiply-Add FPUs
2005 · C. Jacobi, Kai Weber, et al. · Design, Automation, and Test in Europe · 43
IBM zEnterprise 196 microprocessor and cache subsystem
2012 · F. Busaba, M. A. Blake, et al. · IBM Journal of Research and Development · 32
Pascal-P Implementation Notes.
1981 · Kesav V. Nori, Urs Ammann, et al. · 32
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation
2002 · Michael Backes, Christian Jacobi, et al. · Lecture notes in computer science · 29
The IBM z13 multithreaded microprocessor
2015 · B. W. Curran, C. Jacobi, et al. · IBM Journal of Research and Development · 27
IBM zEC12: The Third-Generation High-Frequency Mainframe Microprocessor
2013 · C. Kevin Shum, Fadi Busaba, et al. · IEEE Micro · 25
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving
2002 · Christian Jacobi · Lecture notes in computer science · 25
PDF
Formal Verification of the VAMP Floating Point Unit
2001 · Christoph Berg, Christian Jacobi · Lecture notes in computer science · 23
PDF
Experiences creating a portable cedar
1989 · R. Atkinson, A. Demers, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 23
PDF
IBM z14: Processor Characterization and Power Management for High-Reliability Mainframe Systems
2018 · Christopher Berry, David Wolpert, et al. · IEEE Journal of Solid-State Circuits · 22
AI accelerator on IBM Telum processor
2022 · Cedric Lichtenau, Alper Buyuktosunoglu, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 19
Design of the IBM z14 microprocessor
2018 · C. Jacobi, A. Saporito, et al. · IBM Journal of Research and Development · 19
IBM z14™: 14nm microprocessor for the next-generation mainframe
2018 · Christopher Berry, James Warnock, et al. · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · 17
Formal Verification of a Basic Circuits Library
2001 · Christoph Berg, Christian Jacobi, et al. · 17
Experiences creating a portable cedar
1989 · R. Atkinson, A. Demers, et al. · ACM SIGPLAN Notices · 16
Works count: 48
Citation count: 1,297
H-index: 20
I10-index: 31
Year
Topic
Type