Steffen van Bergerem and Nicole Schweikardt. Learning Aggregate Queries Defined by First-Order Logic with Counting. Accepted at ICDT 2025. (PDF)
2024
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, and Chana Weil-Kennedy. Verification of Population Protocols with Unordered Data. ICALP 2024.
(doi, arXiv)
2023
Steffen van Bergerem. Descriptive Complexity of Learning. PhD thesis. RWTH Aachen University, Germany.
(doi, PDF)
Steffen van Bergerem, Martin Grohe, Sandra Kiefer, and Luca Oeljeklaus. Simulating Logspace-Recursion with Logarithmic Quantifier Depth. LICS 2023.
(doi, arXiv)
2022
Steffen van Bergerem, Martin Grohe, and Martin Ritzert. On the Parameterized Complexity of Learning First-Order Logic. PODS 2022.
(doi, arXiv)
Carl-Friedrich Schön, Steffen van Bergerem, Christian Mattes, Aakash Yadav, Martin Grohe, Leif Kobbelt, and Matthias Wuttig. Classification of properties and their relation to chemical bonding: Essential steps toward the inverse design of functional materials. Science Advances 8, 47 (2022).
(doi)
2021
Steffen van Bergerem and Nicole Schweikardt. Learning Concepts Described By Weight Aggregation Logic. CSL 2021.
(doi, arXiv)
2019
Steffen van Bergerem. Learning Concepts Definable in First-Order Logic with Counting. LICS 2019.
(doi, arXiv, PDF)
