Thomas Ströder
发表
Jürgen Giesl,
Peter Schneider-Kamp,
Thomas Ströder,
2012,
LOPSTR.
Jürgen Giesl,
Marc Brockschmidt,
Thomas Ströder,
2011,
FoVeOOS.
Jürgen Giesl,
Marc Brockschmidt,
René Thiemann,
2016,
Journal of Automated Reasoning.
Jürgen Giesl,
Peter Schneider-Kamp,
Thomas Ströder,
2010,
LOPSTR.
Jürgen Giesl,
Marc Brockschmidt,
Peter Schneider-Kamp,
2014,
IJCAR.
Jürgen Giesl,
Thomas Ströder,
Cornelius Aschermann,
2015,
RTA.
Jürgen Giesl,
Thomas Ströder,
Florian Frohn,
2017,
TACAS.
Thomas Ströder,
2019
.
Jürgen Giesl,
Thomas Ströder,
Florian Frohn,
2016,
SEFM.
Jürgen Giesl,
Thomas Ströder,
Florian Frohn,
2018,
J. Log. Algebraic Methods Program..
Jürgen Giesl,
Peter Schneider-Kamp,
Thomas Ströder,
2012,
PPDP.
Jürgen Giesl,
Alexander Serebrenik,
René Thiemann,
2010,
Theory Pract. Log. Program..
Jürgen Giesl,
Thomas Ströder,
Cornelius Aschermann,
2015,
TACAS.
Jürgen Giesl,
Peter Schneider-Kamp,
Thomas Ströder,
2011,
LOPSTR.
Jürgen Giesl,
Thomas Ströder,
Cornelius Aschermann,
2017,
Journal of Automated Reasoning.
Maurice Pagnucco,
Thomas Ströder,
2009,
IJCAI 2009.
Jürgen Giesl,
Marc Brockschmidt,
Peter Schneider-Kamp,
2014,
Journal of Automated Reasoning.
Jürgen Giesl,
Marc Brockschmidt,
René Thiemann,
2014,
IJCAR.