M. Hedblom, O. Kutz, T. Mossakowski, und F. Neuhaus. 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Seite 256-268. (2017)
A. Knapp, und T. Mossakowski. Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, Volume 10800 von Lecture Notes in Computer Science, Seite 1-25. Springer Verlag, (2018)see also https://arxiv.org/abs/1610.03960.
Y. Ibáñez-García, T. Mossakowski, D. Sannella, und A. Tarlecki. Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, Volume 9200 von Lecture Notes in Computer Science, Seite 361--379. Springer, (2015)
A. Knapp, T. Mossakowski, und 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 von Lecture Notes in Computer Science, Seite 215--230. Springer, (2015)
A. Knapp, T. Mossakowski, M. Roggenbach, und M. Glauer. Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, Volume 9033 von Lecture Notes in Computer Science, Seite 3--18. Springer, (2015)
O. Kutz, F. Neuhaus, M. Hedblom, T. Mossakowski, und M. Codescu. Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016., Volume 1577 von CEUR Workshop Proceedings, CEUR-WS.org, (2016)
E. Kuksa, und T. Mossakowski. Proceedings of the 5th Workshop on Practical Aspects of Automated
Reasoning co-located with International Joint Conference on Automated
Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016., Volume 1635 von CEUR Workshop Proceedings, Seite 56--68. CEUR-WS.org, (2016)
A. Knapp, T. Mossakowski, und 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, Seite 215--230. (2015)
A. Knapp, T. Mossakowski, M. Roggenbach, und M. Glauer. Fundamental Approaches to Software Engineering - 18th International
Conference, FASE 2015, Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2015, London, UK, April
11-18, 2015. Proceedings, Seite 3--18. (2015)
E. Kuksa, und T. Mossakowski. Proceedings of the 5th Workshop on Practical Aspects of Automated
Reasoning co-located with International Joint Conference on Automated
Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016., Seite 56--68. (2016)
H. Herrlich, T. Mossakowski, und G. Strecker. Category Theory at Work, Volume 18 von Research and Exposition in Mathematics, Seite 137--148. Heldermann Verlag; Berlin, (1991)https://www.heldermann.de/R&E/RAE18/rae18.htm.
L. Schröder, und T. Mossakowski. Fundamental Approaches to Software Engineering (FASE 2003), Volume 2621 von Lecture Notes in Computer Science, Seite 261--277. Springer; Berlin; http://www.springer.de, (2003)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe, und K. Sojakova. Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Volume 7137 von Lecture Notes in Computer Science, Seite 139-159. Springer, (2012)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, und F. Rabe. Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Volume 7137 von Lecture Notes in Computer Science, Seite 118-138. Springer, (2012)
S. Wölfl, und T. Mossakowski. Conference on Spatial Information Theory, Volume 3693 von Lecture Notes in Computer Science, Seite 200-217. Springer; Berlin, (2005)
D. Walter, L. Schröder, und T. Mossakowski. Algebra and Coalgebra in Computer Science, Volume 3629 von Lecture Notes in Computer Science, Seite 424-438. Springer; Berlin; http://www.springer.de, (2005)
A. van Delden, und T. Mossakowski. 36th Annual Conference on Artificial Intelligence (KI 2013), Volume 8077 von Lecture Notes in Artificial Intelligence, Seite 248--259. Springer, (2013)
K. Lüttich, B. Krieg-Brückner, und T. Mossakowski. FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, Seite 109-119. (2004)
P. Torrini, C. Lüth, C. Maeder, und T. Mossakowski. Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, Seite 178–193. Uni Kaiserslautern, (2007)
M. Codescu, D. Vale, O. Kutz, und T. Mossakowski. Terra Cognita 2012: Foundations, Technologies and Applications of the Geospatial Web, Volume 901 von CEUR-WS online proceedings, Seite 62-73. (2012)