Navid Roux

According to our database, Navid Roux authored at least 4 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style.

Florian Rabe, Navid Roux

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021

Dynamic User Interfaces via Incremental Knowledge Management.

Richard Marcus, Michael Kohlhase, Navid Roux, John Schihada

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

2020

Structure-Preserving Diagram Operators.

Navid Roux, Florian Rabe

Proceedings of the Recent Trends in Algebraic Development Techniques, 2020

FrameIT: Detangling Knowledge Management from Game Design in Serious Games.

Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller, Denis Rochau, Navid Roux, John Schihada, Marc Stamminger

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020