A scalable module system F Rabe, M Kohlhase Information and Computation 230, 1-54, 2013 | 178 | 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 | 79 | 2008 |

Project abstract: logic atlas and integrator (LATIN) M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe International Conference on Intelligent Computer Mathematics, 289-291, 2011 | 74 | 2011 |

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

The MMT API: a generic MKM system F Rabe International Conference on Intelligent Computer Mathematics, 339-343, 2013 | 59 | 2013 |

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

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

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

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

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

Publishing math lecture notes as linked data C David, M Kohlhase, C Lange, F Rabe, N Zhiltsov, V Zholudev Extended Semantic Web Conference, 370-375, 2010 | 49 | 2010 |

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 | 44 | 2012 |

TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism. C Kaliszyk, G Sutcliffe, F Rabe PAAR@ IJCAR, 41-55, 2016 | 41 | 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 | 39 | 2010 |

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 | 37 | 2016 |

Classification of alignments between concepts of formal mathematical systems D Müller, T Gauthier, C Kaliszyk, M Kohlhase, F Rabe International Conference on Intelligent Computer Mathematics, 83-98, 2017 | 32 | 2017 |

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

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

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

Semantics of OpenMath and MathML3 M Kohlhase, F Rabe Mathematics in Computer Science 6, 235-260, 2012 | 26 | 2012 |