Mihai Codescu

43 papers A* 1B 3C 3Journal 11Unranked 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols.
CoRR
Kristina Sojakova, Mihai Codescu, Joshua Gancher
2021 — conf
Generic Ontology Design Patterns: Roles and Change Over Time.
WOP (Book)
Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
2020 J jnl
Generic Ontology Design Patterns: Roles and Change over Time.
CoRR
Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
2020 — conf
Modelling Episodes with Generic Ontology Design Patterns.
JOWO
Bernd Krieg-Brückner, Mihai Codescu, Mihai Pomarlan
2019 — conf
Deducing Qualitative Capabilities with Generic Ontology Design Patterns.
ROBOT (1)
Bernd Krieg-Brückner, Mihai Codescu
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 B conf
Hybridisation of Institutions in HETS (Tool Paper).
CALCO
Mihai Codescu
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 — ch.
Enabling Technologies for Concept Invention.
Concept Invention
Roberto Confalonieri, Tarek R. Besold, Mihai Codescu, Manfred Eppe
2017 J jnl
A Categorical Approach to Networks of Aligned Ontologies.
J. Data Semant.
Mihai Codescu, Till Mossakowski, Oliver Kutz
2017 J jnl
Canonical Selection of Colimits.
CoRR
Till Mossakowski, Florian Rabe, Mihai Codescu
2017 J jnl
Ontohub: A semantic repository engine for heterogeneous ontologies.
Appl. Ontology
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
2017 J jnl
Specification refinements: Calculi, tools, and applications.
Sci. Comput. Program.
Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2016 — conf
Canonical Selection of Colimits.
WADT
Till Mossakowski, Florian Rabe, Mihai Codescu
2016 J jnl
Ontohub: A semantic repository for heterogeneous ontologies.
CoRR
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
2016 — conf
Ontology Patterns with DOWL: The Case of Blending.
Description Logics
Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu
2015 A* conf
Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending.
IJCAI
Manfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos Kaliakatsos-Papakostas, Emilios Cambouropoulos, W. Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger
2015 — ed.
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
WADT
Mihai Codescu, Razvan Diaconescu, Ionut Tutu
2014 — conf
A categorical approach to ontology alignment.
OM
Mihai Codescu, Till Mossakowski, Oliver Kutz
2014 C conf
Blending in the Hub.
ICCC
Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu
2014 — conf
Proof Support for Common Logic.
ARQNL@IJCAR
Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger
2014 — conf
Towards Ontological Support for Principle Solutions in Mechanical Engineering.
FOMI@FOIS
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
2014 C conf
Towards Ontological Support for Principle Solutions in Mechanical Engineering.
FOIS
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
2013 B conf
Checking Conservativity with Hets.
CALCO
Mihai Codescu, Till Mossakowski, Christian Maeder
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 J jnl
Towards Ontological Support for Principle Solutions in Mechanical Engineering.
CoRR
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack
2012 — —
Architectural refinement in Hets.
Mihai Codescu
2012 — conf
Compiling Logics.
WADT
Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe
2012 — conf
Ontology-based Route Planning for OpenStreetMap.
Terra Cognita@ISWC
Mihai Codescu, Daniel Couto Vale, Oliver Kutz, 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
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
2010 — conf
A Proof Theoretic Interpretation of Model Theoretic Hiding.
WADT
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
2010 — conf
Integrating Maude into Hets.
AMAST
Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
2010 — conf
Lambda Expressions in Casl Architectural Specifications.
WADT
Mihai Codescu
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
2009 C conf
The VSE Refinement Method in Hets.
ICFEM
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
2008 J jnl
Birkhoff Completeness in Institutions.
Logica Universalis
Mihai Codescu, Daniel Gâinâ
2008 — conf
Generalized Theoroidal Institution Comorphisms.
WADT
Mihai Codescu
2008 — conf
Heterogeneous colimits.
ICST Workshops
Mihai Codescu, Till Mossakowski
2008 — conf
Shapes of Alignments - Construction, Combination, and Computation.
WoMO
Oliver Kutz, Till Mossakowski, Mihai Codescu