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