Tim Geisler
发表
Tim Furche,
Liviu Badea,
Tim Geisler,
2008
.
Tim Geisler,
Heribert Schütz,
1996,
CADE.
Norbert Eisinger,
Tim Geisler,
Sven Panne,
1997,
PLILP.
Tim Geisler,
Sven Panne,
Heribert Schütz,
1997,
Journal of Automated Reasoning.
Norbert Eisinger,
Slim Abdennadher,
François Bry,
1995,
JFPLC.
Tim Geisler,
Heribert Schütz,
Heribert Schütz,
1996,
Inf. Comput..
Clemens Beckstein,
Tim Geisler,
T. Geisler,
1994,
TIME.
Tim Geisler,
Sven Panne,
Alexander von Drach,
1998
.
Tim Geisler,
Sven Panne,
Alexander von Drach,
1998
.
Norbert Eisinger,
François Bry,
Sunna Torge,
1996
.