Christian Jacobi
发表
Dan F. Greiner,
Christian Jacobi,
Chung-Lung Kevin Shum,
2010
.
Daniel Kroening,
Christian Jacobi,
2000,
GI Jahrestagung.
Christian Jacobi,
Viresh Paruthi,
Kai Weber,
2005,
CHARME.
Christian Jacobi,
2002,
CAV.
Michael Backes,
Christian Jacobi,
M. Backes,
2003,
STACS.
Christian Jacobi,
C. Jacobi,
2002
.
Alper Buyuktosunoglu,
Christian Jacobi,
Charlie Wang,
2020,
2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA).
Sang H. Dhong,
Takashi Machida,
Silvia M. Müller,
2005,
17th IEEE Symposium on Computer Arithmetic (ARITH'05).
Christoph Berg,
Christian Jacobi,
C. Berg,
2001,
Formal Methods Syst. Des..
Eric M. Schwarz,
Silvia M. Müller,
Christian Jacobi,
2007,
IBM J. Res. Dev..
Daniel Kroening,
Wolfgang J. Paul,
Christian Jacobi,
2003,
CHARME.
Christian Jacobi,
Cédric Lichtenau,
C. Lichtenau,
1999,
Euro-Par.
Birgit Pfitzmann,
Michael Backes,
Christian Jacobi,
2002,
FME.
Jason Baumgartner,
Christian Jacobi,
Viresh Paruthi,
2005,
Design, Automation and Test in Europe.
Christian Jacobi,
Sven Beyer,
Daniel Kröning,
2006,
International Journal on Software Tools for Technology Transfer.
Heinrich Theodor Vierhaus,
Matthias Pflanz,
Christian Jacobi,
2006,
Proceedings of the Design Automation & Test in Europe Conference.
Christoph Berg,
Christian Jacobi,
2005,
Formal Methods Syst. Des..
Markus Wedler,
Wolfgang Kunz,
Matthias Pflanz,
2008,
2008 Asia and South Pacific Design Automation Conference.
Christian Jacobi,
2021,
2021 IEEE Hot Chips 33 Symposium (HCS).
Marvin Theimer,
Dirk Grunwald,
Christian Jacobi,
2008
.
Kathleen Jensen,
Christian Jacobi,
K. V. Nori,
1981,
Pascal - The Language and its Implementation.
Sven Beyer,
Christian Jacobi,
Dirk Leinenbach,
2002
.