Fabian Emmes
发表
Jürgen Giesl,
Marc Brockschmidt,
Stephan Falke,
2016,
ACM Trans. Program. Lang. Syst..
Fabian Emmes,
Carsten Fuhs,
J. Giesl,
2003
.
Marc Brockschmidt,
Fabian Emmes,
Carsten Fuhs,
2013
.
Jürgen Giesl,
Peter Schneider-Kamp,
Thomas Ströder,
2011,
LOPSTR.
Jürgen Giesl,
Marc Brockschmidt,
René Thiemann,
2016,
Journal of Automated Reasoning.
Jürgen Giesl,
Peter Schneider-Kamp,
Thomas Ströder,
2012,
PPDP.
Jürgen Giesl,
Fabian Emmes,
Lars Noschinski,
2011,
CADE.
Fabian Emmes,
Carsten Fuhs,
J. Giesl,
2003
.
Marc Brockschmidt,
Fabian Emmes,
Carsten Fuhs,
2016,
ACM Trans. Program. Lang. Syst..
Jürgen Giesl,
Marc Brockschmidt,
René Thiemann,
2014,
IJCAR.
Jürgen Giesl,
Fabian Emmes,
Lars Noschinski,
2013,
Journal of Automated Reasoning.