Skip to main content
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.
Sangeet Saha, Adewale Adetomi, Xiaojun Zhai, Server Kasap, Shoaib Ehsan, Tughrul Arslan & Klaus McDonald-Maier, 2021
Type: conference
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