http://www.uni-magdeburg.de/search

Prof. Mossakowski

Prof. Dr.-Ing. habil. Till Mossakowski

Fakultät für Informatik (FIN)
AG Formale Methoden und Semantik
Gebäude 29, Universitätsplatz 2, 39106, Magdeburg, Gebäude 29, Raum 006

Prof. Dr.-Ing. habil. Till Mossakowski

Fakultät für Informatik (FIN)
AG Formale Methoden und Semantik
Gebäude 29, Universitätsplatz 2, 39106, Magdeburg, Gebäude 29, Raum 006
Tel.: +49 391 67 54985
Fax: +49 391 67 12018
Projekte
Publikationen

2017

Begutachteter Zeitschriftenartikel
Codescu, Mihai;  Mossakowski, Till;  Kutz, Oliver 

A categorical approach to networks of aligned ontologies
In: Journal on data semantics: JoDS - Berlin: Springer, insges. 43 S., 2017; http://dx.doi.org/10.1007/s13740-017-0080-0

Dylla, Frank;  Lee, Jae Hee;  Mossakowski, Till;  Schneider, Thomas;  van Delden, André;  van de Ven, Jasper;  Wolter, Diedrich 

A survey of qualitative spatial and temporal calculi - algebraic and computational properties
In: ACM computing surveys: CSUR - New York, NY: Association for Computing Machinery, Vol. 50.2017, 1, Art. 7, insgesamt 39 S.; http://dx.doi.org/10.1145/3038927

Codescu, Mihai;  Kuksa, Eugen;  Kutz, Oliver;  Mossakowski, Till;  Neuhaus, Fabian 

Ontohub - a semantic repository engine for heterogeneous ontologies
In: Applied ontology: an interdisciplinary journal of ontological analysis and conceptual modeling - Amsterdam: IOS Press, Bd. 12.2017, 3/4, S. 275-298; http://dx.doi.org/10.3233/AO-170190

Codescu, Mihai;  Mossakowski, Till;  Sannella, Donald;  Tarlecki, Andrzej 

Specification refinements - calculi, tools, and applications
In: Science of computer programming: methods of software design: techniques and applications - Amsterdam [u.a.]: Elsevier Science, Bd. 144.2017, S. 1-49; http://dx.doi.org/10.1016/j.scico.2017.04.005

Buchbeitrag
Mossakowski, Till;  Moratz, Reinhard 

Relations between spatial calculi about directions and orientations
In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17): Melbourne, Australia, 19-25 August 2017 - International Joint Conferences on Artificial Intelligence, S. 5040-5044; http://dx.doi.org/10.24963/ijcai.2017/718 ; [Konferenz: 26th International Joint Conference on Artificial Intelligence, IJCAI-17, Melbourne, Australia, 19-25 August 2017]

Thiel, Marcus;  Ludwig, Philipp;  Mossakowski, Till;  Neuhaus, Fabian;  Nürnberger, Andreas 

Web-retrieval supported argument space exploration
In: Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval: Oslo, Norway, March 07 - 11, 2017 - New York, NY: ACM, Association for Computing Machinery, S. 309-312; http://dx.doi.org/10.1145/3020165.3022140 ; [Kongress: 2017 Conference on Conference Human Information Interaction and Retrieval$dOslo, Norway, March 07 - 11, 2017]

2016

Begutachteter Zeitschriftenartikel
Calegari, Daniel;  Mossakowski, Till;  Szasz, Nora 

Heterogeneous verification in the context of model driven engineering
In: Science of computer programming : methods of software design: techniques and applications. - Amsterdam [u.a.] : Elsevier Science, Bd. 126.2016, S. 3-30

Joseph, Mathew;  Kuper, Gabriel;  Mossakowski, Till;  Serafini, Luciano 

Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules : decidable finite extension classes
In: Semantic web. - Amsterdam : IOS Press, Bd. 7.2016, 1, S. 25-61

Buchbeitrag
Kuksa, Eugen;  Mossakowski, Till 

Ontohub - version control, linked data and theorem proving for ontologies
In: CEUR workshop proceedings. - Aachen : RWTH, Bd. 1660.2016, insges. 5 S.

Kutz, Oliver;  Neuhaus, Fabian;  Hedblom, Maria;  Mossakowski, Till;  Codescu, Mihai 

Ontology patterns with DOWL - the case of blending
In: CEUR workshop proceedings. - Aachen : RWTH, Bd. 1577.2016, insges. 13 S.

Kuksa, Eugen;  Mossakowski, Till 

Prover-independent axiom selection for automated theorem proving in Ontohub
In: CEUR workshop proceedings. - Aachen : RWTH, Bd. 1635.2016, S. 56-68

Dirsumilli, R.;  Mossakowski, Till 

RESTful encapsulation of OWL API
In: DATA 2016 : proceedings of the 5th International Conference on Data Management Technologies and Applications : July 24-26, 2016, Lisbon, Portugal. - [Setúbal] : SCITEPRESS - Science and Technology Publications, Lda., S. 150-157 ; [Kongress: 5th International Conference on Data Management Technologies and Applications, DATA 2016, Lisbon, Portugal, July 24-26, 2016]

Herausgeberschaft
Kutz, Oliver [HerausgeberIn];  Cesare, Sergio [HerausgeberIn];  Hedblom, Maria [HerausgeberIn];  Besold, Tarek Richard [HerausgeberIn];  Veale, Tony [HerausgeberIn];  Gailly, Frederik [HerausgeberIn];  Guizzardi, Giancarlo [HerausgeberIn];  Lycett, Mark [HerausgeberIn];  Partridge, Chris [HerausgeberIn];  Pastor, Oscar [HerausgeberIn];  Grüninger, Michael [HerausgeberIn];  Neuhaus, Fabian [HerausgeberIn];  Mossakowski, Till [HerausgeberIn];  Borgo, Stefano [HerausgeberIn];  Bozzato, Loris [HerausgeberIn];  Chiara, Vescovo [HerausgeberIn];  Homola, Martin [HerausgeberIn];  Loebe, Frank [HerausgeberIn];  Barton, Adrien [HerausgeberIn];  Bourguet, Jean-Rémi [HerausgeberIn] 

JOWO 2016 - the Joint Ontology Workshops : proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology : co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016)
In: Aachen RWTH - (CEUR workshop proceedings; 1660), 2016, 1 Online-Ressource, http://nbn-resolving.de/urn:nbn:de:0074-1660-0 ; Kongress: The Joint Ontology Workshops (Annecy, France : 2016.07.06-09

Nicht begutachteter Zeitschriftenartikel
Dylla, Frank;  Lee, Jae Hee;  Mossakowski, Till;  Schneider, Thomas;  Delden, André van;  Ven, Jasper van de;  Wolter, Diedrich 

A survey of qualitative spatial and temporal calculi-algebraic and computational properties
In: De.arxiv.org. - [S.l.] : Arxiv.org, insges. 55 S., 2016

Mossakowski, Till;  Neuhaus, Fabian 

Bipolar weighted argumentation graphs
In: De.arxiv.org. - [S.l.] : Arxiv.org, insges. 22 S., 2016

Knapp, Alexander;  Mossakowski, Till 

Multi-view consistency in UML
In: De.arxiv.org. - [S.l.] : Arxiv.org, insges. 23 S., 2016

2015

Artikel in Kongressband
Kutz, Oliver;  Mossakowski, Till;  Neuhaus, Fabian;  Codescu, Mihai 

Blending in the hub - towards a collaborative concept invention platform
In: Fifth International Conference on Computational Creativity : Ljubljana, Slovenia, 9th 13th June 2014 ; proceedings, insges. 9 S.

Begutachteter Zeitschriftenartikel
Mossakowski, Till;  Moratz, Reinhard 

Relations between spatial calculi about directions and orientations
In: Journal of artificial intelligence research : JAIR ; an international electronic and print journal. - [S.l.] ] : AI Access Found, Bd. 54.2015, S. 277-308

Buchbeitrag
Knapp, Alexander;  Mossakowski, Till;  Roggenbach, Markus;  Glauer, Martin 

An institution for simple UML state machines
In: Egyed, Alexander: : 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. - Berlin [u.a.] : Springer, S. 3-18 - (Lecture Notes in Computer Science; 9033)

Kutz, Oliver;  Bateman, John;  Mossakowski, Till;  Neuhaus, Fabian;  Bhatt, Mehul 

E pluribus unum - formalisation, use-cases, and computational support for conceptual blending
In: Besold, Tarek R.: : Computational Creativity Research: Towards Creative Machines. - Paris [u.a.] : Atlantis Press, S. 167-196, 2015 - (Atlantis Thinking Machines; 7)

Calegari, Daniel;  Mossakowski, Till;  Szasz, Nora 

Model-driven engineering in the heterogeneous tool set
In: Braga, Christiano: : Formal Methods: Foundations and Applications. - Cham : Springer International Publishing, S. 64-79, 2015 - (Lecture Notes in Computer Science; 8941)

Ibanez, Yazmin Angelica;  Mossakowski, Till;  Tarlecki, Andrzej;  Sannella, Don 

Modularity of ontologies in an arbitrary institution
In: Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday. - Cham [u.a.] : Springer, S. 361-379, 2015 - (Lecture notes in computer science; 9200)

Mossakowski, Till;  Codescu, Mihai;  Neuhaus, Fabian;  Kutz, Oliver 

The distributed ontology, modeling, and specification language - DOL
In: The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II. - Cham : Springer International Publishing, S. 489-520, 2015

Knapp, Alexander;  Mossakowski, Till;  Roggenbach, Markus 

Towards an institutional framework for heterogeneous formal development in UML - a position paper
In: Nicola, Rocco: : Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. - Cham [u.a.] : Springer International Publishing, S. 215-230, 2015 - (Lecture Notes in Computer Science; 8950)

Mossakowski, Till;  Krumnack, Ulf;  Maibaum, Tom 

What is a derived signature morphism?
In: Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers. - Cham : Springer International Publishing, S. 90-109, 2015 - (Lecture Notes in Computer Science; 9463)

2014

Abstrakt
Mossakowski, Till;  Kutz, Oliver;  Codescu, Mihai 

Ontohub - a semantic repository for heterogeneous ontologies
In: ICTAC 2014 associated workshop: Theory Day in Computer Science : Buchaest, September 15-16, 2014. - Bucharest

Artikel in Kongressband
Neuhaus, Fabian;  Kutz, Oliver;  Codescu, Mihai;  Mossakowski, Till 

Fabricating monsters is hard - towards the automation of conceptual blending
In: Computational Creativity, Concept Invention, and General Intelligence : 3rd International Workshop, C3GI ECAI 2014, Prague, Czech Republic, August 19, 2014 ; proceedings. - Osnabrück : Inst. of Cognitive Science - (Publication of the Institute of Cognitive Science; 1.2014)

Mossakowski, Till;  Codescu, Mihai;  Kutz, Oilver;  Lange, Christoph;  Gruninger, Michael 

Proof support for common logic
In: Automated reasoning in quantified non-classical logics : 1st international Workshop, ARQNL 2014, Vienna, Austria, July 23, 2014 ; proceedings. - Vienna; 2014, Paper 5, insgesamt 16 S.

Bateman, John;  Kutz, Oliver;  Mossakowski, Till;  Sojic, Aleksandra;  Codescu, Mihai 

Space for space - SpacePortal: the 21st Century Home for Spatial Ontologies
In: Spatial Cognition 2014 : poster presentations. - Bremen [u.a.] : Univ. [u.a.], S. 13-16

Buchbeitrag
Codescu, M.;  Mossakowski, T.;  Kutz, O. 

A categorical approach to ontology alignment
In: CEUR Workshop Proceedings, Vol. 1317, 2014, S. 1-12, ISSN 16130073

Mossakowski, Till;  Tarlecki, Andrzej 

A relatively complete calculus for structured heterogeneous specifications
In: Foundations of software science and computation structures. - Berlin [u.a.] : Springer, S. 441-456, 2014 - (Lecture notes in computer science; 8412)

Mossakowski, Till;  Pawł  owski, Wiesł  aw;  Sannella, Donald;  Tarlecki, Andrzej 

Parchments for CafeOBJ logics
In: Specification, algebra, and software. - Berlin [u.a.] : Springer, S. 66-91, 2014 - (Lecture notes in computer science; 8373)

2013

Buchbeitrag
Lange, Christoph;  Caminati, Marco B.;  Kerber, Manfred;  Mossakowski, Till;  Rowat, Colin;  Wenzel, Makarius;  Windsteiger, Wolfgang 

A qualitative comparison of the suitability of four theorem provers for basic auction theory
In: Intelligent computer mathematics. - Berlin [u.a.] : Springer, S. 200-215, 2013 - (Lecture notes in computer science; 7961)

Dylla, Frank;  Mossakowski, Till;  Schneider, Thomas;  Wolter, Diedrich 

Algebraic properties of qualitative spatio-temporal calculi
In: Spatial information theory. - Cham [u.a.] : Springer, S. 516-536, 2013 - (Lecture notes in computer science; 8116)

Codescu, Silvestru Mihai;  Mossakowski, Till;  Maeder, Christian 

Checking conservativity with Hets
In: Algebra and coalgebra in computer science. - Berlin [u.a.] : Springer, S. 315-321, 2013 - (Lecture notes in computer science; 8089)

Codescu, M.;  Horozal, F.;  Jakubauskas, A.;  Mossakowski, T.;  Rabe, F. 

Compiling logics
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7841 LNCS, 2013, S. 111-126, ISSN 03029743, 10.1007/978-3-642-37635-1_7

James, P.;  Knapp, A.;  Mossakowski, Till;  Roggenbach, M. 

Designing domain specific languages - a craftsman's approach for the railway domain using CASL
In: Recent trends in algebraic development techniques. - Berlin [u.a.] : Springer, S. 178-194, 2013 - (Lecture notes in computer science; 7841)

Delden, André van 1;  Mossakowski, Till 

Mastering left and right-different approaches to a problem that is not straight forward
In: KI 2013: advances in artificial intelligence. - Berlin [u.a.] : Springer, S. 248-259 - (Lecture notes in computer science; 8077)

Mossakowski, T.;  Kutz, O.;  Lange, C. 

Semantics of the distributed ontology language: Institutes and institutions
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7841 LNCS, 2013, S. 212-230, ISSN 03029743, 10.1007/978-3-642-37635-1_13

Mossakowski, Till;  Kutz, Oliver;  Codescu, Silvestru Mihai;  Lange, Christoph 

The distributed ontology, modeling and specification language
In: CEUR workshop proceedings. - Aachen : RWTH, Bd. 1081.2013, insges. 21 S.

Mossakowski, Till;  Lange, C.;  Kutz, Oliver 

Three semantics for the core of the distributed ontology language
In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, Beijing, China, 3 - 9 August 2013 ; Vol. 4. - Palo Alto, Calif. : AAAI Press [u.a.], S. 3027-3031 ; Kongress: IJCAI; 23 (Beijing) : 2013.08.03-09

Originalartikel in begutachteter internationaler Zeitschrift
Diaconescu, R.;  Mossakowski, T.;  Tarlecki, A. 

The Institution-Theoretic Scope of Logic Theorems
In: Logica Universalis, Vol. 8, 2013, Issue 3-4, S. 393-406, ISSN 16618297, 10.1007/s11787-013-0093-x

2012

Artikel in Kongressband
Mihai Codescu, 

Lambda Expressions in CASL Architectural Specifications
In: Vol. 7137, 2012, S. 98-117

Oliver Kutz,;  Christoph Lange,;  Till Mossakowski,;  C. Maria Keet,;  Fabian Neuhaus,;  Michael Gr{\"  u}ninger, 

The {Babel} of the Semantic Web Tongues - In Search of the {Rosetta} Stone of Interoperability
In: 2012

Till Mossakowski,;  Christoph Lange,;  Oliver Kutz, 

Three Semantics for the Core of the Distributed Ontology Language
In: 2012, S. 337-352

Buchbeitrag
Codescu, M.;  Horozal, F.;  Kohlhase, M.;  Mossakowski, T.;  Rabe, F. 

A proof theoretic interpretation of model theoretic hiding
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 118-138, ISSN 03029743, 10.1007/978-3-642-28412-0_9

O'Reilly, L.;  Mossakowski, T.;  Roggenbach, M. 

Compositional modelling and reasoning in an institution for processes and data
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 251-269, ISSN 03029743, 10.1007/978-3-642-28412-0_16

Schmid, F.;  Kutz, O.;  Frommberger, L.;  Mossakowski, T.;  Kauppinen, T.;  Cai, C. 

Intuitive and natural interfaces for geospatial data classification
In: CEUR Workshop Proceedings, Vol. 881, 2012, S. 26-32, ISSN 16130073

Mossakowski, T.;  Kreowski, H.-J. 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. V-VI, ISSN 03029743

Lange, C.;  Mossakowski, T.;  Kutz, O. 

LoLa: A modular ontology of logics, languages, and translations
In: CEUR Workshop Proceedings, Vol. 875, 2012, S. 51-60, ISSN 16130073

Kutz, O.;  Hastings, J.;  Mossakowski, T. 

Modelling highly symmetrical molecules: Linking ontologies and graphs
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7557 LNAI, 2012, S. 103-111, ISSN 03029743, 10.1007/978-3-642-33185-5_11

Codescu, M.;  Vale, D.C.;  Kutz, O.;  Mossakowski, T. 

Ontology-based route planning for OpenStreetMap
In: CEUR Workshop Proceedings, Vol. 901, 2012, S. 62-73, ISSN 16130073

Till Mossakowski,;  Hans-J{\"  o}rg Kreowski, 

Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010
In: Vol. 7137, 2012

Lange, C.;  Kutz, O.;  Mossakowski, T.;  Grüninger, M. 

The distributed ontology language (DOL): Ontology integration and interoperability applied to mathematical formalization
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7362 LNAI, 2012, S. 463-467, ISSN 03029743, 10.1007/978-3-642-31374-5_37

Lange, C.;  Mossakowski, T.;  Kutz, O.;  Galinski, C.;  Grüninger, M.;  Vale, D.C. 

The distributed ontology language (DOL): Use cases, syntax, and extensibility
In: Proceedings of the 10th Terminology and Knowledge Engineering Conference: New Frontiers in the Constructive Symbiosis of Terminology and Knowledge Engineering, TKE 2012, 2012, S. 33-48

Codescu, M.;  Horozal, F.;  Kohlhase, M.;  Mossakowski, T.;  Rabe, F.;  Sojakova, K. 

Towards logical frameworks in the heterogeneous tool set hets
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 139-159, ISSN 03029743, 10.1007/978-3-642-28412-0_10

Originalartikel in begutachteter internationaler Zeitschrift
Mossakowski, T.;  Moratz, R. 

Qualitative reasoning about relative direction of oriented points
In: Artificial Intelligence, Vol. 180-181, 2012, S. 34-45, ISSN 00043702, 10.1016/j.artint.2011.10.003

2011

Buchbeitrag
Kutz, O.;  Mossakowski, T. 

A modular consistency proof for DOLCE
In: Proceedings of the National Conference on Artificial Intelligence, Vol. 1, 2011, S. 227-234

Codescu, M.;  Horsinka, G.;  Kutz, O.;  Mossakowski, T.;  Rau, R. 

DO-ROAM: Activity-oriented search and navigation with OpenStreetMap
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6631 LNCS, 2011, S. 88-107, ISSN 03029743, 10.1007/978-3-642-20630-6_6

Kutz, O.;  Mossakowski, T.;  Hastings, J.;  Castro, A.G.;  Sojic, A. 

Hyperontology for the biomedical ontologist: A sketch and some examples
In: CEUR Workshop Proceedings, Vol. 833, 2011, S. 399-408, ISSN 16130073

Codescu, M.;  Mossakowski, T.;  Riesco, A.;  Maeder, C. 

Integrating Maude into hets
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6486 LNCS, 2011, S. 60-75, ISSN 03029743, 10.1007/978-3-642-17796-5_4

Codescu, M.;  Horozal, F.;  Kohlhase, M.;  Mossakowski, T.;  Rabe, F. 

Project abstract: Logic atlas and integrator (LATIN)
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6824 LNAI, 2011, S. 289-291, ISSN 03029743, 10.1007/978-3-642-22673-1_24

Codescu, M.;  Mossakowski, T. 

Refinement trees: Calculi, tools, and applications
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6859 LNCS, 2011, S. 145-160, ISSN 03029743, 10.1007/978-3-642-22944-2_11

Mossakowski, T.;  Kutz, O. 

The onto-logical translation graph
In: Frontiers in Artificial Intelligence and Applications, Vol. 230, 2011, S. 94-109, ISSN 09226389, 10.3233/978-1-60750-799-4-94

Originalartikel in begutachteter internationaler Zeitschrift
Moratz, R.;  Lücke, D.;  Mossakowski, T. 

A condensed semantics for qualitative spatial reasoning about oriented straight line segments
In: Artificial Intelligence, Vol. 175, 2011, Issue 16-17, S. 2099-2127, ISSN 00043702, 10.1016/j.artint.2011.07.004

2010

Buchbeitrag
Lücke, D.;  Mossakowski, T. 

A much better polynomial time approximation of consistency in the ℒℛ calculus
In: Frontiers in Artificial Intelligence and Applications, Vol. 222, 2010, S. 175-185, ISSN 09226389, 10.3233/978-1-60750-676-8-175

Autexier, S.;  Hutter, D.;  Mossakowski, T. 

Change management for heterogeneous development graphs
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6463 LNAI, 2010, S. 54-80, ISSN 03029743, 10.1007/978-3-642-17172-7_4

Kutz, O.;  Normann, I.;  Mossakowski, T.;  Walther, D. 

Chinese whispers and connected alignments
In: CEUR Workshop Proceedings, Vol. 689, 2010, S. 25-36, ISSN 16130073

Hois, J.;  Kutz, O.;  Mossakowski, T.;  Bateman, J. 

Towards ontological blending
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6304 LNAI, 2010, S. 263-264, ISSN 03029743, 10.1007/978-3-642-15431-7_28

Originalartikel in begutachteter internationaler Zeitschrift
Mossakowski, T.;  Schröder, L.;  Goncharov, S. 

A generic complete dynamic logic for reasoning about purity and effects
In: Formal Aspects of Computing, Vol. 22, 2010, Issue 3-4, S. 363-384, ISSN 09345043, 10.1007/s00165-010-0153-4

Kutz, O.;  Mossakowski, T.;  Lücke, D. 

Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
In: Logica Universalis, Vol. 4, 2010, Issue 2, S. 255-333, ISSN 16618297, 10.1007/s11787-010-0020-3

2009

Buchbeitrag
Mossakowski, T.;  Tarlecki, A. 

Heterogeneous logical environments for distributed specifications
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5486 LNCS, 2009, S. 266-289, ISSN 03029743, 10.1007/978-3-642-03429-9_18

Goncharov, S.;  Schröder, L.;  Mossakowski, T. 

Kleene monads: Handling iteration in a framework of generic effects
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5728 LNCS, 2009, S. 18-33, ISSN 03029743, 10.1007/978-3-642-03741-2_3

Kutz, O.;  Lücke, D.;  Mossakowski, T.;  Normann, I. 

The OWL in the CASL designing ontologies across logics
In: CEUR Workshop Proceedings, Vol. 432, 2009, ISSN 16130073

Codescu, M.;  Langenstein, B.;  Maeder, C.;  Mossakowski, T. 

The VSE refinement method in HETS
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5885 LNCS, 2009, S. 660-678, ISSN 03029743, 10.1007/978-3-642-10373-5_34

Originalartikel in begutachteter internationaler Zeitschrift
Schröder, L.;  Mossakowski, T. 

HasCasl: Integrated higher-order specification and program development
In: Theoretical Computer Science, Vol. 410, 2009, Issue 12-13, S. 1217-1260, ISSN 03043975, 10.1016/j.tcs.2008.11.020

Mossakowski, T.;  Diaconescu, R.;  Tarlecki, A. 

What is a logic translation?
In: Logica Universalis, Vol. 3, 2009, Issue 1, S. 95-124, ISSN 16618297, 10.1007/s11787-009-0005-2

2008

Buchbeitrag
Mossakowski, T.;  Schröder, L.;  Goncharov, S. 

A generic complete dynamic logic for reasoning about purity and effects
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4961 LNCS, 2008, S. 199-214, ISSN 03029743, 10.1007/978-3-540-78743-3_15

Codescu, M.;  Mossakowski, T. 

Heterogeneous colimits
In: 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW\'08, 2008, S. 131-140, 10.1109/ICSTW.2008.20

Lücke, D.;  Mossakowski, T.;  Wolter, D. 

Qualitative reasoning about convex relations
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5248 LNAI, 2008, S. 426-440, ISSN 03029743, 10.1007/978-3-540-87601-4_30

Kutz, O.;  Mossakowski, T.;  Codescu, M. 

Shapes of alignments construction, combination, and computation
In: CEUR Workshop Proceedings, Vol. 348, 2008, S. 30-43, ISSN 16130073

2007

Buchbeitrag
Schröder, L.;  Mossakowski, T. 

Coalgebraic modal logic in COCASL
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 127-141, ISSN 03029743

Kutz, O.;  Mossakowski, T. 

Modules in transition conservativity, composition, and colimits
In: CEUR Workshop Proceedings, Vol. 315, 2007, S. 15P, ISSN 16130073

Wòlfl, S.;  Mossakowski, T.;  Schröder, L. 

Qualitative constraint calculi: Heterogeneous verification of composition tables
In: Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007, 2007, S. 665-670

Lüttich, K.;  Mossakowski, T. 

Reasoning support for CASL with automated theorem proving systems
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 74-91, ISSN 03029743

Mossakowski, T.;  Roggenbach, M. 

Structured CSP - A process algebra as an institution
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 92-110, ISSN 03029743

Mossakowski, T.;  Maeder, C.;  Lüttich, K. 

The heterogeneous tool set
In: CEUR Workshop Proceedings, Vol. 259, 2007, S. 119-135, ISSN 16130073

Mossakowski, T.;  Maeder, C.;  Lüttich, K. 

The heterogeneous tool set, HETS
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4424 LNCS, 2007, S. 519-522, ISSN 03029743

Mossakowski, T.;  Goguen, J.;  Diaconescu, R.;  Tarlecki, A. 

What is a logic?
In: Logica Universalis: Towards a General Theory of Logic, 2007, S. 111-133, 10.1007/978-3-7643-8354-1_7

Originalartikel in begutachteter internationaler Zeitschrift
Bateman, J.;  Borgo, S.;  Lüttich, K.;  Masolo, C.;  Mossakowski, T. 

Ontological modularity and spatial diversity
In: Spatial Cognition and Computation, Vol. 7, 2007, Issue 1, S. 97-128, ISSN 13875868, 10.1080/13875860701337991

2006

Buchbeitrag
Goncharov, S.;  Schröder, L.;  Mossakowski, T. 

Completeness of global evaluation logic
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4162 LNCS, 2006, S. 447-458, ISSN 03029743

Mossakowski, T. 

Institutional 2-cells and Grothendieck institutions
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4060 LNCS, 2006, S. 124-149, ISSN 03029743

Mossakowski, T. 

Monad-based logics for computational effects
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4019 LNCS, 2006, S. 3-4, ISSN 03029743

Originalartikel in begutachteter internationaler Zeitschrift
Hausmann, D.;  Mossakowski, T.;  Schröder, L. 

A coalgebraic approach to the semantics of the ambient calculus
In: Theoretical Computer Science, Vol. 366, 2006, Issue 1-2, S. 121-143, ISSN 03043975, 10.1016/j.tcs.2006.07.006

Mossakowski, T.;  Schröder, L.;  Roggenbach, M.;  Reichel, H. 

Algebraic-coalgebraic specification in CoCasl
In: Journal of Logic and Algebraic Programming, Vol. 67, 2006, Issue 1-2, S. 146-197, ISSN 15678326, 10.1016/j.jlap.2005.09.006

Mossakowski, T.;  Autexier, S.;  Hutter, D. 

Development graphs - Proof management for structured specifications
In: Journal of Logic and Algebraic Programming, Vol. 67, 2006, Issue 1-2, S. 114-145, ISSN 15678326, 10.1016/j.jlap.2005.09.005

2005

Buchbeitrag
Mossakowski, T.;  Sannella, D.;  Tarlecki, A. 

A simple refinement language for CASL
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 162-185, ISSN 03029743

Wölfl, S.;  Mossakowski, T. 

CASL specifications of qualitative calculi
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3693 LNCS, 2005, S. 200-217, ISSN 03029743

Hoffmann, K.;  Ehrig, H.;  Mossakowski, T. 

High-Level nets with nets and rules as tokens
In: Lecture Notes in Computer Science, Vol. 3536, 2005, S. 268-288, ISSN 03029743

Hoffmann, K.;  Mossakowski, T.;  Parisi-Presicce, F. 

Higher-order nets for mobile policies
In: Electronic Notes in Theoretical Computer Science, Vol. 127, 2005, Issue 2, S. 87-105, ISSN 15710661, 10.1016/j.entcs.2005.02.007

Hausmann, D.;  Mossakowski, T.;  Schröder, L. 

Iterative circular coinduction for CoCASL in Isabelle/HOL
In: Lecture Notes in Computer Science, Vol. 3442, 2005, S. 341-356, ISSN 03029743

Lüttich, K.;  Mossakowski, T.;  Krieg-Brückner, B. 

Ontologies for the semantic Web in CASL
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 106-125, ISSN 03029743

Walter, D.;  Schröder, L.;  Mossakowski, T. 

Parametrized exceptions
In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 424-438, ISSN 03029743

Krieg-Brückner, B.;  Frese, U.;  Lüttich, K.;  Mandel, C.;  Mossakowski, T.;  Ross, R.J. 

Specification of an ontology for Route Graphs
In: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3343, 2005, S. 390-412, ISSN 03029743

Hausmann, D.;  Mossakowski, T.;  Schröder, L. 

Towards a coalgebraic semantics of the ambient calculus
In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 232-246, ISSN 03029743

Schröder, L.;  Mossakowski, T.;  Lüth, C. 

Type class polymorphism in an institutional framework
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 234-251, ISSN 03029743

Mossakowski, T.;  Goguen, J.;  Diaconescu, R.;  Tarlecki, A. 

What is a logic?
In: Logica Universalis: Towards a General Theory of Logic, 2005, S. 113-133, 10.1007/3-7643-7304-0_7

Originalartikel in begutachteter internationaler Zeitschrift
Schröder, L.;  Mossakowski, T.;  Tarlecki, A.;  Klin, B.;  Hoffman, P. 

Amalgamation in the semantics of CASL
In: Theoretical Computer Science, Vol. 331, 2005, Issue 1, S. 215-247, ISSN 03043975, 10.1016/j.tcs.2004.09.037

2004

Anderes Material
Schröder, L.;  Mossakowski, T. 

Generic exception handling and the java monad
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3116, 2004, S. 443-459, ISSN 03029743

Originalartikel in begutachteter internationaler Zeitschrift
Schröder, L.;  Mossakowski, T. 

Monad-independent dynamic logic in HasCASL
In: Journal of Logic and Computation, Vol. 14, 2004, Issue 4, S. 571-619, ISSN 0955792X, 10.1093/logcom/14.4.571

2003

Anderes Material
Mossakowski, T.;  Reichel, H.;  Roggenbach, M.;  Schröder, L. 

Algebraic-coalgebraic specification in CoCASL
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2755, 2003, S. 376-392, ISSN 03029743

Buchbeitrag
Hoffmann, K.;  Mossakowski, T. 

Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, Issue 2755, S. 253-267, ISSN 03029743

Mossakowski, T.;  Roggenbach, M.;  Schröder, L. 

COCASL at work - Modelling process algebra
In: Electronic Notes in Theoretical Computer Science, Vol. 82, 2003, Issue 1, S. 211-225, ISSN 15710661, 10.1016/S1571-0661(04)80640-6

Mossakowski, T. 

Foundations of Heterogeneous Specification
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, Issue 2755, S. 359-375, ISSN 03029743

Schröder, L.;  Mossakowski, T. 

Monad-independent Hoare logic in HASCASL
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2621, 2003, S. 261-277, ISSN 03029743

Schröder, L.;  Mossakowski, T. 

Monad-independent dynamic logic in HASCASL
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2755, 2003, S. 425-441, ISSN 03029743

Originalartikel in begutachteter internationaler Zeitschrift
Mossakowski, T.;  Haxthausen, A.E.;  Sannella, D.;  Tarlecki, A. 

CASL - The common algebraic specification language: Semantics and proof theory
In: Computing and Informatics, Vol. 22, 2003, Issue 3-4, S. 285-321, ISSN 13359150

2002

Buchbeitrag
Mossakowski, T.;  Klin, B. 

Institution independent static analysis for CASL
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2267 LNCS, 2002, S. 221-237, ISSN 03029743

Originalartikel in begutachteter internationaler Zeitschrift
Mossakowski, T. 

Relating CASL with other specification languages: The institution level
In: Theoretical Computer Science, Vol. 286, 2002, Issue 2, S. 367-475, ISSN 03043975, 10.1016/S0304-3975(01)00369-3

2001

Buchbeitrag
Schröder, L.;  Mossakowski, T.;  Tarlecki, A. 

Amalgamation in casl via enriched signatures
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2076 LNCS, 2001, S. 993-1004, ISSN 03029743

2000

Buchbeitrag
Mossakowski, T. 

CASL: From semantics to tools
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1785 LNCS, 2000, S. 93-108, ISSN 03029743

Kooperationen
  • Aristotelio Panepistimio Thessalonikis, Griechenland
  • Universität Osnabrück, Deutschland
  • The University of Edinburgh, Großbritannien
  • University of Dundee, Großbritannien
  • Agencia Estatal Consejo Superior de Investigaciones Cientificas, Spanien
  • Goldsmiths&180;College London, Großbritannien
  • Reiner Lemoine-Institut Berlin, Next Energy - EWE-Forschungszentrum für Energietechnologie e. V., Oldenburg, Zentrum für nachhaltige Energiesysteme, Flensburg
  • Helmholtz-Zentrum Geesthacht
  • open_eGo
  • Die kooperation
Profil
Die Schwerpunkte meiner Forschungstätigkeit liegen in den Bereichen:

  • Heterogene formale Methoden der Softwaretechnik
  • Formale Modelle der Begriffsbildung
  • Verteilte heterogene Ontologien, Modelle und Spezifikationen
Service
Beratung zu:
  • formale Methoden der Softwaretechnik, Modellierung mit UML
  • Ontologische Modellierung
Vita
1986Abitur
1987 - 1989Zivildienst beim Deutschen Paritätischen Wohlfahrtsverband
1986 - 1992Studium der Informatik an der Universität Bremen
1989-1992Förderung durch die Studienstiftung des deutschen Volkes
1992Diplom, Note "sehr gut"
1993 - 1996Promotionsstipendium der Studienstiftung des deutschen Volkes
1996Promotion, Prädikat "summa cum laude"
1996 - 2000Postdoktorandenstipendium der Universität Bremen bei Prof. Dr. Hans-Jörg Kreowski
2000 - 2002wissenschaftlicher Mitarbeiter der Universität Bremen, formale Methoden der Softwaretechnik
2002 - 2005wissenschaftlicher Assistent der Universität Bremen, formale Methoden der Softwaretechnik
2005Habilitation
2008 - 2009Vertretungsprofessur (für Prof. Dr. Bernhard Nebel) an der Albert-Ludwigs-Universität Freiburg
2011Verleihung der Bezeichnung Professor durch die Universität Bremen
2006 - 2013Senior Researcher am Deutschen Forschungszentrum für künstliche Intelligenz GmbH
2013Ruf auf die Professur "Kognitive Systeme" der Friedrich-Alexander-Universität Erlangen-Nürnberg (abgelehnt)
seit Oktober 2013Professor für theoretische Informatik, Otto-von-Guericke Universität Magdeburg
Presse
Komplexe Systeme modular aufzubauen, hat viele Vorteile: von der Verständlichkeit über Wartbarkeit bis hin zur besser möglichen Arbeitsteilung. Module können wiederverwendet werden, aber auch auf verschiedene Weise kombiniert werden. Diese Techniken und entsprechende Software-Unterstützung können in verschiedenen Bereichen Anwendung finden. In der Software-Spezifikation beispielsweise geht es um die Entwicklung von sicherer und korrekter Software. Bei der ontologischen Modellierung werden Begriffssysteme aufgebaut, die zur Repräsentation und Verarbeitung von Wissen in verschiedenen Anwendungsgebieten dienen. Und die Rolle von Modularität in Begriffsbildung und Kreativität erforschen die AG Theoretische Informatik gemeinsam mit internationalen Partnern in einem von der EU geförderten Projekt.

Letzte Änderung: 28.08.2017 - Ansprechpartner:

Sie können eine Nachricht versenden an: Webmaster
Sicherheitsabfrage:
Captcha
 
Lösung: