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

Generalized Theoroidal Institution Comorphisms. - Mihai Codescu (WADT, 2008)

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

Birkhoff Completeness in Institutions. - Mihai Codescu; Daniel Gâinâ (Logica Universalis, 2008)

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

Lambda Expressions in Casl Architectural Specifications. - Mihai Codescu (WADT, 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)

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)

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

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)

Architectural refinement in Hets. - Mihai Codescu (2012)

Checking Conservativity with Hets. - Mihai Codescu; Till Mossakowski; Christian Maeder (CALCO, 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)

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

Towards Ontological Support for Principle Solutions in Mechanical Engineering. - Thilo Breitsprecher; Mihai Codescu; Constantin Jucovschi; Michael Kohlhase; Lutz Schröder; Sandro Wartzack (FOMI@FOIS, 2014)

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

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

Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending. - Manfred Eppe; Roberto Confalonieri 001; Ewen Maclean; Maximos A. Kaliakatsos-Papakostas; Emilios Cambouropoulos; W. Marco Schorlemmer; Mihai Codescu; Kai-Uwe Kühnberger (IJCAI, 2015)

Ontology Patterns with DOWL: The Case of Blending. - Oliver Kutz; Fabian Neuhaus; Maria M. Hedblom; Till Mossakowski; Mihai Codescu (Description Logics, 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)

Ontohub: A semantic repository engine for heterogeneous ontologies. - Mihai Codescu; Eugen Kuksa; Oliver Kutz; Till Mossakowski; Fabian Neuhaus (Appl. Ontology, 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)

Enabling Technologies for Concept Invention. - Roberto Confalonieri 001; Tarek R. Besold; Mihai Codescu; Manfred Eppe (Concept Invention, 2018)

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)

Hybridisation of Institutions in HETS (Tool Paper). - Mihai Codescu (CALCO, 2019)

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

Deducing Qualitative Capabilities with Generic Ontology Design Patterns. - Bernd Krieg-Brückner; Mihai Codescu (ROBOT (1), 2019)

Modelling Episodes with Generic Ontology Design Patterns. - Bernd Krieg-Brückner; Mihai Codescu; Mihai Pomarlan (JOWO, 2020)

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

Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols. - Kristina Sojakova; Mihai Codescu; Joshua Gancher (CoRR, 2025)