Jens Katelaan
发表
Florian Zuleger,
Jens Katelaan,
Florian Zuleger,
2020,
LPAR.
Sebastian Junges,
Dimitri Bohlender,
Thomas Noll,
2014,
ISoLA.
Florian Zuleger,
Thomas Noll,
Jens Katelaan,
2018,
LPAR.
Florian Zuleger,
Jens Katelaan,
Christoph Matheja,
2019,
TACAS.
Florian Zuleger,
Thomas Noll,
Jens Katelaan,
2016,
ESOP.
Cristina Serban,
Wei-Ngan Chin,
Siau-Cheng Khoo,
2019,
TACAS.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2011,
ATVA.
Georg Weissenbacher,
Jens Katelaan,
Dejan Jovanovic,
2018,
IJCAR.