A scalable module system F Rabe, M Kohlhase Information and Computation 230, 1-54, 2013 | 159 | 2013 |

THF0–the core of the TPTP language for higher-order logic C Benzmüller, F Rabe, G Sutcliffe Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008 | 74 | 2008 |

Project abstract: logic atlas and integrator (LATIN) M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th …, 2011 | 71 | 2011 |

The MMT API: a generic MKM system F Rabe Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and …, 2013 | 58 | 2013 |

The Mizar mathematical library in OMDoc: translation and applications M Iancu, M Kohlhase, F Rabe, J Urban Journal of Automated Reasoning 50, 191-202, 2013 | 57 | 2013 |

Notations for living mathematical documents M Kohlhase, C Müller, F Rabe Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008 | 56 | 2008 |

A practical module system for LF F Rabe, C Schürmann Proceedings of the Fourth International Workshop on Logical Frameworks and …, 2009 | 55 | 2009 |

Publishing math lecture notes as linked data C David, M Kohlhase, C Lange, F Rabe, N Zhiltsov, V Zholudev The Semantic Web: Research and Applications: 7th Extended Semantic Web …, 2010 | 51 | 2010 |

Representing logics and logic translations F Rabe Jacobs University Bremen, 2008 | 50 | 2008 |

How to identify, translate and combine logics? F Rabe Journal of Logic and Computation 27 (6), 1753-1798, 2017 | 49 | 2017 |

Integrating web services into active mathematical documents J Giceva, C Lange, F Rabe Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th …, 2009 | 49 | 2009 |

Towards logical frameworks in the heterogeneous tool set hets M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe, K Sojakova Recent Trends in Algebraic Development Techniques: 20th International …, 2012 | 42 | 2012 |

TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism. C Kaliszyk, G Sutcliffe, F Rabe PAAR@ IJCAR, 41-55, 2016 | 35 | 2016 |

Interoperability in the OpenDreamKit project: the math-in-the-middle approach PO Dehaye, M Iancu, M Kohlhase, A Konovalov, S Lelièvre, D Müller, ... Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016 | 34 | 2016 |

Towards MKM in the large: Modular representation and scalable software architecture M Kohlhase, F Rabe, V Zholudev Intelligent Computer Mathematics: 10th International Conference, AISC 2010 …, 2010 | 33 | 2010 |

A logical framework combining model and proof theory F Rabe Mathematical Structures in Computer Science 23 (5), 945-1001, 2013 | 31 | 2013 |

Classification of alignments between concepts of formal mathematical systems D Müller, T Gauthier, C Kaliszyk, M Kohlhase, F Rabe Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017 | 26 | 2017 |

QED reloaded: towards a pluralistic formal library of mathematical knowledge M Kohlhase, F Rabe Journal of Formalized Reasoning 9 (1), 201-234, 2016 | 25 | 2016 |

A query language for formal mathematical libraries F Rabe Intelligent Computer Mathematics: 11th International Conference, AISC 2012 …, 2012 | 25 | 2012 |

Formalising foundations of mathematics M Iancu, F Rabe Mathematical Structures in Computer Science 21 (4), 883-911, 2011 | 25 | 2011 |