E. Kuksa, and 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 of CEUR Workshop Proceedings, page 56--68. CEUR-WS.org, (2016)
O. Kutz, F. Neuhaus, M. Hedblom, T. Mossakowski, and M. Codescu. Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016., volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)
E. Kuksa, and 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., page 56--68. (2016)
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, M. Roggenbach, and 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 of Lecture Notes in Computer Science, page 3--18. Springer, (2015)
A. Knapp, T. Mossakowski, M. Roggenbach, and 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, page 3--18. (2015)
Y. Ibáñez-García, T. Mossakowski, D. Sannella, and A. Tarlecki. Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, volume 9200 of Lecture Notes in Computer Science, page 361--379. Springer, (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)
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)
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)
T. Mossakowski, and U. Montanari. Logical Methods in Computer Science, (2010)SPECIAL ISSUE: Selected Papers of the Conference Älgebraic and Coalgebraic Methods in Computer Science 2007" Bergen, Norway, 2007.
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)
S. Goncharov, L. Schröder, and T. Mossakowski. Algebra and Coalgebra in Computer Science (CALCO 2009), volume 5728 of Lecture Notes in Computer Science, page 18-33. Springer, (2009)
O. Kutz, T. Mossakowski, and M. Codescu. International Workshop on Ontologies: Reasoning and Modularity (WORM-08), volume 348 of CEUR-WS online proceedings, (2008)
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)
T. Mossakowski, C. Maeder, and K. Lüttich. Maya: Maintaining Structured Developments, volume 4180 of Lecture Notes in Artificial Intelligence, Springer, (2006)
K. Hoffmann, F. Parisi-Presicce, and T. Mossakowski. Workshop on Petri Nets and Graph Transformations, volume 127 of Electronic Notes in Theoretical Computer Science, page 87-105. Elsevier Science; http://www.elsevier.nl/, (2005)
S. Wölfl, and T. Mossakowski. Conference on Spatial Information Theory, volume 3693 of Lecture Notes in Computer Science, page 200-217. Springer; Berlin, (2005)
T. Mossakowski. Semantic Interoperability and Integration, 04391, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, (2005)
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)
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)
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)
T. Mossakowski, and B. Klin. Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, volume 2267 of Lecture Notes in Computer Science, page 221--237. Springer Verlag, London, (2002)
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)
T. Mossakowski, S. Autexier, and D. Hutter. Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 269--283. Springer Verlag, London, (2001)
T. Mossakowski, A. Haxthausen, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, Springer Verlag, London, (2000)
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)
T. Mossakowski. Recent trends in algebraic development techniques. Proc. 12th International Workshop, volume 1376 of Lecture Notes in Computer Science, page 316--332. Springer Verlag, London, (1998)
T. Mossakowski, A. Tarlecki, and W. Pawlowski. Recent trends in algebraic development techniques. Proc. 12th International Workshop, volume 1376 of Lecture Notes in Computer Science, page 349--364. Springer Verlag, London, (1998)
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)
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)
T. Mossakowski. Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, 1993, page 139--146. Springer-Verlag, London, (1993)Long version appears in Theoretical Computer Science.
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.