Mihai Codescu

According to our database, Mihai Codescu authored at least 35 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Generic Ontology Design Patterns: Roles and Change Over Time.

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

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

2020

Modelling Episodes with Generic Ontology Design Patterns.

Bernd Krieg-Brückner, Mihai Codescu, Mihai Pomarlan

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

2019

Deducing Qualitative Capabilities with Generic Ontology Design Patterns.

Bernd Krieg-Brückner, Mihai Codescu

Proceedings of the Robot 2019: Fourth Iberian Robotics Conference, 2019

Extensions of Generic DOL for Generic Ontology Design Patterns.

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

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Hybridisation of Institutions in HETS (Tool Paper).

Mihai Codescu

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

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

Proceedings of the Concept Invention, 2018

Enabling Technologies for Concept Invention.

Roberto Confalonieri, Tarek R. Besold, Mihai Codescu, Manfred Eppe

Proceedings of the Concept Invention, 2018

2017

Specification refinements: Calculi, tools, and applications.

Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki

Sci. Comput. Program., 2017

A Categorical Approach to Networks of Aligned Ontologies.

Mihai Codescu, Till Mossakowski, Oliver Kutz

J. Data Semant., 2017

Ontohub: A semantic repository engine for heterogeneous ontologies.

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

Appl. Ontology, 2017

2016

Ontohub: A semantic repository for heterogeneous ontologies.

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

CoRR, 2016

Canonical Selection of Colimits.

Till Mossakowski, Florian Rabe, Mihai Codescu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Ontology Patterns with DOWL: The Case of Blending.

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

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending.

Manfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos A. Kaliakatsos-Papakostas, Emilios Cambouropoulos, W. Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

A categorical approach to ontology alignment.

Mihai Codescu, Till Mossakowski, Oliver Kutz

Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014

Blending in the Hub.

Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu

Proceedings of the Fifth International Conference on Computational Creativity, 2014

Towards Ontological Support for Principle Solutions in Mechanical Engineering.

Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack

Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

Proof Support for Common Logic.

Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

2013

The VSE Refinement Method in Hets.

Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

The Distributed Ontology, Modeling and Specification Language.

Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange

Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), 2013

Checking Conservativity with Hets.

Mihai Codescu, Till Mossakowski, Christian Maeder

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Architectural refinement in Hets.

Mihai Codescu

PhD thesis, 2012

Compiling Logics.

Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Ontology-based Route Planning for OpenStreetMap.

Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski

Proceedings of the Terra Cognita Workshop on Foundations, 2012

2011

Project Abstract: Logic Atlas and Integrator (LATIN).

Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap.

Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau

Proceedings of the GeoSpatial Semantics - 4th International Conference, 2011

Refinement Trees: Calculi, Tools, and Applications.

Mihai Codescu, Till Mossakowski

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Towards Logical Frameworks in the Heterogeneous Tool Set Hets.

Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A Proof Theoretic Interpretation of Model Theoretic Hiding.

Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Lambda Expressions in Casl Architectural Specifications.

Mihai Codescu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Integrating Maude into Hets.

Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder

Proceedings of the Algebraic Methodology and Software Technology, 2010

2008

Birkhoff Completeness in Institutions.

Mihai Codescu, Daniel Gâinâ

Logica Universalis, 2008

Shapes of Alignments - Construction, Combination, and Computation.

Oliver Kutz, Till Mossakowski, Mihai Codescu

Proceedings of the Workshop on Ontologies: Reasoning and Modularity, 2008

Generalized Theoroidal Institution Comorphisms.

Mihai Codescu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Heterogeneous colimits.

Mihai Codescu, Till Mossakowski

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008