Steffen van Bergerem

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Parameterized Complexity

Intermediate Concepts

Top Venues

Publications

Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Verification of Population Protocols with Unordered Data. CoRR (2024)
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Verification of Population Protocols with Unordered Data. ICALP (2024)
Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus
Simulating Logspace-Recursion with Logarithmic Quantifier Depth. LICS (2023)
Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus
Simulating Logspace-Recursion with Logarithmic Quantifier Depth. CoRR (2023)
Steffen van Bergerem, Martin Grohe, Nina Runde
On the Parameterized Complexity of Learning Monadic Second-Order Formulas. CoRR (2023)
Steffen van Bergerem, Martin Grohe, Martin Ritzert
On the Parameterized Complexity of Learning First-Order Logic. PODS (2022)
Steffen van Bergerem, Martin Grohe, Martin Ritzert
On the Parameterized Complexity of Learning Logic. CoRR (2021)
Steffen van Bergerem, Nicole Schweikardt
Learning Concepts Described By Weight Aggregation Logic. CSL (2021)
Steffen van Bergerem, Nicole Schweikardt
Learning Concepts Described by Weight Aggregation Logic. CoRR (2020)
Steffen van Bergerem
Learning Concepts Definable in First-Order Logic with Counting. CoRR (2019)
Steffen van Bergerem
Learning Concepts Definable in First-Order Logic with Counting. LICS (2019)