Dávid Kószó

MaRDI QIDQ2040407zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata International Journal of Foundations of Computer Science	2023-10-13	Paper
Tree generating context-free grammars and regular tree grammars are equivalent Annales Mathematicae et Informaticae	2023-03-30	Paper
Weighted tree generating regular systems over strong bimonoids with reduction semantics	2023-01-23	Paper
Crisp-determinization of weighted tree automata over strong bimonoids Discrete Mathematics & Theoretical Computer Science	2022-09-30	Paper
Crisp-determinization of weighted tree automata over strong bimonoids Discrete Mathematics & Theoretical Computer Science	2022-09-30	Paper
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids Theoretical Computer Science	2022-05-10	Paper
Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable	2021-07-14	Paper
Online scheduling with machine cost and a quadratic objective function SOFSEM 2020: Theory and Practice of Computer Science	2020-07-20	Paper

Research outcomes over time

This page was built for person: Dávid Kószó