M. Glauer, T. Mossakowski, F. Neuhaus, A. Memariani, und J. Hastings. A Compendium of Neuro-Symbolic Artificial Intelligence, Volume 369 von Frontiers in Artificial Intelligence and Applications, Kapitel 21, IOS press, (2023)
M. Glauer, F. Neuhaus, T. Mossakowski, und J. Hastings. German conference on artificial intelligence 2023, Volume 14236 von Lecture Notes in Artificial Intelligence, Seite 31-45. Springer, (2023)Best paper award. Also available at https://doi.org/10.48550/arXiv.2301.08577.
T. Mossakowski. 16th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy), Volume 3212 von CEUR Workshop proceedings, Seite 192-201. (2022)
A. Memariani, M. Glauer, F. Neuhaus, T. Mossakowski, und J. Hastings. International Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021), Volume 2998 von CEUR Workshop Proceedings, http://ceur-ws.org/Vol-2998/, (2021)
B. Krieg-Brückner, T. Mossakowski, und M. Codescu. Advances in Pattern-Based Ontology Engineering, Volume 51 von Studies on the Semantic Web, Kapitel 2, IOS press, (2021)
S. Borgo, L. Bozzato, T. Mossakowski, und A. Zimmermann (Hrsg.) Volume 2518 von 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.
B. Krieg-Brückner, T. Mossakowski, und F. Neuhaus. 2nd International Workshop on Bad Or Good Ontology (BOG). Part of Joint Ontology Workshops (JOWO), Volume 2518 von CEUR Workshop Proceedings, (2019)
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)
L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, und A. Tarlecki. Fundamental Approaches to Software Engineering, Volume 2029 von Lecture Notes in Computer Science, Seite 253--268. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, und T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Volume 4409 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2007)
L. Schröder, und T. Mossakowski. Algebraic Methodology and Software Technology, Volume 3116 von Lecture Notes in Computer Science, Seite 443--459. Springer; Berlin; http://www.springer.de, (2004)
L. Schröder, und T. Mossakowski. Journal of Logic and Computation, 14 (4):
571--619(2004)Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
L. Schröder, und T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), Volume 2422 von Lecture Notes in Computer Science, Seite 99--116. Springer; Berlin; http://www.springer.de, (2002)
L. Schröder, T. Mossakowski, und A. Tarlecki. International Colloquium on Automata, Languages and Programming (ICALP 2001), Volume 2076 von Lecture Notes in Computer Science, Seite 993-1004. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, T. Mossakowski, und C. Lüth. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Volume 3423 von Lecture Notes in Computer Science, Seite 234-248. Springer; Berlin; http://www.springer.de, (2005)
M. Roggenbach, L. Schröder, und T. Mossakowski. CASL reference manual, Volume 2960 von Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.(2004)
M. Roggenbach, L. Schröder, und T. Mossakowski. Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Volume 1827 von Lecture Notes in Computer Science, Seite 146--161. Springer; Berlin; http://www.springer.de, (2000)
K. Lüttich, T. Mossakowski, und B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Volume 3423 von Lecture Notes in Computer Science, Seite 106-125. Springer; Berlin; http://www.springer.de, (2005)
K. Lüttich, und T. Mossakowski. Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), Volume 114 von Frontiers in Artificial Intelligence and Applications, Seite 140-150. IOS Press; Amsterdam; http://www.iospress.nl, (2004)
F. Neuhaus, O. Kutz, M. Codescu, und T. Mossakowski. Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014, (2014)
T. Mossakowski, A. Tarlecki, und W. Pawlowski. Recent trends in algebraic development techniques. Proc. 12th International Workshop, Volume 1376 von Lecture Notes in Computer Science, Seite 349--364. Springer Verlag, London, (1998)
T. Mossakowski, A. Tarlecki, und W. Pawlowski. Category Theory and Computer Science, 7th Int. Conf., Volume 1290 von Lecture Notes in Computer Science, Seite 177--196. Springer Verlag, London, (1997)
T. Mossakowski, und A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Volume 8412 von Lecture Notes in Computer Science, Seite 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, und 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.
T. Mossakowski, und B. Klin. Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, Volume 2267 von Lecture Notes in Computer Science, Seite 221--237. Springer Verlag, London, (2002)