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
6692009
Weighted automata and weighted logics
M Droste, P Gastin
Handbook of weighted automata, 175-211, 2009
2592009
Structure of partially ordered sets with transitive automorphism groups
M Droste
American Mathematical Soc., 1985
1101985
Semirings and formal power series
M Droste, W Kuich
Handbook of Weighted Automata, 3-28, 2009
1022009
Weighted tree automata and weighted logics
M Droste, H Vogler
Theoretical Computer Science 366 (3), 228-247, 2006
1002006
Weighted automata and weighted logics
M Droste, P Gastin
International Colloquium on Automata, Languages, and Programming, 513-525, 2005
962005
Weighted finite automata over strong bimonoids
M Droste, T Stüber, H Vogler
Information Sciences 180 (1), 156-166, 2010
792010
A Kleene theorem for weighted tree automata
M Droste, C Pech, H Vogler
Theory of Computing Systems 38 (1), 1-38, 2005
642005
Determinization of weighted finite automata over strong bimonoids
M Ćirić, M Droste, J Ignjatović, H Vogler
Information sciences 180 (18), 3497-3520, 2010
612010
Generating automorphism groups of chains
M Droste, WC Holland
Walter de Gruyter 17 (4), 699-710, 2005
562005
Weighted automata and weighted logics on infinite words
M Droste, G Rahonis
International Conference on Developments in Language Theory, 49-58, 2006
542006
Weighted automata and weighted MSO logics for average and long-time behaviors
M Droste, I Meinecke
Information and Computation 220, 44-59, 2012
532012
Uncountable cofinalities of permutation groups
M Droste, R Göbel
Journal of the London Mathematical Society 71 (2), 335-344, 2005
532005
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
531993
Weighted automata and multi-valued logics over arbitrary bounded lattices
M Droste, H Vogler
Theoretical Computer Science 418, 14-36, 2012
522012
Automorphism groups of infinite semilinear orders (I)
M Droste, WC Holland, HD Macpherson
Proceedings of the London Mathematical Society 3 (3), 454-478, 1989
521989
Weighted logics for unranked tree automata
M Droste, H Vogler
Theory of Computing Systems 48 (1), 23-47, 2011
502011
Event structures and domains
M Droste
Theoretical Computer Science 68 (1), 37-47, 1989
461989
Concurrent automata and domains
M Droste
International Journal of Foundations of Computer Science 3 (04), 389-418, 1992
451992
Petri Nets and Automata with Concurrency Relations
M Droste, RM Shortt
Semantics of Programming Languages and Model Theory 5, 69, 1993
441993
The system can't perform the operation now. Try again later.
Articles 1–20