Mihai Codescu

ORCID

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 14

Top Venues

CoRR

CALCO

JOWO

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

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
Generic Ontology Design Patterns: Roles and Change Over Time. WOP (Book) (2021)
Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
Generic Ontology Design Patterns: Roles and Change over Time. CoRR (2020)
Bernd Krieg-Brückner, Mihai Codescu, Mihai Pomarlan
Modelling Episodes with Generic Ontology Design Patterns. JOWO (2020)
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
Extensions of Generic DOL for Generic Ontology Design Patterns. JOWO (2019)
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
Extensions of Generic DOL for Generic Ontology Design Patterns. CoRR (2019)
Mihai Codescu
Hybridisation of Institutions in HETS (Tool Paper). CALCO (2019)
Bernd Krieg-Brückner, Mihai Codescu
Deducing Qualitative Capabilities with Generic Ontology Design Patterns. ROBOT (1) (2019)
Till Mossakowski, Florian Rabe, Mihai Codescu
Canonical Selection of Colimits. CoRR (2017)
Mihai Codescu, Till Mossakowski, Oliver Kutz
A Categorical Approach to Networks of Aligned Ontologies. J. Data Semant. 6 (4) (2017)
Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. 144 (2017)
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
Ontohub: A semantic repository engine for heterogeneous ontologies. Appl. Ontology 12 (3-4) (2017)
Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu
Ontology Patterns with DOWL: The Case of Blending. Description Logics (2016)
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
Ontohub: A semantic repository for heterogeneous ontologies. CoRR (2016)
Till Mossakowski, Florian Rabe, Mihai Codescu
Canonical Selection of Colimits. WADT (2016)
Manfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos A. Kaliakatsos-Papakostas, Emilios Cambouropoulos, W. Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger
Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending. IJCAI (2015)
Mihai Codescu, Till Mossakowski, Oliver Kutz
A categorical approach to ontology alignment. OM (2014)
Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger
Proof Support for Common Logic. ARQNL@IJCAR (2014)
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOIS (2014)
Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu
Blending in the Hub. ICCC (2014)
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOMI@FOIS (2014)
Mihai Codescu, Till Mossakowski, Christian Maeder
Checking Conservativity with Hets. CALCO (2013)
Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange
The Distributed Ontology, Modeling and Specification Language. WoMO (2013)
Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
The VSE Refinement Method in Hets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
Towards Ontological Support for Principle Solutions in Mechanical Engineering. CoRR (2013)
Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski
Ontology-based Route Planning for OpenStreetMap. Terra Cognita@ISWC (2012)
Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe
Compiling Logics. WADT (2012)
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM (2011)
Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. GeoS (2011)
Mihai Codescu, Till Mossakowski
Refinement Trees: Calculi, Tools, and Applications. CALCO (2011)
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT (2010)
Mihai Codescu
Lambda Expressions in Casl Architectural Specifications. WADT (2010)
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT (2010)
Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
Integrating Maude into Hets. AMAST (2010)
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
The VSE Refinement Method in Hets. ICFEM (2009)
Mihai Codescu, Daniel Gâinâ
Birkhoff Completeness in Institutions. Logica Universalis 2 (2) (2008)
Mihai Codescu, Till Mossakowski
Heterogeneous colimits. ICST Workshops (2008)
Mihai Codescu
Generalized Theoroidal Institution Comorphisms. WADT (2008)
Oliver Kutz, Till Mossakowski, Mihai Codescu
Shapes of Alignments - Construction, Combination, and Computation. WoMO (2008)

Mihai Codescu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mihai Codescu