Till Mossakowski

198 papers A* 5A 3B 20C 9Misc 6Journal 59Unranked 87

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs. CoRR Felix Vossel, Till Mossakowski, Björn Gehrke
2025	J	`jnl`	Box embeddings for extending ontologies: a data-driven and interpretable approach. J. Cheminformatics Adel Memariani, Martin Glauer, Simon Flügel, Fabian Neuhaus, Janna Hastings, Till Mossakowski
2025	—	`conf`	Chebifier 2: An Ensemble for Chemistry. SEMANTiCS (Posters, Demos, Workshops & Tutorials) Simon Flügel, Martin Glauer, Janna Hastings, Till Mossakowski, Christopher J. Mungall, Charlotte Tumescheit, Fabian Neuhaus
2025	J	`jnl`	ChemLog: Making MSOL Viable for Ontological Classification and Learning. CoRR Simon Flügel, Martin Glauer, Till Mossakowski, Fabian Neuhaus
2025	C	`conf`	Modelling Model Uncertainties Ontologically. FOIS Mirjam Stappel, Till Mossakowski, Fabian Neuhaus, Sarah Berendes
2025	C	`conf`	Semantic Dependency in Ontologies. FOIS Fabian Neuhaus, Martin Glauer, Till Mossakowski, Lilly Gerlach, Colin Heidfeld
2025	J	`jnl`	The Diagrammatic Image Schema Language (DISL). Spatial Cogn. Comput. Maria M. Hedblom, Fabian Neuhaus, Till Mossakowski
2025	C	`conf`	mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER Framework. NeSy Daniel Romero Schellhorn, Till Mossakowski
2024	—	`conf`	A Fuzzy Loss for Ontology Classification. NeSy (1) Simon Flügel, Martin Glauer, Till Mossakowski, Fabian Neuhaus
2024	J	`jnl`	A semantic loss for ontology classification. CoRR Simon Flügel, Martin Glauer, Till Mossakowski, Fabian Neuhaus
2024	J	`jnl`	Interpretable ontology extension in chemistry. Semantic Web Martin Glauer, Adel Memariani, Fabian Neuhaus, Till Mossakowski, Janna Hastings
2023	—	`conf`	Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax. Description Logics Björn Gehrke, Till Mossakowski
2023	—	`ch.`	Neuro-Symbolic Semantic Learning for Chemistry. Compendium of Neurosymbolic Artificial Intelligence Martin Glauer, Till Mossakowski, Fabian Neuhaus, Adel Memariani, Janna Hastings
2023	Misc	`conf`	Ontology Pre-training for Poison Prediction. KI Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings
2023	J	`jnl`	Ontology Pre-training for Poison Prediction. CoRR Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings
2022	C	`conf`	Modular Design Patterns for Neural-symbolic Integration: Refinement and Combination. NeSy Till Mossakowski
2022	J	`jnl`	Modular design patterns for neural-symbolic integration: refinement and combination. CoRR Till Mossakowski
2022	—	`ed.`	Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden, August 15-19, 2022. JOWO Tiago Prince Sales, Maria M. Hedblom, He Tan, Guendalina Righetti, Oliver Kutz, Martin Glauer, Janna Hastings, Till Mossakowski, Fabian Neuhaus, Lucía Gómez Álvarez, Rafael Peñaloza, Srdjan Vesic, Claudenir Morais Fonseca, Jona Thai, Stefano Borgo, Damion M. Dooley, Rhiannon Cameron, Lauren E. Chan, Duccio Cavalieri, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Fernanda Forea, Francesco Vitali, Bart Gajderowicz, Daniela Rosu, Aldo Gangemi, Robert Porzel, Daniel Beßler, Mihai Pomarlan, Mohammed Diab, Alberto Olivares Alarcos
2021	J	`jnl`	Automated and Explainable Ontology Extension Based on Deep Learning: A Case Study in the Chemical Domain. CoRR Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings
2021	—	`conf`	Automated and Explainable Ontology Extension based on Deep Learning: A Case Study in the Chemical Domain. DAO-XAI Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings
2021	—	`conf`	Generic Ontology Design Patterns: Roles and Change Over Time. WOP (Book) Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
2021	J	`jnl`	Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification. J. Cheminformatics Janna Hastings, Martin Glauer, Adel Memariani, Fabian Neuhaus, Till Mossakowski
2020	J	`jnl`	Generic Ontology Design Patterns: Roles and Change over Time. CoRR Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
2020	—	`ed.`	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. JOWO Karl Hammar, Oliver Kutz, Anastasia Dimou, Torsten Hahmann, Robert Hoehndorf, Claudio Masolo, Randi Vita, Sarra Ben Abbès, Rim Hantach, Philippe Calvez, Tiago Prince Sales, Daniele Porello, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Martin G. Skjæveland, Daniel P. Lupp, Ian Horrocks, Johan W. Klüwer, Christian Kindermann, Loris Bozzato, Till Mossakowski, Luciano Serafini
2020	Misc	`conf`	Substitute selection for a missing tool using robot-centric conceptual knowledge of objects. SAC Madhura Thosar, Christian A. Mueller, Georg Jäger, Max Pfingsthorn, Michael Beetz, Sebastian Zug, Till Mossakowski
2019	—	`conf`	Extensions of Generic DOL for Generic Ontology Design Patterns. JOWO Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
2019	J	`jnl`	Extensions of Generic DOL for Generic Ontology Design Patterns. CoRR Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
2019	—	`conf`	Generic Ontology Design Patterns at Work. JOWO Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus
2019	J	`jnl`	Generic Ontology Design Patterns at Work. CoRR Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus
2019	J	`jnl`	Towards Fuzzy Neural Conceptors. FLAP Till Mossakowski, Razvan Diaconescu, Martin Glauer
2018	—	`ch.`	Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution. Concept Invention Mihai Codescu, Fabian Neuhaus, Till Mossakowski, Oliver Kutz, Danny de Jesús Gómez-Ramírez
2018	—	`conf`	Institutions for SQL Database Schemas and Datasets. WADT Martin Glauer, Till Mossakowski
2018	J	`jnl`	Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs. CoRR Till Mossakowski, Fabian Neuhaus
2018	—	`conf`	Multi-view Consistency in UML: A Survey. Graph Transformation, Specifications, and Nets Alexander Knapp, Till Mossakowski
2018	J	`jnl`	Partial pushout semantics of generics in DOL. Theor. Comput. Sci. Till Mossakowski, Bernd Krieg-Brückner
2018	—	`ed.`	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. MedRACER+WOMoCoE@KR Kristijonas Cyras, Tiago Oliveira, Matthew Williams, Loris Bozzato, Martin Homola, Till Mossakowski, Antoine Zimmermann
2017	J	`jnl`	A Categorical Approach to Networks of Aligned Ontologies. J. Data Semant. Mihai Codescu, Till Mossakowski, Oliver Kutz
2017	J	`jnl`	A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties. ACM Comput. Surv. Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter
2017	—	`conf`	Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement. AI*IA Maria M. Hedblom, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
2017	J	`jnl`	Canonical Selection of Colimits. CoRR Till Mossakowski, Florian Rabe, Mihai Codescu
2017	—	`conf`	Generic Ontologies and Generic Ontology Design Patterns. WOP@ISWC Bernd Krieg-Brückner, Till Mossakowski
2017	J	`jnl`	Ontohub: A semantic repository engine for heterogeneous ontologies. Appl. Ontology Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
2017	A*	`conf`	Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract). IJCAI Till Mossakowski, Reinhard Moratz
2017	J	`jnl`	Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2017	B	`conf`	UML Interactions Meet State Machines - An Institutional Approach. CALCO Alexander Knapp, Till Mossakowski
2017	B	`conf`	Web-Retrieval Supported Argument Space Exploration. CHIIR Marcus Thiel, Philipp Ludwig, Till Mossakowski, Fabian Neuhaus, Andreas Nürnberger
2016	J	`jnl`	A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties. CoRR Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter
2016	J	`jnl`	Bipolar Weighted Argumentation Graphs. CoRR Till Mossakowski, Fabian Neuhaus
2016	—	`conf`	Canonical Selection of Colimits. WADT Till Mossakowski, Florian Rabe, Mihai Codescu
2016	J	`jnl`	Heterogeneous verification in the context of model driven engineering. Sci. Comput. Program. Daniel Calegari, Till Mossakowski, Nora Szasz
2016	J	`jnl`	Multi-view Consistency in UML. CoRR Alexander Knapp, Till Mossakowski
2016	J	`jnl`	Ontohub: A semantic repository for heterogeneous ontologies. CoRR Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
2016	—	`conf`	Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies. JOWO@FOIS Eugen Kuksa, Till Mossakowski
2016	—	`conf`	Ontology Patterns with DOWL: The Case of Blending. Description Logics Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu
2016	—	`ed.`	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), Annecy, France, July 6-9, 2016. JOWO@FOIS Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton, Jean-Rémi Bourguet
2016	—	`conf`	Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. PAAR@IJCAR Eugen Kuksa, Till Mossakowski
2016	J	`jnl`	Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes. Semantic Web Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini
2016	C	`conf`	RESTful Encapsulation of OWL API. DATA Ramya Dirsumilli, Till Mossakowski
2016	—	`conf`	The Distributed Ontology, Model and Specification Language - DOL. WADT Till Mossakowski
2015	B	`conf`	An Institution for Simple UML State Machines. FASE Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
2015	—	`conf`	Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2015	J	`jnl`	On Inconsistency and Unsatisfiability. Int. J. Softw. Informatics Till Mossakowski, Lutz Schröder
2015	J	`jnl`	Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print). CoRR Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini
2015	J	`jnl`	Relations Between Spatial Calculi About Directions and Orientations. J. Artif. Intell. Res. Till Mossakowski, Reinhard Moratz
2015	—	`conf`	Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. Software, Services, and Systems Alexander Knapp, Till Mossakowski, Markus Roggenbach
2014	B	`conf`	A Relatively Complete Calculus for Structured Heterogeneous Specifications. FoSSaCS Till Mossakowski, Andrzej Tarlecki
2014	—	`conf`	A categorical approach to ontology alignment. OM Mihai Codescu, Till Mossakowski, Oliver Kutz
2014	J	`jnl`	An Institution for Simple UML State Machines. CoRR Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
2014	J	`jnl`	An Institutional Framework for Heterogeneous Formal Development in UML. CoRR Alexander Knapp, Till Mossakowski, Markus Roggenbach
2014	C	`conf`	Blending in the Hub. ICCC Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu
2014	—	`conf`	Model-Driven Engineering in the Heterogeneous Tool Set. SBMF Daniel Calegari, Till Mossakowski, Nora Szasz
2014	—	`conf`	Parchments for CafeOBJ Logics. Specification, Algebra, and Software Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki
2014	—	`conf`	Proof Support for Common Logic. ARQNL@IJCAR Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger
2014	J	`jnl`	The Institution-Theoretic Scope of Logic Theorems. Logica Universalis Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki
2014	—	`conf`	What Is a Derived Signature Morphism? WADT Till Mossakowski, Ulf Krumnack, Tom Maibaum
2013	Misc	`conf`	- Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward. KI André van Delden, Till Mossakowski
2013	J	`jnl`	A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory CoRR Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013	—	`conf`	A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. MKM/Calculemus/DML Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013	J	`jnl`	Algebraic Properties of Qualitative Spatio-Temporal Calculi. CoRR Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter
2013	—	`conf`	Algebraic Properties of Qualitative Spatio-temporal Calculi. COSIT Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter
2013	B	`conf`	Checking Conservativity with Hets. CALCO Mihai Codescu, Till Mossakowski, Christian Maeder
2013	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Till Mossakowski, Markus Roggenbach, Lutz Schröder
2013	—	`conf`	The Distributed Ontology, Modeling and Specification Language. WoMO Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange
2013	J	`jnl`	The VSE Refinement Method in Hets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
2013	A*	`conf`	Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). IJCAI Till Mossakowski, Christoph Lange, Oliver Kutz
2012	—	`conf`	Compiling Logics. WADT Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe
2012	—	`conf`	Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. WADT Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach
2012	—	`conf`	LoLa: A Modular Ontology of Logics, Languages, and Translations. WoMO Christoph Lange, Till Mossakowski, Oliver Kutz
2012	Misc	`conf`	Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. AIMSA Oliver Kutz, Janna Hastings, Till Mossakowski
2012	—	`conf`	Ontology-based Route Planning for OpenStreetMap. Terra Cognita@ISWC Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski
2012	J	`jnl`	Qualitative reasoning about relative direction of oriented points. Artif. Intell. Till Mossakowski, Reinhard Moratz
2012	—	`ed.`	Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers WADT Till Mossakowski, Hans-Jörg Kreowski
2012	—	`conf`	Semantics of the Distributed Ontology Language: Institutes and Institutions. WADT Till Mossakowski, Oliver Kutz, Christoph Lange
2012	J	`jnl`	The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization CoRR Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger
2012	—	`conf`	The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. AISC/MKM/Calculemus Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger
2012	J	`jnl`	The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility CoRR Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale
2012	C	`conf`	Three Semantics for the Core of the Distributed Ontology Language. FOIS Till Mossakowski, Christoph Lange, Oliver Kutz
2011	A*	`conf`	A Modular Consistency Proof for DOLCE. AAAI Oliver Kutz, Till Mossakowski
2011	J	`jnl`	A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Artif. Intell. Reinhard Moratz, Dominik Lücke, Till Mossakowski
2011	—	`conf`	DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. GeoS Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau
2011	—	`conf`	Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples. ICBO Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander García Castro, Aleksandra Sojic
2011	—	`conf`	Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
2011	B	`conf`	Refinement Trees: Calculi, Tools, and Applications. CALCO Mihai Codescu, Till Mossakowski
2011	—	`conf`	The Onto-Logical Translation Graph. WoMO Till Mossakowski, Oliver Kutz
2010	—	`conf`	A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
2010	J	`jnl`	A generic complete dynamic logic for reasoning about purity and effects. Formal Aspects Comput. Till Mossakowski, Lutz Schröder, Sergey Goncharov
2010	—	`conf`	A much better polynomial time approximation of consistency in the LR calculus. STAIRS Dominik Lücke, Till Mossakowski
2010	J	`jnl`	Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis Oliver Kutz, Till Mossakowski, Dominik Lücke
2010	—	`conf`	Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis Serge Autexier, Dieter Hutter, Till Mossakowski
2010	—	`conf`	Chinese whispers and connected alignments. OM Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther
2010	—	`conf`	Compositional Modelling and Reasoning in an Institution for Processes and Data. WADT Liam O'Reilly, Till Mossakowski, Markus Roggenbach
2010	—	`conf`	Integrating Maude into Hets. AMAST Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
2010	J	`jnl`	On Teaching Logic and Algebraic Specification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Till Mossakowski
2010	J	`jnl`	Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity CoRR Till Mossakowski, Reinhard Moratz
2010	—	`conf`	Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova
2010	Misc	`conf`	Towards Ontological Blending. AIMSA Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman
2009	J	`jnl`	HasCasl: Integrated higher-order specification and program development. Theor. Comput. Sci. Lutz Schröder, Till Mossakowski
2009	B	`conf`	Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO Sergey Goncharov, Lutz Schröder, Till Mossakowski
2009	J	`jnl`	Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects CoRR Reinhard Moratz, Dominik Lücke, Till Mossakowski
2009	C	`conf`	The VSE Refinement Method in Hets. ICFEM Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
2009	J	`jnl`	What is a Logic Translation? Logica Universalis Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki
2008	B	`conf`	A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE Till Mossakowski, Lutz Schröder, Sergey Goncharov
2008	A	`conf`	Conservativity in Structured Ontologies. ECAI Oliver Kutz, Till Mossakowski
2008	—	`conf`	Heterogeneous Logical Environments for Distributed Specifications. WADT Till Mossakowski, Andrzej Tarlecki
2008	—	`conf`	Heterogeneous colimits. ICST Workshops Mihai Codescu, Till Mossakowski
2008	—	`conf`	Qualitative Reasoning about Convex Relations. Spatial Cognition Dominik Lücke, Till Mossakowski, Diedrich Wolter
2008	—	`conf`	Shapes of Alignments - Construction, Combination, and Computation. WoMO Oliver Kutz, Till Mossakowski, Mihai Codescu
2008	—	`conf`	The OWL in the CASL - Designing Ontologies Across Logics. OWLED Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann
2007	B	`ed.`	Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings CALCO Till Mossakowski, Ugo Montanari, Magne Haveraaen
2007	J	`jnl`	An Institutional View on Categorical Logic. Int. J. Softw. Informatics Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder
2007	—	`conf`	Modules in Transition - Conservativity, Composition, and Colimits. WoMO Oliver Kutz, Till Mossakowski
2007	J	`jnl`	Ontological Modularity and Spatial Diversity. Spatial Cogn. Comput. John A. Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo, Till Mossakowski
2007	Misc	`conf`	Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. FLAIRS Stefan Wölfl, Till Mossakowski, Lutz Schröder
2007	—	`conf`	The Heterogeneous Tool Set (Hets). VERIFY Till Mossakowski, Christian Maeder, Klaus Lüttich
2007	A	`conf`	The Heterogeneous Tool Set, Hets. TACAS Till Mossakowski, Christian Maeder, Klaus Lüttich
2006	J	`jnl`	A coalgebraic approach to the semantics of the ambient calculus. Theor. Comput. Sci. Daniel Hausmann, Till Mossakowski, Lutz Schröder
2006	J	`jnl`	Algebraic-coalgebraic specification in CoCasl. J. Log. Algebraic Methods Program. Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel
2006	—	`conf`	Coalgebraic Modal Logic in CoCasl. WADT Lutz Schröder, Till Mossakowski
2006	B	`conf`	Completeness of Global Evaluation Logic. MFCS Sergey Goncharov, Lutz Schröder, Till Mossakowski
2006	J	`jnl`	Development graphs - Proof management for structured specifications. J. Log. Algebraic Methods Program. Till Mossakowski, Serge Autexier, Dieter Hutter
2006	—	`conf`	Institutional 2-cells and Grothendieck Institutions. Essays Dedicated to Joseph A. Goguen Till Mossakowski
2006	—	`conf`	Monad-Based Logics for Computational Effects. AMAST Till Mossakowski
2006	—	`conf`	Reasoning Support for Caslwith Automated Theorem Proving Systems. WADT Klaus Lüttich, Till Mossakowski
2006	—	`conf`	Structured CSP - A Process Algebra as an Institution. WADT Till Mossakowski, Markus Roggenbach
2005	J	`jnl`	Amalgamation in the semantics of CASL. Theor. Comput. Sci. Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
2005	—	`conf`	Casl Specifications of Qualitative Calculi. COSIT Stefan Wölfl, Till Mossakowski
2005	—	`conf`	Heterogeneous Theories and the Heterogeneous Tool Set. Semantic Interoperability and Integration Till Mossakowski
2005	—	`conf`	High-Level Nets with Nets and Rules as Tokens. ICATPN Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
2005	B	`conf`	Iterative Circular Coinduction for CoCasl in Isabelle/HOL. FASE Daniel Hausmann, Till Mossakowski, Lutz Schröder
2005	B	`conf`	Parametrized Exceptions. CALCO Dennis Walter, Lutz Schröder, Till Mossakowski
2005	—	`conf`	Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. Spatial Cognition: Specialization and Integration Stefan Wölfl, Till Mossakowski, Lutz Schröder
2005	B	`conf`	Towards a Coalgebraic Semantics of the Ambient Calculus. CALCO Daniel Hausmann, Till Mossakowski, Lutz Schröder
2004	—	`conf`	A Simple Refinement Language for Casl. WADT Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2004	—	`conf`	Generic Exception Handling and the Java Monad. AMAST Lutz Schröder, Till Mossakowski
2004	—	`conf`	Higher-Order Nets for Mobile Policies. PNGT@ICGT Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce
2004	J	`jnl`	Monad-independent Dynamic Logic in HasCasl. J. Log. Comput. Lutz Schröder, Till Mossakowski
2004	—	`conf`	Ontologies for the Semantic Web in Casl. WADT Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner
2004	—	`conf`	Specification of an Ontology for Route Graphs. Spatial Cognition Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, Robert J. Ross
2004	—	`conf`	Type Class Polymorphism in an Institutional Framework. WADT Lutz Schröder, Till Mossakowski, Christoph Lüth
2003	C	`conf`	A temporal-logic extension of role-based access control covering dynamic separation of duties. TIME Till Mossakowski, Michael Drouineaud, Karsten Sohr
2003	J	`jnl`	Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Comput. Artif. Intell. Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki
2003	—	`conf`	CoCASL at Work -- Modelling Process Algebra. CMCS Till Mossakowski, Markus Roggenbach, Lutz Schröder
2003	B	`conf`	Monad-Independent Hoare Logic in HASCASL. FASE Lutz Schröder, Till Mossakowski
2002	—	`conf`	Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. WADT Kathrin Hoffmann, Till Mossakowski
2002	—	`conf`	Algebraic-Coalgebraic Specification in Co Casl. WADT Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
2002	B	`conf`	Comorphism-Based Grothendieck Logics. MFCS Till Mossakowski
2002	—	`conf`	Foundations of Heterogeneous Specification. WADT Till Mossakowski
2002	—	`conf`	HASCASL: Towards Integrated Specification and Development of Functional Programs. AMAST Lutz Schröder, Till Mossakowski
2002	B	`conf`	Heterogeneous Development Graphs and Heterogeneous Borrowing. FoSSaCS Till Mossakowski
2002	—	`conf`	Integrating HOL-CASL into the Development Graph Manager MAYA. FroCoS Serge Autexier, Till Mossakowski
2002	—	`conf`	Monad-Independent Dynamic Logic in Has Casl. WADT Lutz Schröder, Till Mossakowski
2002	J	`jnl`	Relating CASL with other specification languages: the institution level. Theor. Comput. Sci. Till Mossakowski
2002	—	`—`	Representations, hierarchies and graphs of institutions. Till Mossakowski
2002	—	`conf`	The Development Graph Manager MAYA. AMAST Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
2001	A*	`conf`	Amalgamation in CASL via Enriched Signatures. ICALP Lutz Schröder, Till Mossakowski, Andrzej Tarlecki
2001	B	`conf`	Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski
2001	B	`conf`	Extending Development Graphs with Hiding. FASE Till Mossakowski, Serge Autexier, Dieter Hutter
2001	—	`conf`	Institution Independent Static Analysis for CASL. WADT Till Mossakowski, Bartek Klin
2001	B	`conf`	Semantics of Architectural Specifications in CASL. FASE Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
2000	A	`conf`	CASL: From Semantics to Tools. TACAS Till Mossakowski
1999	—	`ch.`	From Total Equational to Partial First-Order Logic. Algebraic Foundations of Systems Specification Maura Cerioli, Till Mossakowski, Horst Reichel
1999	—	`conf`	Specifications in an Arbitrary Institution with Symbols. WADT Till Mossakowski
1999	—	`conf`	Specifying Real Numbers in CASL. WADT Markus Roggenbach, Lutz Schröder, Till Mossakowski
1999	—	`conf`	Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT Till Mossakowski, Anne E. Haxthausen, Bernd Krieg-Brückner
1998	—	`conf`	Categorial Fibring of Logics with Terms and Binding Operators. FroCoS Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski
1998	—	`conf`	Translationg OBJ3 into CASL: The Institution Level. WADT Till Mossakowski
1997	—	`conf`	Colimits of order-sorted specifications. WADT Till Mossakowski
1997	—	`conf`	Combining and Representing Logical Systems. Category Theory and Computer Science Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
1997	—	`conf`	Combining and representing logical systems using model-theoretic parchments. WADT Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
1997	—	`conf`	Permissive Subsorted Partial Logic in CASL. AMAST Maura Cerioli, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
1997	—	`conf`	Static semantic analysis and theorem proving for CASL. WADT Till Mossakowski, Kolyang, Bernd Krieg-Brückner
1996	A*	`conf`	Different Types of Arrow Between Logical Frameworks. ICALP Till Mossakowski
1995	J	`jnl`	Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. Math. Struct. Comput. Sci. Hans-Jörg Kreowski, Till Mossakowski
1995	B	`conf`	Equivalences among Various Logical Frameworks of Partial Algebras. CSL Till Mossakowski
1995	—	`conf`	Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. COMPASS/ADT Till Mossakowski
1994	—	`conf`	A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. COMPASS/ADT Till Mossakowski
1993	—	`conf`	Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. AMAST Till Mossakowski
1991	J	`jnl`	Some modifications of auxiliary pushdown automata. RAIRO Theor. Informatics Appl. Gerhard Buntrock, Frank Drewes, Clemens Lautemann, Till Mossakowski