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.

Theses

  1. [1] N. Roux (2019-07-01) Refactoring of Theory Graphs in Knowledge Representation Systems. B.Sc. Thesis, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [1] N. Roux and F. Rabe (2021) Structure-Preserving Diagram Operators. In Recent Trends in Algebraic Development Techniques, M. Roggenbach (Ed.), Lecture Notes in Computer Science, Vol. 12669, pp. 142–163. External Links: Link, ISBN 978-3-030-73785-6, Document Cited by: p1.

Unpublished

  1. [1] F. Rabe and N. Roux (2021) Modular formalization of formal systems. Note: under review External Links: Link Cited by: p1.
  2. [4] N. Roux and F. Rabe (2021) Structure-Preserving Diagram Operators. In Recent Trends in Algebraic Development Techniques, M. Roggenbach (Ed.), Lecture Notes in Computer Science, Vol. 12669, pp. 142–163. External Links: Link, ISBN 978-3-030-73785-6, Document Cited by: 3.
  3. [2] N. Roux and F. Rabe (2020) Diagram Operators in a Logical Framework. Extended Abstract, Frontiers in Artificial Intelligence and Applications. External Links: Link Cited by: p1.
  4. [3] N. Roux and F. Rabe (2020) Functorial Diagram Operators. Extended Abstract. Note: Extended abstract accepted as [4] Cited by: p1.