Follow
Manfred Droste
Manfred Droste
Professor, Institut für Informatik, Universität Leipzig
Verified email at informatik.uni-leipzig.de - Homepage
Title
Cited by
Cited by
Year
Handbook of weighted automata
M Droste, W Kuich, H Vogler
Springer Science & Business Media, 2009
8362009
Weighted automata and weighted logics
M Droste, P Gastin
Theoretical computer science 380 (1-2), 69-86, 2007
2522007
Semirings and formal power series
M Droste, W Kuich
Handbook of Weighted Automata, 3-28, 2009
1242009
Structure of partially ordered sets with transitive automorphism groups
M Droste
American Mathematical Soc., 1985
1161985
Weighted automata and weighted logics
M Droste, P Gastin
International Colloquium on Automata, Languages, and Programming, 513-525, 2005
1052005
Weighted tree automata and weighted logics
M Droste, H Vogler
Theoretical Computer Science 366 (3), 228-247, 2006
1042006
Weighted finite automata over strong bimonoids
M Droste, T Stüber, H Vogler
Information Sciences 180 (1), 156-166, 2010
922010
Weighted automata and weighted logics
M Droste, P Gastin
Handbook of weighted automata, 175-211, 2009
792009
Determinization of weighted finite automata over strong bimonoids
M Ćirić, M Droste, J Ignjatović, H Vogler
Information sciences 180 (18), 3497-3520, 2010
722010
A Kleene theorem for weighted tree automata
M Droste, C Pech, H Vogler
Theory of Computing Systems 38 (1), 1-38, 2005
692005
Weighted automata and weighted MSO logics for average and long-time behaviors
M Droste, I Meinecke
Information and Computation 220, 44-59, 2012
652012
Weighted automata and multi-valued logics over arbitrary bounded lattices
M Droste, H Vogler
Theoretical Computer Science 418, 14-36, 2012
642012
Weighted automata and weighted logics on infinite words
M Droste, G Rahonis
Developments in Language Theory: 10th International Conference, DLT 2006 …, 2006
612006
Generating automorphism groups of chains
M Droste, WC Holland
Walter de Gruyter 17 (4), 699-710, 2005
612005
A categorical theorem on universal objects and its application in abelian group theory and computer science
M Droste, R Göbel
Contemporary Mathematics 131, 49-49, 1993
611993
Weighted automata.
M Droste, D Kuske
Handbook of Automata Theory (I.), 113-150, 2021
582021
Uncountable cofinalities of permutation groups
M Droste, R Göbel
Journal of the London Mathematical Society 71 (2), 335-344, 2005
572005
Automorphism groups of infinite semilinear orders (I)
M Droste, WC Holland, HD Macpherson
Proceedings of the London Mathematical Society 3 (3), 454-478, 1989
571989
Concurrent automata and domains
M Droste
International Journal of Foundations of Computer Science 3 (04), 389-418, 1992
521992
Weighted logics for unranked tree automata
M Droste, H Vogler
Theory of Computing Systems 48, 23-47, 2011
512011
The system can't perform the operation now. Try again later.
Articles 1–20