A proof theoretic interpretation of model theoretic hiding - Codescu, Silvestru Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian (20th International Workshop on Algebraic Development Techniques, WADT 2010, 2012)

Project abstract: Logic atlas and integrator (LATIN) - Codescu, Silvestru Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian (18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011 and 10th International Conference on Mathematical Knowledge Management, MKM 2011, 2011)

Semantic Support for Engineering Design Processes - Breitsprecher, Thilo; Codescu, Silvestru Mihai; Schröder, Lutz; Wartzack, Sandro; jucovschi, Constantin; Kohlhase, Michael (In Proc. 13th International Design Conference, DESIGN 2014, 2014)
UnivIS-Import:2015-04-17:Pub.2014.tech.IMMD.profes_1.semant
Keywords: design knowledge; ontology; semantics in product development

Towards logical frameworks in the heterogeneous tool set hets - Codescu, Silvestru Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina (20th International Workshop on Algebraic Development Techniques, WADT 2010, 2012)