Follow
Dávid Kószó
Dávid Kószó
PhD Student of Computer Science, University of Szeged
Verified email at inf.u-szeged.hu
Title
Cited by
Cited by
Year
Crisp-determinization of weighted tree automata over strong bimonoids
Z Fülöp, D Kószó, H Vogler
Discrete Mathematics & Theoretical Computer Science 23 (1), 2021
92021
Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable
M Droste, Z Fülöp, D Kószó, H Vogler
Descriptional Complexity of Formal Systems: 22nd International Conference …, 2020
52020
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
M Droste, Z Fülöp, D Kószó, H Vogler
Theoretical Computer Science 919, 118-143, 2022
32022
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
M Droste, Z Fülöp, D Kószó
International Journal of Foundations of Computer Science 34 (06), 633-653, 2023
12023
Tree generating context-free grammars and regular tree grammars are equivalent
D Kószó
Annales Mathematicae et Informaticae 56, 58-70, 2022
12022
Weighted Tree Generating Regular Systems over Strong Bimonoids with Reduction Semantics
D Kószó
Journal of Automata, Languages and Combinatorics 27 (4), 271–307, 2022
2022
Online Scheduling with Machine Cost and a Quadratic Objective Function
J Csirik, G Dósa, D Kószó
SOFSEM 2020: Theory and Practice of Computer Science: 46th International …, 2020
2020
Weighted Tree Generating Regular Systems and Crisp-Determinization of Weighted Tree Automata
D Kószó
The system can't perform the operation now. Try again later.
Articles 1–8