Three cars parked in a car park, two are grey and one is white

Publications

Search our publications to read more about our work in more depth.

Research outputs

Kaya Deuser & Pavel Naumov, 2021, ACM Transactions on Computational Logic, 22(3), 1
Type: article
Nicolas M. Müller, Franziska Dieckmann, Pavel Czempin, Roman Canals, Konstantin Böttinger & Jennifer Williams, 2021
Type: conference
Pavel Naumov & Jia Tao, 2021
Type: conference
2021, Renewable and Sustainable Energy Reviews, 143
Type: article