Archival Literature

Articles in Journals

  1. [1] M. Kohlhase, R. Marcus, N. Roux, and J. Schihada (2021) Dynamic user interfaces via incremental knowledge management. External Links: Link Cited by: p1.

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.

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] F. Rabe and N. Roux (2021) Systematic translation of formalizations of type theory from intrinsic to extrinsic style. In Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (LFMTP), E. Pimentel and E. Tassi (Eds.), External Links: Link Cited by: p1.
  2. [2] 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. [6] N. Roux (2021-03-22) A beginner’s guide to logical relations for a logical framework. seminar paper, FAU Erlangen-Nürnberg. Note: written as a student of the kwarc seminar External Links: Link Cited by: p1.
  2. [5] N. Roux (2021-01-27) A beginner’s guide to logical relations for a logical framework (slides). seminar presentation, FAU Erlangen-Nürnberg. Note: presented as a student of the kwarc seminar External Links: Link Cited by: p1.
  3. [1] F. Rabe and N. Roux (2021) Modular formalization of formal systems. Note: under review External Links: Link Cited by: p1.
  4. [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.
  5. [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.
  6. [3] N. Roux and F. Rabe (2020) Functorial Diagram Operators. Extended Abstract. Note: Extended abstract accepted as [4] Cited by: p1.