Some modifications of auxiliary pushdown automata. - Gerhard Buntrock; Frank Drewes; Clemens Lautemann; Till Mossakowski (RAIRO Theor. Informatics Appl., 1991)

Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. - Till Mossakowski (AMAST, 1993)

A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. - Till Mossakowski (COMPASS/ADT, 1994)

Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. - Till Mossakowski (COMPASS/ADT, 1995)

Equivalences among Various Logical Frameworks of Partial Algebras. - Till Mossakowski (CSL, 1995)

Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. - Hans-Jörg Kreowski; Till Mossakowski (Math. Struct. Comput. Sci., 1995)

Different Types of Arrow Between Logical Frameworks. - Till Mossakowski (ICALP, 1996)

Permissive Subsorted Partial Logic in CASL. - Maura Cerioli; Anne E. Haxthausen; Bernd Krieg-Brückner; Till Mossakowski (AMAST, 1997)

Combining and Representing Logical Systems. - Till Mossakowski; Andrzej Tarlecki; Wieslaw Pawlowski (Category Theory and Computer Science, 1997)

Colimits of order-sorted specifications. - Till Mossakowski (WADT, 1997)

Static semantic analysis and theorem proving for CASL. - Till Mossakowski; Kolyang 001; Bernd Krieg-Brückner (WADT, 1997)

Combining and representing logical systems using model-theoretic parchments. - Till Mossakowski; Andrzej Tarlecki; Wieslaw Pawlowski (WADT, 1997)

Categorial Fibring of Logics with Terms and Binding Operators. - Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro; Till Mossakowski (FroCoS, 1998)

Translationg OBJ3 into CASL: The Institution Level. - Till Mossakowski (WADT, 1998)

Specifications in an Arbitrary Institution with Symbols. - Till Mossakowski (WADT, 1999)

Subsorted Partial Higher-Order Locig as an Extension of CASL. - Till Mossakowski; Anne E. Haxthausen; Bernd Krieg-Brückner (WADT, 1999)

Specifying Real Numbers in CASL. - Markus Roggenbach; Lutz Schröder; Till Mossakowski (WADT, 1999)

From Total Equational to Partial First-Order Logic. - Maura Cerioli; Till Mossakowski; Horst Reichel (Algebraic Foundations of Systems Specification, 1999)

CASL: From Semantics to Tools. - Till Mossakowski (TACAS, 2000)

Extending Development Graphs with Hiding. - Till Mossakowski; Serge Autexier; Dieter Hutter (FASE, 2001)

Semantics of Architectural Specifications in CASL. - Lutz Schröder; Till Mossakowski; Andrzej Tarlecki; Bartek Klin; Piotr Hoffman (FASE, 2001)

Amalgamation in CASL via Enriched Signatures. - Lutz Schröder; Till Mossakowski; Andrzej Tarlecki (ICALP, 2001)

Checking Amalgamability Conditions for C ASL Architectural Specifications. - Bartek Klin; Piotr Hoffman; Andrzej Tarlecki; Lutz Schröder; Till Mossakowski (MFCS, 2001)

Institution Independent Static Analysis for CASL. - Till Mossakowski; Bartek Klin (WADT, 2001)

The Development Graph Manager MAYA. - Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer (AMAST, 2002)

HASCASL: Towards Integrated Specification and Development of Functional Programs. - Lutz Schröder; Till Mossakowski (AMAST, 2002)

Heterogeneous Development Graphs and Heterogeneous Borrowing. - Till Mossakowski (FoSSaCS, 2002)

Integrating HOL-CASL into the Development Graph Manager MAYA. - Serge Autexier; Till Mossakowski (FroCoS, 2002)

Comorphism-Based Grothendieck Logics. - Till Mossakowski (MFCS, 2002)

Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. - Kathrin Hoffmann; Till Mossakowski (WADT, 2002)

Foundations of Heterogeneous Specification. - Till Mossakowski (WADT, 2002)

Algebraic-Coalgebraic Specification in Co Casl. - Till Mossakowski; Horst Reichel; Markus Roggenbach; Lutz Schröder (WADT, 2002)

Monad-Independent Dynamic Logic in Has Casl. - Lutz Schröder; Till Mossakowski (WADT, 2002)

Relating CASL with other specification languages: the institution level. - Till Mossakowski (Theor. Comput. Sci., 2002)

Representations, hierarchies and graphs of institutions. - Till Mossakowski (Logos-Verlag, 2002)

Monad-Independent Hoare Logic in HASCASL. - Lutz Schröder; Till Mossakowski (FASE, 2003)

A temporal-logic extension of role-based access control covering dynamic separation of duties. - Till Mossakowski; Michael Drouineaud; Karsten Sohr (TIME, 2003)

Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. - Till Mossakowski; Anne E. Haxthausen; Donald Sannella; Andrzej Tarlecki (Comput. Artif. Intell., 2003)

CoCASL at Work – Modelling Process Algebra. - Till Mossakowski; Markus Roggenbach; Lutz Schröder (CMCS, 2003)

Generic Exception Handling and the Java Monad. - Lutz Schröder; Till Mossakowski (AMAST, 2004)

Specification of an Ontology for Route Graphs. - Bernd Krieg-Brückner; Udo Frese; Klaus Lüttich; Christian Mandel; Till Mossakowski; Robert J. Ross (Spatial Cognition, 2004)

Ontologies for the Semantic Web in Casl. - Klaus Lüttich; Till Mossakowski; Bernd Krieg-Brückner (WADT, 2004)

A Simple Refinement Language for Casl. - Till Mossakowski; Donald Sannella; Andrzej Tarlecki (WADT, 2004)

Type Class Polymorphism in an Institutional Framework. - Lutz Schröder; Till Mossakowski; Christoph Lüth (WADT, 2004)

Higher-Order Nets for Mobile Policies. - Kathrin Hoffmann; Till Mossakowski; Francesco Parisi-Presicce (PNGT@ICGT, 2004)

Monad-independent Dynamic Logic in HasCasl. - Lutz Schröder; Till Mossakowski (J. Log. Comput., 2004)

High-Level Nets with Nets and Rules as Tokens. - Kathrin Hoffmann; Hartmut Ehrig; Till Mossakowski (ICATPN, 2005)

Towards a Coalgebraic Semantics of the Ambient Calculus. - Daniel Hausmann 001; Till Mossakowski; Lutz Schröder (CALCO, 2005)

Parametrized Exceptions. - Dennis Walter; Lutz Schröder; Till Mossakowski (CALCO, 2005)

Casl Specifications of Qualitative Calculi. - Stefan Wölfl 001; Till Mossakowski (COSIT, 2005)

Heterogeneous Theories and the Heterogeneous Tool Set. - Till Mossakowski (Semantic Interoperability and Integration, 2005)

Iterative Circular Coinduction for CoCasl in Isabelle/HOL. - Daniel Hausmann 001; Till Mossakowski; Lutz Schröder (FASE, 2005)

Amalgamation in the semantics of CASL. - Lutz Schröder; Till Mossakowski; Andrzej Tarlecki; Bartek Klin; Piotr Hoffman (Theor. Comput. Sci., 2005)

Monad-Based Logics for Computational Effects. - Till Mossakowski (AMAST, 2006)

Institutional 2-cells and Grothendieck Institutions. - Till Mossakowski (Essays Dedicated to Joseph A. Goguen, 2006)

Completeness of Global Evaluation Logic. - Sergey Goncharov 001; Lutz Schröder; Till Mossakowski (MFCS, 2006)

Reasoning Support for Caslwith Automated Theorem Proving Systems. - Klaus Lüttich; Till Mossakowski (WADT, 2006)

Structured CSP - A Process Algebra as an Institution. - Till Mossakowski; Markus Roggenbach (WADT, 2006)

Coalgebraic Modal Logic in CoCasl. - Lutz Schröder; Till Mossakowski (WADT, 2006)

Development graphs - Proof management for structured specifications. - Till Mossakowski; Serge Autexier; Dieter Hutter (J. Log. Algebraic Methods Program., 2006)

Algebraic-coalgebraic specification in CoCasl. - Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel (J. Log. Algebraic Methods Program., 2006)

A coalgebraic approach to the semantics of the ambient calculus. - Daniel Hausmann 001; Till Mossakowski; Lutz Schröder (Theor. Comput. Sci., 2006)

Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. - Stefan Wölfl 001; Till Mossakowski; Lutz Schröder (FLAIRS, 2007)

Modules in Transition - Conservativity, Composition, and Colimits. - Oliver Kutz; Till Mossakowski (WoMO, 2007)

The Heterogeneous Tool Set, Hets. - Till Mossakowski; Christian Maeder; Klaus Lüttich (TACAS, 2007)

An Institutional View on Categorical Logic. - Joseph A. Goguen; Till Mossakowski; Valeria de Paiva; Florian Rabe 001; Lutz Schröder (Int. J. Softw. Informatics, 2007)

Ontological Modularity and Spatial Diversity. - John A. Bateman; Stefano Borgo; Klaus Lüttich; Claudio Masolo; Till Mossakowski (Spatial Cogn. Comput., 2007)

Conservativity in Structured Ontologies. - Oliver Kutz; Till Mossakowski (ECAI, 2008)

Heterogeneous colimits. - Mihai Codescu; Till Mossakowski (ICST Workshops, 2008)

The OWL in the CASL - Designing Ontologies Across Logics. - Oliver Kutz; Dominik Lücke; Till Mossakowski; Immanuel Normann (OWLED, 2008)

Qualitative Reasoning about Convex Relations. - Dominik Lücke; Till Mossakowski; Diedrich Wolter (Spatial Cognition, 2008)

Heterogeneous Logical Environments for Distributed Specifications. - Till Mossakowski; Andrzej Tarlecki (WADT, 2008)

Shapes of Alignments - Construction, Combination, and Computation. - Oliver Kutz; Till Mossakowski; Mihai Codescu (WoMO, 2008)

Kleene Monads: Handling Iteration in a Framework of Generic Effects. - Sergey Goncharov 001; Lutz Schröder; Till Mossakowski (CALCO, 2009)

Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects - Reinhard Moratz; Dominik Lücke; Till Mossakowski (CoRR, 2009)

What is a Logic Translation? - Till Mossakowski; Razvan Diaconescu; Andrzej Tarlecki (Logica Universalis, 2009)

HasCasl: Integrated higher-order specification and program development. - Lutz Schröder; Till Mossakowski (Theor. Comput. Sci., 2009)

Towards Ontological Blending. - Joana Hois; Oliver Kutz; Till Mossakowski; John A. Bateman (AIMSA, 2010)

Integrating Maude into Hets. - Mihai Codescu; Till Mossakowski; Adrián Riesco 001; Christian Maeder (AMAST, 2010)

Change Management for Heterogeneous Development Graphs. - Serge Autexier; Dieter Hutter; Till Mossakowski (Verification, Induction, Termination Analysis, 2010)

Chinese whispers and connected alignments. - Oliver Kutz; Immanuel Normann; Till Mossakowski; Dirk Walther 002 (OM, 2010)

A much better polynomial time approximation of consistency in the LR calculus. - Dominik Lücke; Till Mossakowski (STAIRS, 2010)

A Proof Theoretic Interpretation of Model Theoretic Hiding. - Mihai Codescu; Feryal Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe 001 (WADT, 2010)

Towards Logical Frameworks in the Heterogeneous Tool Set Hets. - Mihai Codescu; Feryal Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe 001; Kristina Sojakova (WADT, 2010)

Compositional Modelling and Reasoning in an Institution for Processes and Data. - Liam O'Reilly; Till Mossakowski; Markus Roggenbach (WADT, 2010)

Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity - Till Mossakowski; Reinhard Moratz (CoRR, 2010)

On Teaching Logic and Algebraic Specification. - Till Mossakowski (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A generic complete dynamic logic for reasoning about purity and effects. - Till Mossakowski; Lutz Schröder; Sergey Goncharov 001 (Formal Aspects Comput., 2010)

Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. - Oliver Kutz; Till Mossakowski; Dominik Lücke (Logica Universalis, 2010)

A Modular Consistency Proof for DOLCE. - Oliver Kutz; Till Mossakowski (AAAI, 2011)

Refinement Trees: Calculi, Tools, and Applications. - Mihai Codescu; Till Mossakowski (CALCO, 2011)

DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. - Mihai Codescu; Gregor Horsinka; Oliver Kutz; Till Mossakowski; Rafaela Rau (GeoS, 2011)

Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples. - Oliver Kutz; Till Mossakowski; Janna Hastings; Alexander García Castro; Aleksandra Sojic (ICBO, 2011)

Project Abstract: Logic Atlas and Integrator (LATIN). - Mihai Codescu; Feryal Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe 001 (Calculemus/MKM, 2011)

The Onto-Logical Translation Graph. - Till Mossakowski; Oliver Kutz (WoMO, 2011)

A condensed semantics for qualitative spatial reasoning about oriented straight line segments. - Reinhard Moratz; Dominik Lücke; Till Mossakowski (Artif. Intell., 2011)

Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. - Oliver Kutz; Janna Hastings; Till Mossakowski (AIMSA, 2012)

The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. - Christoph Lange 002; Oliver Kutz; Till Mossakowski; Michael Grüninger (AISC/MKM/Calculemus, 2012)

Three Semantics for the Core of the Distributed Ontology Language. - Till Mossakowski; Christoph Lange 002; Oliver Kutz (FOIS, 2012)

Ontology-based Route Planning for OpenStreetMap. - Mihai Codescu; Daniel Couto Vale; Oliver Kutz; Till Mossakowski (Terra Cognita@ISWC, 2012)

Compiling Logics. - Mihai Codescu; Feryal Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe 001 (WADT, 2012)

Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. - Phillip James; Alexander Knapp; Till Mossakowski; Markus Roggenbach (WADT, 2012)

Semantics of the Distributed Ontology Language: Institutes and Institutions. - Till Mossakowski; Oliver Kutz; Christoph Lange 002 (WADT, 2012)

LoLa: A Modular Ontology of Logics, Languages, and Translations. - Christoph Lange 002; Till Mossakowski; Oliver Kutz (WoMO, 2012)

Qualitative reasoning about relative direction of oriented points. - Till Mossakowski; Reinhard Moratz (Artif. Intell., 2012)

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility - Christoph Lange 002; Till Mossakowski; Oliver Kutz; Christian Galinski; Michael Grüninger; Daniel Couto Vale (CoRR, 2012)

Checking Conservativity with Hets. - Mihai Codescu; Till Mossakowski; Christian Maeder (CALCO, 2013)

Algebraic Properties of Qualitative Spatio-temporal Calculi. - Frank Dylla; Till Mossakowski; Thomas Schneider 002; Diedrich Wolter (COSIT, 2013)

Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). - Till Mossakowski; Christoph Lange 002; Oliver Kutz (IJCAI, 2013)

- Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward. - André van Delden; Till Mossakowski (KI, 2013)

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. - Christoph Lange 002; Marco B. Caminati; Manfred Kerber; Till Mossakowski; Colin Rowat; Makarius Wenzel; Wolfgang Windsteiger (MKM/Calculemus/DML, 2013)

The Distributed Ontology, Modeling and Specification Language. - Till Mossakowski; Oliver Kutz; Mihai Codescu; Christoph Lange 002 (WoMO, 2013)

The VSE Refinement Method in Hets. - Till Mossakowski; Mihai Codescu; Christian Maeder; Bruno Langenstein (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Preface. - Till Mossakowski; Markus Roggenbach; Lutz Schröder (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Parchments for CafeOBJ Logics. - Till Mossakowski; Wieslaw Pawlowski; Donald Sannella; Andrzej Tarlecki (Specification, Algebra, and Software, 2014)

Proof Support for Common Logic. - Till Mossakowski; Mihai Codescu; Oliver Kutz; Christoph Lange 002; Michael Grüninger (ARQNL@IJCAR, 2014)

A Relatively Complete Calculus for Structured Heterogeneous Specifications. - Till Mossakowski; Andrzej Tarlecki (FoSSaCS, 2014)

Blending in the Hub. - Oliver Kutz; Fabian Neuhaus; Till Mossakowski; Mihai Codescu (ICCC, 2014)

Model-Driven Engineering in the Heterogeneous Tool Set. - Daniel Calegari; Till Mossakowski; Nora Szasz (SBMF, 2014)

A categorical approach to ontology alignment. - Mihai Codescu; Till Mossakowski; Oliver Kutz (OM, 2014)

What Is a Derived Signature Morphism? - Till Mossakowski; Ulf Krumnack; Tom Maibaum (WADT, 2014)

An Institutional Framework for Heterogeneous Formal Development in UML. - Alexander Knapp; Till Mossakowski; Markus Roggenbach (CoRR, 2014)

The Institution-Theoretic Scope of Logic Theorems. - Razvan Diaconescu; Till Mossakowski; Andrzej Tarlecki (Logica Universalis, 2014)

Modularity of Ontologies in an Arbitrary Institution. - Yazmín Angélica Ibáñez-García; Till Mossakowski; Donald Sannella; Andrzej Tarlecki (Logic, Rewriting, and Concurrency, 2015)

Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. - Alexander Knapp; Till Mossakowski; Markus Roggenbach (Software, Services, and Systems, 2015)

An Institution for Simple UML State Machines. - Alexander Knapp; Till Mossakowski; Markus Roggenbach; Martin Glauer (FASE, 2015)

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print). - Mathew Joseph; Gabriel M. Kuper; Till Mossakowski; Luciano Serafini (CoRR, 2015)

On Inconsistency and Unsatisfiability. - Till Mossakowski; Lutz Schröder (Int. J. Softw. Informatics, 2015)

Relations Between Spatial Calculi About Directions and Orientations. - Till Mossakowski; Reinhard Moratz (J. Artif. Intell. Res., 2015)

Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. - Eugen Kuksa; Till Mossakowski (PAAR@IJCAR, 2016)

RESTful Encapsulation of OWL API. - Ramya Dirsumilli; Till Mossakowski (DATA, 2016)

Ontology Patterns with DOWL: The Case of Blending. - Oliver Kutz; Fabian Neuhaus; Maria M. Hedblom; Till Mossakowski; Mihai Codescu (Description Logics, 2016)

Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies. - Eugen Kuksa; Till Mossakowski (JOWO@FOIS, 2016)

The Distributed Ontology, Model and Specification Language - DOL. - Till Mossakowski (WADT, 2016)

Canonical Selection of Colimits. - Till Mossakowski; Florian Rabe 001; Mihai Codescu (WADT, 2016)

Ontohub: A semantic repository for heterogeneous ontologies. - Mihai Codescu; Eugen Kuksa; Oliver Kutz; Till Mossakowski; Fabian Neuhaus (CoRR, 2016)

Multi-view Consistency in UML. - Alexander Knapp; Till Mossakowski (CoRR, 2016)

Bipolar Weighted Argumentation Graphs. - Till Mossakowski; Fabian Neuhaus (CoRR, 2016)

Heterogeneous verification in the context of model driven engineering. - Daniel Calegari; Till Mossakowski; Nora Szasz (Sci. Comput. Program., 2016)

Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes. - Mathew Joseph; Gabriel M. Kuper; Till Mossakowski; Luciano Serafini (Semantic Web, 2016)

Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement. - Maria M. Hedblom; Oliver Kutz; Till Mossakowski; Fabian Neuhaus (AI*IA, 2017)

UML Interactions Meet State Machines - An Institutional Approach. - Alexander Knapp; Till Mossakowski (CALCO, 2017)

Web-Retrieval Supported Argument Space Exploration. - Marcus Thiel; Philipp Ludwig; Till Mossakowski; Fabian Neuhaus; Andreas Nürnberger (CHIIR, 2017)

Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract). - Till Mossakowski; Reinhard Moratz (IJCAI, 2017)

Generic Ontologies and Generic Ontology Design Patterns. - Bernd Krieg-Brückner; Till Mossakowski (WOP@ISWC, 2017)

Ontohub: A semantic repository engine for heterogeneous ontologies. - Mihai Codescu; Eugen Kuksa; Oliver Kutz; Till Mossakowski; Fabian Neuhaus (Appl. Ontology, 2017)

A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties. - Frank Dylla; Jae Hee Lee 001; Till Mossakowski; Thomas Schneider 002; André van Delden; Jasper van de Ven; Diedrich Wolter (ACM Comput. Surv., 2017)

A Categorical Approach to Networks of Aligned Ontologies. - Mihai Codescu; Till Mossakowski; Oliver Kutz (J. Data Semant., 2017)

Specification refinements: Calculi, tools, and applications. - Mihai Codescu; Till Mossakowski; Donald Sannella; Andrzej Tarlecki (Sci. Comput. Program., 2017)

Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution. - Mihai Codescu; Fabian Neuhaus; Till Mossakowski; Oliver Kutz; Danny de Jesús Gómez-Ramírez (Concept Invention, 2018)

Multi-view Consistency in UML: A Survey. - Alexander Knapp; Till Mossakowski (Graph Transformation, Specifications, and Nets, 2018)

Institutions for SQL Database Schemas and Datasets. - Martin Glauer; Till Mossakowski (WADT, 2018)

Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs. - Till Mossakowski; Fabian Neuhaus (CoRR, 2018)

Partial pushout semantics of generics in DOL. - Till Mossakowski; Bernd Krieg-Brückner (Theor. Comput. Sci., 2018)

Extensions of Generic DOL for Generic Ontology Design Patterns. - Mihai Codescu; Bernd Krieg-Brückner; Till Mossakowski (JOWO, 2019)

Generic Ontology Design Patterns at Work. - Bernd Krieg-Brückner; Till Mossakowski; Fabian Neuhaus (JOWO, 2019)

Towards Fuzzy Neural Conceptors. - Till Mossakowski; Razvan Diaconescu; Martin Glauer (FLAP, 2019)

Substitute selection for a missing tool using robot-centric conceptual knowledge of objects. - Madhura Thosar; Christian A. Mueller; Georg Jäger; Max Pfingsthorn; Michael Beetz; Sebastian Zug; Till Mossakowski (SAC, 2020)

Automated and Explainable Ontology Extension based on Deep Learning: A Case Study in the Chemical Domain. - Adel Memariani; Martin Glauer; Fabian Neuhaus; Till Mossakowski; Janna Hastings (DAO-XAI, 2021)

Generic Ontology Design Patterns: Roles and Change Over Time. - Bernd Krieg-Brückner; Till Mossakowski; Mihai Codescu (WOP (Book), 2021)

Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification. - Janna Hastings; Martin Glauer; Adel Memariani; Fabian Neuhaus; Till Mossakowski (J. Cheminformatics, 2021)

Modular Design Patterns for Neural-symbolic Integration: Refinement and Combination. - Till Mossakowski (NeSy, 2022)

Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax. - Björn Gehrke; Till Mossakowski (Description Logics, 2023)

Ontology Pre-training for Poison Prediction. - Martin Glauer; Fabian Neuhaus; Till Mossakowski; Janna Hastings (KI, 2023)

Neuro-Symbolic Semantic Learning for Chemistry. - Martin Glauer; Till Mossakowski; Fabian Neuhaus; Adel Memariani; Janna Hastings (Compendium of Neurosymbolic Artificial Intelligence, 2023)

A Fuzzy Loss for Ontology Classification. - Simon Flügel; Martin Glauer; Till Mossakowski; Fabian Neuhaus (NeSy (1), 2024)

A semantic loss for ontology classification. - Simon Flügel; Martin Glauer; Till Mossakowski; Fabian Neuhaus (CoRR, 2024)

Interpretable ontology extension in chemistry. - Martin Glauer; Adel Memariani; Fabian Neuhaus; Till Mossakowski; Janna Hastings (Semantic Web, 2024)

The Diagrammatic Image Schema Language (DISL). - Maria M. Hedblom; Fabian Neuhaus; Till Mossakowski (Spatial Cogn. Comput., 2025)

ChemLog: Making MSOL Viable for Ontological Classification and Learning. - Simon Flügel; Martin Glauer; Till Mossakowski; Fabian Neuhaus (CoRR, 2025)