Richard Marcus : Selected Publications

Please respect any copyrights when downloading

1. Archival Literature
   1. Papers at International, Peer-Reviewed Conferences
2. Gray Literature
   1. Papers at Peer-Reviewed Workshops
3. 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: Document, 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.

Gray Literature

Papers at Peer-Reviewed Workshops

1. [1] M. Kohlhase, R. Marcus, N. Roux, and J. Schihada (2021) Dynamic user interfaces via incremental knowledge management. In 13th MathUI Workshop 2021, Mathematical User Interaction, at the Conference on Intelligent Computer Mathematics, 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.