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

Knowledge-based interoperability for mathematical software systems M Kohlhase, L De Feo, D Müller, M Pfeiffer, F Rabe, NM Thiéry, ... International Conference on Mathematical Aspects of Computer and Information …, 2017 | 8 | 2017 |

Constructing Majorana Representations M Pfeiffer, M Whybrow arXiv preprint arXiv:1803.10723, 2018 | 7 | 2018 |

Minimal and canonical images C Jefferson, E Jonauskyte, M Pfeiffer, R Waldecker Journal of Algebra 521, 481-506, 2019 | 4 | 2019 |

Adventures in applying iteration lemmas MJ Pfeiffer University of St Andrews, 2013 | 4 | 2013 |

Deciding word problems of semigroups using finite state automata M Neunhöffer, M Pfeiffer, N Ruskuc arXiv preprint arXiv:1206.1714, 2012 | 4 | 2012 |

New refiners for permutation group search C Jefferson, M Pfeiffer, R Waldecker Journal of Symbolic Computation 92, 70-92, 2019 | 3 | 2019 |

Two variants of the Froiduire-Pin Algorithm for finite semigroups J Jonušas, JD Mitchell, M Pfeiffer arXiv preprint arXiv:1704.04084, 2017 | 3 | 2017 |

Automata and growth functions for the triangle groups M Pfeiffer, G Hiß Diploma Thesis in Computer Science, Rheinisch-Westfälische Technische …, 2008 | 3 | 2008 |

Decision problems for word-hyperbolic semigroups AJ Cain, M Pfeiffer Journal of Algebra 465, 287-321, 2016 | 2 | 2016 |

Permutation group algorithms based on directed graphs C Jefferson, M Pfeiffer, R Waldecker, WA Wilson arXiv preprint arXiv:1911.04783, 2019 | 1 | 2019 |

Context-free word problem semigroups T Brough, AJ Cain, M Pfeiffer International Conference on Developments in Language Theory, 292-305, 2019 | 1 | 2019 |

Polynomial-time proofs that groups are hyperbolic D Holt, S Linton, M Neunhoeffer, R Parker, M Pfeiffer, CM Roney-Dougal arXiv preprint arXiv:1905.09770, 2019 | 1 | 2019 |

Computational aspects of orbital graphs P Hähndel, C Jefferson, M Pfeiffer, R Waldecker submitted, 2017 | 1 | 2017 |

Safety first: targeting embedded systems with full-spectrum dependent types C Schwaab, M Pfeiffer, E Brady TFP, 2015 | 1 | 2015 |

Francy-An Interactive Discrete Mathematics Framework for GAP MM Martins, M Pfeiffer International Congress on Mathematical Software, 352-358, 2018 | | 2018 |

Francy-An Interactive Discrete Mathematics Framework for GAP M Machado Martins, M Pfeiffer arXiv preprint arXiv:1806.08648, 2018 | | 2018 |

Orbital Graphs P Hähndel, C Jefferson, M Pfeiffer, R Waldecker arXiv preprint arXiv:1703.04272, 2017 | | 2017 |

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach T Nicolas, PO Dehaye, M Kohlhase, A Konovalov, S Lelièvre, M Pfeiffer | | 2016 |

Finite presentability and isomorphism of Cayley graphs of monoids J Awang, M Pfeiffer, N Ruskuc arXiv preprint arXiv:1602.08502, 2016 | | 2016 |