We stand with Ukraine

We stand with Ukraine

Eric Alsmann

Orcid: 0000-0002-2603-7827

According to our database¹, Eric Alsmann authored at least 10 papers between 2021 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

On the Expressiveness of State Space Models via Temporal Logics.

[DOI]

,

Lowejatan Noori

,

CoRR, January, 2026

2025

Metric Linear-Time Temporal Logic with Strict First-Time Semantics.

[DOI]

,

Proceedings of the 32nd International Symposium on Temporal Representation and Reasoning, 2025

On the Complexity of Formal Reasoning in State Space Models (Extended Abstract).

[DOI]

,

Proceedings of the AI Verification - Second International Symposium, 2025

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning.

[DOI]

,

,

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

The Computational Complexity of Satisfiability in State Space Models.

[DOI]

,

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2024

The Computational Complexity of Formal Reasoning for Encoder-Only Transformers.

[DOI]

,

,

CoRR, 2024

Real-Time Higher-Order Recursion Schemes.

[DOI]

,

Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024

Verifying and Interpreting Neural Networks Using Finite Automata.

[DOI]

,

,

,

Proceedings of the Developments in Language Theory - 28th International Conference, 2024

2023

On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata.

[DOI]

,

,

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

2021

Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics.

[DOI]

,

,

Proceedings of the Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, 2021

Loading...