Computer Science @ University of St Andrews

University of St Andrews crest

Dr Markus Pfeiffer

No picture available

Position: Research Fellow

Research profile

Email (@st-andrews.ac.uk): markus.pfeiffer

Office: JC0.11 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1633

Home page: https://mp397.host.cs.st-andrews.ac.uk

Recent Publications

Minimal and canonical images

Two variants of the froidure-pin algorithm for finite semigroups

New refiners for permutation group search

Francy - an interactive discrete mathematics framework for GAP

Martins, MM & Pfeiffer, MJ 2018, Francy - an interactive discrete mathematics framework for GAP. in JH Davenport, M Kauers, G Labahn & J Urban (eds), Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 10931, Springer, Cham, pp. 352-358, International Congress on Mathematical Software - ICMS 2018, South Bend, United States, 24/07/18. DOI: 10.1007/978-3-319-96418-8_42

Finite presentability and isomorphism of Cayley graphs of monoids

Knowledge-based interoperability for mathematical software systems

Kohlhase, M, De Feo, L, Müller, D, Pfeiffer, MJ, Rabe, F, Thiéry, N, Vasilyev, V & Wiesing, T 2017, Knowledge-based interoperability for mathematical software systems. in J Blömer, I Kotsireas, T Kutsia & DE Simos (eds), Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 10693, Springer, Cham, pp. 195-210, 7th International Conference on Mathematical Aspects of Computer and Information Sciences, Vienna, Austria, 15/11/17. DOI: 10.1007/978-3-319-72453-9_14

Decision problems for word-hyperbolic semigroups

Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach

Dehaye, P-O, Iancu, M, Kohlhase, M, Konovalov, A, Lelièvre, S, Müller, D, Pfeiffer, M, Rabe, F, Thiéry, NM & Wiesling, T 2016, Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach. in M Kohlhase, M Johansson, B Miller, L de Moura & F Tompa (eds), Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9791, Springer, Cham, pp. 117-131, Conference on Intelligent Computer Mathematics 2016, Bialystok, Poland, 25/07/16. DOI: 10.1007/978-3-319-42547-4_9

Deciding Word Problems of Semigroups using Finite State Automata