Daniel Smertnig

Orcid: 0000-0002-5391-2471

According to our database1, Daniel Smertnig authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Factoring through monomial representations: arithmetic characterizations and ambiguity of weighted automata.
CoRR, 2024

2023
Duality of lattices associated to left and right quotients.
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


  Loading...