S. Autexier, D. Hutter, T. Mossakowski, и A. Schairer. Algebraic Methodology and Software Technology, 2002, том 2422 из Lecture Notes in Computer Science, стр. 495--502. Springer Verlag, London, (2002)
S. Autexier, и T. Mossakowski. Frontiers of Combining Systems, 4th International Workshop, том 2309 из Lecture Notes in Computer Science, стр. 2--17. Springer Verlag, London, (2002)
S. Autexier, D. Hutter, и T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, том 6463 из LNCS, Springer, (2010)
S. Autexier, D. Hutter, T. Mossakowski, и A. Schairer. OMDoc – An Open Markup Format for Mathematical Documents version 1.2, том 4180 из Lecture Notes in Artificial Intelligence, Springer, (2006)
S. Borgo, L. Bozzato, T. Mossakowski, и A. Zimmermann (Ред.) том 2518 из CEUR Workshop Proceedings, (2019)part of the JOWO 2019 The Joint Ontology Workshops Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology Graz, Austria, September 23-25, 2019.
M. Cerioli, A. Haxthausen, B. Krieg-Brückner, и T. Mossakowski. Algebraic methodology and software technology, 6th international conference, AMAST 97, 1349, стр. 91–107. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1997)
M. Codescu, F. Horozal, A. Jakubauskas, T. Mossakowski, и F. Rabe. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, том 7841 из Lecture Notes in Computer Science, стр. 111-126. Springer, (2013)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, и F. Rabe. Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, том 7137 из Lecture Notes in Computer Science, стр. 118-138. Springer, (2012)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, и F. Rabe. Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, том 6824 из Lecture Notes in Computer Science, стр. 289-291. Springer-Verlag Berlin Heidelberg, (2011)
M. Codescu, G. Horsinka, O. Kutz, T. Mossakowski, и R. Rau. Fourth International Conference on GeoSpatial Semantics, том 6631 из Lecture Notes in Computer Science, стр. 88–107. Springer, (2011)