A. Knapp, and T. Mossakowski. Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, volume 10800 of Lecture Notes in Computer Science, page 1-25. Springer Verlag, (2018)see also https://arxiv.org/abs/1610.03960.
T. Mossakowski, and A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 8412 of Lecture Notes in Computer Science, page 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, O. Kutz, and M. Codescu. Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014, (2014)
T. Mossakowski, C. Lange, and O. Kutz. FOIS 2012: 7th International Conference on Formal Ontology in Information Systems, page 337-352. IOS Press; Amsterdam; http://www.iospress.nl, (2012)Best paper award.
S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)