Deciding Word Problems of Semigroups using Finite State Automata - Max Neunhöffer; Markus Pfeiffer; Nik Ruskuc (CoRR, 2012)

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. - Paul-Olivier Dehaye; Mihnea Iancu; Michael Kohlhase; Alexander Konovalov 001; Samuel Lelièvre; Dennis Müller 001; Markus Pfeiffer; Florian Rabe 001; Nicolas M. Thiéry; Tom Wiesing (CICM, 2016)

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. - Paul-Olivier Dehaye; Michael Kohlhase; Alexander Konovalov 001; Samuel Lelièvre; Markus Pfeiffer; Nicolas M. Thiéry (CoRR, 2016)

Knowledge-Based Interoperability for Mathematical Software Systems. - Michael Kohlhase; Luca De Feo; Dennis Müller 001; Markus Pfeiffer; Florian Rabe 001; Nicolas M. Thiéry; Victor Vasilyev; Tom Wiesing (MACIS, 2017)

Minimal and Canonical Images. - Christopher Jefferson; Eliza Jonauskyte; Markus Pfeiffer; Rebecca Waldecker (CoRR, 2017)

Orbital Graphs. - Christopher Jefferson; Markus Pfeiffer; Rebecca Waldecker (CoRR, 2017)

Parallel algorithms for computing finite semigroups. - J. Jonusas; James D. Mitchell; Markus Pfeiffer (CoRR, 2017)

Report on BCTCS 2017. - Markus Pfeiffer (Bull. EATCS, 2017)

Francy - An Interactive Discrete Mathematics Framework for GAP. - Manuel Machado Martins; Markus Pfeiffer (ICMS, 2018)

Context-Free Word Problem Semigroups. - Tara Brough; Alan J. Cain; Markus Pfeiffer (DLT, 2019)

New refiners for permutation group search. - Christopher Jefferson; Markus Pfeiffer; Rebecca Waldecker (J. Symb. Comput., 2019)

Polynomial-time proofs that groups are hyperbolic. - Derek F. Holt; Stephen A. Linton; Max Neunhöffer; Richard Parker; Markus Pfeiffer; Colva M. Roney-Dougal (J. Symb. Comput., 2021)