M. Glauer, F. Neuhaus, T. Mossakowski, и J. Hastings. German conference on artificial intelligence 2023, том 14236 из Lecture Notes in Artificial Intelligence, стр. 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), том 3212 из CEUR Workshop proceedings, стр. 192-201. (2022)
A. Memariani, M. Glauer, F. Neuhaus, T. Mossakowski, и J. Hastings. International Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021), том 2998 из CEUR Workshop Proceedings, http://ceur-ws.org/Vol-2998/, (2021)
S. Borgo, L. Bozzato, T. Mossakowski, и A. Zimmermann (Ред.) том 2518 из 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, и F. Neuhaus. 2nd International Workshop on Bad Or Good Ontology (BOG). Part of Joint Ontology Workshops (JOWO), том 2518 из CEUR Workshop Proceedings, (2019)
M. Hedblom, O. Kutz, T. Mossakowski, и F. Neuhaus. 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), стр. 256-268. (2017)
A. Knapp, и T. Mossakowski. Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, том 10800 из Lecture Notes in Computer Science, стр. 1-25. Springer Verlag, (2018)see also https://arxiv.org/abs/1610.03960.
Y. Ibáñez-García, T. Mossakowski, D. Sannella, и A. Tarlecki. Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, том 9200 из Lecture Notes in Computer Science, стр. 361--379. Springer, (2015)
A. Knapp, T. Mossakowski, и 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, том 8950 из Lecture Notes in Computer Science, стр. 215--230. Springer, (2015)
A. Knapp, T. Mossakowski, M. Roggenbach, и 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, том 9033 из Lecture Notes in Computer Science, стр. 3--18. Springer, (2015)
O. Kutz, F. Neuhaus, M. Hedblom, T. Mossakowski, и M. Codescu. Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016., том 1577 из CEUR Workshop Proceedings, CEUR-WS.org, (2016)
E. Kuksa, и 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., том 1635 из CEUR Workshop Proceedings, стр. 56--68. CEUR-WS.org, (2016)
A. Knapp, T. Mossakowski, и 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, стр. 215--230. (2015)
A. Knapp, T. Mossakowski, M. Roggenbach, и 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, стр. 3--18. (2015)
E. Kuksa, и 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., стр. 56--68. (2016)
H. Herrlich, T. Mossakowski, и G. Strecker. Category Theory at Work, том 18 из Research and Exposition in Mathematics, стр. 137--148. Heldermann Verlag; Berlin, (1991)https://www.heldermann.de/R&E/RAE18/rae18.htm.
L. Schröder, и T. Mossakowski. Fundamental Approaches to Software Engineering (FASE 2003), том 2621 из Lecture Notes in Computer Science, стр. 261--277. Springer; Berlin; http://www.springer.de, (2003)
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, и F. Rabe. Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, том 7137 из Lecture Notes in Computer Science, стр. 118-138. Springer, (2012)
S. Wölfl, и T. Mossakowski. Conference on Spatial Information Theory, том 3693 из Lecture Notes in Computer Science, стр. 200-217. Springer; Berlin, (2005)
D. Walter, L. Schröder, и T. Mossakowski. Algebra and Coalgebra in Computer Science, том 3629 из Lecture Notes in Computer Science, стр. 424-438. Springer; Berlin; http://www.springer.de, (2005)
A. van Delden, и T. Mossakowski. 36th Annual Conference on Artificial Intelligence (KI 2013), том 8077 из Lecture Notes in Artificial Intelligence, стр. 248--259. Springer, (2013)
K. Lüttich, B. Krieg-Brückner, и T. Mossakowski. FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, стр. 109-119. (2004)
M. Codescu, D. Vale, O. Kutz, и T. Mossakowski. Terra Cognita 2012: Foundations, Technologies and Applications of the Geospatial Web, том 901 из CEUR-WS online proceedings, стр. 62-73. (2012)
L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, и A. Tarlecki. Fundamental Approaches to Software Engineering, том 2029 из Lecture Notes in Computer Science, стр. 253--268. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, и T. Mossakowski. Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, том 4409 из Lecture Notes in Computer Science, стр. 128-142. Springer, (2007)
L. Schröder, и T. Mossakowski. Algebraic Methodology and Software Technology, том 3116 из Lecture Notes in Computer Science, стр. 443--459. Springer; Berlin; http://www.springer.de, (2004)
L. Schröder, и 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, и T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), том 2422 из Lecture Notes in Computer Science, стр. 99--116. Springer; Berlin; http://www.springer.de, (2002)
L. Schröder, T. Mossakowski, и A. Tarlecki. International Colloquium on Automata, Languages and Programming (ICALP 2001), том 2076 из Lecture Notes in Computer Science, стр. 993-1004. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, T. Mossakowski, и C. Lüth. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), том 3423 из Lecture Notes in Computer Science, стр. 234-248. Springer; Berlin; http://www.springer.de, (2005)
M. Roggenbach, L. Schröder, и T. Mossakowski. CASL reference manual, том 2960 из 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, и T. Mossakowski. Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, том 1827 из Lecture Notes in Computer Science, стр. 146--161. Springer; Berlin; http://www.springer.de, (2000)
K. Lüttich, T. Mossakowski, и B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), том 3423 из Lecture Notes in Computer Science, стр. 106-125. Springer; Berlin; http://www.springer.de, (2005)
K. Lüttich, и T. Mossakowski. Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), том 114 из Frontiers in Artificial Intelligence and Applications, стр. 140-150. IOS Press; Amsterdam; http://www.iospress.nl, (2004)
F. Neuhaus, O. Kutz, M. Codescu, и T. Mossakowski. Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014, (2014)
T. Mossakowski, A. Tarlecki, и W. Pawlowski. Recent trends in algebraic development techniques. Proc. 12th International Workshop, том 1376 из Lecture Notes in Computer Science, стр. 349--364. Springer Verlag, London, (1998)
T. Mossakowski, A. Tarlecki, и W. Pawlowski. Category Theory and Computer Science, 7th Int. Conf., том 1290 из Lecture Notes in Computer Science, стр. 177--196. Springer Verlag, London, (1997)
T. Mossakowski, и A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), том 8412 из Lecture Notes in Computer Science, стр. 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, и 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, и B. Klin. Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, том 2267 из Lecture Notes in Computer Science, стр. 221--237. Springer Verlag, London, (2002)