Project FormalCAD : Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Articles in Collections
    2. Papers at International, Peer-Reviewed Conferences
  2. Gray Literature
    1. Papers at Peer-Reviewed Workshops
  3. Unpublished
  4. Miscellaneous

Archival Literature

Articles in Collections

  1. [1] M. Kohlhase, J. Lemburg, L. Schröder, and E. Schulz (2009) Formal management of CAD/CAM processes. In Festschrift in honour of Bernd Krieg-Brückner’s 60th birthdayFestschrift in Honour of Bernd Krieg-Brückner’s 60th Birthday, B. Hoffmann, B. Gersdorf, C. Lüth, T. Mossakowski, T. Röfer, L. Schröder, S. Hui, and M. Werner (Eds.), pp. 201–216. Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [1] T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack (2014) Towards ontological support for principle solutions in mechanical engineering. In Formal ontology in information systems - proceedings of the eighth international conference, FOIS 2014Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, P. Garbacz and O. Kutz (Eds.), Frontiers in Artificial Intelligence and Applications, Vol. 267, pp. 427–432. External Links: Document Cited by: p1.
  2. [3] M. Kohlhase (2013) Knowledge management for systematic engineering design in CAD systems. In Professionelles Wissenmanagement Management, Konferenzbeiträge der 7. KonferenzProfessionelles Wissenmanagement Management, Konferenzbeiträge der 7. Konferenz, F. Lehner, N. Amende, and N. Fteimi (Eds.), pp. 202–217. External Links: Link Cited by: p1.
  3. [2] M. Kohlhase, J. Lemburg, L. Schröder, and E. Schulz (2009) Formal management of CAD/CAM processes. In 16th international symposium on formal methods (FM 2009)16th International Symposium on Formal Methods (FM 2009), A. Cavalcanti and D. Dams (Eds.), LNCS, pp. 223–238. External Links: Link Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [1] T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack (2013) Semantic support for engineering design processes. In Proc. 13th International Design Conference, DESIGN 2014, External Links: Link Cited by: p1.
  2. [2] M. Kohlhase (2013) Knowledge management for systematic engineering design in CAD systems. In Professionelles Wissenmanagement Management, Konferenzbeiträge der 7. KonferenzProfessionelles Wissenmanagement Management, Konferenzbeiträge der 7. Konferenz, F. Lehner, N. Amende, and N. Fteimi (Eds.), pp. 202–217. External Links: Link Cited by: p1.

Unpublished

  1. [1] T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack (2013) Towards ontological support for principle solutions in mechanical engineering. External Links: Link Cited by: p1.

Miscellaneous

  1. [1] M. Kohlhase and L. Schroeder (2011) The FormalCAD Project. External Links: Link Cited by: p1.