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.
T. Mossakowski. Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science, page 379--393. Springer Verlag, London, (1996)
L. Schröder, T. Mossakowski, and C. Lüth. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 234-248. Springer; Berlin; http://www.springer.de, (2005)
T. Mossakowski. Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers, volume 1589 of Lecture Notes in Computer Science, page 198--214. Springer Verlag, London, (1999)
P. Torrini, C. Lüth, C. Maeder, and T. Mossakowski. Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, page 178–193. Uni Kaiserslautern, (2007)
K. Lüttich, B. Krieg-Brückner, and T. Mossakowski. FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, page 109-119. (2004)
J. Hois, O. Kutz, T. Mossakowski, and J. Bateman. Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings, volume 6304 of Lecture Notes in Computer Science, page 263-264. Springer, (2010)
A. Knapp, T. Mossakowski, and M. Roggenbach. Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, page 215--230. (2015)
A. Knapp, T. Mossakowski, and M. Roggenbach. Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, volume 8950 of Lecture Notes in Computer Science, page 215--230. Springer, (2015)
O. Kutz, T. Mossakowski, C. Galinski, and C. Lange. Proceedings of the First International Conference on terminology, languages and content resources (LarC 2011), page 97-106. Seoul: KATS e.a, (2011)