Pascal Bergsträßer

14 papers A* 3A 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 — conf
Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking).
TACAS (1)
Kilian Lichtner, Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2026 J jnl
Length Generalization Bounds for Transformers.
CoRR
Andy Yang, Pascal Bergsträßer, Georg Zetzsche, David Chiang, Anthony W. Lin
2025 J jnl
Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking).
CoRR
Kilian Lichtner, Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2025 — —
Ramsey Quantifiers in First-Order Logic: Complexity and Applications to Verification.
Pascal Bergsträßer
2025 J jnl
Transformers are Inherently Succinct.
CoRR
Pascal Bergsträßer, Ryan Cotterell, Anthony W. Lin
2024 J jnl
Ramsey Quantifiers in Linear Arithmetics.
Proc. ACM Program. Lang.
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2024 J jnl
The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective.
CoRR
Pascal Bergsträßer, Chris Köcher, Anthony Widjaja Lin, Georg Zetzsche
2024 A* conf
The Power of Hard Attention Transformers on Data Sequences: A formal language theoretic perspective.
NeurIPS
Pascal Bergsträßer, Chris Köcher, Anthony Widjaja Lin, Georg Zetzsche
2023 J jnl
Ramsey Quantifiers in Linear Arithmetics.
CoRR
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2023 A* conf
Revisiting Membership Problems in Subclasses of Rational Relations.
LICS
Pascal Bergsträßer, Moses Ganardi
2023 J jnl
Revisiting Membership Problems in Subclasses of Rational Relations.
CoRR
Pascal Bergsträßer, Moses Ganardi
2022 A* conf
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification.
LICS
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2022 J jnl
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification.
CoRR
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2021 A conf
A Characterization of Wreath Products Where Knapsack Is Decidable.
STACS
Pascal Bergsträßer, Moses Ganardi, Georg Zetzsche