Coalgebraic Simulations and Congruences. - H. Peter Gumm; Mehdi Zarrad (CMCS, 2014)

Transitivity and Difunctionality of Bisimulations. - Mehdi Zarrad; H. Peter Gumm (CMCS, 2016)

Coalgebraische Similarität (Coalgebraic Similarity) - Mehdi Zarrad (2017)