| 2026 | TACAS | QSOLE: Automatic QBF Equivalence Checking. | Peter Pfeiffer, Mark Peyrer, Daniel Groe, Martina Seidl |
| 2025 | JELIA | Refined Notions of QBF Equivalences. | Peter Pfeiffer, Daniel Groe, Martina Seidl |
| 2025 | SYNASC | Towards SAT-Based Learning of NNF Networks. | Paul Seip, Florian Beck, Johannes Frnkranz, Clemens Hofstadler, Peter Pfeiffer, Martina Seidl, Robert Peharz, Stefan Szeider |
| 2024 | BPM | Trace vs. Time: Entropy Analysis and Event Predictability of Traceless Event Sequencing. | Peter Pfeiffer, Peter Fettke |
| 2023 | BPM | A Discussion on Generalization in Next-Activity Prediction. | Luka Abb, Peter Pfeiffer, Peter Fettke, Jana-Rebecca Rehse |
| 2023 | ICPM | Business Process Deviation Prediction: Predicting Non-Conforming Process Behavior. | Michael Grohs, Peter Pfeiffer, Jana-Rebecca Rehse |
| 2022 | BPM | Business Process Representation Learning. | Peter Pfeiffer |
| 2022 | BPM | The Label Ambiguity Problem in Process Prediction. | Peter Pfeiffer, Johannes Lahann, Peter Fettke |
| 2022 | ICPM | LSTM-Based Anomaly Detection of Process Instances: Benchmark and Tweaks. | Johannes Lahann, Peter Pfeiffer, Peter Fettke |
| 2022 | ICPM | Multi-perspective Identification of Event Groups for Event Abstraction. | Adrian Rebmann, Peter Pfeiffer, Peter Fettke, Han van der Aa |
| 2021 | BPM | Multivariate Business Process Representation Learning Utilizing Gramian Angular Fields and Convolutional Neural Networks. | Peter Pfeiffer, Johannes Lahann, Peter Fettke |