Publications by the researcher in collaboration with Tobias Banaschewski (2)