M. Glauer, T. Mossakowski, F. Neuhaus, A. Memariani, and J. Hastings. A Compendium of Neuro-Symbolic Artificial Intelligence, volume 369 of Frontiers in Artificial Intelligence and Applications, chapter 21, IOS press, (2023)
M. Glauer, F. Neuhaus, T. Mossakowski, and J. Hastings. German conference on artificial intelligence 2023, volume 14236 of Lecture Notes in Artificial Intelligence, page 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 of CEUR Workshop proceedings, page 192-201. (2022)
A. Memariani, M. Glauer, F. Neuhaus, T. Mossakowski, and J. Hastings. International Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021), volume 2998 of CEUR Workshop Proceedings, http://ceur-ws.org/Vol-2998/, (2021)
B. Krieg-Brückner, T. Mossakowski, and M. Codescu. Advances in Pattern-Based Ontology Engineering, volume 51 of Studies on the Semantic Web, chapter 2, IOS press, (2021)
S. Borgo, L. Bozzato, T. Mossakowski, and A. Zimmermann (Eds.) volume 2518 of 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, and F. Neuhaus. 2nd International Workshop on Bad Or Good Ontology (BOG). Part of Joint Ontology Workshops (JOWO), volume 2518 of CEUR Workshop Proceedings, (2019)
M. Hedblom, O. Kutz, T. Mossakowski, and F. Neuhaus. 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), page 256-268. (2017)
A. Knapp, and T. Mossakowski. Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, volume 10800 of Lecture Notes in Computer Science, page 1-25. Springer Verlag, (2018)see also https://arxiv.org/abs/1610.03960.
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)
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)
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., volume 1635 of CEUR Workshop Proceedings, page 56--68. CEUR-WS.org, (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, page 3--18. (2015)
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)
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.
L. Schröder, and T. Mossakowski. Fundamental Approaches to Software Engineering (FASE 2003), volume 2621 of Lecture Notes in Computer Science, page 261--277. Springer; Berlin; http://www.springer.de, (2003)
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)
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)
D. Walter, L. Schröder, and T. Mossakowski. Algebra and Coalgebra in Computer Science, volume 3629 of Lecture Notes in Computer Science, page 424-438. Springer; Berlin; http://www.springer.de, (2005)
A. van Delden, and T. Mossakowski. 36th Annual Conference on Artificial Intelligence (KI 2013), volume 8077 of Lecture Notes in Artificial Intelligence, page 248--259. Springer, (2013)
K. Lüttich, B. Krieg-Brückner, and T. Mossakowski. FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, page 109-119. (2004)
P. Torrini, C. Lüth, C. Maeder, and T. Mossakowski. Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, page 178–193. Uni Kaiserslautern, (2007)
M. Codescu, D. Vale, O. Kutz, and T. Mossakowski. Terra Cognita 2012: Foundations, Technologies and Applications of the Geospatial Web, volume 901 of CEUR-WS online proceedings, page 62-73. (2012)
L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 253--268. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, and T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409 of Lecture Notes in Computer Science, page 128-142. Springer, (2007)
L. Schröder, and T. Mossakowski. Algebraic Methodology and Software Technology, volume 3116 of Lecture Notes in Computer Science, page 443--459. Springer; Berlin; http://www.springer.de, (2004)
L. Schröder, and 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, and T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), volume 2422 of Lecture Notes in Computer Science, page 99--116. Springer; Berlin; http://www.springer.de, (2002)
L. Schröder, T. Mossakowski, and A. Tarlecki. International Colloquium on Automata, Languages and Programming (ICALP 2001), volume 2076 of Lecture Notes in Computer Science, page 993-1004. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, T. Mossakowski, and C. Lüth. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 234-248. Springer; Berlin; http://www.springer.de, (2005)
M. Roggenbach, L. Schröder, and T. Mossakowski. CASL reference manual, volume 2960 of 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, and T. Mossakowski. Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, volume 1827 of Lecture Notes in Computer Science, page 146--161. Springer; Berlin; http://www.springer.de, (2000)
K. Lüttich, T. Mossakowski, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 106-125. Springer; Berlin; http://www.springer.de, (2005)
K. Lüttich, and T. Mossakowski. Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), volume 114 of Frontiers in Artificial Intelligence and Applications, page 140-150. IOS Press; Amsterdam; http://www.iospress.nl, (2004)
F. Neuhaus, O. Kutz, M. Codescu, and T. Mossakowski. Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014, (2014)
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)
T. Mossakowski, A. Tarlecki, and W. Pawlowski. Category Theory and Computer Science, 7th Int. Conf., volume 1290 of Lecture Notes in Computer Science, page 177--196. Springer Verlag, London, (1997)
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, 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.
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)