MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Christian Jacobi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Formal Verification of a Theory of IEEE Rounding
by Christian Jacobi — 2001 — TPHOLs 2001: Supplemental Proceedings, Informatics Research Report EDI-INF-RR-0046
…Formal Verification of a Theory of IEEE Rounding Christian Jacobi Saarland University, Computer…
Cited by 6 (1 self) – Add To MetaCart

Formal verification of complex out-of-order pipelines by combining model-checking and theorem-proving
by Christian Jacobi — 2002 — In Computer Aided Verification (CAV), volume 2404 of LNCS
…-Proving Christian Jacobi ⋆ IBM Deutschland Entwicklung GmbH, Processor Development II 71032 Boeblingen, Germany…
Cited by 10 (3 self) – Add To MetaCart

Comparing the SB-PRAM with a perfect PRAM using Quicksort
by Christian Jacobi, Jochen Röhrig
…Comparing the SB-PRAM with a perfect PRAM using Quicksort Christian Jacobi and Jochen Rhrig…
Add To MetaCart

Proving the Correctness of a Complete Microprocessor
by Christian Jacobi, Daniel Kroening — 2000 — In GI Jahrestagung 2000
…Proving the Correctness of a Complete Microprocessor Christian Jacobi, Daniel Kroening ? Dept. 14…
Cited by 7 (4 self) – Add To MetaCart

Cryptographically sound and machine-assisted verification of security protocols
by Michael Backes, Christian Jacobi — 2003 — In Proc. 20th Annual Symposium on Theoretical Aspects of Computer Science (STACS
… and Christian Jacobi 2 1 IBM Zurich Research Laboratory, Rüschlikon, Switzerland † 2 IBM Deutschland Entwicklung…
Cited by 24 (14 self) – Add To MetaCart

Formal Verification of the VAMP Floating Point Unit
by Christoph Berg, Christian Jacobi — 2001 — In CHARME 2001, volume 2144 of LNCS
…Formal Verification of the VAMP Floating Point Unit Christoph Berg and Christian Jacobi fcb…
Cited by 7 (5 self) – Add To MetaCart

Efficient symbolic simulation via dynamic scheduling, don’t caring, and case splitting
by Viresh Paruthi, Christian Jacobi, Kai Weber — 2005 — in CHARME
… Paruthi , Christian Jacobi ¡ , and Kai Weber ¡ ¢ IBM Systems Group, Austin, TX IBM Deutschland…
Cited by 1 (1 self) – Add To MetaCart

Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation
by Michael Backes, Christian Jacobi, Birgit Pfitzmann — 2002
… Bisimulation Michael Backes 1 , Christian Jacobi 2 , and Birgit Pfitzmann 3 1 Saarland University…
Cited by 16 (10 self) – Add To MetaCart

Formal Verification of a Basic Circuits Library
by Christoph Berg, Christian Jacobi, Daniel Kroening — 2001 — In Proc. of IASTED Int. Conf. on Applied Informatics, Innsbruck (AI 2001
…Formal Verification of a Basic Circuits Library Christoph Berg, Christian Jacobi, Daniel Kroening…
Cited by 5 (3 self) – Add To MetaCart

Using threads in interactive systems: A case study
by Carl Hauser, Christian Jacobi, Marvin Theimer, Brent Welch, Mark Weiser — 1993 — In Proceedings of the Fourteenth Symposium on Operating Systems Principles
…Using Threads in Interactive Systems: A Case Study Carl Hauser, Christian Jacobi, Marvin Theimer…
Cited by 21 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB