VLDB 2026 Research / reviewers in the wild / expert
Markus Pfeiffer
dblp:116/2763
· DBLP profile ↗
4ranked-venue papers
0as first author
1since 2021 · last 2021
0000-0002-9881-4429ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 1 since 2021Artificial intelligence and machine learning · 1Software engineering, systems software and programming languages · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | 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. | 5 |
| 2019 | Context-Free Word Problem Semigroups
Tara Brough, Alan J. Cain, Markus Pfeiffer |
DLT | 3 |
| 2019 | New refiners for permutation group searchabstractPartition backtrack is the current generic state of the art algorithm to search for subgroups of a given permutation group. We describe an improvement of partition backtrack for set stabilizers and intersections of subgroups by using orbital graphs. With extensive experiments we demonstrate that our methods improve performance of partition backtrack – in some cases by several orders of magnitude. Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker |
J. Symb. Comput. | 2 |
| 2016 | Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Olexandr Konovalov, Samuel Lelièvre, Dennis Müller 0001, Markus Pfeiffer, Florian Rabe 0001, Nicolas M. Thiéry, Tom Wiesing |
CICM | 7 |