M. Codescu, T. Mossakowski, and O. Kutz. Proc. of the 9th International Workshop on Ontology Matching (OM-2014), ISWC-2014, Riva del Garda, Trentino, Italy., (2014)
T. Mossakowski, L. Schröder, and S. Goncharov. Fundamental Approaches to Software Engineering (FASE 2008), volume 4961 of Lecture Notes in Computer Science, page 199-214. Springer, (2008)
T. Mossakowski. Recent Trends in Data Type Specification. Proceedings, volume 906 of Lecture Notes in Computer Science, page 389--405. Springer Verlag, London, (1995)
O. Kutz, and T. Mossakowski. Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, page 227-234. AAAI Press; Menlo Park, CA, (2011)
D. Lücke, and T. Mossakowski. Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), volume 222 of Frontiers in Artificial Intelligence and Applications, page 175-185. IOS Press; Amsterdam; http://www.iospress.nl, (2010)
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)
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, D. Sannella, and A. Tarlecki. WADT 2004, volume 3423 of Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, (2005)
T. Mossakowski, M. Drouineaud, and K. Sohr. Proceedings of the 4th International Conference on Temporal Logic,, page 83-90. IEEE Computer Society Press, (2003)
H. Herrlich, T. Mossakowski, and G. Strecker. Category Theory at Work, volume 18 of Research and Exposition in Mathematics, page 137--148. Heldermann Verlag; Berlin, (1991)https://www.heldermann.de/R&E/RAE18/rae18.htm.
K. Hoffmann, and T. Mossakowski. Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, volume 2755 of Lecture Notes in Computer Science, page 253--267. Springer Verlag, London, (2003)
F. Dylla, T. Mossakowski, T. Schneider, and D. Wolter. Proceedings of Conference On Spatial Information Theory 2013, volume 8116 of Lecture Notes in Computer Science, page 516--536. Springer-Verlag Berlin Heidelberg, (2013)