Dr.-Ing. Silvestru Mihai Codescu



Organisation


Lehrstuhl für Informatik 8 (Theoretische Informatik)


Publications (Download BibTeX)


Breitsprecher, T., Codescu, S.M., Schröder, L., Wartzack, S., jucovschi, C., & Kohlhase, M. (2014). Semantic Support for Engineering Design Processes. In In Proc. 13th International Design Conference, DESIGN 2014 (pp. 1723-1732). Dubrovnik: Faculty of Mechanical Engineering and Naval Architecture.
Codescu, S.M., Horozal, F., Kohlhase, M., Mossakowski, T., & Rabe, F. (2012). A proof theoretic interpretation of model theoretic hiding. In Proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010 (pp. 118-138). Etelsen.
Codescu, S.M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F., & Sojakova, K. (2012). Towards logical frameworks in the heterogeneous tool set hets. In Proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010 (pp. 139-159). Etelsen.
Codescu, S.M., Horozal, F., Kohlhase, M., Mossakowski, T., & Rabe, F. (2011). Project abstract: Logic atlas and integrator (LATIN). In Proceedings of the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011 and 10th International Conference on Mathematical Knowledge Management, MKM 2011 (pp. 289-291). Bertinoro.

Last updated on 2016-05-05 at 05:36