Jens Otten
发表
Jens Otten,
2018,
PAAR@FLoC.
Christoph Kreitz,
Jens Otten,
1996,
KI.
Christoph Benzmüller,
Jens Otten,
Thomas Raths,
2012,
ECAI.
Christoph Kreitz,
Jens Otten,
Stephan Schmitt,
1995,
LOPSTR.
Jens Otten,
1997,
TABLEAUX.
Jens Otten,
J. Otten,
2018,
NIK.
Jens Otten,
Thomas Raths,
2008,
PAAR/ESHOL.
Jens Otten,
Thomas Raths,
Christoph Benzm,
2012
.
Wolfgang Bibel,
Christoph Kreitz,
Christoph Brandt,
2010,
Verification, Induction, Termination Analysis.
Jens Otten,
Fred Freitas,
Eunice Palmeira,
2019
.
Jens Otten,
Frederico Luiz Gonçalves de Freitas,
Dimas Melo Filho,
2017,
LPAR.
Jens Otten,
J. Otten,
2008,
IJCAR.
Christoph Kreitz,
Jens Otten,
1996,
TABLEAUX.
Christoph Kreitz,
Jens Otten,
Thomas Raths,
2005,
TABLEAUX.
Jens Otten,
2013
.
Jens Otten,
Thomas Raths,
2012,
IJCAR.
Christoph Benzmüller,
Jens Otten,
Thomas Raths,
2012,
PAAR@IJCAR.
Jens Otten,
2016,
IJCAR.
Jens Otten,
J. Otten,
1995,
TABLEAUX.
Wolfgang Bibel,
Jens Otten,
W. Bibel,
2017,
Provably Correct Systems.
Jens Otten,
Frederico Luiz Gonçalves de Freitas,
Eunice Palmeira da Silva,
2019,
PxTP.
Jens Otten,
2013,
Ausgezeichnete Informatikdissertationen.
Jens Otten,
2014,
IJCAR.
Jens Otten,
2017,
TABLEAUX.
Christoph Kreitz,
Jens Otten,
Heiko Mantel,
1997,
CADE.
Wolfgang Bibel,
Christoph Kreitz,
Jens Otten,
1997,
LOPSTR.
Klaus Wehrle,
Florian Schmidt,
Jens Otten,
2010,
2010 INFOCOM IEEE Conference on Computer Communications Workshops.
Jens Otten,
Thomas Raths,
2014,
ARQNL@IJCAR.
Wolfgang Bibel,
Jens Otten,
2003,
J. Symb. Comput..
Christoph Kreitz,
Jens Otten,
Brigitte Pientka,
2000,
Intellectics and Computational Logic.
Christoph Benzmüller,
Jens Otten,
2018
.
Jens Otten,
Benjamin E. Oliver,
2020,
PAAR+SC²@IJCAI.
Jens Otten,
J. Otten,
2005,
TABLEAUX.
Jens Otten,
Heiko Mantel,
1999,
TABLEAUX.
Jens Otten,
2016,
ARQNL@IJCAR.
Jens Otten,
2012,
IWIL@LPAR.
Jens Otten,
J. Otten,
2017,
IJCAI.
Christoph Kreitz,
Jens Otten,
Thomas Raths,
2007,
Journal of Automated Reasoning.
Jens Otten,
J. Otten,
2011,
TABLEAUX.
Jens Otten,
2010,
AI Commun..
Jens Otten,
Frederico Luiz Gonçalves de Freitas,
2016,
Canadian Conference on AI.
Christoph Kreitz,
Jens Otten,
C. Kreitz,
1999,
J. Univers. Comput. Sci..
Wolfgang Bibel,
Jens Otten,
2020
.
Jens Otten,
2021,
TABLEAUX.
Geoff Sutcliffe,
Jens Otten,
G. Sutcliffe,
2012
.
Jens Otten,
2004
.
Jens Otten,
Heiko Mantel,
H. Mantel,
1999
.