Page 1 of 2.
Bernd Krieg-Brückner; Mihai Codescu; Mihai Pomarlan
In: Karl Hammar; Oliver Kutz; Anastasia Dimou; Torsten Hahmann; Robert Hoehndorf; Claudio Masolo; Randi Vita (Hrsg.). Proceedings of the Joint …
Mihai Codescu; Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe
In: Narciso Martí-Oliet; Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International …
Mihai Codescu; Till Mossakowski; Christian Maeder
In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), …
Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
In: Electronic Communications of the EASST, 2013.
Till Mossakowski; Oliver Kutz; Mihai Codescu; Christoph Lange
In: International Workshop on Modular Ontologies proceedings. International Workshop on Modular Ontologies (WoMO-13), 7th, September 15, Corunna, …
Mihai Codescu
In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …
Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova
In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …
Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe
In: Electronic Communications of the EASST, 2012.
Mihai Codescu; Gregor Horsinka; Oliver Kutz; Till Mossakowski; Rafaela Rau
In: C. Claramunt; S. Levashkin; M. Bertolotto (Hrsg.). Fourth International Conference on GeoSpatial Semantics. International Conference on GeoSpatial …