Christian Schallhart
发表
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2007,
RV.
Tim Furche,
Giorgio Orsi,
Georg Gottlob,
2011,
WIMS '11.
Stefan Katzenbeisser,
Helmut Veith,
Somesh Jha,
2010,
TOIT.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2009
.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2011,
TSEM.
Sandy Ritchie,
Jonas Fromseier Mortensen,
Daan van Esch,
2020,
SLTU/CCURL@LREC.
Tim Furche,
Georg Gottlob,
Giovanni Grasso,
2011,
Proc. VLDB Endow..
Stefan Katzenbeisser,
Helmut Veith,
Christian Schallhart,
2005,
Sicherheit.
Tim Furche,
Giorgio Orsi,
Georg Gottlob,
2012,
WWW.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2010,
ASE.
Alexander Erdmann,
Christian Schallhart,
Tom Kenter,
2020,
ACL.
Stefan Katzenbeisser,
Helmut Veith,
Jana Dittmann,
2004,
IACR Cryptol. ePrint Arch..
Tim Furche,
Cheng Wang,
Giorgio Orsi,
2011,
RR.
Christian Schallhart,
C. Schallhart,
2003
.
Stefan Katzenbeisser,
Helmut Veith,
Andreas Holzer,
2015,
Software Engineering & Management.
Tim Furche,
Jens Lehmann,
Sören Auer,
2012,
SEMWEB.
Tim Furche,
Cheng Wang,
Giorgio Orsi,
2012,
WWW.
Tim Furche,
Giovanni Grasso,
Christian Schallhart,
2013,
WWW '13 Companion.
Tim Furche,
Sebastian Maneth,
Christian Schallhart,
2016,
SIGMOD Conference.
Tim Furche,
Giovanni Grasso,
Christian Schallhart,
2012,
WWW.
Tim Furche,
Georg Gottlob,
Christian Schallhart,
2012,
DEXA.
Martin Leucker,
Christian Schallhart,
Andreas Bauer,
2006
.
Tim Furche,
Andrey Kravchenko,
Giovanni Grasso,
2012,
ICWE.
Tim Furche,
Jens Lehmann,
Axel-Cyrille Ngonga Ngomo,
2012,
PWNLP@ACL.
Tim Furche,
Cheng Wang,
Giorgio Orsi,
2012,
WWW.
Tim Furche,
Michael Schrefl,
Giovanni Grasso,
2013,
WISE.
Tim Furche,
Michael Schrefl,
Giovanni Grasso,
2016,
ACM Trans. Web.
Georg Gottlob,
Helmut Veith,
Christian Schallhart,
2003
.
Christian Schallhart,
Axel Belinfante,
Lars Frantzen,
2004,
Model-Based Testing of Reactive Systems.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2010,
Haifa Verification Conference.
Christian Kern,
Stefan Kugele,
Christian Schallhart,
2006
.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2015,
Theor. Comput. Sci..
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2013,
FSTTCS.
Helmut Veith,
Sagar Chaki,
Christian Schallhart,
2007,
TSEM.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2008,
CAV.
Tim Furche,
Georg Gottlob,
Giovanni Grasso,
2011,
WWW.
Tim Furche,
Michael Schrefl,
Giovanni Grasso,
2013,
WISE.
Stefan Katzenbeisser,
Helmut Veith,
Christian Schallhart,
2005,
DIMVA.
Tim Furche,
Cheng Wang,
Giorgio Orsi,
2014,
Proc. VLDB Endow..
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2009
.
Wei Dong,
Martin Leucker,
Christian Schallhart,
2008,
ATVA.
Helmut Veith,
Sagar Chaki,
Christian Schallhart,
2007,
CAV.
Stefan Katzenbeisser,
Markus Holzer,
Christian Schallhart,
2004,
ODRL Workshop.
Tim Furche,
Cheng Wang,
Giorgio Orsi,
2012,
ArXiv.
Tim Furche,
Georg Gottlob,
Giovanni Grasso,
2011,
LWDM '11.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2006,
FSTTCS.
Helmut Veith,
Visar Januzaj,
Stefan Kugele,
2010,
ISoLA.
Helmut Veith,
Andreas Holzer,
Visar Januzaj,
2009
.
Tim Furche,
Antonino Rullo,
Giovanni Grasso,
2012,
VLDS.
Stefan Katzenbeisser,
Helmut Veith,
Somesh Jha,
2007,
2007 IEEE Symposium on Security and Privacy (SP '07).
Stefan Katzenbeisser,
Helmut Veith,
Jana Dittmann,
2005,
SEC.
Daniel Kroening,
Helmut Veith,
Andreas Holzer,
2012,
TACAS.
Stefan Katzenbeisser,
Helmut Veith,
Christian Schallhart,
2010,
IEEE Transactions on Dependable and Secure Computing.
Helmut Veith,
Andreas Holzer,
Christian Schallhart,
2008,
VMCAI.
Martin Leucker,
Christian Schallhart,
M. Leucker,
2009,
J. Log. Algebraic Methods Program..
Helmut Veith,
Andreas Holzer,
Visar Januzaj,
2011,
FASE.
Tim Furche,
Georg Gottlob,
Giovanni Grasso,
2012,
The VLDB Journal.
Tim Furche,
Cheng Wang,
Georg Gottlob,
2011,
ICWE.
Stefan Katzenbeisser,
Markus Holzer,
Christian Schallhart,
2004
.
Stefan Katzenbeisser,
Helmut Veith,
Andreas Holzer,
2014,
CC.
Tim Furche,
Georg Gottlob,
Giovanni Grasso,
2011,
EDBT/ICDT '11.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2010,
J. Log. Comput..
Tim Furche,
Giorgio Orsi,
Georg Gottlob,
2013,
The VLDB Journal.
Richard Sproat,
Sandy Ritchie,
Jonas Fromseier Mortensen,
2019,
INTERSPEECH.
Georg Gottlob,
Dan Olteanu,
Christian Schallhart,
2013
.
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2009,
International Journal on Software Tools for Technology Transfer.
Tim Furche,
Giorgio Orsi,
Xiaonan Guo,
2012,
WWW.
Martin Leucker,
Christian Schallhart,
Andreas Bauer,
2006
.
Zhonglei Wang,
Andreas Bauer,
Stefano Merenda,
2007
.
Luca Trevisan,
Christian Schallhart,
2005,
J. Log. Comput..
Martin Leucker,
Andreas Bauer,
Christian Schallhart,
2005
.