Dávid Kószó

Crisp-determinization of weighted tree automata over strong bimonoids pdf

Heiko Vogler, Zoltán Fülöp, Dávid Kószó, 2019, ArXiv.

Online Scheduling with Machine Cost and a Quadratic Objective Function

János Csirik, György Dósa, Dávid Kószó, 2020, SOFSEM.

Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable

Manfred Droste, Heiko Vogler, Zoltán Fülöp, 2020, DCFS.

Crisp-determinization of weighted tree automata over strong bimonoids

Zoltán Fülöp, Heiko Vogler, Dávid Kószó, 2021, Discret. Math. Theor. Comput. Sci..