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: JC1.02 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1633

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

Recent Publications

Finite presentability and isomorphism of Cayley graphs of monoids

Parallel algorithms for computing finite semigroups

Orbital Graphs

Minimal and canonical images

New refiners for permutation group search

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-29 July. DOI: 10.1007/978-3-319-42547-4_9

Deciding Word Problems of Semigroups using Finite State Automata