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 |

Semigroups-GAP package JD Mitchell, M Delgado, J East, A Egri-Nagy, J Jonusas, M Pfeiffer, ... Version, 2015 | 32 | 2015 |

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

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

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

Permutation group algorithms based on directed graphs C Jefferson, M Pfeiffer, WA Wilson, R Waldecker Journal of Algebra 585, 723-758, 2021 | 9 | 2021 |

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

Polynomial-time proofs that groups are hyperbolic D Holt, S Linton, M Neunhöffer, R Parker, M Pfeiffer, CM Roney-Dougal Journal of Symbolic Computation 104, 419-475, 2021 | 6 | 2021 |

images, minimal and canonical images, Version 1.3. 0 C Jefferson, M Pfeiffer, R Waldecker, E Jonauskyte | 6 | 2019 |

Context-free word problem semigroups T Brough, AJ Cain, M Pfeiffer Developments in Language Theory: 23rd International Conference, DLT 2019 …, 2019 | 6 | 2019 |

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

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

Permutation group algorithms based on directed graphs (extended version) C Jefferson, M Pfeiffer, R Waldecker, WA Wilson arXiv preprint arXiv:1911.04783, 2019 | 4 | 2019 |

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

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

Two variants of the Froidure–Pin Algorithm for finite semigroups J Jonu¹as, JD Mitchell, M Pfeiffer Portugaliae Mathematica 74 (3), 173-200, 2018 | 3 | 2018 |

Finite presentability and isomorphism of Cayley graphs of monoids J Awang, M Pfeiffer, N Ru¹kuc Proceedings of the American Mathematical Society 145 (11), 4585-4593, 2017 | 1 | 2017 |

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 M Machado Martins, M Pfeiffer Mathematical Software–ICMS 2018: 6th International Conference, South Bend …, 2018 | | 2018 |