Keywords:
Publications of Mihai Codescu
to appear
Checking conservativity with Hets, in: CALCO 2013, to appear | , and ,
The Distributed Ontology, Modeling and Specification Language, in: WoMo 2013, to appear | , , and ,
2011
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap, in: Fourth International Conference on GeoSpatial Semantics, pages 88--107, Springer, 2011 | , , , and ,
[URL] |
Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap, in: Magdeburger Logistiktagung, 2011 | , and ,
|
OSMonto - An Ontology of OpenStreetMap Tags, in: State of the map Europe (SOTM-EU) 2011, 2011 | , , , and ,
|
2008
Heterogeneous colimits, in: MoVaH'08 Workshop on Modeling, Validation and Heterogeneity, IEEE press, 2008 | and ,
[URL] |
Shapes of Alignments - Construction, Combination, and Computation, in: International Workshop on Ontologies: Reasoning and Modularity (WORM-08), 2008 | , and ,
[URL] |