E-LIB Suche - Ergebnisse für: Codescu, Mihai

1

Deducing Qualitative Capabilities with Generic Ontology Des..:

, In: Advances in Intelligent Systems and Computing; Robot 2019: Fourth Iberian Robotics Conference,

Krieg-Brückner, Bernd ; Codescu, Mihai - p. 391-403 , 2019

Link: https://doi.org/10.1007/..

2

Specification refinements: Calculi, tools, and applications:

Codescu, Mihai ; Mossakowski, Till ; Sannella, Donald.
Science of Computer Programming. 144 (2017) - p. 1-49 , 2017

Link: https://doi.org/10.1016/..

3

A Categorical Approach to Networks of Aligned Ontologies:

Codescu, Mihai ; Mossakowski, Till ; Kutz, Oliver
Journal on Data Semantics. 6 (2017) 4 - p. 155-197 , 2017

Link: https://doi.org/10.1007/..

4

Recent Trends in Algebraic Development Techniques

22nd International Workshop, WADT 2014, Sinaia, Romania, Se... Lecture Notes in Computer Science ; 9463;SpringerLink, Bücher

Codescu, Mihai ; Diaconescu, Răzvan ; Țuțu, Ionuț - 1st ed. 2015 . , 2015

Link: https://doi.org/10.1007/..

5

Space for space

, In: Spatial Cognition 2014 / Christian Freska ... (eds.)

SpacePortal: the 21st Century Home for Spatial Ontologies

Bateman, John ; Kutz, Oliver ; Mossakowski, Till... (2014) - p. 13-16

Link: http://www.sfbtr8.spatia..

6

Architectural refinement in Hets:

Codescu, Mihai , 2012

Copies: Zentrale:Magazin ts 0335

7

Architectural refinement in Hets:

Codescu, Mihai , 2012

Link: http://nbn-resolving.de/..

8

Birkhoff Completeness in Institutions:

Codescu, Mihai ; Găină, Daniel
Logica Universalis. 2 (2008) 2 - p. 277-309 , 2008

Link: https://doi.org/10.1007/..

9

Generic Ontology Design Patterns: Roles and Change over Tim:

Krieg-Brückner, Bernd ; Mossakowski, Till ; Codescu, Mihai
http://arxiv.org/abs/2011.09353. , 2020

Link: http://arxiv.org/abs/201..

10

Hybridisation of Institutions in HETS (Tool Paper):

Codescu, Mihai
Is Part Of LIPIcs, Volume 139, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). , 2019

Link: https://doi.org/10.4230/..

11

Extensions of Generic DOL for Generic Ontology Design Patte..:

Codescu, Mihai ; Krieg-Brückner, Bernd ; Mossakowski, Till
http://arxiv.org/abs/1906.06275. , 2019

Link: http://arxiv.org/abs/190..

12

Canonical Selection of Colimits:

Mossakowski, Till ; Rabe, Florian ; Codescu, Mihai
http://arxiv.org/abs/1705.09363. , 2017

Link: http://arxiv.org/abs/170..

13

Ontohub: A semantic repository for heterogeneous ontologies:

Codescu, Mihai ; Kuksa, Eugen ; Kutz, Oliver..
http://arxiv.org/abs/1612.05028. , 2016

Link: http://arxiv.org/abs/161..

14

Canonical Selection of Colimits:

Mossakowski, Till ; Rabe, Florian ; Codescu, Mihai
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-72044-9_12. , 2016

Link: https://inria.hal.scienc..

15

Canonical Selection of Colimits:

Mossakowski, Till ; Rabe, Florian ; Codescu, Mihai
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-72044-9_12. , 2016

Link: https://inria.hal.scienc..