Daniel Smertnig
Orcid: 0000-0002-5391-2471
According to our database1,
Daniel Smertnig authored at least 6 papers
between 2022 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata.
Proceedings of the 43rd International Symposium on Theoretical Aspects of Computer Science, 2026
2025
2024
Factoring through monomial representations: arithmetic characterizations and ambiguity of weighted automata.
CoRR, 2024
2023
Proceedings of the 16th International Conference on Automata and Formal Languages, 2023
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2022
Computing the linear hull: Deciding Sequential? and Unambiguous? for weighted automata over fields.
CoRR, 2022