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)