Follow
Steffen van Bergerem
Title
Cited by
Cited by
Year
Classification of properties and their relation to chemical bonding: Essential steps toward the inverse design of functional materials
CF Schön, S van Bergerem, C Mattes, A Yadav, M Grohe, L Kobbelt, ...
Science Advances 8 (47), eade0828, 2022
242022
On the parameterized complexity of learning first-order logic
S Van Bergerem, M Grohe, M Ritzert
Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2022
10*2022
Learning concepts definable in first-order logic with counting
S van Bergerem
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
102019
Learning concepts described by weight aggregation logic
S van Bergerem, N Schweikardt
arXiv preprint arXiv:2009.10574, 2020
82020
Descriptive Complexity of Learning
S van Bergerem
RWTH Aachen University, 2023
12023
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
B Klin, A Mahboubi, S Schmitz, L Westrick, S Abramsky, RS Barbosa, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2021
12021
Verification of Population Protocols with Unordered Data
S van Bergerem, R Guttenberg, S Kiefer, C Mascle, N Waldburger, ...
arXiv preprint arXiv:2405.00921, 2024
2024
On the Parameterized Complexity of Learning Monadic Second-Order Formulas
S van Bergerem, M Grohe, N Runde
arXiv preprint arXiv:2309.10489, 2023
2023
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
S van Bergerem, M Grohe, S Kiefer, L Oeljeklaus
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–9