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
Springer-Verlag, 2009
8582009
Weighted automata and weighted logics
M Droste, P Gastin
Theoretical computer science 380 (1-2), 69-86, 2007
2592007
Semirings and formal power series
M Droste, W Kuich
Handbook of Weighted Automata, 3-28, 2009
1282009
Structure of partially ordered sets with transitive automorphism groups
M Droste
American Mathematical Soc., 1985
1171985
Weighted tree automata and weighted logics
M Droste, H Vogler
Theoretical Computer Science 366 (3), 228-247, 2006
1092006
Weighted automata and weighted logics
M Droste, P Gastin
International Colloquium on Automata, Languages, and Programming, 513-525, 2005
1082005
Weighted finite automata over strong bimonoids
M Droste, T Stüber, H Vogler
Information Sciences 180 (1), 156-166, 2010
952010
Weighted automata and weighted logics
M Droste, P Gastin
Handbook of weighted automata, 175-211, 2009
812009
Determinization of weighted finite automata over strong bimonoids
M Ćirić, M Droste, J Ignjatović, H Vogler
Information sciences 180 (18), 3497-3520, 2010
742010
A Kleene theorem for weighted tree automata
M Droste, C Pech, H Vogler
Theory of Computing Systems 38 (1), 1-38, 2005
712005
Weighted automata and weighted MSO logics for average and long-time behaviors
M Droste, I Meinecke
Information and Computation 220, 44-59, 2012
672012
Weighted automata and multi-valued logics over arbitrary bounded lattices
M Droste, H Vogler
Theoretical Computer Science 418, 14-36, 2012
672012
Weighted automata.
M Droste, D Kuske
Handbook of Automata Theory (I.), 113-150, 2021
632021
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
631993
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
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