Pascal Bergstrer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | The Polynomial Counting Capabilities of Message Passing Neural Networks. | Marco Slzer, Pascal Bergstrer, Anthony W. Lin |
| 2026 | TACAS | Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking). | Kilian Lichtner, Pascal Bergstrer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche |
| 2023 | LICS | Revisiting Membership Problems in Subclasses of Rational Relations. | Pascal Bergstrer, Moses Ganardi |
| 2022 | LICS | Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. | Pascal Bergstrer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche |
| 2021 | STACS | A Characterization of Wreath Products Where Knapsack Is Decidable. | Pascal Bergstrer, Moses Ganardi, Georg Zetzsche |