Personal information

Websites & social links

Website at the KWARC group I am involved in as a student
Personal academic & private blog
GitHub account
StackOverflow account

Keywords

formal-systems, mathematical knowledge management, formalization, research in software engineering

Activities

Collapse all

Education and qualifications (2)

Friedrich-Alexander-Universität Erlangen-Nürnberg - Technische Fakultät: Erlangen, Bayern, DE

2019-04-01 to present | Master of Science (Computer Science)
Education
Source: Self-asserted source
Navid Roux

Friedrich-Alexander-Universität Erlangen-Nürnberg - Technische Fakultät: Erlangen, Bayern, DE

2015-10-01 to 2019-07-15 | Bachelor of Science (Computer Science)
Education
Source: Self-asserted source
Navid Roux

Works (3)

Structure-Preserving Diagram Operators

2021 | Book chapter
DOI: 10.1007/978-3-030-73785-6_8
Contributors: Navid Roux; Florian Rabe
Source: check_circle
Crossref

FrameIT: Detangling Knowledge Management from Game Design in Serious Games

2020 | Book chapter
DOI: 10.1007/978-3-030-53518-6_11
Contributors: Michael Kohlhase; Benjamin Bösl; Richard Marcus; Dennis Müller; Denis Rochau; Navid Roux; John Schihada; Marc Stamminger
Source: check_circle
Crossref

Refactoring of Theory Graphs in Knowledge Representation Systems (B.Sc. thesis)

2019-07-01 | Dissertation or Thesis
Source: Self-asserted source
Navid Roux
How many people are using ORCID?