Dávid Kószó

According to our database, Dávid Kószó authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata.

Manfred Droste, Zoltán Fülöp, Dávid Kószó

Int. J. Found. Comput. Sci., September, 2023

2022

Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids.

Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler

Theor. Comput. Sci., 2022

Weighted Tree Generating Regular Systems over Strong Bimonoids with Reduction Semantics.

Dávid Kószó

J. Autom. Lang. Comb., 2022

2021

Crisp-determinization of weighted tree automata over strong bimonoids.

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

Discret. Math. Theor. Comput. Sci., 2021

2020

Online Scheduling with Machine Cost and a Quadratic Objective Function.

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

Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020

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

Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler

Proceedings of the Descriptional Complexity of Formal Systems, 2020