| 2026 | MFCS | Complexity of Clique-Guarded First-Order Logic with Counting. | Steffen van Bergerem, Johannes Friedrich Lange, Nicole Schweikardt |
| 2025 | CSL | The Parameterized Complexity of Learning Monadic Second-Order Logic. | Steffen van Bergerem, Martin Grohe, Nina Runde |
| 2025 | CSL | On the VC Dimension of First-Order Logic with Counting and Weight Aggregation. | Steffen van Bergerem, Nicole Schweikardt |
| 2025 | ICDT | Learning Aggregate Queries Defined by First-Order Logic with Counting. | Steffen van Bergerem, Nicole Schweikardt |
| 2024 | ICALP | Verification of Population Protocols with Unordered Data. | Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy |
| 2023 | LICS | Simulating Logspace-Recursion with Logarithmic Quantifier Depth. | Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus |
| 2022 | PODS | On the Parameterized Complexity of Learning First-Order Logic. | Steffen van Bergerem, Martin Grohe, Martin Ritzert |
| 2021 | CSL | Learning Concepts Described By Weight Aggregation Logic. | Steffen van Bergerem, Nicole Schweikardt |
| 2019 | LICS | Learning Concepts Definable in First-Order Logic with Counting. | Steffen van Bergerem |