Dávid Kószó

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Top Venues

J. Autom. Lang. Comb.

Int. J. Found. Comput. Sci.

Discret. Math. Theor. Comput. Sci.

Publications

Manfred Droste, Zoltán Fülöp, Dávid Kószó
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata. Int. J. Found. Comput. Sci. 34 (6) (2023)
Dávid Kószó
Weighted Tree Generating Regular Systems over Strong Bimonoids with Reduction Semantics. J. Autom. Lang. Comb. 27 (4) (2022)
Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. Theor. Comput. Sci. 919 (2022)
Zoltán Fülöp, Dávid Kószó, Heiko Vogler
Crisp-determinization of weighted tree automata over strong bimonoids. Discret. Math. Theor. Comput. Sci. 23 (1) (2021)
Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. CoRR (2021)
János Csirik, György Dósa, Dávid Kószó
Online Scheduling with Machine Cost and a Quadratic Objective Function. SOFSEM (2020)
Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable. DCFS (2020)
Zoltán Fülöp, Dávid Kószó, Heiko Vogler
Crisp-determinization of weighted tree automata over strong bimonoids. CoRR (2019)