default search action
Mihai Codescu
- > Home > Persons > Mihai Codescu
Publications
- 2021
- [c28]Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu:
Generic Ontology Design Patterns: Roles and Change Over Time. WOP (Book) 2021: 25-47 - 2020
- [i5]Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu:
Generic Ontology Design Patterns: Roles and Change over Time. CoRR abs/2011.09353 (2020) - 2019
- [c25]Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Extensions of Generic DOL for Generic Ontology Design Patterns. JOWO 2019 - [i4]Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Extensions of Generic DOL for Generic Ontology Design Patterns. CoRR abs/1906.06275 (2019) - 2018
- [p2]Mihai Codescu, Fabian Neuhaus, Till Mossakowski, Oliver Kutz, Danny de Jesús Gómez-Ramírez:
Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution. Concept Invention 2018: 69-96 - 2017
- [j5]Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Ontohub: A semantic repository engine for heterogeneous ontologies. Appl. Ontology 12(3-4): 275-298 (2017) - [j4]Mihai Codescu, Till Mossakowski, Oliver Kutz:
A Categorical Approach to Networks of Aligned Ontologies. J. Data Semant. 6(4): 155-197 (2017) - [j3]Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. 144: 1-49 (2017) - [i3]Till Mossakowski, Florian Rabe, Mihai Codescu:
Canonical Selection of Colimits. CoRR abs/1705.09363 (2017) - 2016
- [c23]Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu:
Ontology Patterns with DOWL: The Case of Blending. Description Logics 2016 - [c22]Till Mossakowski, Florian Rabe, Mihai Codescu:
Canonical Selection of Colimits. WADT 2016: 170-188 - [i2]Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Ontohub: A semantic repository for heterogeneous ontologies. CoRR abs/1612.05028 (2016) - 2014
- [c20]Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger:
Proof Support for Common Logic. ARQNL@IJCAR 2014: 42-58 - [c17]Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu:
Blending in the Hub. ICCC 2014: 297-305 - [c16]Mihai Codescu, Till Mossakowski, Oliver Kutz:
A categorical approach to ontology alignment. OM 2014: 1-12 - 2013
- [j2]Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein:
The VSE Refinement Method in Hets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - [c15]Mihai Codescu, Till Mossakowski, Christian Maeder:
Checking Conservativity with Hets. CALCO 2013: 315-321 - [c14]Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange:
The Distributed Ontology, Modeling and Specification Language. WoMO 2013 - 2012
- [c13]Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski:
Ontology-based Route Planning for OpenStreetMap. Terra Cognita@ISWC 2012: 62-73 - [c12]Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe:
Compiling Logics. WADT 2012: 111-126 - 2011
- [c11]Mihai Codescu, Till Mossakowski:
Refinement Trees: Calculi, Tools, and Applications. CALCO 2011: 145-160 - [c10]Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau:
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. GeoS 2011: 88-107 - [c9]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291 - 2010
- [c8]Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder:
Integrating Maude into Hets. AMAST 2010: 60-75 - [c6]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT 2010: 118-138 - [c5]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova:
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT 2010: 139-159 - 2009
- [c4]Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski:
The VSE Refinement Method in Hets. ICFEM 2009: 660-678 - 2008
- [c3]Mihai Codescu, Till Mossakowski:
Heterogeneous colimits. ICST Workshops 2008: 131-140 - [c1]Oliver Kutz, Till Mossakowski, Mihai Codescu:
Shapes of Alignments - Construction, Combination, and Computation. WoMO 2008
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint