Daniel Smertnig
Orcid: 0000-0002-5391-2471
According to our database1,
Daniel Smertnig
authored at least 5 papers
between 2022 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata.
CoRR, February, 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