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.

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.