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] F. Rabe and N. Roux (2021) Translating Formalizations of Type Theories from Intrinsic to Extrinsic Style. In Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (LFMTP), E. Pimentel and E. Tassi (Eds.), pp. 88–103. 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: p1.

Unpublished

1. [7] 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. [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.
3. [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.
4. [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: 2.
5. [1] 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. [2] N. Roux and F. Rabe (2020) Functorial Diagram Operators. Extended Abstract. Note: Extended abstract accepted as [3] Cited by: p1.
7. [4] 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.