| 2026 | KI | Characteristics, Convergence and Divergence of Modular Semantics for Bipolar Weighted Argumentation Graphs. | Till Mossakowski, Fabian Neuhaus |
| 2025 | FOIS | Semantic Dependency in Ontologies. | Fabian Neuhaus, Martin Glauer, Till Mossakowski, Lilly Gerlach, Colin Heidfeld |
| 2025 | FOIS | Modelling Model Uncertainties Ontologically. | Mirjam Stappel, Till Mossakowski, Fabian Neuhaus, Sarah Berendes |
| 2025 | NeSy | mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER Framework. | Daniel Romero Schellhorn, Till Mossakowski |
| 2024 | NeSy | A Fuzzy Loss for Ontology Classification. | Simon Flgel, Martin Glauer, Till Mossakowski, Fabian Neuhaus |
| 2023 | KI | Ontology Pre-training for Poison Prediction. | Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings |
| 2022 | NeSy | Modular Design Patterns for Neural-symbolic Integration: Refinement and Combination. | Till Mossakowski |
| 2021 | ICANN | 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 |
| 2020 | SAC | Substitute selection for a missing tool using robot-centric conceptual knowledge of objects. | Madhura Thosar, Christian A. Mueller, Georg Jger, Max Pfingsthorn, Michael Beetz, Sebastian Zug, Till Mossakowski |
| 2017 | CALCO | UML Interactions Meet State Machines - An Institutional Approach. | Alexander Knapp, Till Mossakowski |
| 2017 | CHIIR | Web-Retrieval Supported Argument Space Exploration. | Marcus Thiel, Philipp Ludwig, Till Mossakowski, Fabian Neuhaus, Andreas Nrnberger |
| 2017 | IJCAI | Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract). | Till Mossakowski, Reinhard Moratz |
| 2016 | CADE | Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. | Eugen Kuksa, Till Mossakowski |
| 2016 | DATA | RESTful Encapsulation of OWL API. | Ramya Dirsumilli, Till Mossakowski |
| 2016 | FOIS | Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies. | Eugen Kuksa, Till Mossakowski |
| 2015 | FASE | An Institution for Simple UML State Machines. | Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer |
| 2014 | CADE | Proof Support for Common Logic. | Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grninger |
| 2014 | FOSSACS | A Relatively Complete Calculus for Structured Heterogeneous Specifications. | Till Mossakowski, Andrzej Tarlecki |
| 2013 | CALCO | Checking Conservativity with Hets. | Mihai Codescu, Till Mossakowski, Christian Maeder |
| 2013 | IJCAI | Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). | Till Mossakowski, Christoph Lange, Oliver Kutz |
| 2013 | KI | - Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward. | Andr van Delden, Till Mossakowski |
| 2012 | AIMSA | Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. | Oliver Kutz, Janna Hastings, Till Mossakowski |
| 2012 | AISC | The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. | Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grninger |
| 2012 | FOIS | Three Semantics for the Core of the Distributed Ontology Language. | Till Mossakowski, Christoph Lange, Oliver Kutz |
| 2011 | AAAI | A Modular Consistency Proof for DOLCE. | Oliver Kutz, Till Mossakowski |
| 2011 | CALCO | Refinement Trees: Calculi, Tools, and Applications. | Mihai Codescu, Till Mossakowski |
| 2010 | AIMSA | Towards Ontological Blending. | Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman |
| 2009 | CALCO | Kleene Monads: Handling Iteration in a Framework of Generic Effects. | Sergey Goncharov, Lutz Schrder, Till Mossakowski |
| 2009 | ICFEM | The VSE Refinement Method in Hets. | Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski |
| 2008 | ECAI | Conservativity in Structured Ontologies. | Oliver Kutz, Till Mossakowski |
| 2008 | FASE | A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. | Till Mossakowski, Lutz Schrder, Sergey Goncharov |
| 2008 | ICST | Heterogeneous colimits. | Mihai Codescu, Till Mossakowski |
| 2007 | CADE | The Heterogeneous Tool Set (Hets). | Till Mossakowski, Christian Maeder, Klaus Lttich |
| 2007 | FlAIRS | Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. | Stefan Wlfl, Till Mossakowski, Lutz Schrder |
| 2007 | TACAS | The Heterogeneous Tool Set, Hets. | Till Mossakowski, Christian Maeder, Klaus Lttich |
| 2006 | MFCS | Completeness of Global Evaluation Logic. | Sergey Goncharov, Lutz Schrder, Till Mossakowski |
| 2005 | CALCO | Towards a Coalgebraic Semantics of the Ambient Calculus. | Daniel Hausmann, Till Mossakowski, Lutz Schrder |
| 2005 | CALCO | Parametrized Exceptions. | Dennis Walter, Lutz Schrder, Till Mossakowski |
| 2005 | FASE | Iterative Circular Coinduction for CoCasl in Isabelle/HOL. | Daniel Hausmann, Till Mossakowski, Lutz Schrder |
| 2003 | FASE | Monad-Independent Hoare Logic in HASCASL. | Lutz Schrder, Till Mossakowski |
| 2003 | TIME | A temporal-logic extension of role-based access control covering dynamic separation of duties. | Till Mossakowski, Michael Drouineaud, Karsten Sohr |
| 2002 | FOSSACS | Heterogeneous Development Graphs and Heterogeneous Borrowing. | Till Mossakowski |
| 2002 | MFCS | Comorphism-Based Grothendieck Logics. | Till Mossakowski |
| 2001 | FASE | Extending Development Graphs with Hiding. | Till Mossakowski, Serge Autexier, Dieter Hutter |
| 2001 | FASE | Semantics of Architectural Specifications in CASL. | Lutz Schrder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman |
| 2001 | ICALP | Amalgamation in CASL via Enriched Signatures. | Lutz Schrder, Till Mossakowski, Andrzej Tarlecki |
| 2001 | MFCS | Checking Amalgamability Conditions for C ASL Architectural Specifications. | Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schrder, Till Mossakowski |
| 2000 | TACAS | CASL: From Semantics to Tools. | Till Mossakowski |
| 1996 | ICALP | Different Types of Arrow Between Logical Frameworks. | Till Mossakowski |
| 1995 | COMPASS | Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. | Till Mossakowski |
| 1995 | CSL | Equivalences among Various Logical Frameworks of Partial Algebras. | Till Mossakowski |
| 1994 | COMPASS | A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. | Till Mossakowski |