| Weighted tree automata over valuation monoids and their characterization by weighted logics M Droste, D Götze, S Märcker, I Meinecke Algebraic Foundations in Computer Science: Essays Dedicated to Symeon …, 2011 | 40 | 2011 |
| Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics M Droste, D Heusel, H Vogler Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart …, 2015 | 10 | 2015 |
| The supports of weighted unranked tree automata M Droste, D Heusel Fundamenta Informaticae 136 (1-2), 37-58, 2015 | 9 | 2015 |
| A Kleene theorem for weighted tree automata over tree valuation monoids D Götze, Z Fülöp, M Droste Information and Computation 269, 104445, 2019 | 7 | 2019 |
| The support of nested weighted automata. M Droste, D Götze NCMA, 101-116, 2013 | 5 | 2013 |
| Weighted Unranked Tree Automata over Tree Valuation Monoids D Götze | 4 | 2017 |
| A Nivat theorem for quantitative automata on unranked trees M Droste, D Götze Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017 | 2 | 2017 |
| Gewichtete Logik und Baumautomaten über Baumbewertungsmonoiden D Götze | 1 | 2011 |
| Weighted Models over Discrete Structures. D Götze Joint Workshop of the German Research Training Groups in Computer Science, 145, 2014 | | 2014 |
Manfred DrosteProfessor, Institut für Informatik, Universität LeipzigVerified email at informatik.uni-leipzig.de
