Suivre
Dávid Kószó
Dávid Kószó
PhD Student of Computer Science, University of Szeged
Adresse e-mail validée de inf.u-szeged.hu
Titre
Citée par
Citée par
Année
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
112021
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
62020
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
52022
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
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
12020
Online scheduling with machine cost and a power function objective
T Balla, J Csirik, G Dósa, D Kószó
Acta Polytechnica Hungarica 21 (10), 2024
2024
Weighted Tree Generating Regular Systems and Crisp-Determinization of Weighted Tree Automata
D Kószó
PQDT-Global, 2023
2023
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–9