Scholar
Eric Alsmann
Google Scholar ID: tn39eNkAAAAJ
University of Kassel
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
8
H-index
2
i10-index
0
Publications
9
Co-authors
0
Publications
4 items
The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
2026
Cited
0
On the Expressiveness of State Space Models via Temporal Logics
2026
Cited
0
The Computational Complexity of Satisfiability in State Space Models
2025
Cited
0
Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
2024
Cited
0
