On the complexity of design tasks for Digital Microfluidic Biochips. - Oliver Keszöcze; Philipp Niemann 001; Arved Friedemann; Rolf Drechsler (Microelectron. J., 2018)

Towards Clause Learning à la Carte through VarMonads. - Arved Friedemann; Oliver Keszöcze (CoRR, 2022)