Login
 Forum
 
 
Data sheet of PhD student
 Print preview
Personal data
name Dávid Kószó
name of institution University of Szeged
doctoral school SzTE Doctoral School of Computer Science
Supervision
thesis supervisor Zoltán Fülöp
one supervisor or with co-supervisor individual
degree PhD
starting of doctoral studies 2019/09
date of final certificate (year,month) 2023/08
year in which degree was obtained 2023
diszertáció Main findings in the thesis (in English)The thesis
data of the public discussion defense
Publications
2022

Kószó Dávid: Tree generating context-free grammars and regular tree grammars are equivalent, ANNALES MATHEMATICAE ET INFORMATICAE 56: pp. 58-70.
type of document: Journal paper/Article
language: English
URL 
2022

Kószó Dávid: Weighted Tree Generating Regular Systems over Strong Bimonoids with Reduction Semantics, JOURNAL OF AUTOMATA, LANGUAGES AND COMBINATORICS 27: (4) pp. 271-307.
type of document: Journal paper/Article
language: English
URL 
2022

Droste Manfred, Fülöp Zoltán, Kószó Dávid, Vogler Heiko: Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids, THEORETICAL COMPUTER SCIENCE 919: pp. 118-143.
type of document: Journal paper/Article
language: English
URL 
2021

Fülöp Zoltán, Kószó Dávid, Vogler Heiko: Crisp-determinization of weighted tree automata over strong bimonoids, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE 23: (1) 18
type of document: Journal paper/Article
number of independent citations: 1
language: English
URL 
2020

Droste Manfred, Fülöp Zoltán, Kószó Dávid, Vogler Heiko: Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable, In: Jirásková, Galina; Pighizzini, Giovanni (szerk.) Descriptional Complexity of Formal Systems, Springer-Verlag (2020) pp. 39-51.
type of document: Part of book/Szaktanulmány (to be translated)
number of independent citations: 1
language: English
URL 
Number of independent citations to these publications:
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
 
number of scientific publications:
 
monographs and professional books:
 
monographs/books in which chapters/sections were contributed:
 
number of independent citations to scientific publications and creative works:
 


2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )