Tjark Weber
发表
Aaron Stump,
David R. Cok,
Tjark Weber,
2015,
Journal of Automated Reasoning.
Hendrik Tews,
Marcus Völp,
Tjark Weber,
2008,
SSV.
Joachim Parrow,
Jesper Bengtson,
Tjark Weber,
2009,
Journal of Automated Reasoning.
Tjark Weber,
Tjark Weber,
2011,
ITP.
Peter Sewell,
Susmit Sarkar,
Scott Owens,
2010
.
Hasan Amjad,
Tjark Weber,
Tjark Weber,
2009,
J. Appl. Log..
Lars-Henrik Eriksson,
Joachim Parrow,
Johannes Borgström,
2017,
FORTE.
Tjark Weber,
2013
.
Georg Struth,
Tjark Weber,
Tjark Weber,
2014,
Arch. Formal Proofs.
Georg Struth,
Alasdair Armstrong,
Tjark Weber,
2013,
ITP.
Tjark Weber,
2016,
SMT@IJCAR.
Hendrik Tews,
Erik Poll,
Marcus Völp,
2008
.
Georg Struth,
Alasdair Armstrong,
Tjark Weber,
2014,
J. Log. Algebraic Methods Program..
Georg Struth,
Alasdair Armstrong,
Tjark Weber,
2013,
Arch. Formal Proofs.
Simon Foster,
Georg Struth,
Tjark Weber,
2011,
RAMiCS.
Sascha Böhme,
Tjark Weber,
2011
.
Tjark Weber,
Arve Gengelbach,
2020,
ICTAC.
Stephan Merz,
Tjark Weber,
Pascal Fontaine,
2006
.
Ramana Kumar,
Tjark Weber,
Ramana Kumar,
2011,
ITP.
Tjark Weber,
Tjark Weber,
2005
.
Tjark Weber,
Tjark Weber,
2005,
PDPAR@CAV.
Sascha Böhme,
Thomas Sewell,
Tjark Weber,
2011,
CPP.
David Déharbe,
David R. Cok,
Tjark Weber,
2014,
J. Satisf. Boolean Model. Comput..
Tjark Weber,
Tjark Weber,
2008
.
Fabrice Kordon,
Ezio Bartocci,
Dirk Beyer,
2019,
TACAS.
Tjark Weber,
Tjark Weber,
2005,
D/PDPAR@IJCAR.
Hendrik Tews,
Marcus Völp,
Tjark Weber,
2012,
SSV.
Sascha Böhme,
Tjark Weber,
2010,
ITP.
Hendrik Tews,
Erik Poll,
M.C.J.D. van Eekelen,
2008
.
Susmit Sarkar,
Jasmin Christian Blanchette,
Scott Owens,
2011,
PPDP.
Tjark Weber,
Tjark Weber,
2002
.
Sylvain Conchon,
Aina Niemetz,
Matthias Heizmann,
2019,
J. Satisf. Boolean Model. Comput..
Georg Struth,
Victor B. F. Gomes,
Walter Guttmann,
2016,
Arch. Formal Proofs.
Joachim Parrow,
Tjark Weber,
2016,
Log. Methods Comput. Sci..
Lars-Henrik Eriksson,
Joachim Parrow,
Johannes Borgström,
2019,
CONCUR.
Tjark Weber,
Arve Gengelbach,
2017,
LSFA.
James L. Caldwell,
Tjark Weber,
2003,
LOPSTR.
Tjark Weber,
2017
.
Tjark Weber,
2011,
International Journal on Software Tools for Technology Transfer.
Annabelle McIver,
Tjark Weber,
Tjark Weber,
2005,
LPAR.
Tjark Weber,
2004,
CSL.
Georg Struth,
Walter Guttmann,
Tjark Weber,
2011,
ATE.
Hendrik Tews,
Marcus Völp,
Tjark Weber,
2009,
Journal of Automated Reasoning.
Tjark Weber,
Johannes AAman Pohjola,
Arve Gengelbach,
2021,
LFMTP.
Peter Sewell,
Susmit Sarkar,
Scott Owens,
2011,
POPL '11.
Tjark Weber,
2011
.
Jan Jürjens,
Tjark Weber,
J. Jürjens,
2009,
ARSPA-WITS.
Georg Struth,
Walter Guttmann,
Tjark Weber,
2011,
ICFEM.
Lars-Henrik Eriksson,
Joachim Parrow,
Tjark Weber,
2021
.
Tjark Weber,
Tjark Weber,
2009
.
Sylvain Conchon,
Tjark Weber,
S. Conchon,
2015
.