Statistics
Publications
3
Citations
79
H-Index
3
Active since
2010
Affiliations
Heinrich Heine University Düsseldorf(Current)
Fabian Fritz is an author at Heinrich Heine University Düsseldorf specializing in semantics, knowledge representation, and language documentation.
Publications per year
2010–2011
3
3
Automated property verification for large scale B models with ProB
Michaël Leuschel, Jérôme Falampin, Fabian Fritz et al. · Formal Aspects of Computing · 2011 · 56 citations · Full text
Developing Camille, a text editor for Rodin
Jens Bendisposto, Fabian Fritz, Michael Jastram et al. · Software Practice and Experience · 2011 · 12 citations
Engineering, Semantics, Semantic Web +18
Colin Snook, Fabian Fritz, Alexei Illisaov · ePrints Soton (University of Southampton) · 2010 · 11 citations
1–3 of 3