Learning Concepts Described By Weight Aggregation Logic. - Steffen van Bergerem; Nicole Schweikardt (CSL, 2021)

On the Parameterized Complexity of Learning Logic. - Steffen van Bergerem; Martin Grohe; Martin Ritzert (CoRR, 2021)

On the Parameterized Complexity of Learning First-Order Logic. - Steffen van Bergerem; Martin Grohe; Martin Ritzert (PODS, 2022)

Simulating Logspace-Recursion with Logarithmic Quantifier Depth. - Steffen van Bergerem; Martin Grohe; Sandra Kiefer; Luca Oeljeklaus (LICS, 2023)

On the Parameterized Complexity of Learning Monadic Second-Order Formulas. - Steffen van Bergerem; Martin Grohe; Nina Runde (CoRR, 2023)

Descriptive complexity of learning. - Steffen van Bergerem (2023)

Verification of Population Protocols with Unordered Data. - Steffen van Bergerem; Roland Guttenberg; Sandra Kiefer; Corto Mascle; Nicolas Waldburger; Chana Weil-Kennedy (ICALP, 2024)

The Parameterized Complexity of Learning Monadic Second-Order Logic. - Steffen van Bergerem; Martin Grohe; Nina Runde (CSL, 2025)

On the VC Dimension of First-Order Logic with Counting and Weight Aggregation. - Steffen van Bergerem; Nicole Schweikardt (CSL, 2025)

Learning Aggregate Queries Defined by First-Order Logic with Counting. - Steffen van Bergerem; Nicole Schweikardt (ICDT, 2025)

Learning Concepts Definable in First-Order Logic with Counting. - Steffen van Bergerem (Log. Methods Comput. Sci., 2025)