Extending OWL2 Manchester syntax to include missing features fromOWL2 abstract syntax

Gehrke, Björn; Mossakowski, Till

In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen, Bd. 3515 (2023), insges. 9 S.

Publikationslink

Ontology pre-training for poison prediction

Glauer, Martin; Neuhaus, Fabian; Mossakowski, Till; Hastings, Janna

In: KI 2023: Advances in Artificial Intelligence , 1st ed. 2023. - Cham : Springer Nature Switzerland ; Seipel, Dietmar, S. 31-45 - ( Lecture notes in computer science; volume 14236)

Publikationslink

Neuro-Symbolic Semantic Learning for Chemistry

Glauer, Martin; Mossakowski, Till; Neuhaus, Fabian; Memariani, Adel; Hastings, Janna

In: Compendium of Neurosymbolic Artificial Intelligence - Amsterdam : IOS Press . - 2023, S. 460-484, Artikel 21 - (Frontiers in artificial intelligence and applications; volume 369)

Publikationslink

Using the diagrammatic image schema language for joint human-machine cognition

Mossakowski, Till; Hedblom, Maria M.; Neuhaus, Fabian; Arévalo Arboleda, Stephanie; Raake, Alexander

In: Engineering for a changing world - Ilmenau : Technische Universität Ilmenau, Department of Mechanical Engineering ; Sattler, Kai-Uwe *1968-* . - 2023, S. 1-5, Artikel 5.1.133

Publikationslink

Interpretable ontology extension in chemistry

Glauer, Martin; Memariani, Adel; Neuhaus, Fabian; Mossakowski, Till; Hastings, Janna

In: Semantic web - Amsterdam : IOS Press . - 2023, insges. 22 S.

Publikationslink

Modular design patterns for neural-symbolic integration - refinement and combination

Mossakowski, Till

In: CEUR workshop proceedings - Aachen, Germany: RWTH Aachen, Bd. 3212 (2022), insges. 10 S.

Publikationslink

Automated and explainable ontology extension based on deep learning - a case study in the chemical domain

Memarian, Adel; Glauer, Martin; Neuhaus, Fabian; Mossakowski, Till; Hastings, Janna

In: DAO-XAI 2021, Data meets Applied Ontologies in Explainable AI/ DAO-XAI - [Aachen, Germany]: [RWTH Aachen]; Confalonieri, Roberto . - 2021, insges. 15 S.

Publikationslink

Generic ontology design patterns - roles and change over time

Krieg-Brückner, Bernd; Mossakowski, Till; Codescu, Mihai

In: Advances in Pattern-Based Ontology Engineering/ Blomqvist - [Erscheinungsort nicht ermittelbar]: IOS Press, Incorporated; Blomqvist, E. . - 2021, S. 25-47 - (Studies on the Semantic Web; Volume 51)

Publikationslink

Learning chemistry - exploring the suitability of machine learning for the task of structure-based chemical ontology classification

Hastings, Janna; Glauer, Martin; Memariani, Adel; Neuhaus, Fabian; Mossakowski, Till

In: Journal of cheminformatics - London: BioMed Central, Bd. 13 (2021), Artikel 23, insges. 20 S.

Publikationslink

Introducing the Open Energy Ontology - enhancing data interpretation and interfacing in energy systems analysis

Booshehri, Meisam; Emele, Lukas; Flügel, Simon; Förster, Hannah; Frey, Johannes; Frey, Ulrich; Glauer, Martin; Hastings, Janna; Hofmann, Christian; Hoyer-Klick, Carsten; Hülk, Ludwig; Kleinau, Anna; Knosala, Kevin; Kotzur, Leander; Kuckertz, Patrick; Mossakowski, Till; Muschner, Christoph; Neuhaus, Fabian; Pehl, Michaja; Robinius, Martin; Sehn, Vera; Stappel, Mirjam

In: Energy and AI - Amsterdam: Elsevier ScienceDirect, Bd. 5 (2021), insges. 14 S.

Publikationslink

Substitute selection for a missing tool using robot-centric conceptual knowledge of objects

Thosar, Madhura; Mueller, Christian A.; Jaeger, Georg; Pfingsthorn, Max; Beetz, Michael; Zug, Sebastian; Mossakowski, Till

In: The 35th Annual ACM Symposium on Applied Computing: Brno, Czech Republic, March 30-April 3, 2020/ Annual ACM Symposium on Applied Computing - New York, NY: Association for Computing Machinery, 2020; Hung, Chih-Cheng . - 2020, S. 972-979[Symposium: 35th ACM/SIGAPP Symposium on Applied Computing, Brno Czech Republic, March, 2020]

Publikationslink

JOWO 2020: the Joint Ontology Workshops - proceedings of the Joint Ontology Workshops, co-located with the Bolzano Summer of Knowledge (BOSK 2020) : virtual & Bozen-Bolzano, Italy, August 31st to October 7th, 2020

Hammar, Karl; Kutz, Oliver; Dimou, Anastasia; Hahmann, Torsten; Hoehndorf, Robert; Masolo, Claudio; Vita, Randi; Ben Abbès, Sarra; Calvez, Philippe; Hantach, Rim; Sales, Tiago Prince; Porello, Daniele; Beßler, Daniel; Borgo, Stefano; Diab, Mohammed; Gangemi, Aldo; Olivares-Alarcos, Alberto; Pomarlan, Mihai; Porzel, Robert; Skjæveland, Martin G.; Lupp, Daniel P.; Horrocks, Ian; Klüwer, Johan W.; Kindermann, Christian; Bozzato, Loris; Mossakowski, Till; Serafini, Luciano

In: [Aachen, Germany]: [RWTH Aachen], 2020, 1 Online-Ressource, Illustrationen - (CEUR workshop proceedings; vol-2708)Kongress: JOWO 6 (Online : 2020.08.31-10.07)

Publikationslink

Generic ontology design patterns - roles and change over time

Krieg-Brückner, Bernd; Mossakowski, Till; Codescu, Mihai

In: De.arxiv.org - [S.l.]: Arxiv.org, 2020, article 2011.09353, 23 Seiten

Publikationslink

Extensions of generic DOL for generic ontology design patterns

Codescu, Mihai; Krieg-Brückner, Bernd; Mossakowski, Till

In: CEUR workshop proceedings - Aachen, Germany: RWTH Aachen, 1995, Volume 2518 (2019), paper WOMOCOE1, insgesamt 12 Seiten[Workshop: 4th International Workshop on Ontology Modularity, Contextuality, and Evolution, WOMoCoE, Graz, Austria, 2019]

Publikationslink

Generic ontology design patterns at work

Krieg-Brückner, Bernd; Mossakowski, Till

In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen - Volume 2518 (2019), paper BOG2, insgesamt 13 Seiten

Publikationslink

Institutions for SQL database schemas and datasets

Glauer, Martin; Mossakowski, Till

In: Recent Trends in Algebraic Development Techniques - Cham: Springer, 2019; Fiadeiro, José Luiz . - 2019, S. 67-86 - (Lecture Notes in Computer Science; volume 11563)[Workshop: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018]

Publikationslink

Towards fuzzy neural conceptors

Mossakowski, Till; Diaconescu, Razvan; Glauer, Martin

In: Journal of applied logics - IfCoLoG journal of logics and their applications - London: College Publications, Bd. 6 (2019), 4, S. 725-744

Publikationslink

WOMoCoE - 4th International Workshop on Ontology Modularity, Contextuality, and Evolution

Borgo, Stefano; Bozzato, Loris; Mossakowski, Till; Zimmermann, Antoine

In: CEUR workshop proceedings - Aachen, Germany: RWTH Aachen, 1995, Bd. 2518.2019

Publikationslink

Multi-view consistency in UML - a survey

Knapp, Alexander; Mossakowski, Till

In: Graph Transformation, Specifications, and Nets: in memory of Hartmut Ehrig - Cham: Springer International Publishing, 2018 . - 2018, S. 37-60 - (Lecture Notes in Computer Science; 10800)

Publikationslink

Conceptual blending in DOL - evaluating consistency and conflict resolution

Codescu, Mihai; Neuhaus, Fabian; Mossakowski, Till; Kutz, Oliver; Jesús Gómez-Ramírez, Danny

In: Concept Invention: Foundations, Implementation, Social Aspects and Applications - Cham: Springer International Publishing, 2018 . - 2018, S. 99-132

Publikationslink

Partial pushout semantics of generics in DOL

Mossakowski, Till; Krieg-Brückner, Bernd

In: Theoretical computer science: the journal of the EATCS - Amsterdam [u.a.]: Elsevier, 1975, Bd. 741.2018, S. 58-70

Publikationslink

MedRACER+WOMoCoE 2018 - joint proceedings of MedRACER and WOMoCoE 2018 : proceedings of the joint proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) : Tempe, Arizona, USA, October 29th, 2018

Cyras, Kristijonas; Oliveira, Tiago; Williams, Matthew; Bozzato, Loris; Homola, Martin; Mossakowski, Till; Zimmermann, Antoine

In: Aachen, Germany: RWTH Aachen, 2018, 1 Online Ressource, Illustrationen - (CEUR workshop proceedings; vol-2237)Kongress: MedRACER 3 (Tempe, Ariz. : 2018.10.29)

Publikationslink

Modular semantics and characteristics for bipolar weighted argumentation graphs

Mossakowski, Till; Neuhaus, Fabian

In: De.arxiv.org - [S.l.]: Arxiv.org, 1991 . - 2018

Publikationslink

The Distributed Ontology, Model and Specification Language - DOL

Mossakowski, Till

In: Recent Trends in Algebraic Development Techniques - Cham : Springer International Publishing ; James, Phillip . - 2017, S. 5-10 - (Lecture Notes in Computer Science; 10644)

Publikationslink

Canonical selection of colimits

Mossakowski, Till; Rabe, Florian; Codescu, Mihai

In: Recent Trends in Algebraic Development Techniques - Cham : Springer International Publishing ; James, Phillip . - 2017, S. 170-188 - (Lecture Notes in Computer Science; 10644)

Publikationslink

Between contact and support - introducing a logic for image schemas and directed movement

Hedblom, Maria M.; Kutz, Oliver; Mossakowski, Till; Neuhaus, Fabian

In: AI*IA 2017 Advances in Artificial Intelligence - Cham: Springer, 2017 . - 2017, S. 256-268 - (Lecture Notes in Computer Science; 10640)[Konferenz: 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, Bari, Italy, November 14-17, 2017]

Publikationslink

Web-retrieval supported argument space exploration

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

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[Kongress: 2017 Conference on Conference Human Information Interaction and Retrieval : Oslo, Norway, March 07 - 11, 2017]

Publikationslink

UML interactions meet state machines - an institutional approach

Knapp, Alexander; Mossakowski, Till

In: 7th Conference on Algebra and Coalgebra in Computer Science: CALCO 2017, June 14-16, 2017, Ljubljana, Slovenia - Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2017, S. 15.1-15.15, ingesamt 15 S. - (Leibniz international proceedings in informatics; Vol. 72)[Konferenz: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO17, Ljubljana, Slovenia, June 12-16, 2017]

Publikationslink

The Distributed Ontology, Model and Specification Language DOL

Mossakowski, Till

In: Recent Trends in Algebraic Development Techniques, Springer International Publishing, 2017, S. 5-10, Lecture Notes in Computer Science

Publikationslink

Relations between spatial calculi about directions and orientations

Mossakowski, Till; Moratz, Reinhard

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[Konferenz: 26th International Joint Conference on Artificial Intelligence, IJCAI-17, Melbourne, Australia, 19-25 August 2017]

Publikationslink

A survey of qualitative spatial and temporal calculi - algebraic and computational properties

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

In: ACM computing surveys: CSUR - New York, NY: Association for Computing Machinery, Vol. 50.2017, 1, Art. 7, insgesamt 39 S.

Publikationslink

A categorical approach to networks of aligned ontologies

Codescu, Mihai; Mossakowski, Till; Kutz, Oliver

In: Journal on data semantics: JoDS - Berlin: Springer, insges. 43 S., 2017

Publikationslink

Ontohub - a semantic repository engine for heterogeneous ontologies

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

In: Applied ontology: an interdisciplinary journal of ontological analysis and conceptual modeling - Amsterdam: IOS Press, Bd. 12.2017, 3/4, S. 275-298

Publikationslink

Specification refinements - calculi, tools, and applications

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

In: Science of computer programming: methods of software design: techniques and applications - Amsterdam [u.a.]: Elsevier Science, Bd. 144.2017, S. 1-49

Publikationslink

Institutions for database schemas and datasets

Glauer, Martin; Mossakowski, Till

In: CALCO Early Ideas 2017$a satellite workshop of CALCO 2017: satellite workshop of CALCO 2017 - Ljubljana, 2017, S. 6:1-6:3[Workshop: CALCO Early Ideas 2017, Ljubljana, 14-16 June 2017]

Publikationslink

Prover-independent axiom selection for automated theorem proving in Ontohub

Kuksa, Eugen; Mossakowski, Till

In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1635.2016, S. 56-68

Publikationslink

Ontohub - version control, linked data and theorem proving for ontologies

Kuksa, Eugen; Mossakowski, Till

In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1660.2016, insges. 5 S.[Kongress: Joint Ontology Workshops 2016, Annecy, France, July 69, 2016]

Publikationslink

RESTful encapsulation of OWL API

Dirsumilli, R.; Mossakowski, Till

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]

Ontology patterns with DOWL - the case of blending

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

In: CEUR workshop proceedings - Aachen : RWTH , 1995, Bd. 1577.2016, insges. 13 S. [Kongress: 29th International Workshop on Description Logics, DL 2016, Cape Town, South Africa, April 22-25, 2016]

Heterogeneous verification in the context of model driven engineering

Calegari, Daniel; Mossakowski, Till; Szasz, Nora

In: Science of computer programming: methods of software design: techniques and applications - Amsterdam [u.a.]: Elsevier Science, Bd. 126.2016, S. 3-30[Selected Papers from the 17th Brazilian Symposium on Formal Methods (SBMF 2014)]

Publikationslink

Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules : decidable finite extension classes

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

In: Semantic web - Amsterdam : IOS Press, Bd. 7.2016, 1, S. 25-61

Publikationslink

JOWO 2016 - the Joint Ontology Workshops : episode 2 - the French summer : CAOS, Onto.Com, NSWO, WOMoCoE, Ontology Competition, Demos, Early Career Symposium : held at the 9th International Conference on Formal Ontology in Information Systems - FOIS 2016 : July 6-9, 2016, Annecy, France

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

In: Aachen: RWTH Aachen, 2016, 1 Online-Ressource, Illustrationen - (CEUR workshop proceedings; vol-1660) Kongress: International Conference on Formal Ontology in Information Systems (FOIS) 9 Annecy 2016.07.06-09 [Literaturangaben]

A survey of qualitative spatial and temporal calculi-algebraic and computational properties

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

In: De.arxiv.org - [S.l.]: Arxiv.org, insges. 55 S., 2016

Publikationslink

Bipolar weighted argumentation graphs

Mossakowski, Till; Neuhaus, Fabian

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

Publikationslink

Multi-view consistency in UML

Knapp, Alexander; Mossakowski, Till

In: De.arxiv.org. - [S.l.] : Arxiv.org, insges. 23 S., 2016

Publikationslink

Model-driven engineering in the heterogeneous tool set

Calegari, Daniel; Mossakowski, Till; Szasz, Nora

In: Formal methods: foundations and applications: 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 - October 1, 2014 ; proceedings - Cham [u.a.]: Springer, S. 64-79, 2015 - (Lecture Notes in Computer Science; 8941)

Publikationslink

E pluribus unum - formalisation, use-cases, and computational support for conceptual blending

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

In: Computational Creativity Research: Towards Creative Machines - Paris : Atlantis Press , 2015 ; Besold, Tarek R., S. 167-196 - (Atlantis Thinking Machines; 7)

Publikationslink

An institution for simple UML state machines

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

In: Fundamental Approaches to Software Engineering / Egyed , Alexander - Berlin, Heidelberg : Springer . - 2015, S. 3-18 - (Lecture Notes in Computer Science; 9033) Kongress: FASE 18 London, UK 2015.04.11-18

Publikationslink

Towards an institutional framework for heterogeneous formal development in UML - a position paper

Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus

In: Software, Services, and Systems / Nicola , Rocco - Cham [u.a.] : Springer ; Nicola, Rocco . - 2015, S. 215-230 - (Lecture Notes in Computer Science; 8950)

Publikationslink

The distributed ontology, modeling, and specification language - DOL

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

In: The Road to Universal Logic - Cham : Birkhäuser , 2015, S. 489-520

Publikationslink

Modularity of ontologies in an arbitrary institution

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

In: Logic, Rewriting, and Concurrency , 1st ed. 2015 - Cham [u.a.] : Springer, S. 361-379 - (Lecture notes in computer science; 9200)

Publikationslink

What is a derived signature morphism?

Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom

In: Recent Trends in Algebraic Development Techniques , 1st ed. 2015 - [Cham] : Springer ; Codescu, Mihai, S. 90-109 - (Lecture notes in computer science; 9463) Kongress: WADT 22 Sinaia 2014.09.04-07

Publikationslink

Relations between spatial calculi about directions and orientations

Mossakowski, Till; Moratz, Reinhard

In: Journal of artificial intelligence research: JAIR : an international electronic and print journal - [S.l.] ]: AI Access Found, Bd. 54.2015, S. 277-308

Publikationslink

Blending in the hub - towards a collaborative concept invention platform

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

In: Proceedings of the Fifth International Conference on Computational Creativity, ICCC-2014, June 10-13, 2014, Ljubljana, Slovenia / International Conference on Computational Creativity , 2014 - Ljubljana, Slovenia : Jožef Stefan Institute , 2014, insges. 9 S. Kongress: International Conference on Computational Creativity 5 Ljubljana, Slovenia 2014.06.09-13

Publikationslink

Ontohub - a semantic repository for heterogeneous ontologies

Mossakowski, Till; Kutz, Oliver; Codescu, Mihai

In: ICTAC 2014 associated workshop: Theory Day in Computer Science: Buchaest, September 15-16, 2014 - BucharestKongress: Workshop Theory Day in Computer Science : (Bucharest) : 2014.09.15-16

Publikationslink

A relatively complete calculus for structured heterogeneous specifications

Mossakowski, Till; Tarlecki, Andrzej

In: Foundations of software science and computation structures: 17th international conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings - Berlin [u.a.]: Springer, S. 441-456 - (Lecture notes in computer science; 8412)Kongress: FOSSACS 17 (Grenoble : 2014.04.08-11)

Publikationslink

A categorical approach to ontology alignment

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

In: CEUR Workshop Proceedings, Vol. 1317, 2014, S. 1-12, ISSN 16130073

Publikationslink

A categorical approach to ontology alignment

Codescu, Mihai; Mossakowski, Till; Kutz, Oliver

In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1317/2014, S. 1-12Kongress: International Workshop on Ontology Matching 9 (Trentino, Italy : 2014.10.20)

Publikationslink

Parchments for CafeOBJ logics

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

In: Specification, algebra, and software: essays dedicated to Kokichi Futatsugi - Berlin [u.a.]: Springer, S. 66-91, 2014 - (Lecture notes in computer science; 8373)

Publikationslink

Space for space - SpacePortal: the 21st Century Home for Spatial Ontologies

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

In: Spatial Cognition 2014: poster presentations - Bremen [u.a.]: Univ. [u.a.], S. 13-16

Publikationslink

Fabricating monsters is hard - towards the automation of conceptual blending

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

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)Kongress: International Workshop Computational Creativity, Concept Invention, and General Intelligence 3 (Prague : 2014.08.19)

Publikationslink

Proof support for common logic

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

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.Kongress: ARQNL 2014 1 (Vienna, Austria : 2014.07.23)

Publikationslink

Compiling logics

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

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

Publikationslink

Mastering left and right-different approaches to a problem that is not straight forward

Delden, André; Mossakowski, Till

In: KI 2013: Advances in Artificial Intelligence / Timm , Ingo J. - Berlin, Heidelberg : Springer ; Timm, Ingo J., S. 248-259 - (Lecture notes in computer science; 8077) Kongress: KI 36 Koblenz 2013.09.16-20

Publikationslink

Checking conservativity with Hets

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

In: Algebra and Coalgebra in Computer Science / Heckel , Reiko - Berlin, Heidelberg : Springer ; Heckel, Reiko . - 2013, S. 315-321 - (Lecture notes in computer science; 8089) Kongress: CALCO 5 Warsaw 2013.09.03-06

Publikationslink

Three semantics for the core of the distributed ontology language

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

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.] , 2013, S. 3027-3031 Kongress: IJCAI 23 Beijing 2013.08.03-09

A qualitative comparison of the suitability of four theorem provers for basic auction theory

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

In: Intelligent Computer Mathematics / Carette , Jacques - Berlin, Heidelberg : Springer ; Carette, Jacques . - 2013, S. 200-215 - (Lecture notes in computer science; 7961) Kongress: MKM 12 Bath 2013.07.08-12

Publikationslink

Designing domain specific languages - a craftsman's approach for the railway domain using CASL

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

In: Recent Trends in Algebraic Development Techniques / Martí-Oliet , Narciso - Berlin, Heidelberg : Springer . - 2013, S. 178-194 - (Lecture notes in computer science; 7841) Kongress: WADT 21 Salamanca 2012.06.07-10

Publikationslink

Algebraic properties of qualitative spatio-temporal calculi

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

In: Spatial Information Theory / Tenbrink , Thora - Cham [u.a.] : Springer ; Tenbrink, Thora *1969-* . - 2013, S. 516-536 - (Lecture notes in computer science; 8116) Kongress: COSIT 11 Scarborough 2013.09.02-06

Publikationslink

Semantics of the distributed ontology language: Institutes and institutions

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

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

Publikationslink

The distributed ontology, modeling and specification language

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

In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen , 1995, Bd. 1081.2013, insges. 21 S. Kongress: International Workshop on Modular Ontologies 7 Corunna, Spain 2013.09.15

Publikationslink

The Institution-Theoretic Scope of Logic Theorems

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

In: Logica Universalis, Vol. 8, 2013, Issue 3-4, S. 393-406, ISSN 16618297, 10.1007/s11787-013-0093-x

Publikationslink

Compositional modelling and reasoning in an institution for processes and data

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

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

Publikationslink

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

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

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

Publikationslink

A proof theoretic interpretation of model theoretic hiding

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

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

Publikationslink

Towards logical frameworks in the heterogeneous tool set hets

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

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

Publikationslink

The distributed ontology language (DOL): Ontology integration and interoperability applied to mathematical formalization

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

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

Publikationslink

Modelling highly symmetrical molecules: Linking ontologies and graphs

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

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

Publikationslink

The distributed ontology language (DOL): Use cases, syntax, and extensibility

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

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

Publikationslink

Ontology-based route planning for OpenStreetMap

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

In: CEUR Workshop Proceedings, Vol. 901, 2012, S. 62-73, ISSN 16130073

Publikationslink

Intuitive and natural interfaces for geospatial data classification

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

In: CEUR Workshop Proceedings, Vol. 881, 2012, S. 26-32, ISSN 16130073

Publikationslink

LoLa: A modular ontology of logics, languages, and translations

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

In: CEUR Workshop Proceedings, Vol. 875, 2012, S. 51-60, ISSN 16130073

Publikationslink

Qualitative reasoning about relative direction of oriented points

Mossakowski, T.; Moratz, R.

In: Artificial Intelligence, Vol. 180-181, 2012, S. 34-45, ISSN 00043702, 10.1016/j.artint.2011.10.003

Publikationslink

Refinement trees: Calculi, tools, and applications

Codescu, M.; Mossakowski, T.

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

Publikationslink

The onto-logical translation graph

Mossakowski, T.; Kutz, O.

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

Publikationslink

Project abstract: Logic atlas and integrator (LATIN)

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

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

Publikationslink

DO-ROAM: Activity-oriented search and navigation with OpenStreetMap

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

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

Publikationslink

Integrating Maude into hets

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

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

Publikationslink

A modular consistency proof for DOLCE

Kutz, O.; Mossakowski, T.

In: Proceedings of the National Conference on Artificial Intelligence, Vol. 1, 2011, S. 227-234

Publikationslink

Hyperontology for the biomedical ontologist: A sketch and some examples

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

In: CEUR Workshop Proceedings, Vol. 833, 2011, S. 399-408, ISSN 16130073

Publikationslink

A condensed semantics for qualitative spatial reasoning about oriented straight line segments

Moratz, R.; Lücke, D.; Mossakowski, T.

In: Artificial Intelligence, Vol. 175, 2011, Issue 16-17, S. 2099-2127, ISSN 00043702, 10.1016/j.artint.2011.07.004

Publikationslink

A much better polynomial time approximation of consistency in the ℒℛ calculus

Lücke, D.; Mossakowski, T.

In: Frontiers in Artificial Intelligence and Applications, Vol. 222, 2010, S. 175-185, ISSN 09226389, 10.3233/978-1-60750-676-8-175

Publikationslink

Change management for heterogeneous development graphs

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

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

Publikationslink

Chinese whispers and connected alignments

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

In: CEUR Workshop Proceedings, Vol. 689, 2010, S. 25-36, ISSN 16130073

Publikationslink

Towards ontological blending

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

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

Publikationslink

Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design

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

In: Logica Universalis, Vol. 4, 2010, Issue 2, S. 255-333, ISSN 16618297, 10.1007/s11787-010-0020-3

Publikationslink

A generic complete dynamic logic for reasoning about purity and effects

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

In: Formal Aspects of Computing, Vol. 22, 2010, Issue 3-4, S. 363-384, ISSN 09345043, 10.1007/s00165-010-0153-4

Publikationslink

The OWL in the CASL designing ontologies across logics

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

In: CEUR Workshop Proceedings, Vol. 432, 2009, ISSN 16130073

Publikationslink

The VSE refinement method in HETS

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

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

Publikationslink

Heterogeneous logical environments for distributed specifications

Mossakowski, T.; Tarlecki, A.

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

Publikationslink

Kleene monads: Handling iteration in a framework of generic effects

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

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

Publikationslink

What is a logic translation?

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

In: Logica Universalis, Vol. 3, 2009, Issue 1, S. 95-124, ISSN 16618297, 10.1007/s11787-009-0005-2

Publikationslink

HasCasl: Integrated higher-order specification and program development

Schröder, L.; Mossakowski, T.

In: Theoretical Computer Science, Vol. 410, 2009, Issue 12-13, S. 1217-1260, ISSN 03043975, 10.1016/j.tcs.2008.11.020

Publikationslink

Shapes of alignments construction, combination, and computation

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

In: CEUR Workshop Proceedings, Vol. 348, 2008, S. 30-43, ISSN 16130073

Publikationslink

Qualitative reasoning about convex relations

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

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

Publikationslink

Heterogeneous colimits

Codescu, M.; Mossakowski, T.

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

Publikationslink

A generic complete dynamic logic for reasoning about purity and effects

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

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

Publikationslink

Qualitative constraint calculi: Heterogeneous verification of composition tables

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

In: Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007, 2007, S. 665-670

Publikationslink

Structured CSP - A process algebra as an institution

Mossakowski, T.; Roggenbach, M.

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

Publikationslink

The heterogeneous tool set

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

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

Publikationslink

What is a logic?

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

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

Publikationslink

Reasoning support for CASL with automated theorem proving systems

Lüttich, K.; Mossakowski, T.

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

Publikationslink

Coalgebraic modal logic in COCASL

Schröder, L.; Mossakowski, T.

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

Publikationslink

Modules in transition conservativity, composition, and colimits

Kutz, O.; Mossakowski, T.

In: CEUR Workshop Proceedings, Vol. 315, 2007, S. 15P, ISSN 16130073

Publikationslink

The heterogeneous tool set, HETS

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

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

Publikationslink

Ontological modularity and spatial diversity

Bateman, J.; Borgo, S.; Lüttich, K.; Masolo, C.; Mossakowski, T.

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

Publikationslink

Institutional 2-cells and Grothendieck institutions

Mossakowski, T.

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

Publikationslink

Completeness of global evaluation logic

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

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

Publikationslink

Monad-based logics for computational effects

Mossakowski, T.

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

Publikationslink

A coalgebraic approach to the semantics of the ambient calculus

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

In: Theoretical Computer Science, Vol. 366, 2006, Issue 1-2, S. 121-143, ISSN 03043975, 10.1016/j.tcs.2006.07.006

Publikationslink

Development graphs - Proof management for structured specifications

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

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

Publikationslink

Algebraic-coalgebraic specification in CoCasl

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

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

Publikationslink

Specification of an ontology for Route Graphs

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

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

Publikationslink

Towards a coalgebraic semantics of the ambient calculus

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

In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 232-246, ISSN 03029743

Publikationslink

What is a logic?

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

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

Publikationslink

CASL specifications of qualitative calculi

Wölfl, S.; Mossakowski, T.

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

Publikationslink

Parametrized exceptions

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

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

Publikationslink

Higher-order nets for mobile policies

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

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

Publikationslink

A simple refinement language for CASL

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

In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 162-185, ISSN 03029743

Publikationslink

Ontologies for the semantic Web in CASL

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

In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 106-125, ISSN 03029743

Publikationslink

Type class polymorphism in an institutional framework

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

In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 234-251, ISSN 03029743

Publikationslink

Iterative circular coinduction for CoCASL in Isabelle/HOL

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

In: Lecture Notes in Computer Science, Vol. 3442, 2005, S. 341-356, ISSN 03029743

Publikationslink

High-Level nets with nets and rules as tokens

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

In: Lecture Notes in Computer Science, Vol. 3536, 2005, S. 268-288, ISSN 03029743

Publikationslink

Amalgamation in the semantics of CASL

Schröder, L.; Mossakowski, T.; Tarlecki, A.; Klin, B.; Hoffman, P.

In: Theoretical Computer Science, Vol. 331, 2005, Issue 1, S. 215-247, ISSN 03043975, 10.1016/j.tcs.2004.09.037

Publikationslink

Generic exception handling and the java monad

Schröder, L.; Mossakowski, T.

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

Publikationslink

Monad-independent dynamic logic in HasCASL

Schröder, L.; Mossakowski, T.

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

Publikationslink

Algebraic-coalgebraic specification in CoCASL

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

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

Publikationslink

Monad-independent Hoare logic in HASCASL

Schröder, L.; Mossakowski, T.

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

Publikationslink

Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens

Hoffmann, K.; Mossakowski, T.

In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, Issue 2755, S. 253-267, ISSN 03029743

Publikationslink

Foundations of Heterogeneous Specification

Mossakowski, T.

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

Publikationslink

COCASL at work - Modelling process algebra

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

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

Publikationslink

Monad-independent dynamic logic in HASCASL

Schröder, L.; Mossakowski, T.

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

Publikationslink

CASL - The common algebraic specification language: Semantics and proof theory

Mossakowski, T.; Haxthausen, A.E.; Sannella, D.; Tarlecki, A.

In: Computing and Informatics, Vol. 22, 2003, Issue 3-4, S. 285-321, ISSN 13359150

Publikationslink

Institution independent static analysis for CASL

Mossakowski, T.; Klin, B.

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

Publikationslink

Relating CASL with other specification languages: The institution level

Mossakowski, T.

In: Theoretical Computer Science, Vol. 286, 2002, Issue 2, S. 367-475, ISSN 03043975, 10.1016/S0304-3975(01)00369-3

Publikationslink

Amalgamation in casl via enriched signatures

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

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

Publikationslink

CASL: From semantics to tools

Mossakowski, T.

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

Publikationslink