Login / Signup
Navid Roux
ORCID
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 4
Top Topics
Knowledge Management
Serious Games
Morphological Operators
User Interface
Top Venues
CICM
WADT
LFMTP
CICM Workshops
</>
Publications
</>
Richard Marcus
,
Michael Kohlhase
,
Navid Roux
,
John Schihada
Dynamic User Interfaces via Incremental Knowledge Management.
CICM Workshops
(2021)
Florian Rabe
,
Navid Roux
Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style.
LFMTP
(2021)
Michael Kohlhase
,
Benjamin Bösl
,
Richard Marcus
,
Dennis Müller
,
Denis Rochau
,
Navid Roux
,
John Schihada
,
Marc Stamminger
FrameIT: Detangling Knowledge Management from Game Design in Serious Games.
CICM
(2020)
Navid Roux
,
Florian Rabe
Structure-Preserving Diagram Operators.
WADT
(2020)