C. Schallhart
发表
Martin Leucker,
Christian Schallhart,
M. Leucker,
2009,
J. Log. Algebraic Methods Program..
Stefan Katzenbeisser,
Helmut Veith,
Christian Schallhart,
2005,
DIMVA.
G. Gottlob,
C. Schallhart,
Tim Furche,
2012
.
M. Leucker,
C. Schallhart,
2010
.
A. Bauer,
C. Schallhart,
M. Leucker,
2007
.
A. Bauer,
C. Schallhart,
M. Leucker,
2007
.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2009
.
G. Gottlob,
C. Schallhart,
Tim Furche,
2013,
The VLDB Journal.
M. Leucker,
A. Bauer,
C. Schallhart,
2006,
Australian Software Engineering Conference (ASWEC'06).
Zhonglei Wang,
Andreas Bauer,
Stefano Merenda,
2007
.
Helmut Veith,
Andreas Holzer,
Visar Januzaj,
2009
.
Tim Furche,
Michael Schrefl,
Giovanni Grasso,
2016,
ACM Trans. Web.
Tim Furche,
Michael Schrefl,
Giovanni Grasso,
2013,
WISE.
Tim Furche,
Jens Lehmann,
Sören Auer,
2012,
SEMWEB.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2011,
TSEM.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2010,
J. Log. Comput..
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2005
.
Helmut Veith,
Sagar Chaki,
Christian Schallhart,
2007,
TSEM.
Wei Dong,
Martin Leucker,
Christian Schallhart,
2008,
ATVA.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2007,
RV.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2015,
Theor. Comput. Sci..
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2013,
FSTTCS.
Tim Furche,
Cheng Wang,
Giorgio Orsi,
2012,
WWW.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2008,
VMCAI.
Tim Furche,
Cheng Wang,
Giorgio Orsi,
2012,
ArXiv.
Stefan Katzenbeisser,
Helmut Veith,
Andreas Holzer,
2014,
CC.
Stefan Katzenbeisser,
Helmut Veith,
Christian Schallhart,
2010,
IEEE Transactions on Dependable and Secure Computing.
Tim Furche,
Sebastian Maneth,
Christian Schallhart,
2016,
SIGMOD Conference.
C. Schallhart,
Tim Furche,
S. Maneth,
2018
.
Tim Furche,
Georg Gottlob,
Giovanni Grasso,
2011,
Proc. VLDB Endow..
Stefan Katzenbeisser,
Helmut Veith,
Somesh Jha,
2007,
2007 IEEE Symposium on Security and Privacy (SP '07).
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2010,
ASE.
C. Schallhart,
Uwe Hermann,
Stefan Katzenbeisser,
2005,
ArXiv.
Christian Schallhart,
C. Schallhart,
2003
.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2008,
CAV.
G. Gottlob,
C. Schallhart,
Tim Furche,
2012,
WWW.
Tim Furche,
Andrey Kravchenko,
Giovanni Grasso,
2012,
ICWE.
Stefan Katzenbeisser,
Helmut Veith,
Somesh Jha,
2010,
TOIT.