Project MaMoReD : Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Articles in Journals
    2. Papers at International, Peer-Reviewed Conferences
  2. Theses
  3. Gray Literature
    1. Technical Reports

Archival Literature

Articles in Journals

  1. [1] T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2018) Model pathway diagrams for the representation of mathematical models. Journal of Optical and Quantum Electronics 50 (2), pp. 70. External Links: Document Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [2] T. Pollinger, M. Kohlhase, and H. Köstler (2018) Knowledge amalgamation for computational science and engineering. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2018, F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.), LNAI. External Links: Link Cited by: p1.
  2. [1] M. Kohlhase, T. Koprucki, D. Müller, and K. Tabelow (2017) Mathematical models as research data via flexiformal theory graphs. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2017, H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.

Theses

  1. [1] T. Pollinger (2017) Knowledge representation for modeling and simulation – bridging the gap between informal PDE theory and simulations practice. Master’s Thesis, Informatik, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

Gray Literature

Technical Reports

  1. [1] M. Kohlhase, T. Koprucki, D. Müller, and K. Tabelow (2017) Mathematical models as research data via flexiformal theory graphs. WIAS Preprint Technical Report 2385. External Links: Document Cited by: p1.
  2. [2] T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2017) Model pathway diagrams for the representation of mathematical models. WIAS Preprint Technical Report 2431. External Links: Document Cited by: p1.