Navid Roux : Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Papers at International, Peer-Reviewed Conferences
  2. Theses
  3. Bachelors/Masters Project Reports
  4. Gray Literature
    1. Papers at Peer-Reviewed Workshops
  5. 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.

Theses

  1. [2] N. Roux (2022-03-23) A framework for defining structure-preserving diagram operators. M.Sc. Thesis, FAU Erlangen-Nürnberg. Note: linked PDF is an old outdated one External Links: Link Cited by: p1.
  2. [3] N. Roux (2020-07-17) Structure-preserving diagram operators. Master Project Report, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
  3. [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.

Bachelors/Masters Project Reports

  1. [1] N. Roux (2020-07-17) Structure-preserving diagram operators. Master Project Report, FAU Erlangen-Nürnberg. 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.
  2. [2] 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, Document Cited by: p1.
  3. [3] 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. [8] N. Roux (2022-07-21) A framework for defining structure-preserving diagram operators (slides). M.Sc. Thesis Defense Slides, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
  2. [7] 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.
  3. [6] 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.
  4. [1] F. Rabe and N. Roux (2021) Modular formalization of formal systems. Note: under review External Links: Link Cited by: p1.
  5. [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.
  6. [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.
  7. [3] N. Roux and F. Rabe (2020) Functorial Diagram Operators. Extended Abstract. Note: Extended abstract accepted as [4] Cited by: p1.
  8. [5] N. Roux (2019-07-15) Refactoring of theory graphs in knowledge representation systems (slides). B.Sc. Thesis Defense Slides, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.