Steffen van Bergerem

According to our database, Steffen van Bergerem authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verification of Population Protocols with Unordered Data.

Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2023

Descriptive complexity of learning.

Steffen van Bergerem

PhD thesis, 2023

On the Parameterized Complexity of Learning Monadic Second-Order Formulas.

Steffen van Bergerem, Martin Grohe, Nina Runde

CoRR, 2023

Simulating Logspace-Recursion with Logarithmic Quantifier Depth.

Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

On the Parameterized Complexity of Learning First-Order Logic.

Steffen van Bergerem, Martin Grohe, Martin Ritzert

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

On the Parameterized Complexity of Learning Logic.

Steffen van Bergerem, Martin Grohe, Martin Ritzert

CoRR, 2021

Learning Concepts Described By Weight Aggregation Logic.

Steffen van Bergerem, Nicole Schweikardt

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2019

Learning Concepts Definable in First-Order Logic with Counting.

Steffen van Bergerem

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019