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

THF0–the core of the TPTP language for higher-order logic C Benzmüller, F Rabe, G Sutcliffe International Joint Conference on Automated Reasoning, 491-506, 2008 | 75 | 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 | 73 | 2011 |

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

Notations for living mathematical documents M Kohlhase, C Müller, F Rabe International Conference on Intelligent Computer Mathematics, 504-519, 2008 | 57 | 2008 |

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 | 53 | 2013 |

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

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 | 51 | 2010 |

Integrating web services into active mathematical documents J Giceva, C Lange, F Rabe International Conference on Intelligent Computer Mathematics, 279-293, 2009 | 49 | 2009 |

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

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

Towards logical frameworks in the heterogeneous tool set hets M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe, K Sojakova International Workshop on Algebraic Development Techniques, 139-159, 2010 | 41 | 2010 |

Towards MKM in the large: Modular representation and scalable software architecture M Kohlhase, F Rabe, V Zholudev International Conference on Intelligent Computer Mathematics, 370-384, 2010 | 33 | 2010 |

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

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, ... International Conference on Intelligent Computer Mathematics, 117-131, 2016 | 30 | 2016 |

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

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

The LATIN Project, 2009 M Kohlhase, T Mossakowski, F Rabe See https://trac. omdoc. org/LATIN, 0 | 26 | |

Towards knowledge management for HOL Light C Kaliszyk, F Rabe International Conference on Intelligent Computer Mathematics, 357-372, 2014 | 25 | 2014 |

A query language for formal mathematical libraries F Rabe International Conference on Intelligent Computer Mathematics, 143-158, 2012 | 25 | 2012 |