Publications

Page 1 of 2.

Bernd Krieg-Brückner; Mihai Codescu; Mihai Pomarlan
Modelling Episodes with Generic Ontology Design Patterns
In: Karl Hammar; Oliver Kutz; Anastasia Dimou; Torsten Hahmann; Robert Hoehndorf; Claudio Masolo; Randi Vita (Hrsg.). Proceedings of the Joint Ontology Workshops. Joint Ontology Workshops (JOWO-2020), SKALE: Workshop on Scalable Knowledge Graph Engineering, located at Bolzano Summer of Knowledge (BOSK 2020), August 31 - October 7, Bolzano & Virtual, Italy, No. 2708, CEUR-WS.org, 2020.
Mihai Codescu; Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe
Compiling Logics
In: Narciso Martí-Oliet; Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12), Recent Trends in Algebraic Development Techniques, June 7-10, Salamanca, Spain, Pages 111-126, Lecture Notes in Computer Science (LNCS), Vol. 7841, Springer, 2013.
Mihai Codescu; Till Mossakowski; Christian Maeder
Checking conservativity with Hets
In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), September 3-6, Warsaw, Poland, 2013.
Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
The VSE Refinement Method in Hets
In: Electronic Communications of the EASST, 2013.
Till Mossakowski; Oliver Kutz; Mihai Codescu; Christoph Lange
The Distributed Ontology, Modelling and Specification Language
In: International Workshop on Modular Ontologies proceedings. International Workshop on Modular Ontologies (WoMO-13), 7th, September 15, Corunna, Spain, 2013.
Mihai Codescu
Lambda Expressions in CASL Architectural Specifications
In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), located at 20th, July 1-4, Schloss Etelsen, Germany, LNCS, Vol. 7137, Springer, 2012.
Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova
Towards Logical Frameworks in the Heterogeneous Tool Set Hets
In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.
Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe
A Proof Theoretic Interpretation of Model Theoretic Hiding
In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Pages 118-138, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.
Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
The VSE Refinement Method in Hets
In: Electronic Communications of the EASST, 2012.
Mihai Codescu; Gregor Horsinka; Oliver Kutz; Till Mossakowski; Rafaela Rau
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap
In: C. Claramunt; S. Levashkin; M. Bertolotto (Hrsg.). Fourth International Conference on GeoSpatial Semantics. International Conference on GeoSpatial Semantics (GeoS-11), 4th, May 12-13, Brest, France, Pages 88-107, Lecture Notes in Computer Science (LNCS), Vol. 6631, Springer Verlag, Berlin, 2011.