S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. Algebraic Methodology and Software Technology, 2002, volume 2422 of Lecture Notes in Computer Science, page 495--502. Springer Verlag, London, (2002)
S. Autexier, and T. Mossakowski. Frontiers of Combining Systems, 4th International Workshop, volume 2309 of Lecture Notes in Computer Science, page 2--17. Springer Verlag, London, (2002)
S. Autexier, D. Hutter, and T. Mossakowski. Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, volume 6463 of LNCS, Springer, (2010)
S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. OMDoc – An Open Markup Format for Mathematical Documents version 1.2, volume 4180 of Lecture Notes in Artificial Intelligence, Springer, (2006)
S. Borgo, L. Bozzato, T. Mossakowski, and A. Zimmermann (Eds.) volume 2518 of 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, and T. Mossakowski. Algebraic methodology and software technology, 6th international conference, AMAST 97, 1349, page 91–107. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1997)
M. Codescu, F. Horozal, A. Jakubauskas, T. Mossakowski, and F. Rabe. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, volume 7841 of Lecture Notes in Computer Science, page 111-126. Springer, (2013)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe. Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 118-138. Springer, (2012)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe. Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, volume 6824 of Lecture Notes in Computer Science, page 289-291. Springer-Verlag Berlin Heidelberg, (2011)
M. Codescu, G. Horsinka, O. Kutz, T. Mossakowski, and R. Rau. Fourth International Conference on GeoSpatial Semantics, volume 6631 of Lecture Notes in Computer Science, page 88–107. Springer, (2011)