Concepedia

Florian Rabe

FR

Statistics

Publications

13

Citations

344

H-Index

12

Active since

2009

Affiliations

Constructor University(Current)

Friedrich-Alexander-Universität Erlangen-Nürnberg

Florian Rabe is an author at Constructor University specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemanticsSystem SoftwareFormal VerificationMathematics TeachingLanguageVerification

Publications per year

2009–2020

13

Publications

13

A scalable module system

Florian Rabe, Michael Kohlhase · Information and Computation · 2013 · 95 citations

Engineering, Distributed Computing, Module Design +7

The Mizar Mathematical Library in OMDoc: Translation and Applications

Mihnea Iancu, Michael Kohlhase, Florian Rabe et al. · Journal of Automated Reasoning · 2012 · 48 citations · Full text

Mathematical Programming, Computer Algebra, Mathematical Model +2

A practical module system for LF

Florian Rabe, Carsten Schürmann · 2009 · 34 citations

Engineering, Verification, Automated Proof +19

How to identify, translate and combine logics?

Florian Rabe · Journal of Logic and Computation · 2014 · 31 citations

Applied Logic, Logical Frameworks, Engineering +15

A logical framework combining model and proof theory

Florian Rabe · Mathematical Structures in Computer Science · 2013 · 21 citations

Formal Logic, Important Logical Frameworks, Non-monotonic Logic +14

1–5 of 13