Richard Marcus : Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Papers at International, Peer-Reviewed Conferences
  2. Unpublished

Archival Literature

Papers at International, Peer-Reviewed Conferences

  1. [1] M. Kohlhase, B. Bösl, R. Marcus, D. Müller, D. Rochau, N. Roux, J. Schihada, and M. Stamminger (2020) FrameIT: detangling knowledge management from game design in serious games. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2020, C. Benzmüller and B. Miller (Eds.), LNAI, Vol. 12236, pp. 173–189. External Links: Link Cited by: p1.
  2. [2] R. Marcus, M. Kohlhase, and F. Rabe (2020) TGView3D: a system for 3-dimensional visualization of theory graphs. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2020, C. Benzmüller and B. Miller (Eds.), LNAI, Vol. 12236, pp. 290–296. External Links: Link Cited by: p1.

Unpublished

  1. [1] R. Marcus, M. Kohlhase, and F. Rabe TGView3D system description: 3-dimensional visualization of theory graphs. External Links: Link Cited by: p1.