Home

Doreen Götze

Adresse:
Universität Leipzig
Fakultät für Mathematik und Informatik
Institut für Informatik
Abteilung Automaten und Sprachen
Augustusplatz 10 Zimmer A 402 (Neues Augusteum)
04109 Leipzig  

Telefon:
+49 341 9732204  

E-Mail: 
goetze (at) informatik (dot) uni-leipzig (dot) de  

Postanschrift:
Universität Leipzig
Fakultät für Mathematik und Informatik
Institut für Informatik
Abteilung Automaten und Sprachen
PF 100920
04009 Leipzig  

DBLP

 

Publikationen

M. Droste, Z. Fülöp, D. Götze: A Kleene theorem for weighted tree automata over tree valuation monoids, in: Language and Automata Theory and Applications (LATA 2016), Lecture Notes in Computer Sciences, vol. 9618, Springer, 2016, pp. 452-463.

M. Droste, D. Götze, H.Vogler: Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics, in: Algebraic Informatics (CAI 2015), Lecture Notes in Computer Science, vol. 9270, Springer, 2015, pp. 90-102.

M. Droste, D. Götze: The support of weighted unranked tree automata, Fundamenta Informaticae 136 (2015), 37-58.

M. Droste, D. Götze: The support of nested weighted automata, in: Non-Classical Models of Automata and Applications (NCMA), Österreichische Computer Gesellschaft, 2013, pp. 101-116.

M. Droste, D. Götze, S. Märcker, I. Meinecke: Weighted tree automata over valuation monoids and their characterizations by weighted logics, in: Algebraic Foundations in Computer Science (eds. W. Kuich, G. Rahonis), Lecture Notes in Computer Sciences, vol. 7020, Springer, 2011, pp. 30-55.

Gewichtete Logik und Baumautomaten über Baumbewertungsmonoiden. Master’s thesis, Universität Leipzig (2011), http://lips.informatik.uni-leipzig.de/pub/2011-3