The SCEAS System
Navigation Menu

Search the dblp DataBase


Christian Jacobi 0002: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Silvia M. Müller, Christian Jacobi, 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
    The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Computer Arithmetic, 2005, pp:59-67 [Conf]
  2. Christian Jacobi 0002
    Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:309-323 [Conf]
  3. Christoph Berg, Christian Jacobi 0002
    Formal Verification of the VAMP Floating Point Unit. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:325-339 [Conf]
  4. Sven Beyer, Chris Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul
    Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:51-65 [Conf]
  5. Viresh Paruthi, Christian Jacobi 0002, Kai Weber
    Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:114-128 [Conf]
  6. Christian Jacobi 0002, Kai Weber, Viresh Paruthi, Jason Baumgartner
    Automatic Formal Verification of Fused-Multiply-Add FPUs. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:1298-1303 [Conf]
  7. U. Krautz, Matthias Pflanz, Christian Jacobi 0002, H. W. Tast, Kai Weber, Heinrich Theodor Vierhaus
    Evaluating coverage of error detection logic for soft errors using formal methods. [Citation Graph (0, 0)][DBLP]
    DATE, 2006, pp:176-181 [Conf]
  8. Christian Jacobi 0002, Cédric Lichtenau
    Highly Concurrent Locking in Shared Memory Database Systems. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:477-481 [Conf]
  9. Michael Backes, Christian Jacobi 0002, Birgit Pfitzmann
    Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:310-329 [Conf]
  10. Michael Backes, Christian Jacobi 0002
    Cryptographically Sound and Machine-Assisted Verification of Security Protocols. [Citation Graph (0, 0)][DBLP]
    STACS, 2003, pp:675-686 [Conf]
  11. Christian Jacobi 0002, Christoph Berg
    Formal Verification of the VAMP Floating Point Unit. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:3, pp:227-266 [Journal]

  12. Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. [Citation Graph (, )][DBLP]

Search in 0.014secs, Finished in 0.014secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002