Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mihai Codescu

Silvestru Mihai Codescu

> Home > Persons

Person information

affiliation: Otto von Guericke University Magdeburg, Department for Knowledge and Language Engineering (IWS)
affiliation: FAU Erlangen-Nuremberg, Department of Computer Science
affiliation: German Research Center for Artificial Intelligence (DFKI), Bremen

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2012
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Codescu12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Codescu12
Mihai Codescu:
Architectural refinement in Hets. University of Bremen, 2012, pp. 1-262

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ao/CodescuKKMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ao/CodescuKKMN17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jodsn/CodescuMK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jodsn/CodescuMK17
Mihai Codescu, Till Mossakowski, Oliver Kutz:
A Categorical Approach to Networks of Aligned Ontologies. J. Data Semant. 6(4): 155-197 (2017)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CodescuMST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CodescuMST17
Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. 144: 1-49 (2017)
2013
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MossakowskiCML13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MossakowskiCML13
Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein:
The VSE Refinement Method in Hets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
2008
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/lu/CodescuG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lu/CodescuG08
Mihai Codescu, Daniel Gâinâ:
Birkhoff Completeness in Institutions. Logica Universalis 2(2): 277-309 (2008)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/Krieg-BrucknerM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/Krieg-BrucknerM21
Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu:
Generic Ontology Design Patterns: Roles and Change Over Time. WOP (Book) 2021: 25-47
2020
[c27]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/jowo/Krieg-BrucknerC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jowo/Krieg-BrucknerC20
Bernd Krieg-Brückner, Mihai Codescu, Mihai Pomarlan:
Modelling Episodes with Generic Ontology Design Patterns. JOWO 2020
2019
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/calco/Codescu19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Codescu19
Mihai Codescu:
Hybridisation of Institutions in HETS (Tool Paper). CALCO 2019: 17:1-17:10
[c25]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/jowo/CodescuKM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jowo/CodescuKM19
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Extensions of Generic DOL for Generic Ontology Design Patterns. JOWO 2019
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/robot/Krieg-BrucknerC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/robot/Krieg-BrucknerC19
Bernd Krieg-Brückner, Mihai Codescu:
Deducing Qualitative Capabilities with Generic Ontology Design Patterns. ROBOT (1) 2019: 391-403
2016
[c23]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/KutzNHMC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/KutzNHMC16
Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu:
Ontology Patterns with DOWL: The Case of Blending. Description Logics 2016
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/MossakowskiRC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/MossakowskiRC16
Till Mossakowski, Florian Rabe, Mihai Codescu:
Canonical Selection of Colimits. WADT 2016: 170-188
2015
[c21]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/EppeCMKCSCK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/EppeCMKCSCK15
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: 2445-2451
2014
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/MossakowskiCK0G14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/MossakowskiCK0G14
Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger:
Proof Support for Common Logic. ARQNL@IJCAR 2014: 42-58
[c19]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fois/BreitsprecherCJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fois/BreitsprecherCJ14
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
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fois/BreitsprecherCJKSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fois/BreitsprecherCJKSW14
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOIS 2014: 427-432
[c17]
- view
  - electronic edition @ computationalcreativity.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icccrea/KutzNMC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccrea/KutzNMC14
Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu:
Blending in the Hub. ICCC 2014: 297-305
[c16]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/CodescuMK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/CodescuMK14
Mihai Codescu, Till Mossakowski, Oliver Kutz:
A categorical approach to ontology alignment. OM 2014: 1-12
2013
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/CodescuMM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/CodescuMM13
Mihai Codescu, Till Mossakowski, Christian Maeder:
Checking Conservativity with Hets. CALCO 2013: 315-321
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/womo/MossakowskiKC013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/womo/MossakowskiKC013
Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange:
The Distributed Ontology, Modeling and Specification Language. WoMO 2013
2012
[c13]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/CodescuVKM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/CodescuVKM12
Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski:
Ontology-based Route Planning for OpenStreetMap. Terra Cognita@ISWC 2012: 62-73
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wadt/CodescuHJMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/CodescuHJMR12
Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe:
Compiling Logics. WADT 2012: 111-126
2011
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/CodescuM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/CodescuM11
Mihai Codescu, Till Mossakowski:
Refinement Trees: Calculi, Tools, and Applications. CALCO 2011: 145-160
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/geos/CodescuHKMR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/geos/CodescuHKMR11
Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau:
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. GeoS 2011: 88-107
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CodescuHKMR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CodescuHKMR11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/CodescuMRM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/CodescuMRM10
Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder:
Integrating Maude into Hets. AMAST 2010: 60-75
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Codescu10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Codescu10
Mihai Codescu:
Lambda Expressions in Casl Architectural Specifications. WADT 2010: 98-117
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/CodescuHKMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/CodescuHKMR10
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT 2010: 118-138
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/CodescuHKMRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/CodescuHKMRS10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/CodescuLMM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/CodescuLMM09
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski:
The VSE Refinement Method in Hets. ICFEM 2009: 660-678
2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/CodescuM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/CodescuM08
Mihai Codescu, Till Mossakowski:
Heterogeneous colimits. ICST Workshops 2008: 131-140
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Codescu08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Codescu08
Mihai Codescu:
Generalized Theoroidal Institution Comorphisms. WADT 2008: 88-101
[c1]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/womo/KutzMC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/womo/KutzMC08
Oliver Kutz, Till Mossakowski, Mihai Codescu:
Shapes of Alignments - Construction, Combination, and Computation. WoMO 2008

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/CodescuNMKG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/CodescuNMKG18
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
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/0001BCE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/0001BCE18
Roberto Confalonieri, Tarek R. Besold, Mihai Codescu, Manfred Eppe:
Enabling Technologies for Concept Invention. Concept Invention 2018: 189-219

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2015
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/2014
Mihai Codescu, Razvan Diaconescu, Ionut Tutu:
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers. Lecture Notes in Computer Science 9463, Springer 2015, ISBN 978-3-319-28113-1 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-09353
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-09353
Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu:
Generic Ontology Design Patterns: Roles and Change over Time. CoRR abs/2011.09353 (2020)
2019
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-06275
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-06275
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Extensions of Generic DOL for Generic Ontology Design Patterns. CoRR abs/1906.06275 (2019)
2017
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MossakowskiRC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MossakowskiRC17
Till Mossakowski, Florian Rabe, Mihai Codescu:
Canonical Selection of Colimits. CoRR abs/1705.09363 (2017)
2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CodescuKKMN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CodescuKKMN16
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus:
Ontohub: A semantic repository for heterogeneous ontologies. CoRR abs/1612.05028 (2016)
2013
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BreitsprecherCJKSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BreitsprecherCJKSW13
Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering. CoRR abs/1312.2359 (2013)

Coauthor Index

see FAQ

a service of

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.