Computing the linear hull: Deciding Sequential? and Unambiguous? for weighted automata over fields. - Jason P. Bell; Daniel Smertnig (CoRR, 2022)

Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields. - Jason P. Bell; Daniel Smertnig (LICS, 2023)

Duality of lattices associated to left and right quotients. - Jason P. Bell; Daniel Smertnig; Hellis Tamm (AFL, 2023)

Factoring through monomial representations: arithmetic characterizations and ambiguity of weighted automata. - Antoni Puch; Daniel Smertnig (CoRR, 2024)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata. - Filip Mazowiecki; Antoni Puch; Daniel Smertnig (CoRR, 2025)