A Characterization of Wreath Products Where Knapsack Is Decidable. - Pascal Bergsträßer; Moses Ganardi; Georg Zetzsche (STACS, 2021)

Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. - Pascal Bergsträßer; Moses Ganardi; Anthony W. Lin; Georg Zetzsche (LICS, 2022)

Revisiting Membership Problems in Subclasses of Rational Relations. - Pascal Bergsträßer; Moses Ganardi (LICS, 2023)

The Power of Hard Attention Transformers on Data Sequences: A formal language theoretic perspective. - Pascal Bergsträßer; Chris Köcher; Anthony Widjaja Lin; Georg Zetzsche (NeurIPS, 2024)

Ramsey Quantifiers in Linear Arithmetics. - Pascal Bergsträßer; Moses Ganardi; Anthony W. Lin; Georg Zetzsche (Proc. ACM Program. Lang., 2024)